A class to abstractly represent values in stack slots,
indicating whether thoses values can be null, non-null,
null on some incoming path, or unknown.
author: David Hovemeyer See Also:IsNullValueFrame See Also:IsNullValueAnalysis
checkedNonNullValue() Get the instance representing a value known to be non-null
because it was compared against null value, or because
we saw the object creation.
checkedNullValue() Get the instance representing a value known to be null
because it was compared against null value, or because
we saw that it was assigned the null constant.
nullOnComplexPathValue() Get null on complex path value.
This is like null on simple path value, but there
are at least two branches between the explicit null value
and the current location.
nullOnComplexPathValue3() Like "null on complex path" except that there are at least
three branches between the explicit null value
and the current location.
Get the instance representing a value known to be null
because it was compared against null value, or because
we saw that it was assigned the null constant.
Return true if this value is either definitely null,
or might be null on a simple path.
true if this value is either definitely null,or might be null on a simple path, false otherwise
Get null on complex path value.
This is like null on simple path value, but there
are at least two branches between the explicit null value
and the current location. If the conditions are correlated,
then the path on which the value is null may be infeasible.