Skip navigation links

checker-framework 3.1.0 API

Packages 
Package Description
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  
Skip navigation links