Class NullnessValue

java.lang.Object
org.checkerframework.framework.flow.CFAbstractValue<NullnessValue>
org.checkerframework.checker.nullness.NullnessValue
All Implemented Interfaces:
AbstractValue<NullnessValue>

public class NullnessValue extends CFAbstractValue<NullnessValue>
Behaves just like CFValue, but additionally tracks whether at this point PolyNull is known to be NonNull or Nullable (or not known to be either)