Member predicate AnalysedExpr::isValidCheck
Holds if v
is non-null when this expression evaluates to a true value.
predicate isValidCheck(LocalScopeVariable v)
Holds if v
is non-null when this expression evaluates to a true value.
predicate isValidCheck(LocalScopeVariable v)