org.checkerframework.checker.compilermsgs |
|
org.checkerframework.checker.compilermsgs.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.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.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.qual |
|
org.checkerframework.checker.signature |
|
org.checkerframework.checker.signature.qual |
|
org.checkerframework.checker.tainting |
|
org.checkerframework.checker.tainting.qual |
|
org.checkerframework.checker.units |
|
org.checkerframework.checker.units.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.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.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.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.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.visitor |
|
org.checkerframework.framework.util |
|
org.checkerframework.javacutil |
|
org.checkerframework.javacutil.dist |
|
org.checkerframework.javacutil.trees |
|