Member predicate NullnessCompletion::isNonNull
Holds if the last sub expression of this expression evaluates to a non-null value.
predicate isNonNull()Holds if the last sub expression of this expression evaluates to a non-null value.
predicate isNonNull()