Skip navigation links

checker-framework 3.20.0 API

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.common.wholeprograminference
This package implements whole-program inference, an interprocedural inference that infers types and inserts them into a program.
org.checkerframework.common.wholeprograminference.scenelib  
org.checkerframework.dataflow.analysis  
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.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.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