Packages

Package	Description
checkers.basetype	Contains a simple typechecker plug-in that performs assignment and pseudo-assignment checks on annotated types.
checkers.basic
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.interning	Provides a typechecker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.
checkers.interning.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.lock
checkers.lock.quals
checkers.nullness	Provides a typechecker plug-in for the NonNull qualifier that finds (and verifies the absence of) null pointer errors.
checkers.nullness.quals
checkers.quals	Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers).
checkers.source	Contains the essential functionality for interfacing a compile-time (source) typechecker plug-in to the Java compiler.
checkers.tainting
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.types.visitors
checkers.util
checkers.util.count
checkers.util.debug
checkers.util.test	A minimal checker and simple annotation used for testing the checkers framework without the semantics of any particular (meaningful) checker.