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 object whose run-time value is equal to or a subtype of one of the arguments. | 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 object where the set of possible values of T is known at compile time. | 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 |