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

NullnessAnnotatedTypeFactory	Adds the NonNull annotation to a type that is: 1.
NullnessChecker	A typechecker plug-in for the Nullness type system qualifier that finds (and verifies the absence of) null-pointer errors.
NullnessVisitor	A type-checking visitor for the Nullness type system.

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 checkers manual:

Nullness checker