Package checkers.nullness

Provides a typechecker plug-in for the NonNull qualifier that finds (and verifies the absence of) null pointer errors.

See: Description

Class Summary

Class	Description
CollectionToArrayHeuristics	Handles calls to Collection.toArray() and determines the appropriate nullness type of the returned value.
KeyForAnnotatedTypeFactory
KeyForSubchecker	TODO: doc
KeyForVisitor
NullnessAnnotatedTypeFactory	Adds the NonNull annotation to a type that is: (*) all literals (except for null literal) (*) all primitive types (*) an array-creation expression (with new) (*) an object-creation expression (with new) (*) a package declaration in the scope of a DefaultQualifier annotation and matches its location criteria determined to be NonNull by flow-sensitive inference the class in a static member access (e.g., "System" in "System.out") an exception parameter the receiver type of a non-static (and non-constructor) method Adds the Raw annotation to the receiver type of constructors.
NullnessChecker	A typechecker plug-in for the Rawness type system qualifier that finds (and verifies the absence of) null-pointer errors.
NullnessFlowConditions	A utility class used by a NonNull-specific flow-sensitive qualifier inference to determine nullness in conditionally-executed scopes.
NullnessFlowState	The state needed for NullnessFlow.
NullnessSubchecker	A typechecker plug-in for the Nullness type system qualifier that finds (and verifies the absence of) null-pointer errors.
NullnessUtils	Utilities class for the Nullness Checker.
NullnessVisitor	A type-checking visitor for the Nullness type system.
RawnessSubchecker	A typechecker that is part of the Nullness type system.
RawnessVisitor

Package checkers.nullness Description

Provides a typechecker plug-in for the NonNull qualifier that finds (and verifies the absence of) null pointer errors.

See Also:

NullnessChecker

See the Checker Framework manual:

Nullness checker