Member predicate NullableDirective::hasSuccNullableDirective
Holds if there is a succeeding #nullable directive in the file.
predicate hasSuccNullableDirective()Holds if there is a succeeding #nullable directive in the file.
predicate hasSuccNullableDirective()