Name | Description | Type | Package | Framework |
AbstractAtmComboVisitor | defaultErrorMessage. | Class | org.checkerframework.framework.type.visitor | 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 |
|
AnnotatedTypeFactory .InheritedFromClassAnnotator | A singleton utility class for pulling annotations down from a classSee Also:AnnotatedTypeFactory. | 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 |
|
AnnotatedTypeMirror .AnnotatedArrayType | Represents Array types in java. | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedDeclaredType | Represents a declared type (whether class or interface). | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedExecutableType | Represents a type of an executable. | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedIntersectionType | | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedNoType | A pseudo-type used where no actual type is appropriate. | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedNullType | Represents the null type. | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedPrimitiveType | Represents a primitive type. | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedTypeVariable | Represents a type variable. | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedUnionType | | Class | org.checkerframework.framework.type | Checker |
|
AnnotatedTypeMirror .AnnotatedWildcardType | Represents a wildcard type argument. | 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 |
|
AnnotatedTypeReplacer .Visitor | AnnotatedTypeCopier maintains a mapping of typeVisited -> copyOfTypeVisited When a reference, typeVisited, is encountered again, it will use the recorded reference, | Class | org.checkerframework.framework.type | 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 |
|
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 |
|
AtmComboVisitor | Visitor interface for all pair-wise combinations of AnnotatedTypeMirrors. | Interface | org.checkerframework.framework.type.visitor | Checker |
|
BoundsInitializer | BoundsInitializer creates the bounds for type variables and wildcards. | Class | org.checkerframework.framework.type | 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 |
|
DefaultAnnotatedTypeFormatter .FormattingVisitor | A scanning visitor that prints the entire AnnotatedTypeMirror passed to visit. | Class | org.checkerframework.framework.type | Checker |
|
DefaultInferredTypesApplier | Utility class for applying the annotations inferred by dataflow to a given type. | Class | org.checkerframework.framework.type | Checker |
|
DefaultInferredTypesApplier .InferredTypeApplyingVisitor | Traverses type pairs, copies the annotations from the first type to the second (inferred type) Traversal is necessary to add annotations to the bounds of wildcards and type variables when the | Class | org.checkerframework.framework.type | Checker |
|
DefaultRawnessComparer | //TODO: USING THE SAME LOGIC AS THE OLD TYPE_HIERARCHY. | Class | org.checkerframework.framework.type | 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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
GenericAnnotatedTypeFactory .ScanState | Track the state of org. | Class | org.checkerframework.framework.type | 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 |
|
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 |
|
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 |
|
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 |
|
QualifierHierarchy | Represents a type qualifier hierarchy. | Class | org.checkerframework.framework.type | Checker |
|
SimpleAnnotatedTypeScanner | | Class | org.checkerframework.framework.type.visitor | Checker |
|
SimpleAnnotatedTypeVisitor | A simple visitor for AnnotatedTypeMirrors. | Class | org.checkerframework.framework.type.visitor | Checker |
|
StructuralEqualityComparer | A visitor used to compare two type mirrors for "structural" equality. | Class | org.checkerframework.framework.type | 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 |
|
TreeAnnotator | TreeAnnotator is an abstract SimpleTreeVisitor to be used with ListTreeAnnotator | Class | org.checkerframework.framework.type.treeannotator | Checker |
|
TypeAnnotator | TypeAnnotator is an abstract AnnotatedTypeScanner to be used with ListTypeAnnotator | Class | org.checkerframework.framework.type.typeannotator | Checker |
|
TypeHierarchy | Compares AnnotatedTypeMirrors for subtype relationships. | Interface | org.checkerframework.framework.type | 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 |
|
TypeVariableSubstitutor | TypeVariableSusbtitutor replaces type variables from a declaration with arguments to its use. | Class | org.checkerframework.framework.type | 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 |