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.
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 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
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.NullnessPropagationAnnotator	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.
SystemGetPropertyHandler	Utility class for handling System.getProperty(String) invocations.

Enum Summary

Enum	Description
KeyForPropagator.PropagationDirection