Packages

Package	Description
checkers.basetype	Contains a simple typechecker plug-in that performs assignment and pseudo-assignment checks on annotated types.
checkers.basic
checkers.compilermsgs
checkers.compilermsgs.quals
checkers.flow	Contains a generalized flow-sensitive qualifier inference that can be employed by any checker.
checkers.i18n
checkers.i18n.quals
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.linear
checkers.linear.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.oigj
checkers.oigj.quals
checkers.propkey
checkers.propkey.quals
checkers.quals	Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers).
checkers.regex
checkers.regex.quals
checkers.source	Contains the essential functionality for interfacing a compile-time (source) typechecker plug-in to the Java compiler.
checkers.tainting
checkers.tainting.quals
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.