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