mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
12 lines
322 B
Plaintext
12 lines
322 B
Plaintext
import csharp
|
|
|
|
query predicate nullables(NullableDirective d, int setting, int target) {
|
|
directive_nullables(d, setting, target)
|
|
}
|
|
|
|
query predicate succ(NullableDirective d, NullableDirective succ) {
|
|
d.getSuccNullableDirective() = succ
|
|
}
|
|
|
|
query predicate last(NullableDirective d) { not d.hasSuccNullableDirective() }
|