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.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.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.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.