Packages

Package	Description
com.google.errorprone.annotations
org.checkerframework.checker.builder.qual
org.checkerframework.checker.calledmethods
org.checkerframework.checker.calledmethods.builder
org.checkerframework.checker.calledmethods.qual
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.formatter.util
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.util
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.mustcall
org.checkerframework.checker.mustcall.qual
org.checkerframework.checker.nullness
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.nullness.util
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.regex.util
org.checkerframework.checker.resourceleak
org.checkerframework.checker.signature
org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness
org.checkerframework.checker.signedness.qual
org.checkerframework.checker.signedness.util
org.checkerframework.checker.tainting
org.checkerframework.checker.tainting.qual
org.checkerframework.checker.units
org.checkerframework.checker.units.qual
org.checkerframework.checker.units.util
org.checkerframework.common.accumulation
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.initializedfields
org.checkerframework.common.initializedfields.qual
org.checkerframework.common.reflection
org.checkerframework.common.reflection.qual
org.checkerframework.common.returnsreceiver
org.checkerframework.common.returnsreceiver.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.dataflow.analysis
org.checkerframework.dataflow.busyexpr
org.checkerframework.dataflow.cfg
org.checkerframework.dataflow.cfg.block
org.checkerframework.dataflow.cfg.builder
org.checkerframework.dataflow.cfg.node
org.checkerframework.dataflow.cfg.playground
org.checkerframework.dataflow.cfg.visualize
org.checkerframework.dataflow.constantpropagation
org.checkerframework.dataflow.expression
org.checkerframework.dataflow.livevariable	Classes using for live variable analysis.
org.checkerframework.dataflow.qual
org.checkerframework.dataflow.reachingdef
org.checkerframework.dataflow.util
org.checkerframework.framework.ajava
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.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.poly
org.checkerframework.framework.type.treeannotator
org.checkerframework.framework.type.typeannotator
org.checkerframework.framework.type.visitor	Despite the name visitor/, this package does not just contain visitors.
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.checkerframework.taglet
org.jmlspecs.annotation