Package checkers.types

Contains a way of representing the type of a program element that considers the type qualifiers on that element (and ignores its Java type).

See:
          Description

Interface Summary
Interface Description
AnnotatedTypeMirror.AnnotatedReferenceType  
 

Class Summary
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.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.AnnotatedWildcardType Represents a wildcard type argument.
AnnotatedTypes Utility methods for operating on AnnotatedTypeMirror.
BasicAnnotatedTypeFactory<Checker extends BaseTypeChecker> 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.
VisitorState Represents the state of a visitor.
 

Package checkers.types Description

Contains a way of representing the type of a program element that considers the type qualifiers on that element (and ignores its Java type). The package additionally provides utilities for obtaining and manipulating this type representation.

See the Checker Framework manual:
How to write a checker plugin