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.