Class Guards::AbstractValues::NullValue

A value that is either null or non-null.

Direct supertypes

Indirect supertypes

Predicates

branchImplies

Holds if taking the s branch out of cfe implies that e has this value.

isNull

Holds if this value represents null.

toString

Gets a textual representation of this abstract value.