| 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.fenum | |
| checkers.fenum.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.signature | |
| checkers.signature.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.units | |
| checkers.units.quals | |
| checkers.util | |
| checkers.util.count | |
| checkers.util.debug | |
| checkers.util.report | |
| checkers.util.report.quals | |
| checkers.util.test | |
| checkers.util.trees |