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	Handles calls to Collection.toArray() and determines the appropriate nullness type of the returned value.
KeyForAnnotatedTypeFactory
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 from one side of a pseudo-assignment to the other.
KeyForSubchecker	A type-checker for determining which which values are keys for which maps.
KeyForTransfer
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.
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.
SystemGetPropertyHandler	Utility class for handling System.getProperty(String) invocations.

Enum Summary

Enum	Description
KeyForPropagator.PropagationDirection