| org.checkerframework.checker.compilermsgs |
|
| org.checkerframework.checker.compilermsgs.qual |
Qualifiers for the Compiler Message Key Checker.
|
| org.checkerframework.checker.fenum |
The implementation of the Fake Enum Checker.
|
| 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.index |
|
| org.checkerframework.checker.index.inequality |
|
| org.checkerframework.checker.index.lowerbound |
|
| org.checkerframework.checker.index.qual |
|
| org.checkerframework.checker.index.samelen |
|
| org.checkerframework.checker.index.searchindex |
|
| org.checkerframework.checker.index.substringindex |
|
| org.checkerframework.checker.index.upperbound |
|
| 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.lock |
|
| org.checkerframework.checker.lock.qual |
|
| org.checkerframework.checker.nullness |
|
| org.checkerframework.checker.nullness.qual |
|
| org.checkerframework.checker.optional |
|
| org.checkerframework.checker.optional.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.signedness |
|
| org.checkerframework.checker.signedness.qual |
|
| org.checkerframework.checker.tainting |
|
| 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.subtyping.qual |
|
| 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.common.wholeprograminference |
This package implements whole-program inference, an interprocedural inference that infers types
and inserts them into a program.
|
| 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.stub |
|
| 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.poly |
|
| 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.dependenttypes |
|
| 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.trees |
|
| org.jmlspecs.annotation |
|