Package org.checkerframework.checker.nullness

Class Summary

Class	Description
AbstractNullnessChecker	An implementation of the nullness type-system, parameterized by an initialization type-system for safe initialization.
CollectionToArrayHeuristics	Determines the nullness type of calls to Collection.toArray().
KeyForAnalysis	Boiler plate code to glue together all the parts the KeyFor dataflow classes.
KeyForAnnotatedTypeFactory
KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
KeyForPropagationTreeAnnotator	For the following initializations we wish to propagate the annotations from the left-hand side to the right-hand side or vice versa:
KeyForPropagator	KeyForPropagator is used to move nested KeyFor annotations in type arguments from one side of a pseudo-assignment to the other.
KeyForStore
KeyForSubchecker	A type-checker for determining which values are keys for which maps.
KeyForTransfer	KeyForTransfer ensures that java.util.Map.put and containsKey cause the appropriate @KeyFor annotation to be added to the key.
KeyForValue	KeyForValue holds additional information about which maps this value is a key for.
NullnessAnalysis	The analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values.
NullnessAnnotatedTypeFactory	The annotated type factory for the nullness type-system.
NullnessAnnotatedTypeFactory.NullnessPropagationTreeAnnotator	Nullness doesn't call propagation on binary and unary because the result is always @Initialized (the default qualifier).
NullnessAnnotatedTypeFormatter	A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.
NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor
NullnessChecker	A concrete instantiation of AbstractNullnessChecker using freedom-before-commitment.
NullnessRawnessChecker	A concrete instantiation of AbstractNullnessChecker using rawness.
NullnessStore	Behaves like InitializationStore, but additionally tracks whether PolyNull is known to be Nullable.
NullnessTransfer	Transfer function for the non-null type system.
NullnessUtil	Utility class for the Nullness Checker.
NullnessValue	Behaves just like CFValue, but additionally tracks whether at this point PolyNull is known to be Nullable.
NullnessVisitor	The visitor for the nullness type-system.
Opt	Utility class for the Nullness Checker, providing every method in Optional, but written for possibly-null references rather than for the Optional type.
SystemGetPropertyHandler	Utility class for handling System.getProperty(String) invocations.

Enum Summary

Enum	Description
KeyForPropagator.PropagationDirection