Skip navigation links
Packages 
Package Description
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
Provides a type-checker plug-in for the IGJ org.checkerframework.checker.igj.qual qualifiers that finds (and verifies the absence of) immutability errors.
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  
Skip navigation links