Member predicate Expr :: hasNotNullFlowState
Holds if the nullable flow state of this expression is not null.
predicate
hasNotNullFlowState
(
)