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