Package org.checkerframework.checker.nullness

package org.checkerframework.checker.nullness

Related Packages

Package	Description
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.nullness.util

Class	Description
CollectionToArrayHeuristics	Determines the nullness type of calls to Collection.toArray().
KeyForAnalysis	Boilerplate code to glue together all the parts the KeyFor dataflow classes.
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 in type arguments from one side of a pseudo-assignment to the other.
KeyForPropagator.PropagationDirection
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.
NullnessChecker	An implementation of the nullness type-system, parameterized by an initialization type-system for safe initialization.
NullnessNoInitAnalysis	The analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values.
NullnessNoInitAnnotatedTypeFactory	The annotated type factory for the nullness type-system.
NullnessNoInitAnnotatedTypeFormatter	A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.
NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor	The visitor used by the NullnessNoInitAnnotatedTypeFormatter.
NullnessNoInitStore	In addition to the base class behavior, tracks whether PolyNull is known to be NonNull or Nullable (or not known to be either).
NullnessNoInitSubchecker	The subchecker of the NullnessChecker which actually checks NonNull and related qualifiers.
NullnessNoInitTransfer	Transfer function for the non-null type system.
NullnessNoInitValue	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)
NullnessNoInitVisitor	The visitor for the nullness type-system.
SystemGetPropertyHandler	Utility class for handling System.getProperty(String) and related invocations.