Member predicate DereferenceableExpr :: getANullCheck
Gets an expression that tests whether this expression is null
.
If the returned expression has abstract value v
, then this expression is
guaranteed to be null
if isNull
is true, and non-null
if isNull
is
false.
For example, if the expression x != null
evaluates to true
then the
expression x
is guaranteed to be non-null
.
Expr
getANullCheck
(
AbstractValue
v
,
boolean
isNull
)