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

AnnotatedTypeMirror.AnnotatedReferenceType
AnnotatedTypeVisitor<R,P>	A Visitor class of annotated types, in the style of the visitor design pattern.

Class Summary

AnnotatedTypeComparer<R>	A TypeVisitor that takes an AnnotatedTypeMirror as a parameter, and visits it simultaneously.
AnnotatedTypeFactory	The methods of this class take an element or AST node, and return the annotated type as an AnnotatedTypeMirror.
AnnotatedTypeMirror	Represents a annotated type in the JSR308 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.
AnnotatedTypeScanner<R,P>	A TypeVisitor that visits all the child tree nodes.
AnnotationFactory	Creates new annotations as AnnotationMirrors that may be added to AnnotatedTypeMirrors.
QualifierHierarchy	Represents a type qualifiers hierarchy.
SimpleAnnotatedTypeScanner<R,P>
SimpleAnnotatedTypeVisitor<R,P>	A simple visitor for AnnotatedTypeMirrors.
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.
TypeHierarchy	Class to test AnnotatedTypeMirrors 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 checkers manual:

How to write a checker plugin