See: Description
Interface | Description |
---|---|
AnnotatedTypeMirror.AnnotatedReferenceType |
Class | Description |
---|---|
AnnotatedTypeFactory |
The methods of this class take an element or AST node, and return the
annotated type as an
AnnotatedTypeMirror . |
AnnotatedTypeFactory.InheritedFromClassAnnotator |
A singleton utility class for pulling annotations down from a class
type.
|
AnnotatedTypeMirror |
Represents an annotated type in the Java programming language.
|
AnnotatedTypeMirror.AnnotatedArrayType |
Represents Array types in java.
|
AnnotatedTypeMirror.AnnotatedDeclaredType |
Represents a declared type (whether class or interface).
|
AnnotatedTypeMirror.AnnotatedExecutableType |
Represents a type of an executable.
|
AnnotatedTypeMirror.AnnotatedIntersectionType | |
AnnotatedTypeMirror.AnnotatedNoType |
A pseudo-type used where no actual type is appropriate.
|
AnnotatedTypeMirror.AnnotatedNullType |
Represents the null type.
|
AnnotatedTypeMirror.AnnotatedPrimitiveType |
Represents a primitive type.
|
AnnotatedTypeMirror.AnnotatedTypeVariable |
Represents a type variable.
|
AnnotatedTypeMirror.AnnotatedUnionType | |
AnnotatedTypeMirror.AnnotatedWildcardType |
Represents a wildcard type argument.
|
GeneralAnnotatedTypeFactory |
A "general" annotated type factory that supports qualifiers from any type hierarchy.
|
GenericAnnotatedTypeFactory<Value extends CFAbstractValue<Value>,Store extends CFAbstractStore<Value,Store>,TransferFunction extends CFAbstractTransfer<Value,Store,TransferFunction>,FlowAnalysis extends CFAbstractAnalysis<Value,Store,TransferFunction>> |
A factory that extends
AnnotatedTypeFactory to optionally use
flow-sensitive qualifier inference, qualifier polymorphism, implicit
annotations via ImplicitFor , and user-specified defaults via
DefaultQualifier . |
QualifierHierarchy |
Represents a type qualifier hierarchy.
|
TreeAnnotator |
Adds annotations to a type based on the contents of a tree.
|
TypeAnnotator |
Adds annotations to a type based on the contents of a type.
|
TypeFromElement |
A utility class used to extract the annotations from an element and inserts
them into the elements type.
|
TypeHierarchy |
Class to test
AnnotatedTypeMirror subtype relationships. |
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.
|
VisitorState |
Represents the state of a visitor.
|
Enum | Description |
---|---|
GenericAnnotatedTypeFactory.ScanState |
Track the state of org.checkerframework.dataflow analysis scanning for each class tree in the
compilation unit.
|