Class NullnessStore

All Implemented Interfaces:
Store<NullnessStore>, org.plumelib.util.UniqueId

public class NullnessStore extends InitializationStore<NullnessValue,NullnessStore> implements org.plumelib.util.UniqueId
Behaves like InitializationStore, but additionally tracks whether PolyNull is known to be NonNull or Nullable (or not known to be either).