Search Java Classes and Packages
# Classes and Interfaces in #Checker - 899 results found.
| Name | Description | Type | Package | Framework |
| A | Class | org.checkerframework.checker.units.qual | Checker | |
| A2F | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| A2FReducer | A2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| AbstractAtmComboVisitor | defaultErrorMessage. | Class | org.checkerframework.framework.type.visitor | Checker |
| AbstractNodeVisitor | A default implementation of the node visitor interface. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AbstractNullnessChecker | An implementation of the nullness type-system, parameterized by an initialization type-system for safe initialization. | Class | org.checkerframework.checker.nullness | Checker |
| AbstractTypeProcessor | This class is an abstract annotation processor designed to be a convenient superclass for concrete "type processors", processors that | Class | org.checkerframework.javacutil | Checker |
| AbstractValue | An abstract value used in the org. | Interface | org.checkerframework.dataflow.analysis | Checker |
| Acceleration | Class | org.checkerframework.checker.units.qual | Checker | |
| AFConstraint | AFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| AFReducer | AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducible | Interface | org.checkerframework.framework.util.typeinference.constraint | Checker |
| AggregateChecker | An aggregate checker that packages multiple checkers together. | Class | org.checkerframework.framework.source | Checker |
| AliasingAnnotatedTypeFactory | Class | org.checkerframework.common.aliasing | Checker | |
| AliasingChecker | Aliasing type system -- used to identify expressions that definitely haveSee the Checker Framework Manual:Aliasing Checker | Class | org.checkerframework.common.aliasing | Checker |
| AliasingTransfer | Type refinement is treated in the usual way, except that at (pseudo-)assignments the RHS may lose its type refinement, before the LHS is | Class | org.checkerframework.common.aliasing | Checker |
| AliasingVisitor | This visitor ensures that every constructor whose result is annotated as @Unique does not leak aliases. | Class | org.checkerframework.common.aliasing | Checker |
| AlwaysSafe | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| Analysis | An implementation of an iterative algorithm to solve a org. | Class | org.checkerframework.dataflow.analysis | Checker |
| AnalysisResult | An AnalysisResult represents the result of a org. | Class | org.checkerframework.dataflow.analysis | Checker |
| Angle | Class | org.checkerframework.checker.units.qual | Checker | |
| AnnotatedFor | Indicates that this class has been annotated for the given type system. | Class | org.checkerframework.framework.qual | Checker |
| AnnotatedTypeComparer | A TypeVisitor that takes an AnnotatedTypeMirror as a parameter, and visits it simultaneously. | Class | org.checkerframework.framework.type.visitor | Checker |
| AnnotatedTypeCopier | AnnotatedTypeCopier is a visitor that deep copies an AnnotatedTypeMirror exactly, including any lazily initialized fields. | Class | org.checkerframework.framework.type | Checker |
| AnnotatedTypeFactory | The methods of this class take an element or AST node, and return the annotated type as an AnnotatedTypeMirror. | Class | org.checkerframework.framework.type | Checker |
| AnnotatedTypeFormatter | Converts an AnnotatedTypeMirror mirror into a formatted string. | Interface | org.checkerframework.framework.type | Checker |
| AnnotatedTypeMerger | Replaces or adds all the annotations in the parameter with the annotations from the visited type. | Class | org.checkerframework.framework.type.visitor | Checker |
| AnnotatedTypeMirror | Represents an annotated type in the Java programming language. | Class | org.checkerframework.framework.type | Checker |
| AnnotatedTypeParameterBounds | Class | org.checkerframework.framework.type | Checker | |
| AnnotatedTypeReplacer | Duplicates annotated types and replaces components according to a replacement map. | Class | org.checkerframework.framework.type | Checker |
| AnnotatedTypes | Utility methods for operating on AnnotatedTypeMirror. | Class | org.checkerframework.framework.util | Checker |
| AnnotatedTypeScanner | A TypeVisitor that visits all the child tree nodes. | Class | org.checkerframework.framework.type.visitor | Checker |
| AnnotatedTypeVisitor | A Visitor class of annotated types, in the style of the visitor A visitor of types, in the style of the visitor design pattern. | Interface | org.checkerframework.framework.type.visitor | Checker |
| AnnotationBuilder | Builds an annotation mirror that may have some values. | Class | org.checkerframework.framework.util | Checker |
| AnnotationClassLoader | This class assists the AnnotatedTypeFactory by reflectively looking up the list of annotation class names in each checker's qual directory, and | Class | org.checkerframework.framework.type | Checker |
| AnnotationConverter | DefaultQualifiedTypeFactory component for converting annotations written in source code into type qualifiers. | Interface | org.checkerframework.qualframework.base | Checker |
| AnnotationConverterConfiguration | Plain old java object to help configure SimpleQualifierParameterAnnotationConverter. | Class | org.checkerframework.qualframework.poly | Checker |
| AnnotationDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| AnnotationExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| AnnotationFormatter | Converts AnnotationMirrors to Strings For converting AnnotatedTypeMirrors: | Interface | org.checkerframework.framework.util | Checker |
| AnnotationMemberDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| AnnotationProvider | Interface | org.checkerframework.javacutil | Checker | |
| AnnotationsCounter | An annotation processor for counting the occurrences of annotations. | Class | org.checkerframework.common.util.count | Checker |
| AnnotationUtils | A utility class for working with annotations. | Class | org.checkerframework.javacutil | Checker |
| Area | Class | org.checkerframework.checker.units.qual | Checker | |
| ArrayAccessExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| ArrayAccessNode | A node for an array access: array ref [ index ] | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ArrayCreationExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| ArrayCreationNode | A node for new array creation new type [] = { expr1, expr2, . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ArrayInitializerExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| ArrayLen | An annotation indicating the length of an array type. | Class | org.checkerframework.common.value.qual | Checker |
| ArrayTypeNode | A node representing a array type used in an expression such as a field access | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssertionErrorNode | A node for the AssertionError when an assertion fails. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssertNonNullIfNonNull | Indicates that if the method returns a non-null value, then the value expressions are also non-null. | Class | org.checkerframework.checker.nullness.qual | Checker |
| AssertStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| Assignable | Class | org.checkerframework.checker.igj.qual | Checker | |
| Assignable | Class | org.checkerframework.checker.javari.qual | Checker | |
| Assignable | Class | org.checkerframework.checker.oigj.qual | Checker | |
| AssignExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| AssignmentContext | An assignment context for a node, which represents the place to which the node with this context is 'assigned' to. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssignmentNode | A node for an assignment: variable = expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssignsFields | Class | org.checkerframework.checker.igj.qual | Checker | |
| AssignsFields | Class | org.checkerframework.checker.oigj.qual | Checker | |
| ASTHelper | This class helps to construct new nodes. | Class | org.checkerframework.stubparser | Checker |
| ASTParserConstants | Token literal values and constants. | Interface | org.checkerframework.stubparser | Checker |
| ASTParserTokenManager | Class | org.checkerframework.stubparser | Checker | |
| AtmCombo | An enum representing the cartesian product of the set of AtmKinds with itself. | Class | org.checkerframework.framework.util | Checker |
| AtmComboVisitor | Visitor interface for all pair-wise combinations of AnnotatedTypeMirrors. | Interface | org.checkerframework.framework.type.visitor | Checker |
| AwtAlphaCompositingRule | Basic alpha compositing rules for combining source and destination colors to achieve blending and transparency | Class | org.checkerframework.checker.fenum.qual | Checker |
| AwtColorSpace | Color space tags to identify the specific color space of a Color object or, via a ColorModel object, of an Image, a BufferedImage, | Class | org.checkerframework.checker.fenum.qual | Checker |
| AwtCursorType | Class | org.checkerframework.checker.fenum.qual | Checker | |
| AwtFlowLayout | Class | org.checkerframework.checker.fenum.qual | Checker | |
| BaseAnnotatedTypeFactory | A factory that extends GenericAnnotatedTypeFactory to use the default flow-sensitive analysis as provided by CFAnalysis. | Class | org.checkerframework.common.basetype | Checker |
| BaseContext | A collection of references to javac components. | Interface | org.checkerframework.framework.util | Checker |
| BaseTypeChecker | An abstract SourceChecker that provides a simple SourceVisitor implementation that type-checks assignments, pseudo-assignments such as parameter passing | Class | org.checkerframework.common.basetype | Checker |
| BaseTypeContext | An extension of CFContext that includes BaseTypeChecker-specific components. | Interface | org.checkerframework.common.basetype | Checker |
| BaseTypeValidator | A visitor to validate the types in a tree. | Class | org.checkerframework.common.basetype | Checker |
| BaseTypeVisitor | A SourceVisitor that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking. | Class | org.checkerframework.common.basetype | Checker |
| BasicAnnotationProvider | Class | org.checkerframework.javacutil | Checker | |
| BasicTypeProcessor | Process the types in an AST in a trivial manner, with hooks for derived classes to actually do something. | Class | org.checkerframework.javacutil | Checker |
| BinaryExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| BinaryName | Represents a binary name as defined in the Java Language Specification, section 13. | Class | org.checkerframework.checker.signature.qual | Checker |
| BinaryNameForNonArray | Class | org.checkerframework.checker.signature.qual | Checker | |
| BinaryNameForNonArrayInUnnamedPackage | Represents a binary name as defined in the Java Language Specification, section 13. | Class | org.checkerframework.checker.signature.qual | Checker |
| BinaryNameInUnnamedPackage | Represents a string that is both a BinaryName and an InternalForm. | Class | org.checkerframework.checker.signature.qual | Checker |
| BitwiseAndNode | A node for the bitwise or logical (single bit) and operation: expression & expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| BitwiseComplementNode | A node for the bitwise complement operation:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| BitwiseOrNode | A node for the bitwise or logical (single bit) or operation: expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| BitwiseXorNode | A node for the bitwise or logical (single bit) xor operation: expression ^ expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Block | Represents a basic block in a control flow graph. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| BlockComment | AST node that represent block comments. | Class | org.checkerframework.stubparser.ast | Checker |
| BlockImpl | Base class of the Block implementation hierarchy. | Class | org.checkerframework.dataflow.cfg.block | Checker |
| BlockStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| BodyDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| BooleanLiteralExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| BooleanLiteralNode | Class | org.checkerframework.dataflow.cfg.node | Checker | |
| BoolVal | An annotation indicating the possible values for a bool type. | Class | org.checkerframework.common.value.qual | Checker |
| Bottom | A special annotation intended solely for representing the bottom type in the qualifier hierarchy. | Class | org.checkerframework.framework.qual | Checker |
| BottomVal | Class | org.checkerframework.common.value.qual | Checker | |
| BoundsInitializer | BoundsInitializer creates the bounds for type variables and wildcards. | Class | org.checkerframework.framework.type | Checker |
| BreakStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| ByteMath | Class | org.checkerframework.common.value.util | Checker | |
| C | Class | org.checkerframework.checker.units.qual | Checker | |
| CaseNode | A node for a case in a switch statement. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| CastExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| CatchClause | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| cd | Candela (unit of luminance). | Class | org.checkerframework.checker.units.qual | Checker |
| CFAbstractAnalysis | CFAbstractAnalysis is an extensible org. | Class | org.checkerframework.framework.flow | Checker |
| CFAbstractStore | A store for the checker framework analysis tracks the annotations of memory locations such as local variables and fields. | Class | org.checkerframework.framework.flow | Checker |
| CFAbstractTransfer | The default analysis transfer function for the Checker Framework propagates information through assignments and uses the AnnotatedTypeFactory to | Class | org.checkerframework.framework.flow | Checker |
| CFAbstractValue | An implementation of an abstract value used by the Checker Framework org. | Class | org.checkerframework.framework.flow | Checker |
| CFAnalysis | The default org. | Class | org.checkerframework.framework.flow | Checker |
| CFCFGBuilder | A control-flow graph builder (see CFGBuilder) that knows about the Checker Framework annotations and their representation as | Class | org.checkerframework.framework.flow | Checker |
| CFContext | A collection of references to various type checker components. | Interface | org.checkerframework.framework.util | Checker |
| CFGBuilder | Builds the control flow graph of some Java code (either a method, or an arbitrary statement). | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGDOTVisualizer | Generate a graph description in the DOT language of a control graph. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFStore | The default store used in the Checker Framework. | Class | org.checkerframework.framework.flow | Checker |
| CFTransfer | The default transfer function used in the Checker Framework. | Class | org.checkerframework.framework.flow | Checker |
| CFTreeBuilder | The TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker. | Class | org.checkerframework.framework.flow | Checker |
| CFValue | The default abstract value used in the Checker Framework. | Class | org.checkerframework.framework.flow | Checker |
| CharacterLiteralNode | A node for a character literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| CharLiteralExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| Checker | Main entry point for a pluggable type system. | Class | org.checkerframework.qualframework.base | Checker |
| CheckerAdapter | Adapter class for Checker, extending org. | Class | org.checkerframework.qualframework.base | Checker |
| CheckerDevelMain | Class | org.checkerframework.framework.util | Checker | |
| CheckerFrameworkTest | To use this class you must do two things: Create exactly 1 constructor in the subclass with exactly 1 argument | Class | org.checkerframework.framework.test | Checker |
| CheckerMain | This class functions essentially the same as the jsr308-langtools javac script EXCEPT that it adds the appropriate jdk. | Class | org.checkerframework.framework.util | Checker |
| ClassBound | This represents a Class | Class | org.checkerframework.common.reflection.qual | Checker |
| ClassExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| ClassGetName | The type representation used by the Class. | Class | org.checkerframework.checker.signature.qual | Checker |
| ClassGetSimpleName | Class | org.checkerframework.checker.signature.qual | Checker | |
| ClassNameNode | A node representing a class name used in an expression such as a static method invocation. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ClassOrInterfaceDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| ClassOrInterfaceType | Class | org.checkerframework.stubparser.ast.type | Checker | |
| ClassRegexParam | ClassRegexParam declares a regex qualifier parameter on a class. | Class | org.checkerframework.checker.regex.qual | Checker |
| ClassTaintingParam | ClassTaintingParam declares a tainting qualifier parameter on a class. | Class | org.checkerframework.checker.tainting.qual | Checker |
| ClassTypeParamApplier | Applies the annotations present for a class type parameter onto an AnnotatedTypeVariable. | Class | org.checkerframework.framework.util.element | Checker |
| ClassVal | This represents a Class | Class | org.checkerframework.common.reflection.qual | Checker |
| ClassValAnnotatedTypeFactory | Class | org.checkerframework.common.reflection | Checker | |
| ClassValBottom | Class | org.checkerframework.common.reflection.qual | Checker | |
| ClassValChecker | The ClassVal Checker provides a sound estimate of the binary name of ClassSee the Checker Framework Manual:ClassVal Checker | Class | org.checkerframework.common.reflection | Checker |
| ClassValVisitor | Class | org.checkerframework.common.reflection | Checker | |
| CollectionToArrayHeuristics | Handles calls to Collection. | Class | org.checkerframework.checker.nullness | Checker |
| CollectionUtils | Class | org.checkerframework.javacutil | Checker | |
| CombiningOperation | A binary operation for combining qualifiers of type Q. | Interface | org.checkerframework.qualframework.poly | Checker |
| ComboLog | Created by jburke on 6/12/14. | Class | org.checkerframework.framework.util | Checker |
| Comment | Abstract class for all AST nodes that represent comments. | Class | org.checkerframework.stubparser.ast | Checker |
| CompilationResult | CompilationResult represents the output of the compiler after it is run. | Class | org.checkerframework.framework.test | Checker |
| CompilationUnit | This class represents the entire compilation unit. | Class | org.checkerframework.stubparser.ast | Checker |
| CompilerMessageKey | Class | org.checkerframework.checker.compilermsgs.qual | Checker | |
| CompilerMessagesAnnotatedTypeFactory | A PropertyKeyATF that uses CompilerMessageKey to annotate the keys. | Class | org.checkerframework.checker.compilermsgs | Checker |
| CompilerMessagesChecker | A PropertyKeyChecker for the compiler message keys that are used in the Checker framework. | Class | org.checkerframework.checker.compilermsgs | Checker |
| ConditionalAndNode | A node for a conditional and expression: expression && expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ConditionalBlock | Interface | org.checkerframework.dataflow.cfg.block | Checker | |
| ConditionalBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |
| ConditionalExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| ConditionalNotNode | A node for a conditional not expression:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ConditionalOrNode | A node for a conditional or expression: expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ConditionalPostconditionAnnotation | A meta-annotation that indicates that an annotation is a conditional postcondition annotation, i. | Class | org.checkerframework.framework.qual | Checker |
| ConditionalTransferResult | one for the 'then' edge and one for 'else'. | Class | org.checkerframework.dataflow.analysis | Checker |
| Constant | Class | org.checkerframework.dataflow.constantpropagation | Checker | |
| ConstantPropagationPlayground | Class | org.checkerframework.dataflow.cfg.playground | Checker | |
| ConstantPropagationStore | Class | org.checkerframework.dataflow.constantpropagation | Checker | |
| ConstantPropagationTransfer | Class | org.checkerframework.dataflow.constantpropagation | Checker | |
| ConstraintMap | ConstraintMap holds simplified versions of the TUConstraints for ALL type variable for which we are inferring an argument. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| ConstraintMapBuilder | Converts a set of TUConstraints into a ConstraintMap. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| ConstructorDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| ConstructorReturnUtil | Class to hold a utility method needed by TypeFromExpression and BaseTypeVisitor. | Class | org.checkerframework.framework.util | Checker |
| ContainmentHierarchy | Class | org.checkerframework.qualframework.poly | Checker | |
| ContinueStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| ContractsUtils | A utility class to handle pre- and postconditions. | Class | org.checkerframework.framework.util | Checker |
| ControlFlowGraph | A control flow graph (CFG for short) of a single method. | Class | org.checkerframework.dataflow.cfg | Checker |
| ConversionCategory | enum ConversionCategoryElements of this enumeration are used in a Format annotation | Class | org.checkerframework.checker.formatter.qual | Checker |
| Covariant | A marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly. | Class | org.checkerframework.checker.nullness.qual | Checker |
| Current | Class | org.checkerframework.checker.units.qual | Checker | |
| DebugListTreeAnnotator | A ListTreeAnnotator implementation that additionally outputs debugging information. | Class | org.checkerframework.framework.type.treeannotator | Checker |
| DeclarationsIntoElements | A helper class that puts the declaration annotations from a method declaration back into the corresponding Elements, so that they get stored in the bytecode | Class | org.checkerframework.framework.type | Checker |
| DefaultAnnotatedTypeFormatter | An AnnotatedTypeFormatter used by default by all AnnotatedTypeFactory (and therefore allSee Also:AnnotatedTypeFormatter, | Class | org.checkerframework.framework.type | Checker |
| DefaultAnnotationFormatter | A utility for converting AnnotationMirrors to Strings. | Class | org.checkerframework.framework.util | Checker |
| DefaultFor | Applied to the declaration of a type qualifier specifies that the given annotation should be the default for a particular location. | Class | org.checkerframework.framework.qual | Checker |
| DefaultInferredTypesApplier | Utility class for applying the annotations inferred by dataflow to a given type. | Class | org.checkerframework.framework.type | Checker |
| DefaultInUncheckedCodeFor | Applied to the declaration of a type qualifier, specifies that the given annotation should be the default for unannotated type uses | Class | org.checkerframework.framework.qual | Checker |
| DefaultQualFormatter | DefaultQualFormatter is a very basic QualFormatter that returns the toString of the qual. | Class | org.checkerframework.qualframework.base.format | Checker |
| DefaultQualifiedTypeFactory | Default implementation of QualifiedTypeFactory. | Class | org.checkerframework.qualframework.base | Checker |
| DefaultQualifiedTypeFormatter | DefaultQualifiedTypeFormatter formats QualifiedTypeMirrors into Strings. | Class | org.checkerframework.qualframework.base.format | Checker |
| DefaultQualifier | Applied to a declaration of a package, type, method, variable, etc. | Class | org.checkerframework.framework.qual | Checker |
| DefaultQualifierInHierarchy | Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit | Class | org.checkerframework.framework.qual | Checker |
| DefaultQualifierInHierarchyInUncheckedCode | Indicates that the annotated qualifier is the default qualifier on unannotated type uses (in bytecode or source code that has not been type-checked). | Class | org.checkerframework.framework.qual | Checker |
| DefaultQualifiers | Specifies the annotations to be included in a type without having to provide This annotation permits specifying multiple default qualifiers for more | Class | org.checkerframework.framework.qual | Checker |
| DefaultRawnessComparer | //TODO: USING THE SAME LOGIC AS THE OLD TYPE_HIERARCHY. | Class | org.checkerframework.framework.type | Checker |
| DefaultReflectionResolver | Default implementation of ReflectionResolver, which resolves calls Method. | Class | org.checkerframework.common.reflection | Checker |
| DefaultTypeArgumentInference | An implementation of TypeArgumentInference that mostly follows the process outlined in JLS7 Note, there are some deviations JLS 7 for the following cases: | Class | org.checkerframework.framework.util.typeinference | Checker |
| DefaultTypeHierarchy | Default implementation of TypeHierarchy that implements the JLS specification with minor deviations as outlined by the Checker Framework manual. | Class | org.checkerframework.framework.type | Checker |
| DefaultTypeHierarchy | Default implementation of TypeHierarchy. | Class | org.checkerframework.qualframework.base | Checker |
| degrees | Class | org.checkerframework.checker.units.qual | Checker | |
| Dependent | Refines the qualified type of the annotated field or variable based on the qualified type of the receiver. | Class | org.checkerframework.framework.qual | Checker |
| DependentTypes | Class | org.checkerframework.framework.util | Checker | |
| DetachedVarSymbol | A DetachedVarSymbol represents a variable that is not part of any AST Tree. | Class | org.checkerframework.javacutil.trees | Checker |
| Deterministic | A method is called deterministic if it returns the same value (according to ==) every time it is called with the same | Class | org.checkerframework.dataflow.qual | Checker |
| DiagnosticKind | Indicates what type of Error was, or expected to be, encountered during typecheckingEnum Constant Summary | Class | org.checkerframework.framework.test.diagnostics | Checker |
| Dominator | Class | org.checkerframework.checker.oigj.qual | Checker | |
| DoStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| DoubleLiteralExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| DoubleLiteralNode | A node for a double literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| DoubleMath | Class | org.checkerframework.common.value.util | Checker | |
| DoubleVal | An annotation indicating the possible values for a double or float type. | Class | org.checkerframework.common.value.qual | Checker |
| DumpVisitor | Builds a string representation of any AST node for printing. | Class | org.checkerframework.stubparser.ast.visitor | Checker |
| Effect | Class | org.checkerframework.checker.guieffect | Checker | |
| ElementAnnotationApplier | Utility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element). | Class | org.checkerframework.framework.type | Checker |
| ElementAnnotationUtil | Utility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element). | Class | org.checkerframework.framework.util.element | Checker |
| ElementUtils | A Utility class for analyzing Elements. | Class | org.checkerframework.javacutil | Checker |
| EmptyMemberDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| EmptyProcessor | Empty simple processor. | Class | org.checkerframework.common.util.debug | Checker |
| EmptyStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| EmptyTypeDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| EnclosedExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| EnsuresLockHeld | Indicates that the value expressions are LockHeld if the method terminates successfully. | Class | org.checkerframework.checker.lock.qual | Checker |
| EnsuresLockHeldIf | Indicates that the given expressions are @LockHeld if the method returns the given result (either true or false). | Class | org.checkerframework.checker.lock.qual | Checker |
| EnsuresNonNull | Indicates that the value expressions are non-null, if the method terminates successfully. | Class | org.checkerframework.checker.nullness.qual | Checker |
| EnsuresNonNullIf | Indicates that the given expressions are non-null, if the method returns the given result (either true or false). | Class | org.checkerframework.checker.nullness.qual | Checker |
| EnsuresQualifier | A postcondition annotation to indicate that a method ensures certain expressions to have a certain type qualifier once the method has successfully | Class | org.checkerframework.framework.qual | Checker |
| EnsuresQualifierIf | A conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has finished, | Class | org.checkerframework.framework.qual | Checker |
| EnsuresQualifiers | A meta-annotation to allow multiple postcondition annotations. | Class | org.checkerframework.framework.qual | Checker |
| EnsuresQualifiersIf | A meta-annotation to allow multiple conditional postcondition annotations. | Class | org.checkerframework.framework.qual | Checker |
| EnumConstantDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| EnumDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| EqualitiesSolver | EqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| EqualityAtmComparer | Compares two annotated type mirrors for structural equality using only the primary annotations and underlying types of the two input types and their component types. | Class | org.checkerframework.framework.type | Checker |
| EqualsVisitor | Class | org.checkerframework.stubparser.ast.visitor | Checker | |
| EqualToNode | A node for an equality check: expression == expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| EquivalentAtmComboScanner | EquivalentAtmComboScanner is an AtmComboVisitor that accepts combinations that are identical in TypeMirror structure but might differ in contained AnnotationMirrors. | Class | org.checkerframework.framework.type.visitor | Checker |
| ErrorHandler | An implementation of the ErrorHandler interface can be registered with the ErrorReporter class to change the default behavior on | Interface | org.checkerframework.javacutil | Checker |
| ErrorReporter | Handle errors detected in utility classes. | Class | org.checkerframework.javacutil | Checker |
| ExceptionBlock | Represents a basic block that contains exactly one Node which can throw an exception. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| ExceptionBlockImpl | Base class of the Block implementation hierarchy. | Class | org.checkerframework.dataflow.cfg.block | Checker |
| ExecUtil | Class | org.checkerframework.framework.util | Checker | |
| ExplicitConstructorInvocationStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| ExplicitThisLiteralNode | A node for a reference to 'this'. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Expression | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| ExpressionStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| ExtendedArrayType | Returns the component type of this array type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedDeclaredType | Returns the element corresponding to this type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedErrorType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedExecutableType | Returns the element corresponding to this type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedIntersectionType | Return the bounds comprising this intersection type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedNoType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedNullType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedParameterDeclaration | Returns the element corresponding to this type variable. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedPrimitiveType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedReferenceType | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedTypeDeclaration | Returns the element corresponding to this type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedTypeMirror | Represents a type in the Java programming language. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedTypeVariable | Unlike TypeVariable, this interface does not provide methods to obtain the upper and lower bounds of the type variable. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedTypeVisitor | Interface | org.checkerframework.qualframework.util | Checker | |
| ExtendedUnionType | Return the alternatives comprising this union type. | Interface | org.checkerframework.qualframework.util | Checker |
| ExtendedWildcardType | Returns the upper bound of this wildcard. | Interface | org.checkerframework.qualframework.util | Checker |
| F2A | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| F2AReducer | F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| FBCBottom | Class | org.checkerframework.checker.initialization.qual | Checker | |
| Fenum | A generic fake enumeration qualifier that is parameterized by a name. | Class | org.checkerframework.checker.fenum.qual | Checker |
| FenumAnnotatedTypeFactory | Class | org.checkerframework.checker.fenum | Checker | |
| FenumBottom | Class | org.checkerframework.checker.fenum.qual | Checker | |
| FenumChecker | The main checker class for the Fake Enum Checker. | Class | org.checkerframework.checker.fenum | Checker |
| FenumTop | Class | org.checkerframework.checker.fenum.qual | Checker | |
| FenumUnqualified | Class | org.checkerframework.checker.fenum.qual | Checker | |
| FenumVisitor | Class | org.checkerframework.checker.fenum | Checker | |
| FieldAccessExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| FieldAccessNode | A node for a field access, including a method accesses: expression . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FieldDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| FieldDescriptor | Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4. | Class | org.checkerframework.checker.signature.qual | Checker |
| FieldDescriptorForArray | Represents a field descriptor (JVM type format) as defined in the Java | Class | org.checkerframework.checker.signature.qual | Checker |
| FieldIsExpression | Class | org.checkerframework.framework.qual | Checker | |
| FIsA | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| FIsAReducer | FIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| FloatingDivisionNode | A node for the floating-point division: expression / expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FloatingRemainderNode | A node for the floating-point remainder: expression % expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FloatLiteralNode | A node for a float literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FloatMath | Class | org.checkerframework.common.value.util | Checker | |
| FlowExpressionParseUtil | A collection of helper methods to parse a string that represents a restricted Java expression. | Class | org.checkerframework.framework.util | Checker |
| FlowExpressions | Collection of classes and helper functions to represent Java expressions about which the org. | Class | org.checkerframework.dataflow.analysis | Checker |
| ForeachStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| Format | This annotation, attached to a String type, indicates that the String may be passed to | Class | org.checkerframework.checker.formatter.qual | Checker |
| FormatBottom | Class | org.checkerframework.checker.formatter.qual | Checker | |
| FormatMethod | Class | org.checkerframework.checker.formatter.qual | Checker | |
| FormatterAnalysis | Needed for flow analysis, to implement the FormatUtil. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterAnnotatedTypeFactory | Adds Format to the type of tree, if it is a String or char literal that represents a satisfiable format. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterChecker | A type-checker plug-in for the Format qualifier that finds syntactically invalid formatter calls. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterTransfer | Class | org.checkerframework.checker.formatter | Checker | |
| FormatterTreeUtil | This class provides a collection of utilities to ease working with syntax trees that have something to do with Formatters. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterVisitor | Whenever a format method invocation is found in the syntax tree, the following checks happen, read the code, seriously! (otherwise see manual 12. | Class | org.checkerframework.checker.formatter | Checker |
| FormatUtil | This class provides a collection of utilities to ease working with format strings. | Class | org.checkerframework.checker.formatter | Checker |
| ForName | Class | org.checkerframework.common.reflection.qual | Checker | |
| ForStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| FromByteCode | If a method is annotated with this declaration annotation, then its signature is not written in a stub file and the method is not declared in source. | Class | org.checkerframework.framework.qual | Checker |
| FromStubFile | Class | org.checkerframework.framework.qual | Checker | |
| FullyQualifiedName | Represents a fully-qualified name as defined in the Java Language Specification, section 6. | Class | org.checkerframework.checker.signature.qual | Checker |
| FunctionalInterfaceNode | A node for member references and lambdas. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| g | Class | org.checkerframework.checker.units.qual | Checker | |
| GeneralAnnotatedTypeFactory | A "general" annotated type factory that supports qualifiers from any type hierarchy. | Class | org.checkerframework.framework.type | Checker |
| GenericAnnotatedTypeFactory | A factory that extends AnnotatedTypeFactory to optionally use flow-sensitive qualifier inference, qualifier polymorphism, implicit | Class | org.checkerframework.framework.type | Checker |
| GenericVisitor | Interface | org.checkerframework.stubparser.ast.visitor | Checker | |
| GenericVisitorAdapter | Class | org.checkerframework.stubparser.ast.visitor | Checker | |
| GetClass | Class | org.checkerframework.common.reflection.qual | Checker | |
| GetConstructor | Class | org.checkerframework.common.reflection.qual | Checker | |
| GetMethod | Class | org.checkerframework.common.reflection.qual | Checker | |
| GlbUtil | A class used to determine the greatest lower bounds for a set of AnnotatedTypeMirrors. | Class | org.checkerframework.framework.util.typeinference | Checker |
| GraphQualifierHierarchy | Represents the type qualifier hierarchy of a type system. | Class | org.checkerframework.framework.util | Checker |
| GreaterThanNode | A node for the greater than comparison: expression > expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| GreaterThanOrEqualNode | A node for the greater than or equal comparison: expression >= expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| GuardedBy | The field (or other variable) to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-in | Class | org.checkerframework.checker.lock.qual | Checker |
| GuiEffectChecker | Class | org.checkerframework.checker.guieffect | Checker | |
| GuiEffectTypeFactory | Annotated type factory for the GUI Effect Checker. | Class | org.checkerframework.checker.guieffect | Checker |
| GuiEffectVisitor | Require that only UI code invokes code with the UI effect. | Class | org.checkerframework.checker.guieffect | Checker |
| h | Class | org.checkerframework.checker.units.qual | Checker | |
| HashcodeAtmVisitor | Computes the hashcode of an AnnotatedTypeMirror using the underlying type and primary annotations of the type and its component type. | Class | org.checkerframework.framework.type | Checker |
| HashCodeUtils | Utility class to implement the hashCode method. | Class | org.checkerframework.dataflow.util | Checker |
| Heuristics | Utilities for determining tree-based heuristics. | Class | org.checkerframework.framework.util | Checker |
| Holding | Indicates a method pre and postcondition: the method expects the specified expressions to be @LockHeld when the annotated method | Class | org.checkerframework.checker.lock.qual | Checker |
| HoldingOnEntry | Indicates a method precondition: the method expects the specified expressions to be @LockHeld when the annotated method is invoked. | Class | org.checkerframework.checker.lock.qual | Checker |
| I | Template annotation over IGJ Immutability annotations. | Class | org.checkerframework.checker.igj.qual | Checker |
| I | Template annotation over IGJ Immutability annotations. | Class | org.checkerframework.checker.oigj.qual | Checker |
| I18nAnnotatedTypeFactory | Class | org.checkerframework.checker.i18n | Checker | |
| I18nChecker | A type-checker that enforces (and finds the violations of) two properties: Only localized output gets emitted to the userOnly localizable keys (i. | Class | org.checkerframework.checker.i18n | Checker |
| I18nChecksFormat | Attach this annotation to a method with the following properties: The first parameter is a format string. | Class | org.checkerframework.checker.i18nformatter.qual | Checker |
| I18nConversionCategory | enum I18nConversionCategoryElements of this enumeration are used in a I18nFormat annotation | Class | org.checkerframework.checker.i18nformatter.qual | Checker |
| I18nConversionCategoryTest | Class | org.checkerframework.checker.i18nformatter.unittests | Checker | |
| I18nFormat | This annotation, attached to a String type, indicates that the String may be passed to | Class | org.checkerframework.checker.i18nformatter.qual | Checker |
| I18nFormatBottom | Class | org.checkerframework.checker.i18nformatter.qual | Checker | |
| I18nFormatFor | This annotation indicates that when a string of the annotated type is passed as the first argument to MessageFormat. | Class | org.checkerframework.checker.i18nformatter.qual | Checker |
| I18nFormatterAnalysis | Needed for flow analysis to implement I18nFormatUtil. | Class | org.checkerframework.checker.i18nformatter | Checker |
| I18nFormatterAnnotatedTypeFactory | Adds I18nFormat to the type of tree, if it is a String or char literal that represents a satisfiable format. | Class | org.checkerframework.checker.i18nformatter | Checker |
| I18nFormatterChecker | A type-checker plug-in for the qualifier that finds syntactically invalid i18n-formatter calls (MessageFormat. | Class | org.checkerframework.checker.i18nformatter | Checker |
| I18nFormatterTransfer | Class | org.checkerframework.checker.i18nformatter | Checker | |
| I18nFormatterTreeUtil | This class provides a collection of utilities to ease working with syntax trees that have something to do with I18nFormatters. | Class | org.checkerframework.checker.i18nformatter | Checker |
| I18nFormatterVisitor | Whenever a method with I18nFormatFor annotation is invoked, it will perform the format string verification. | Class | org.checkerframework.checker.i18nformatter | Checker |
| I18nFormatUtil | This class provides a collection of utilities to ease working with i18nAuthor:Siwakorn SrisakaokulSee the Checker Framework Manual:Internationalization | Class | org.checkerframework.checker.i18nformatter | Checker |
| I18nHasFormatTest | Class | org.checkerframework.checker.i18nformatter.unittests | Checker | |
| I18nInvalidFormat | This annotation, attached to a String type, indicates that if the String is passed to | Class | org.checkerframework.checker.i18nformatter.qual | Checker |
| I18nMakeFormat | This annotation is used internally to annotate ResourceBundle. | Class | org.checkerframework.checker.i18nformatter.qual | Checker |
| I18nSubchecker | A type-checker that checks that only localized Strings are visibleSee the Checker Framework Manual:Internationalization Checker | Class | org.checkerframework.checker.i18n | Checker |
| I18nUnknownFormat | Class | org.checkerframework.checker.i18nformatter.qual | Checker | |
| I18nValidFormat | Class | org.checkerframework.checker.i18nformatter.qual | Checker | |
| Identifier | Class | org.checkerframework.checker.signature.qual | Checker | |
| IdentifierOrArray | Class | org.checkerframework.checker.signature.qual | Checker | |
| IfStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| IGJAnnotatedTypeFactory | Adds implicit and default IGJ annotations, only if the user does not annotate the type explicitly. | Class | org.checkerframework.checker.igj | Checker |
| IGJBottom | Class | org.checkerframework.checker.igj.qual | Checker | |
| IGJChecker | A type-checker plug-in for the IGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors. | Class | org.checkerframework.checker.igj | Checker |
| IGJVisitor | A type-checking visitor for the IGJ type qualifier that uses the BaseTypeVisitor implementation. | Class | org.checkerframework.checker.igj | Checker |
| ImmutabilityAnnotatedTypeFactory | Adds implicit and default OIGJ annotations, only if the user does not annotate the type explicitly. | Class | org.checkerframework.checker.oigj | Checker |
| ImmutabilitySubchecker | Class | org.checkerframework.checker.oigj | Checker | |
| ImmutabilityVisitor | Class | org.checkerframework.checker.oigj | Checker | |
| Immutable | Class | org.checkerframework.checker.igj.qual | Checker | |
| Immutable | Class | org.checkerframework.checker.oigj.qual | Checker | |
| ImmutableTestConfiguration | Represents all of the information needed to execute the Javac compiler for a given set of test files. | Class | org.checkerframework.framework.test | Checker |
| ImplicitFor | A meta-annotation that specifies the trees and types for which the framework should automatically add that qualifier. | Class | org.checkerframework.framework.qual | Checker |
| ImplicitsTreeAnnotator | Adds annotations to a type based on the contents of a tree. | Class | org.checkerframework.framework.type.treeannotator | Checker |
| ImplicitsTypeAnnotator | Adds annotations to a type based on the contents of a type. | Class | org.checkerframework.framework.type.typeannotator | Checker |
| ImplicitThisLiteralNode | A node to model the implicit this, e. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ImportDeclaration | This class represents a import declaration. | Class | org.checkerframework.stubparser.ast | Checker |
| IndexUnit | Class | org.checkerframework.stubparser.ast | Checker | |
| InferenceResult | Represents the result from inferring type arguments. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InferredValue | When one of the constraint solvers infers that a the target has a given type/target in ALL qualifier hierarchies or that given an additional set of annotations that we know the target must hold we have covered all hierarchies | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InheritedAnnotation | Class | org.checkerframework.framework.qual | Checker | |
| InitializationAnnotatedTypeFactory | The annotated type factory for the freedom-before-commitment type-system. | Class | org.checkerframework.checker.initialization | Checker |
| InitializationChecker | Tracks whether a value is initialized (all its fields are set), and checks that values are initialized before being used. | Class | org.checkerframework.checker.initialization | Checker |
| InitializationStore | A store that extends CFAbstractStore and additionally tracks which fields of the 'self' reference have been initialized. | Class | org.checkerframework.checker.initialization | Checker |
| InitializationTransfer | A transfer function that extends CFAbstractTransfer and tracks InitializationStores. | Class | org.checkerframework.checker.initialization | Checker |
| InitializationVisitor | The visitor for the freedom-before-commitment type-system. | Class | org.checkerframework.checker.initialization | Checker |
| Initialized | This type qualifier belongs to the freedom-before-commitment initialization tracking type-system. | Class | org.checkerframework.checker.initialization.qual | Checker |
| InitializerDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| InstanceOfExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| InstanceOfNode | A node for the instanceof operator:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| IntegerDivisionNode | A node for the integer division: expression / expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| IntegerLiteralExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| IntegerLiteralMinValueExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| IntegerLiteralNode | A node for an integer literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| IntegerMath | Class | org.checkerframework.common.value.util | Checker | |
| IntegerRemainderNode | A node for the integer remainder: expression % expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| InternalForm | The syntax for binary names that appears in a class file, as defined in Specification, section 4. | Class | org.checkerframework.checker.signature.qual | Checker |
| InternalUtils | Static utility methods used by annotation abstractions in this package. | Class | org.checkerframework.javacutil | Checker |
| Interned | Indicates that a variable has been interned, i. | Class | org.checkerframework.checker.interning.qual | Checker |
| InterningAnnotatedTypeFactory | An AnnotatedTypeFactory that accounts for the properties of the Interned type system. | Class | org.checkerframework.checker.interning | Checker |
| InterningChecker | A type-checker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors. | Class | org.checkerframework.checker.interning | Checker |
| InterningVisitor | Typechecks source code for interning violations. | Class | org.checkerframework.checker.interning | Checker |
| IntVal | An annotation indicating the possible values for a byte, short, char, If an expression's type has this annotation, then at run time, the | Class | org.checkerframework.common.value.qual | Checker |
| InvalidFormat | This annotation, attached to a String type, indicates that the string is not a legal format string. | Class | org.checkerframework.checker.formatter.qual | Checker |
| InvisibleQualifier | Class | org.checkerframework.framework.qual | Checker | |
| Invoke | Class | org.checkerframework.common.reflection.qual | Checker | |
| JavaCharStream | An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing). | Class | org.checkerframework.stubparser | Checker |
| JavaDiagnosticReader | Reads a file that has serialized javac diagnostics and returns either a list of TestDiagnosticLines or TestDiagnostics. | Class | org.checkerframework.framework.test.diagnostics | Checker |
| JavadocComment | Class | org.checkerframework.stubparser.ast.body | Checker | |
| JavaParser | This class was generated automatically by javacc, do not edit. | Class | org.checkerframework.stubparser | Checker |
| JavariAnnotatedTypeFactory | Adds implicit and default Javari annotations, only if the user does not annotate the type explicitly. | Class | org.checkerframework.checker.javari | Checker |
| JavariChecker | An annotation processor that checks a program's use of the Javari type annotations (@ReadOnly, @Mutable, | Class | org.checkerframework.checker.javari | Checker |
| JavariVisitor | A type-checking visitor for the Javari mutability annotations (@ReadOnly, @Mutable and @Assignable) that | Class | org.checkerframework.checker.javari | Checker |
| JavaSource2CFGDOT | Class | org.checkerframework.dataflow.cfg | Checker | |
| K | Kelvin (unit of temperature). | Class | org.checkerframework.checker.units.qual | Checker |
| KeyFor | Indicates that the value assigned to the annotated variable is a key for at least the given map(s). | Class | org.checkerframework.checker.nullness.qual | Checker |
| KeyForAnalysis | The analysis class for the KeyFor type system (serves as factory for the transfer function, stores and abstract values). | Class | org.checkerframework.checker.nullness | Checker |
| KeyForAnnotatedTypeFactory | Class | org.checkerframework.checker.nullness | Checker | |
| KeyForBottom | Class | org.checkerframework.checker.nullness.qual | Checker | |
| KeyForDecl | Java 7 compatibility annotation without dependency on Java 8 classes. | Class | org.checkerframework.checker.nullness.compatqual | Checker |
| KeyForPropagationTreeAnnotator | For the following initializations we wish to propagate the annotations from the left-hand side to the right-hand side or vice versa: | Class | org.checkerframework.checker.nullness | Checker |
| KeyForPropagator | KeyForPropagator is used to move nested KeyFor annotations from one side of a pseudo-assignment to the other. | Class | org.checkerframework.checker.nullness | Checker |
| KeyForSubchecker | A type-checker for determining which which values are keys for which maps. | Class | org.checkerframework.checker.nullness | Checker |
| KeyForTransfer | Class | org.checkerframework.checker.nullness | Checker | |
| KeyForType | Compatibility annotation to allow importing both declaration and typeSee Also:KeyForSee the Checker Framework Manual:Nullness Checker | Class | org.checkerframework.checker.nullness.compatqual | Checker |
| KeyForVisitor | Class | org.checkerframework.checker.nullness | Checker | |
| kg | Class | org.checkerframework.checker.units.qual | Checker | |
| km | Class | org.checkerframework.checker.units.qual | Checker | |
| km2 | Class | org.checkerframework.checker.units.qual | Checker | |
| kmPERh | Class | org.checkerframework.checker.units.qual | Checker | |
| LabeledStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| LazyNonNull | This annotation is deprecated. | Class | org.checkerframework.checker.nullness.qual | Checker |
| LeakedToResult | This annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked. | Class | org.checkerframework.common.aliasing.qual | Checker |
| LeftShiftNode | A node for bitwise left shift operations: expression << expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Length | Class | org.checkerframework.checker.units.qual | Checker | |
| LessThanNode | A node for the less than comparison: expression < expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| LessThanOrEqualNode | A node for the less than or equal comparison: expression <= expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Linear | Class | org.checkerframework.checker.linear.qual | Checker | |
| LinearAnnotatedTypeFactory | Adds Unusable qualifier to a type if it represents: Class declaration tree/element. | Class | org.checkerframework.checker.linear | Checker |
| LinearChecker | A type-checker plug-in for the Linear type system. | Class | org.checkerframework.checker.linear | Checker |
| LinearVisitor | A type-checking visitor for the Linear type system. | Class | org.checkerframework.checker.linear | Checker |
| LineComment | AST node that represent line comments. | Class | org.checkerframework.stubparser.ast | Checker |
| ListTreeAnnotator | ListTreeAnnotator is a TreeVisitor that executes a list of for each tree visited. | Class | org.checkerframework.framework.type.treeannotator | Checker |
| ListTypeAnnotator | ListTypeAnnotator is a TypeAnnotator that executes a list of TypeAnnotator for each type visited. | Class | org.checkerframework.framework.type.typeannotator | Checker |
| LiteralExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| LiteralKind | Specifies kinds of literal trees. | Class | org.checkerframework.framework.qual | Checker |
| LocalizableKey | Class | org.checkerframework.checker.i18n.qual | Checker | |
| LocalizableKeyAnnotatedTypeFactory | A PropertyKeyATF that uses LocalizableKey to annotate the keys. | Class | org.checkerframework.checker.i18n | Checker |
| LocalizableKeyChecker | A type-checker that checks that only valid localizable keys are used when using localizing methods | Class | org.checkerframework.checker.i18n | Checker |
| Localized | Class | org.checkerframework.checker.i18n.qual | Checker | |
| LocalVariableNode | A node for a local variable or a parameter: We allow local variable uses introduced by the CFGBuilder without | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Locations | An annotation processor for listing the potential locations of annotations. | Class | org.checkerframework.common.util.count | Checker |
| LockAnalysis | The analysis class for the lock type system (serves as factory for the transfer function, stores and abstract values. | Class | org.checkerframework.checker.lock | Checker |
| LockAnnotatedTypeFactory | LockAnnotatedTypeFactory builds types with LockHeld and LockPossiblyHeld annotations. | Class | org.checkerframework.checker.lock | Checker |
| LockChecker | Class | org.checkerframework.checker.lock | Checker | |
| LockHeld | Class | org.checkerframework.checker.lock.qual | Checker | |
| LockingFree | Class | org.checkerframework.dataflow.qual | Checker | |
| LockPossiblyHeld | Class | org.checkerframework.checker.lock.qual | Checker | |
| LockStore | Class | org.checkerframework.checker.lock | Checker | |
| LockTransfer | Class | org.checkerframework.checker.lock | Checker | |
| LockVisitor | The LockVisitor enforces the subtyping rules of LockHeld and LockPossiblyHeld (via BaseTypeVisitor). | Class | org.checkerframework.checker.lock | Checker |
| LongLiteralExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| LongLiteralMinValueExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| LongLiteralNode | A node for a long literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| LongMath | Class | org.checkerframework.common.value.util | Checker | |
| LubTypeVariableAnnotator | At the moment, this class is just a collection of special cases that fix the behavior of AnnotateAsLub Annotate as lub always uses a type variable's upper bound to annotate (when in fact the type variable unchanged | Class | org.checkerframework.framework.flow.util | Checker |
| Luminance | Class | org.checkerframework.checker.units.qual | Checker | |
| m | Class | org.checkerframework.checker.units.qual | Checker | |
| m2 | See the Checker Framework Manual:Units CheckerOptional Element Summary | Class | org.checkerframework.checker.units.qual | Checker |
| ManualTaglet | A taglet for processing the @checker_framework. | Class | org.checkerframework.javacutil.dist | Checker |
| MarkerAnnotationExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| MarkerNode | MarkerNodes are no-op Nodes used for debugging information. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Mass | Class | org.checkerframework.checker.units.qual | Checker | |
| MaybeAliased | Class | org.checkerframework.common.aliasing.qual | Checker | |
| MaybeLeaked | Temporary type qualifier: This is the default type qualifier for the Leaked hierarchy. | Class | org.checkerframework.common.aliasing.qual | Checker |
| MemberValuePair | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| MethodAccessNode | A node for a method access, including a method accesses: expression . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| MethodApplier | Adds annotations from element to the return type, formal parameter types, type parameters, and throws clauses of the AnnotatedExecutableType type. | Class | org.checkerframework.framework.util.element | Checker |
| MethodCallExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| MethodDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| MethodDescriptor | Represents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4. | Class | org.checkerframework.checker.signature.qual | Checker |
| MethodInvocationNode | A node for method invocation target(arg1, arg2, . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| MethodRegexParam | MethodRegexParam declares a qualifier parameter on a method. | Class | org.checkerframework.checker.regex.qual | Checker |
| MethodTaintingParam | MethodTaintingParam declares a qualifier parameter on a method. | Class | org.checkerframework.checker.tainting.qual | Checker |
| MethodTypeParamApplier | Applies the annotations present for a method type parameter onto an AnnotatedTypeVariable. | Class | org.checkerframework.framework.util.element | Checker |
| MethodVal | This represents a set of Method or Constructor values. | Class | org.checkerframework.common.reflection.qual | Checker |
| MethodValAnnotatedTypeFactory | Class | org.checkerframework.common.reflection | Checker | |
| MethodValBottom | Class | org.checkerframework.common.reflection.qual | Checker | |
| MethodValChecker | The MethodVal Checker provides a sound estimate of the signature of MethodSee the Checker Framework Manual:MethodVal Checker | Class | org.checkerframework.common.reflection | Checker |
| MethodValVisitor | Class | org.checkerframework.common.reflection | Checker | |
| min | Class | org.checkerframework.checker.units.qual | Checker | |
| MixedUnits | Class | org.checkerframework.checker.units.qual | Checker | |
| mm | Class | org.checkerframework.checker.units.qual | Checker | |
| mm2 | Class | org.checkerframework.checker.units.qual | Checker | |
| Modifier | Class | org.checkerframework.checker.oigj.qual | Checker | |
| ModifierSet | Class to hold modifiers. | Class | org.checkerframework.stubparser.ast.body | Checker |
| ModifierVisitorAdapter | This visitor adapter can be used to save time when some specific nodes needs to be changed. | Class | org.checkerframework.stubparser.ast.visitor | Checker |
| mol | Mole (unit of Substance). | Class | org.checkerframework.checker.units.qual | Checker |
| MonotonicNonNull | Indicates that a field (or variable) is lazily initialized to a non-null value. | Class | org.checkerframework.checker.nullness.qual | Checker |
| MonotonicNonNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| MonotonicNonNullType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| MonotonicQualifier | A meta-annotation that indicates that a qualifier indicates that an expression goes monotonically from a type qualifier T to another | Class | org.checkerframework.framework.qual | Checker |
| MostlySingleton | A set that is more efficient than HashSet for 0 and 1 elements. | Class | org.checkerframework.dataflow.util | Checker |
| mPERs | See the Checker Framework Manual:Units CheckerOptional Element Summary | Class | org.checkerframework.checker.units.qual | Checker |
| mPERs2 | Meter per second squared. | Class | org.checkerframework.checker.units.qual | Checker |
| MultiClassRegexParam | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiClassTaintingParam | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiGraphQualifierHierarchy | Represents the type qualifier hierarchy of a type system. | Class | org.checkerframework.framework.util | Checker |
| MultiMethodRegexParam | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiMethodTaintingParam | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiPolyRegex | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiPolyTainted | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiRegex | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiTainted | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiUntainted | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiVar | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiVar | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiWild | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiWild | Class | org.checkerframework.checker.tainting.qual | Checker | |
| Mutable | Class | org.checkerframework.checker.igj.qual | Checker | |
| Mutable | Indicates that, for the variable on which this annotation appears, the object to which this variable refers can be modified via this | Class | org.checkerframework.checker.javari.qual | Checker |
| Mutable | Class | org.checkerframework.checker.oigj.qual | Checker | |
| NameExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| NarrowingConversionNode | A node for the narrowing primitive conversion operation. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NewInstance | Class | org.checkerframework.common.reflection.qual | Checker | |
| Node | A node in the abstract representation used for Java code inside a basic The following invariants hold: | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Node | Abstract class for all nodes of the AST. | Class | org.checkerframework.stubparser.ast | Checker |
| NodeUtils | A utility class to operate on a given Node. | Class | org.checkerframework.dataflow.util | Checker |
| NodeVisitor | A visitor for a Node tree. | Interface | org.checkerframework.dataflow.cfg.node | Checker |
| NonLeaked | This annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that could | Class | org.checkerframework.common.aliasing.qual | Checker |
| NonNull | NonNull is a type annotation that indicates that an expression is For fields of a class, the NonNull annotation indicates that this | Class | org.checkerframework.checker.nullness.qual | Checker |
| NonNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| NonNullType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| NonRaw | This type qualifier belongs to the rawness initialization tracking type-system. | Class | org.checkerframework.checker.nullness.qual | Checker |
| Normal | Class | org.checkerframework.checker.linear.qual | Checker | |
| NormalAnnotationExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| NotEqualNode | A node for the not equal comparison: expression != expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NotOnlyInitialized | A declaration annotation for fields that indicates that a client might observe the field storing values that are Initialized, | Class | org.checkerframework.checker.initialization.qual | Checker |
| Nullable | Nullable is a type annotation that indicates that the value is not known to be non-null (see NonNull). | Class | org.checkerframework.checker.nullness.qual | Checker |
| NullableDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| NullableType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| NullChkNode | A node for the unary 'nullchk' operation (generated by the Java compiler): <*nullchk*>expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NullLiteralExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| NullLiteralNode | A node for the null literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NullnessAnalysis | The analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessAnnotatedTypeFactory | The annotated type factory for the nullness type-system. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessAnnotatedTypeFormatter | A DefaultAnnotatedTypeFormatter that prints null literals without their annotations. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessChecker | A concrete instantiation of AbstractNullnessChecker using freedom-before-commitment. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessRawnessChecker | A concrete instantiation of AbstractNullnessChecker using rawness. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessStore | Behaves like InitializationStore, but additionally tracks whether PolyNull is known to be Nullable. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessTransfer | Transfer function for the non-null type system. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessUtils | Utilities class for the Nullness Checker. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessValue | Behaves just like CFValue, but additionally tracks whether at this point PolyNull is known to be Nullable. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessVisitor | The visitor for the nullness type-system. | Class | org.checkerframework.checker.nullness | Checker |
| NumberMath | Class | org.checkerframework.common.value.util | Checker | |
| NumberUtils | Class | org.checkerframework.common.value.util | Checker | |
| NumericalAdditionNode | A node for the numerical addition: expression + expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalMinusNode | A node for the unary minus operation:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalMultiplicationNode | A node for the numerical multiplication: expression * expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalPlusNode | A node for the unary plus operation:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalSubtractionNode | A node for the numerical subtraction: expression - expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| O | Class | org.checkerframework.checker.oigj.qual | Checker | |
| ObjectCreationExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| ObjectCreationNode | A node for new object creation new constructor(arg1, arg2, . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| OIGJChecker | A type-checker plug-in for the OIGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors. | Class | org.checkerframework.checker.oigj | Checker |
| OIGJMutabilityBottom | Class | org.checkerframework.checker.oigj.qual | Checker | |
| Operators | This file contains methods that simulate the functions of the Binary and Unary operators in java (e. | Class | org.checkerframework.common.value | Checker |
| OptionConfiguration | Provides methods for querying the Checker's options. | Interface | org.checkerframework.framework.util | Checker |
| OwnershipAnnotatedTypeFactory | Class | org.checkerframework.checker.oigj | Checker | |
| OwnershipSubchecker | Class | org.checkerframework.checker.oigj | Checker | |
| OwnershipVisitor | Class | org.checkerframework.checker.oigj | Checker | |
| PackageDeclaration | This class represents the package declaration. | Class | org.checkerframework.stubparser.ast | Checker |
| PackageNameNode | A node representing a package name used in an expression such as a constructor invocation | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Pair | Simple pair class for multiple returns. | Class | org.checkerframework.javacutil | Checker |
| ParamApplier | Adds annotations to one formal parameter of a method or lambda within a method. | Class | org.checkerframework.framework.util.element | Checker |
| Parameter | Class | org.checkerframework.stubparser.ast.body | Checker | |
| ParameterizedTypeNode | A node for a parameterized type occurring in an expression: Parameterized types don't represent any computation to be done | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ParseException | This exception is thrown when parse errors are encountered. | Class | org.checkerframework.stubparser | Checker |
| PartialRegex | Indicates a String that is not a syntactically valid regular expression. | Class | org.checkerframework.checker.regex.classic.qual | Checker |
| PluginUtil | This file contains basic utility functions that should be reused to create a command line call to CheckerMain. | Class | org.checkerframework.framework.util | Checker |
| PolyAll | A polymorphic type qualifier that varies over all type hierarchies. | Class | org.checkerframework.framework.qual | Checker |
| PolyInterned | A polymorphic qualifier for the Interning type system. | Class | org.checkerframework.checker.interning.qual | Checker |
| PolyKeyFor | A polymorphic qualifier for the Map Key (@KeyFor) type system. | Class | org.checkerframework.checker.nullness.qual | Checker |
| PolymorphicQualifier | A meta-annotation that indicates that an annotation is a polymorphic type Any method written using a polymorphic type qualifier conceptually has | Class | org.checkerframework.framework.qual | Checker |
| PolyNull | A polymorphic qualifier for the non-null type system. | Class | org.checkerframework.checker.nullness.qual | Checker |
| PolyNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| PolyNullType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| PolyQual | A qualifier in the qualifier polymorphism system, with ground qualifier representation Q. | Class | org.checkerframework.qualframework.poly | Checker |
| PolyQualHierarchy | A qualifier hierarchy for PolyQual instances. | Class | org.checkerframework.qualframework.poly | Checker |
| PolyRaw | A polymorphic qualifier for the Rawness type system. | Class | org.checkerframework.checker.nullness.qual | Checker |
| PolyRead | Specifies the allowed mutabilities of a method's return value or the arguments, based on the mutability type of the arguments and the receiver at a method | Class | org.checkerframework.checker.javari.qual | Checker |
| PolyRegex | A polymorphic qualifier for the Regex type system. | Class | org.checkerframework.checker.regex.classic.qual | Checker |
| PolyRegex | Class | org.checkerframework.checker.regex.qual | Checker | |
| PolySignature | A polymorphic qualifier for the Signature type system. | Class | org.checkerframework.checker.signature.qual | Checker |
| PolyTainted | Class | org.checkerframework.checker.experimental.tainting_qual.qual | Checker | |
| PolyTainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |
| PolyTainted | Class | org.checkerframework.checker.tainting.qual | Checker | |
| PolyUI | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| PolyUIEffect | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| PolyUIType | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| PolyUnit | A polymorphic qualifier for the units-of-measure type system implemented by the Units Checker. | Class | org.checkerframework.checker.units.qual | Checker |
| PostconditionAnnotation | A meta-annotation that indicates that an annotation is a postcondition annotation, i. | Class | org.checkerframework.framework.qual | Checker |
| PreconditionAnnotation | A meta-annotation that indicates that an annotation is a precondition annotation, i. | Class | org.checkerframework.framework.qual | Checker |
| Prefix | Class | org.checkerframework.checker.units.qual | Checker | |
| PrettyQualifiedTypeFormatter | PrettyQualifiedTypeFormatter formats QualifiedTypeMirrors with QualParams qualifiers PrettyQualifiedTypeFormatter prints the primary qualifier of a QualParams before a | Class | org.checkerframework.qualframework.poly.format | Checker |
| PrettyQualParamsFormatter | Class | org.checkerframework.qualframework.poly.format | Checker | |
| PrimitiveType | Class | org.checkerframework.stubparser.ast.type | Checker | |
| PrimitiveTypeNode | A node representing a primitive type used in an expression such as a field access | Class | org.checkerframework.dataflow.cfg.node | Checker |
| PropagationTreeAnnotator | PropagationTreeAnnotator adds qualifiers to types where the resulting type is a function of an input type, e. | Class | org.checkerframework.framework.type.treeannotator | Checker |
| PropagationTypeAnnotator | PropagationTypeAnnotator adds qualifiers to types where the qualifier to add should be transferred from one or more other types. | Class | org.checkerframework.framework.type.typeannotator | Checker |
| PropertyKey | Class | org.checkerframework.checker.propkey.qual | Checker | |
| PropertyKeyAnnotatedTypeFactory | This AnnotatedTypeFactory adds PropertyKey annotations to String literals that contain values from lookupKeys. | Class | org.checkerframework.checker.propkey | Checker |
| PropertyKeyBottom | Class | org.checkerframework.checker.propkey.qual | Checker | |
| PropertyKeyChecker | A type-checker that checks that only valid keys are used to access property files and resource bundles. | Class | org.checkerframework.checker.propkey | Checker |
| Pure | Class | org.checkerframework.dataflow.qual | Checker | |
| PurityAnnotatedTypeFactory | Class | org.checkerframework.framework.util | Checker | |
| PurityChecker | A visitor that determines the purity (as defined by SideEffectFree, Deterministic, and Pure) of a statement or expression. | Class | org.checkerframework.dataflow.util | Checker |
| PurityChecker | Perform purity checking only. | Class | org.checkerframework.framework.util | Checker |
| PurityUnqualified | Class | org.checkerframework.framework.util | Checker | |
| PurityUtils | An utility class for working with the SideEffectFree, Deterministic, and Pure annotations. | Class | org.checkerframework.dataflow.util | Checker |
| QReadOnly | Indicates that the annotated type behaves as the most restrictive of ReadOnly and Mutable: only Mutable can be assigned | Class | org.checkerframework.checker.javari.qual | Checker |
| QualAnalysis | Checkers should extend a QualAnalysis to customize the TransferFunction for their checker. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| QualFormatter | Qual to String formatter. | Interface | org.checkerframework.qualframework.base.format | Checker |
| QualifiedNameExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| QualifiedParameterTypeVariableSubstitutor | TypeVariableSubstitutor that handles the qualifier parameter specific logic or combining TypeVariable uses with substituted types. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifiedTypeFactory | Used to compute the qualified type of a Tree or Element. | Interface | org.checkerframework.qualframework.base | Checker |
| QualifiedTypeFormatter | Interface to format a QualifiedTypeMirrors or an individual qualifier. | Interface | org.checkerframework.qualframework.base.format | Checker |
| QualifiedTypeMirror | A ExtendedTypeMirror with a qualifier for the top level and for each component of the type. | Class | org.checkerframework.qualframework.base | Checker |
| QualifiedTypeParameterBounds | A pair of the qualified upper and lower bound types for a type parameter. | Class | org.checkerframework.qualframework.base | Checker |
| QualifiedTypes | Helper functions for various manipulations of QualifiedTypeMirrors. | Interface | org.checkerframework.qualframework.base | Checker |
| QualifiedTypeVisitor | A visitor for QualifiedTypeMirrors, patterned after TypeVisitor. | Interface | org.checkerframework.qualframework.base | Checker |
| QualifierContext | Interface | org.checkerframework.qualframework.util | Checker | |
| QualifierDefaults | Determines the default qualifiers on a type. | Class | org.checkerframework.framework.util.defaults | Checker |
| QualifierHierarchy | Represents a type qualifier hierarchy. | Class | org.checkerframework.framework.type | Checker |
| QualifierHierarchy | DefaultQualifiedTypeFactory component for performing subtyping checks between qualifiers. | Interface | org.checkerframework.qualframework.base | Checker |
| QualifierMapVisitor | Visitor that maps a function over every qualifier in a QualifiedTypeMirror. | Class | org.checkerframework.qualframework.base | Checker |
| QualifierParameterAnnotationConverter | An AnnotationConverter that can also find the names of all declared parameters on a class or method. | Interface | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterChecker | QualifierParameterChecker extends Checker to configure QualifiedTypeFormatters specific to QualParams qualifiers. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterHierarchy | This class provides a QualifierHierarchy implementation for sets of qualifier parameters. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterTreeAnnotator | TreeAnnotator instance for qualifier parameter checkers. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterTypeAnnotator | TypeAnnotator implementation for qualifier parameter checkers. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterTypeFactory | Type factory with qualifier polymorphism support. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierPolymorphism | wish to use it should add calls to annotate(MethodInvocationTree, AnnotatedTypeMirror. | Class | org.checkerframework.framework.util | Checker |
| QualParams | A map of qualifier parameters. | Class | org.checkerframework.qualframework.poly | Checker |
| QualParamsFormatter | A QualFormatter with extra methods to format QualParams. | Interface | org.checkerframework.qualframework.poly.format | Checker |
| QualStore | QualStore is a Store for quals. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| QualTransfer | A TransferFunction for the Qual Framework. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| QualTransferAdapter | QualTransferAdapter adapts the CFTransfer to a QualTransfer. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| QualValue | QualValue is an AbstractValue for quals. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| radians | See the Checker Framework Manual:Units CheckerOptional Element Summary | Class | org.checkerframework.checker.units.qual | Checker |
| Raw | This type qualifier belongs to the rawness type-system for tracking initialization. | Class | org.checkerframework.checker.nullness.qual | Checker |
| ReadOnly | Indicates that the annotated reference is a ReadOnly reference. | Class | org.checkerframework.checker.igj.qual | Checker |
| ReadOnly | Indicates that, for the variable on which this annotation appears, the object to which this variable refers will not be modified via | Class | org.checkerframework.checker.javari.qual | Checker |
| ReadOnly | Indicates that the annotated reference is a ReadOnly reference. | Class | org.checkerframework.checker.oigj.qual | Checker |
| ReferenceType | Class | org.checkerframework.stubparser.ast.type | Checker | |
| ReflectionResolver | Interface for reflection resolvers that handle reflective method calls such as Method. | Interface | org.checkerframework.common.reflection | Checker |
| ReflectiveEvalutator | Class | org.checkerframework.common.value | Checker | |
| Regex | Qualifier for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
| Regex | If a type is annotated as @Regex(n), then the run-time value is a regular expression with n capturing groups. | Class | org.checkerframework.checker.regex.qual | Checker |
| RegexAnalysis | Class | org.checkerframework.checker.regex.classic | Checker | |
| RegexAnnotationConverter | annotations into a Regex qualifier. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
| RegexAnnotationConverter | annotations into a Regex qualifier with support for PolyRegex, Var, Wild annotations. | Class | org.checkerframework.checker.regex | Checker |
| RegexBottom | Class | org.checkerframework.checker.regex.classic.qual | Checker | |
| RegexChecker | CheckerAdapter for the Regex-Qual-Param type system. | Class | org.checkerframework.checker.regex | Checker |
| RegexCheckerAdapter | CheckerAdapter for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
| RegexClassicAnnotatedTypeFactory | Adds Regex to the type of tree, in the following cases: a String or char literal that is a valid | Class | org.checkerframework.checker.regex.classic | Checker |
| RegexClassicChecker | A type-checker plug-in for the Regex qualifier that finds syntactically invalid regular expressions. | Class | org.checkerframework.checker.regex.classic | Checker |
| RegexClassicVisitor | A type-checking visitor for the Regex type system. | Class | org.checkerframework.checker.regex.classic | Checker |
| RegexQualChecker | Checker for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
| RegexQualifiedTransfer | A reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
| RegexQualifiedTransfer | A reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors. | Class | org.checkerframework.checker.regex | Checker |
| RegexQualifiedTypeFactory | The QualifiedTypeFactory for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
| RegexQualifiedTypeFactory | The QualifiedTypeFactory for the Regex-Qual-Param type system. | Class | org.checkerframework.checker.regex | Checker |
| RegexQualifierHierarchy | QualifierHierarchy for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
| RegexQualPolyChecker | Checker for the Regex-Qual-Param type system. | Class | org.checkerframework.checker.regex | Checker |
| RegexTransfer | Class | org.checkerframework.checker.regex.classic | Checker | |
| RegexTypecheckVisitor | The BaseTypeVisitor for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
| RegexTypecheckVisitor | The BaseTypeVisitor for the Regex-Qual-Param type system. | Class | org.checkerframework.checker.regex | Checker |
| RegexUtil | Utility methods for regular expressions, most notably for testing whether a string is a regular expression. | Class | org.checkerframework.checker.regex | Checker |
| RegularBlock | A regular basic block that contains a sequence of Nodes. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| RegularBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |
| RegularTransferResult | store. | Class | org.checkerframework.dataflow.analysis | Checker |
| ReportCall | Report all calls of a method that has this annotation, including calls of methods that override this method. | Class | org.checkerframework.common.util.report.qual | Checker |
| ReportChecker | The Report Checker for semantic searches. | Class | org.checkerframework.common.util.report | Checker |
| ReportCreation | Class | org.checkerframework.common.util.report.qual | Checker | |
| ReportInherit | Class | org.checkerframework.common.util.report.qual | Checker | |
| ReportOverride | Class | org.checkerframework.common.util.report.qual | Checker | |
| ReportReadWrite | Class | org.checkerframework.common.util.report.qual | Checker | |
| ReportUnqualified | Class | org.checkerframework.common.util.report.qual | Checker | |
| ReportUse | Class | org.checkerframework.common.util.report.qual | Checker | |
| ReportVisitor | Class | org.checkerframework.common.util.report | Checker | |
| ReportWrite | Class | org.checkerframework.common.util.report.qual | Checker | |
| RequiresNonNull | Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked. | Class | org.checkerframework.checker.nullness.qual | Checker |
| RequiresQualifier | A precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to the | Class | org.checkerframework.framework.qual | Checker |
| RequiresQualifiers | A meta-annotation to allow multiple precondition annotations. | Class | org.checkerframework.framework.qual | Checker |
| Resolver | A Utility class to find symbols corresponding to string references. | Class | org.checkerframework.javacutil | Checker |
| Resolver2 | A Utility class to find symbols corresponding to string references TODO: This class is only supposed to be used temporarily until a good solution for the MapGetHeuristic is found. | Class | org.checkerframework.framework.util | Checker |
| Result | Represents the outcome of a type-checking operation (success, warning, or failure, plus a list of explanatory messages). | Class | org.checkerframework.framework.source | Checker |
| ReturnNode | A node for a return statement: return expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ReturnsFormat | Attach this annotation to a method with the following properties: The first parameter is a format string. | Class | org.checkerframework.checker.formatter.qual | Checker |
| ReturnStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| SafeEffect | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| SafeType | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| SetQualifierVisitor | Visitor that replaces the qualifier of a QualifiedTypeMirror. | Class | org.checkerframework.qualframework.base | Checker |
| ShortLiteralNode | A node for a short literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ShortMath | Class | org.checkerframework.common.value.util | Checker | |
| SideEffectFree | A method is called side-effect-free if it has no visible side-effects, such as setting a field of an object that existed before | Class | org.checkerframework.dataflow.qual | Checker |
| SignatureAnnotatedTypeFactory | This class is currently not needed. | Class | org.checkerframework.checker.signature | Checker |
| SignatureBottom | Class | org.checkerframework.checker.signature.qual | Checker | |
| SignatureChecker | Class | org.checkerframework.checker.signature | Checker | |
| SignaturePrinter | Outputs the method signatures of a class with fully annotated types. | Class | org.checkerframework.common.util.debug | Checker |
| SignedRightShiftNode | A node for bitwise right shift operations with sign extension: expression >> expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| SimpleAnnotatedTypeScanner | Class | org.checkerframework.framework.type.visitor | Checker | |
| SimpleAnnotatedTypeVisitor | A simple visitor for AnnotatedTypeMirrors. | Class | org.checkerframework.framework.type.visitor | Checker |
| SimpleOptionMap | SimpleOptionMap is a very basic Option container. | Class | org.checkerframework.framework.test | Checker |
| SimpleQualifiedTypeVisitor | A simple implementation of QualifiedTypeVisitor, patterned after SimpleTypeVisitor8. | Class | org.checkerframework.qualframework.base | Checker |
| SimpleQualifierParameterAnnotationConverter | SimpleQualifierParameterAnnotationConverter abstracts the logic to convert annotations to qualifiers for typical qual-poly types systems that that support @Wild, @Var, and qualifier parameters. | Class | org.checkerframework.qualframework.poly | Checker |
| SimpleVoidVisitor | Class | org.checkerframework.stubparser.ast.visitor | Checker | |
| SingleMemberAnnotationExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| SingleSuccessorBlock | A basic block that has at exactly one non-exceptional successor. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| SingleSuccessorBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |
| SourceChecker | An abstract annotation processor designed for implementing a source-file checker for a JSR-308 conforming compiler plug-in. | Class | org.checkerframework.framework.source | Checker |
| SourceNameForNonArrayNonInner | A source name is a string that is a valid fully qualified name and a valid binary name. | Class | org.checkerframework.checker.signature.qual | Checker |
| SourceNameForNonInner | Class | org.checkerframework.checker.signature.qual | Checker | |
| SourceVisitor | An AST visitor that provides a variety of compiler utilities and interfaces to facilitate type-checking. | Class | org.checkerframework.framework.source | Checker |
| SpecialBlock | Represents a special basic block; i. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| SpecialBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |
| Speed | Class | org.checkerframework.checker.units.qual | Checker | |
| Statement | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| StaticallyExecutable | StaticallyExecutable is a method annotation that indicates that the compiler is allowed to run the method at compile time, if all of | Class | org.checkerframework.common.value.qual | Checker |
| Store | A store is used to keep track of the information that the org. | Interface | org.checkerframework.dataflow.analysis | Checker |
| StringConcatenateAssignmentNode | A node for the string concatenation compound assignment: variable += expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| StringConcatenateNode | A node for string concatenation: expression + expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| StringConversionNode | A node for the string conversion operation. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| StringLiteralExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| StringLiteralNode | A node for an string literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| StringVal | An annotation indicating the possible values for a String type. | Class | org.checkerframework.common.value.qual | Checker |
| StructuralEqualityComparer | A visitor used to compare two type mirrors for "structural" equality. | Class | org.checkerframework.framework.type | Checker |
| StubFiles | An annotation on a SourceChecker subclass to provide additional stub files that should be used in addition to jdk. | Class | org.checkerframework.framework.qual | Checker |
| Substance | Class | org.checkerframework.checker.units.qual | Checker | |
| SubtypeOf | A meta-annotation to specify all the qualifiers that the given qualifier is a subtype of. | Class | org.checkerframework.framework.qual | Checker |
| SubtypesSolver | Infers type arguments by using the Greatest Lower Bound computation on the subtype relationships in a constraint map. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| SubtypingAnnotatedTypeFactory | Class | org.checkerframework.common.subtyping | Checker | |
| SubtypingChecker | A checker for type qualifier systems that only checks subtyping The annotation(s) are specified on the command line, using an annotation | Class | org.checkerframework.common.subtyping | Checker |
| SuperExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| SuperNode | A node for a reference to 'super'. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| SuperTypeApplier | When discovering supertypes of an AnnotatedTypeMirror we want to annotate each supertype with the annotations of the subtypes class declaration. | Class | org.checkerframework.framework.util.element | Checker |
| SupertypesSolver | Infers type arguments by using the Least Upper Bound computation on the supertype relationships in a constraint map. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| SupportedLintOptions | An annotation used to indicate what lint options a checker supports. | Class | org.checkerframework.framework.source | Checker |
| SupportedOptions | An annotation used to indicate what Checker Framework options a checker supports. | Class | org.checkerframework.framework.source | Checker |
| SuppressWarningsKeys | Specifies the argument(s) that this checker recognizes for suppressing warnings via the SuppressWarnings annotation. | Class | org.checkerframework.framework.source | Checker |
| SurfaceSyntaxFormatterConfiguration | SurfaceSyntaxFormatterConfiguration provides values and methods required by the SurfaceSyntaxQualParamsFormatter to format a QualParams into an annotation. | Class | org.checkerframework.qualframework.poly.format | Checker |
| SurfaceSyntaxQualParamsFormatter | SurfaceSyntaxQualParamsFormatter formats QualParams qualifiers into their annotation equivalent. | Class | org.checkerframework.qualframework.poly.format | Checker |
| SwingBoxOrientation | Class | org.checkerframework.checker.fenum.qual | Checker | |
| SwingCompassDirection | Class | org.checkerframework.checker.fenum.qual | Checker | |
| SwingElementOrientation | Class | org.checkerframework.checker.fenum.qual | Checker | |
| SwingHorizontalOrientation | Class | org.checkerframework.checker.fenum.qual | Checker | |
| SwingSplitPaneOrientation | Class | org.checkerframework.checker.fenum.qual | Checker | |
| SwingTextOrientation | Class | org.checkerframework.checker.fenum.qual | Checker | |
| SwingTitleJustification | Class | org.checkerframework.checker.fenum.qual | Checker | |
| SwingTitlePosition | Justifications for the title text of aSee Also:TitledBorder. | Class | org.checkerframework.checker.fenum.qual | Checker |
| SwingVerticalOrientation | Class | org.checkerframework.checker.fenum.qual | Checker | |
| SwitchEntryStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| SwitchStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| SynchronizedNode | Class | org.checkerframework.dataflow.cfg.node | Checker | |
| SynchronizedStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| SyntheticArrays | SyntheticArrays exists solely to fix AnnotatedTypeMirrors that need to be adapted from Array type to a specific kind of array. | Class | org.checkerframework.framework.type | Checker |
| SystemGetPropertyHandler | Utility class for handling System. | Class | org.checkerframework.checker.nullness | Checker |
| Tainted | Class | org.checkerframework.checker.experimental.tainting_qual.qual | Checker | |
| Tainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |
| Tainted | Tainted is the annotation to specify the tainted qualifier. | Class | org.checkerframework.checker.tainting.qual | Checker |
| Tainting | Class | org.checkerframework.checker.experimental.tainting_qual | Checker | |
| Tainting | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingAnnotationConverter | Class | org.checkerframework.checker.experimental.tainting_qual | Checker | |
| TaintingAnnotationConverter | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingChecker | Class | org.checkerframework.checker.experimental.tainting_qual | Checker | |
| TaintingChecker | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingCheckerAdapter | Class | org.checkerframework.checker.experimental.tainting_qual | Checker | |
| TaintingClassicAnnotatedTypeFactory | Class | org.checkerframework.checker.tainting.classic | Checker | |
| TaintingClassicChecker | A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs. | Class | org.checkerframework.checker.tainting.classic | Checker |
| TaintingQualChecker | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingQualifiedTypeFactory | Class | org.checkerframework.checker.experimental.tainting_qual | Checker | |
| TaintingQualifiedTypeFactory | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingQualifierHierarchy | Class | org.checkerframework.checker.experimental.tainting_qual | Checker | |
| TaintingQualifierHierarchy | Class | org.checkerframework.checker.tainting | Checker | |
| TargetConstraints | TargetConstraints represents the set of all TUConstraints for which target was the type parameter, i. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| TargetLocations | A meta-annotation that restricts the type-use locations where a type qualifier may be written. | Class | org.checkerframework.framework.qual | Checker |
| Temperature | Class | org.checkerframework.checker.units.qual | Checker | |
| TerminatesExecution | TerminatesExecution is a method annotation that indicates that a method terminates the execution of the program. | Class | org.checkerframework.dataflow.qual | Checker |
| TernaryExpressionNode | A node for a conditional expression: expression ? expression : expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| TestConfiguration | A configuration for running CheckerFrameworkTests or running the TypecheckExecutor. | Interface | org.checkerframework.framework.test | Checker |
| TestConfigurationBuilder | Used to create an instance of TestConfiguration, TestConfigurationBuilder follows the standard builder pattern. | Class | org.checkerframework.framework.test | Checker |
| TestDiagnostic | Represents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler See JavaFileDiagnosticReader and TestDiagnosticLine | Class | org.checkerframework.framework.test.diagnostics | Checker |
| TestDiagnosticLine | Class | org.checkerframework.framework.test.diagnostics | Checker | |
| TestDiagnosticUtils | Class | org.checkerframework.framework.test.diagnostics | Checker | |
| TestSuite | TestSuite runs a test class once for each set of parameters returned by its method marked with @Parameters Annotated your test class with @RunWith(TestSuite. | Class | org.checkerframework.framework.test | Checker |
| TestUtilities | Class | org.checkerframework.framework.test | Checker | |
| ThisExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| ThisLiteralNode | A node for a reference to 'this', either implicit or explicit. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ThisMutable | An annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type in the Javari typesystem. | Class | org.checkerframework.checker.javari.qual | Checker |
| ThrowNode | A node for exception throws:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ThrowStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| Time | Class | org.checkerframework.checker.units.qual | Checker | |
| TIsU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| Token | Describes the input token stream. | Class | org.checkerframework.stubparser | Checker |
| TokenMgrError | Token Manager Error. | Class | org.checkerframework.stubparser | Checker |
| TransferFunction | Interface of a transfer function for the abstract interpretation used for the A transfer function consists of the following components: | Interface | org.checkerframework.dataflow.analysis | Checker |
| TransferInput | TransferInput is used as the input type of the individual transfer functions of a TransferFunction. | Class | org.checkerframework.dataflow.analysis | Checker |
| TransferResult | TransferResult is used as the result type of the individual transfer functions of a TransferFunction. | Class | org.checkerframework.dataflow.analysis | Checker |
| TreeAnnotator | TreeAnnotator is an abstract SimpleTreeVisitor to be used with ListTreeAnnotator | Class | org.checkerframework.framework.type.treeannotator | Checker |
| TreeAnnotator | Class | org.checkerframework.qualframework.base | Checker | |
| TreeBuilder | The TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker. | Class | org.checkerframework.javacutil.trees | Checker |
| TreeDebug | A utility class for displaying the structure of the AST of a program. | Class | org.checkerframework.common.util.debug | Checker |
| TreeParser | A Utility class for parsing Java expression snippets, and converting them to proper Javac AST nodes. | Class | org.checkerframework.javacutil.trees | Checker |
| TreePathCacher | TreePathCacher is a TreeScanner that creates and caches a TreePath for a target This class replicates some logic from TreePath. | Class | org.checkerframework.framework.util | Checker |
| TreePrinter | A utility class for pretty-printing the AST of a program. | Class | org.checkerframework.common.util.debug | Checker |
| TreeUtils | A utility class made for helping to analyze a given Tree. | Class | org.checkerframework.javacutil | Checker |
| TryStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| TSubU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| TSuperU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| TUConstraint | Subclasses of TUConstraint represent constraints between type parameter whose type arguments are being inferred and the types used to do that inference. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| Type | Class | org.checkerframework.stubparser.ast.type | Checker | |
| TypeAnnotationUtils | A collection of helper methods related to type annotation handling. | Class | org.checkerframework.javacutil | Checker |
| TypeAnnotator | TypeAnnotator is an abstract AnnotatedTypeScanner to be used with ListTypeAnnotator | Class | org.checkerframework.framework.type.typeannotator | Checker |
| TypeAnnotator | DefaultQualifiedTypeFactory component for annotating a ExtendedTypeMirror with qualifiers. | Class | org.checkerframework.qualframework.base | Checker |
| TypeArgInferenceUtil | Miscellaneous utilities to help in type argument inference. | Class | org.checkerframework.framework.util.typeinference | Checker |
| TypeArgumentInference | Instances of TypeArgumentInference are used to infer the types of method type arguments when no explicit arguments are provided. | Interface | org.checkerframework.framework.util.typeinference | Checker |
| TypeArgumentMapper | Records any mapping between the type parameters of a subtype to the corresponding type parameters of a supertype. | Class | org.checkerframework.framework.util | Checker |
| TypeCastNode | A node for the cast operator:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| TypecheckExecutor | Used by the Checker Framework test suite to run the framework and generate a test result. | Class | org.checkerframework.framework.test | Checker |
| TypecheckResult | Represents the test results from typechecking one or more java files using the given TestConfiguration. | Class | org.checkerframework.framework.test | Checker |
| TypecheckVisitorAdapter | This class is a shim to allow writing typecheck-visitors using QualifiedTypeMirrors instead of AnnotatedTypeMirrors. | Class | org.checkerframework.qualframework.base | Checker |
| TypeDeclaration | Class | org.checkerframework.stubparser.ast.body | Checker | |
| TypeDeclarationApplier | Apply annotations to a declared type based on its declaration. | Class | org.checkerframework.framework.util.element | Checker |
| TypeDeclarationStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| TypeHierarchy | Compares AnnotatedTypeMirrors for subtype relationships. | Interface | org.checkerframework.framework.type | Checker |
| TypeHierarchy | DefaultQualifiedTypeFactory component for performing subtyping checks between QualifiedTypeMirrors. | Interface | org.checkerframework.qualframework.base | Checker |
| TypeMirrorConverter | Helper class used by adapters to convert between QualifiedTypeMirror and AnnotatedTypeMirror. | Class | org.checkerframework.qualframework.base | Checker |
| TypeOutputtingChecker | A testing class that can be used to test TypeElement. | Class | org.checkerframework.common.util.debug | Checker |
| TypeParameter | This class represents the declaration of a genetics argument. | Class | org.checkerframework.stubparser.ast | Checker |
| TypesIntoElements | A helper class that puts the annotations from an AnnotatedTypeMirrors back into the corresponding Elements, so that they get stored in the bytecode by the compiler. | Class | org.checkerframework.framework.type | Checker |
| TypesUtils | A utility class that helps with TypeMirrors. | Class | org.checkerframework.javacutil | Checker |
| TypeUseLocation | enum TypeUseLocationSpecifies the locations to which a DefaultQualifier annotation applies. | Class | org.checkerframework.framework.qual | Checker |
| TypeValidator | TypeValidator ensures that a type for a given tree is valid both for the tree and the type system that is being used to check the tree. | Interface | org.checkerframework.common.basetype | Checker |
| TypeVariableSubstitutor | TypeVariableSusbtitutor replaces type variables from a declaration with arguments to its use. | Class | org.checkerframework.framework.type | Checker |
| TypeVariableSubstitutor | TypeVariableSubstitutor replaces type variables from a declaration with arguments to its use. | Class | org.checkerframework.qualframework.base | Checker |
| TypeVariableSubstitutorAdapter | Class | org.checkerframework.qualframework.base | Checker | |
| TypeVarUseApplier | Class | org.checkerframework.framework.util.element | Checker | |
| TypeVisualizer | TypeVisualizer prints AnnotatedTypeMirrors as a directed graph where each node is a type and an arrow is a reference. | Class | org.checkerframework.common.util | Checker |
| UI | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| UIEffect | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| UIPackage | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| UIType | Class | org.checkerframework.checker.guieffect.qual | Checker | |
| UnannotatedString | Class | org.checkerframework.checker.signature.qual | Checker | |
| UnaryExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| UnderInitialization | This type qualifier belongs to the freedom-before-commitment type-system for tracking initialization. | Class | org.checkerframework.checker.initialization.qual | Checker |
| UnderlyingAST | Represents an abstract syntax tree of type Tree that underlies a given control flow graph. | Class | org.checkerframework.dataflow.cfg | Checker |
| Unique | An expression with this type has no aliases. | Class | org.checkerframework.common.aliasing.qual | Checker |
| UnitsAnnotatedTypeFactory | Annotated type factory for the Units Checker. | Class | org.checkerframework.checker.units | Checker |
| UnitsAnnotatedTypeFormatter | Class | org.checkerframework.checker.units | Checker | |
| UnitsAnnotationClassLoader | Class | org.checkerframework.checker.units | Checker | |
| UnitsBottom | Class | org.checkerframework.checker.units.qual | Checker | |
| UnitsChecker | Units Checker main class. | Class | org.checkerframework.checker.units | Checker |
| UnitsMultiple | Define the relation between a base unit and the current unit. | Class | org.checkerframework.checker.units.qual | Checker |
| UnitsRelations | Specify the class that knows how to handle the meta-annotated unit when put in relation (plus, multiply, . | Class | org.checkerframework.checker.units.qual | Checker |
| UnitsRelations | Interface that is used to specify the relation between units. | Interface | org.checkerframework.checker.units | Checker |
| UnitsRelationsDefault | Default relations between SI units. | Class | org.checkerframework.checker.units | Checker |
| UnitsRelationsTools | Class | org.checkerframework.checker.units | Checker | |
| UnitsTools | Utility methods to generate annotated types and to convert between them. | Class | org.checkerframework.checker.units | Checker |
| UnitsVisitor | Ensure consistent use of compound assignments. | Class | org.checkerframework.checker.units | Checker |
| UnknownClass | Class | org.checkerframework.common.reflection.qual | Checker | |
| UnknownFormat | Class | org.checkerframework.checker.formatter.qual | Checker | |
| UnknownInitialization | This type qualifier belongs to the freedom-before-commitment type-system for tracking initialization. | Class | org.checkerframework.checker.initialization.qual | Checker |
| UnknownInterned | Class | org.checkerframework.checker.interning.qual | Checker | |
| UnknownKeyFor | Used internally by the type system; should never be written by a programmer. | Class | org.checkerframework.checker.nullness.qual | Checker |
| UnknownLocalized | Class | org.checkerframework.checker.i18n.qual | Checker | |
| UnknownMethod | Class | org.checkerframework.common.reflection.qual | Checker | |
| UnknownPropertyKey | Class | org.checkerframework.checker.propkey.qual | Checker | |
| UnknownRegex | Class | org.checkerframework.checker.regex.classic.qual | Checker | |
| UnknownUnits | Class | org.checkerframework.checker.units.qual | Checker | |
| UnknownVal | Class | org.checkerframework.common.value.qual | Checker | |
| Unqualified | A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf. | Class | org.checkerframework.framework.qual | Checker |
| UnsignedRightShiftNode | A node for bitwise right shift operations with zero extension: expression >>> expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Untainted | Class | org.checkerframework.checker.experimental.tainting_qual.qual | Checker | |
| Untainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |
| Untainted | Untainted is the annotation to specify the untainted qualifier. | Class | org.checkerframework.checker.tainting.qual | Checker |
| Unusable | Class | org.checkerframework.checker.linear.qual | Checker | |
| Unused | Declares that the field may not be accessed if the receiver is of the specified qualifier type (or any supertype). | Class | org.checkerframework.framework.qual | Checker |
| UsesObjectEquals | Class declaration to indicate the class does not override equals(Object), and therefore a. | Class | org.checkerframework.checker.interning.qual | Checker |
| ValueAnnotatedTypeFactory | Class | org.checkerframework.common.value | Checker | |
| ValueChecker | Class | org.checkerframework.common.value | Checker | |
| ValueCheckerUtils | Class | org.checkerframework.common.value | Checker | |
| ValueLiteralNode | A node for a literals that have some form of value: integer literallong literalchar literalstring literalfloat literaldouble literalboolean literalnull literal | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ValueTransfer | Class | org.checkerframework.common.value | Checker | |
| ValueVisitor | Visitor for the Constant Value type-system. | Class | org.checkerframework.common.value | Checker |
| Var | Var is a qualifier parameter use. | Class | org.checkerframework.checker.regex.qual | Checker |
| Var | Var is a qualifier parameter use. | Class | org.checkerframework.checker.tainting.qual | Checker |
| VariableApplier | Applies annotations to variable declaration (providing they are not the use of a TYPE_PARAMETER). | Class | org.checkerframework.framework.util.element | Checker |
| VariableDeclarationExpr | Class | org.checkerframework.stubparser.ast.expr | Checker | |
| VariableDeclarationNode | A node for a local variable declaration: modifier type identifier; | Class | org.checkerframework.dataflow.cfg.node | Checker |
| VariableDeclarator | Class | org.checkerframework.stubparser.ast.body | Checker | |
| VariableDeclaratorId | Class | org.checkerframework.stubparser.ast.body | Checker | |
| VisitHistory | IMPORTANT: DO NOT USE VisitHistory FOR VISITORS THAT UPDATE AN ANNOTATED TYPE MIRROR'S ANNOTATIONS OR YOU VIOLATE THE CONTRACT OF equals/Hashcode. | Class | org.checkerframework.framework.type.visitor | Checker |
| VisitorState | Represents the state of a visitor. | Class | org.checkerframework.framework.type | Checker |
| VoidType | Class | org.checkerframework.stubparser.ast.type | Checker | |
| VoidVisitor | Interface | org.checkerframework.stubparser.ast.visitor | Checker | |
| VoidVisitorAdapter | Class | org.checkerframework.stubparser.ast.visitor | Checker | |
| WhileStmt | Class | org.checkerframework.stubparser.ast.stmt | Checker | |
| WideningConversionNode | A node for the widening primitive conversion operation. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Wild | Wild is equivalent to the wildcard operator. | Class | org.checkerframework.checker.regex.qual | Checker |
| Wild | Wild is equivalent to the wildcard operator. | Class | org.checkerframework.checker.tainting.qual | Checker |
| WildCard | Class | org.checkerframework.checker.oigj.qual | Checker | |
| Wildcard | When using SimpleQualifierParameterAnnotationConverter, this enum allows specifying super and extends bounds, e. | Class | org.checkerframework.qualframework.poly.qual | Checker |
| Wildcard | A qualifier wildcard, bounded above and below by PolyQuals. | Class | org.checkerframework.qualframework.poly | Checker |
| WildcardType | Class | org.checkerframework.stubparser.ast.type | Checker | |
| World | Class | org.checkerframework.checker.oigj.qual | Checker | |
| WrappedAnnotatedTypeMirror | A wrapper to adapt an AnnotatedTypeMirror to the ExtendedTypeMirror interface. | Class | org.checkerframework.qualframework.util | Checker |