Packages

checkers.basetype	Contains a simple typechecker plug-in that performs assignment and pseudo-assignment checks on annotated types.
checkers.flow	Contains a generalized flow-sensitive qualifier inference that can be employed by any checker.
checkers.igj	Provides a typechecker plug-in for the IGJ checkers.igj.quals qualifiers that finds (and verifies the absence of) immutability errors.
checkers.igj.quals	Contains qualifiers for type annotations used by the IGJ checker.
checkers.interned	Provides a typechecker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.
checkers.interned.quals
checkers.javari	Provides a typechecker plug-in for the Javari type system that finds (and verifies the absence of) immutability errors.
checkers.javari.quals
checkers.metaquals	Contains meta-annotations to qualify annotations (qualifiers).
checkers.nonnull	Provides a typechecker plug-in for the NonNull qualifier that finds (and verifies the absence of) null pointer errors.
checkers.nonnull.quals
checkers.quals	Contains qualifiers for type annotations used by the plugins included in this framework.
checkers.source	Contains the essential functionality for interfacing a compile-time (source) typechecker plug-in to the Java compiler.
checkers.types	Contains a way of representing the type of a program element that considers the type qualifiers on that element (and ignores its Java type).
checkers.util
checkers.util.count
checkers.util.test	A minimal checker and simple annotation used for testing the checkers framework without the semantics of any particular (meaningful) checker.