| org.checkerframework.checker.compilermsgs |
|
| org.checkerframework.checker.compilermsgs.qual |
|
| org.checkerframework.checker.experimental.regex_qual |
|
| org.checkerframework.checker.experimental.tainting_qual |
|
| org.checkerframework.checker.experimental.tainting_qual.qual |
|
| org.checkerframework.checker.fenum |
|
| org.checkerframework.checker.fenum.qual |
|
| org.checkerframework.checker.formatter |
|
| org.checkerframework.checker.formatter.qual |
|
| org.checkerframework.checker.guieffect |
|
| org.checkerframework.checker.guieffect.qual |
|
| org.checkerframework.checker.i18n |
|
| org.checkerframework.checker.i18n.qual |
|
| org.checkerframework.checker.i18nformatter |
|
| org.checkerframework.checker.i18nformatter.qual |
|
| org.checkerframework.checker.i18nformatter.unittests |
|
| org.checkerframework.checker.igj |
|
| org.checkerframework.checker.igj.qual |
Contains qualifiers for type annotations used by the IGJ Checker.
|
| org.checkerframework.checker.initialization |
|
| org.checkerframework.checker.initialization.qual |
|
| org.checkerframework.checker.interning |
Provides a type-checker plug-in for the Interned
qualifier that finds (and verifies the absence of) equality-testing and
interning errors. |
| org.checkerframework.checker.interning.qual |
|
| org.checkerframework.checker.javari |
Provides a type-checker plug-in for the Javari type system that finds (and
verifies the absence of) immutability errors.
|
| org.checkerframework.checker.javari.qual |
|
| org.checkerframework.checker.linear |
|
| org.checkerframework.checker.linear.qual |
|
| org.checkerframework.checker.lock |
|
| org.checkerframework.checker.lock.qual |
|
| org.checkerframework.checker.nullness |
|
| org.checkerframework.checker.nullness.compatqual |
|
| org.checkerframework.checker.nullness.qual |
|
| org.checkerframework.checker.oigj |
|
| org.checkerframework.checker.oigj.qual |
|
| org.checkerframework.checker.propkey |
|
| org.checkerframework.checker.propkey.qual |
|
| org.checkerframework.checker.regex |
|
| org.checkerframework.checker.regex.classic |
|
| org.checkerframework.checker.regex.classic.qual |
|
| org.checkerframework.checker.regex.qual |
|
| org.checkerframework.checker.signature |
|
| org.checkerframework.checker.signature.qual |
|
| org.checkerframework.checker.tainting |
|
| org.checkerframework.checker.tainting.classic |
|
| org.checkerframework.checker.tainting.classic.qual |
|
| org.checkerframework.checker.tainting.qual |
|
| org.checkerframework.checker.units |
|
| org.checkerframework.checker.units.qual |
|
| org.checkerframework.common.aliasing |
|
| org.checkerframework.common.aliasing.qual |
|
| org.checkerframework.common.basetype |
Contains a simple type-checker plug-in that performs assignment and
pseudo-assignment checks on annotated types.
|
| org.checkerframework.common.reflection |
|
| org.checkerframework.common.reflection.qual |
|
| org.checkerframework.common.subtyping |
|
| org.checkerframework.common.util |
|
| org.checkerframework.common.util.count |
|
| org.checkerframework.common.util.debug |
|
| org.checkerframework.common.util.report |
|
| org.checkerframework.common.util.report.qual |
|
| org.checkerframework.common.value |
|
| org.checkerframework.common.value.qual |
|
| org.checkerframework.common.value.util |
|
| org.checkerframework.dataflow.analysis |
|
| org.checkerframework.dataflow.cfg |
|
| org.checkerframework.dataflow.cfg.block |
|
| org.checkerframework.dataflow.cfg.node |
|
| org.checkerframework.dataflow.cfg.playground |
|
| org.checkerframework.dataflow.constantpropagation |
|
| org.checkerframework.dataflow.qual |
|
| org.checkerframework.dataflow.util |
|
| org.checkerframework.framework.flow |
Contains an extension of the general org.checkerframework.dataflow framework that is specific to
the Checker Framework and can be used by any checker.
|
| org.checkerframework.framework.flow.util |
|
| org.checkerframework.framework.qual |
Contains the basic annotations to be used by all type systems
and meta-annotations to qualify annotations (qualifiers).
|
| org.checkerframework.framework.source |
Contains the essential functionality for interfacing a compile-time (source)
type-checker plug-in to the Java compiler.
|
| org.checkerframework.framework.test |
|
| org.checkerframework.framework.test.diagnostics |
|
| org.checkerframework.framework.type |
Contains a way of representing the type of a program element that considers
the type qualifiers on that element (and ignores its Java type).
|
| org.checkerframework.framework.type.treeannotator |
|
| org.checkerframework.framework.type.typeannotator |
|
| org.checkerframework.framework.type.visitor |
|
| org.checkerframework.framework.util |
|
| org.checkerframework.framework.util.defaults |
|
| org.checkerframework.framework.util.element |
|
| org.checkerframework.framework.util.typeinference |
|
| org.checkerframework.framework.util.typeinference.constraint |
|
| org.checkerframework.framework.util.typeinference.solver |
|
| org.checkerframework.javacutil |
|
| org.checkerframework.javacutil.dist |
|
| org.checkerframework.javacutil.trees |
|
| org.checkerframework.qualframework.base |
|
| org.checkerframework.qualframework.base.dataflow |
|
| org.checkerframework.qualframework.base.format |
|
| org.checkerframework.qualframework.poly |
|
| org.checkerframework.qualframework.poly.format |
|
| org.checkerframework.qualframework.poly.qual |
|
| org.checkerframework.qualframework.util |
|
| org.checkerframework.stubparser |
|
| org.checkerframework.stubparser.ast |
|
| org.checkerframework.stubparser.ast.body |
|
| org.checkerframework.stubparser.ast.expr |
|
| org.checkerframework.stubparser.ast.stmt |
|
| org.checkerframework.stubparser.ast.type |
|
| org.checkerframework.stubparser.ast.visitor |
|