Package org.checkerframework.qualframework.util

Interface Summary

Interface	Description
ExtendedArrayType	ExtendedTypeMirror variant for ArrayType.
ExtendedDeclaredType	ExtendedTypeMirror variant for DeclaredType.
ExtendedErrorType	ExtendedTypeMirror variant for ErrorType.
ExtendedExecutableType	ExtendedTypeMirror variant for ExecutableType.
ExtendedIntersectionType	ExtendedTypeMirror variant for IntersectionType.
ExtendedNoType	ExtendedTypeMirror variant for NoType.
ExtendedNullType	ExtendedTypeMirror variant for NullType.
ExtendedParameterDeclaration	ExtendedTypeMirror variant for TypeVariables representing declarations.
ExtendedPrimitiveType	ExtendedTypeMirror variant for PrimitiveType.
ExtendedReferenceType	ExtendedTypeMirror variant for ReferenceType.
ExtendedTypeDeclaration	ExtendedTypeMirror variant for DeclaredTypes representing declarations.
ExtendedTypeMirror	Represents a type in the Java programming language.
ExtendedTypeVariable	ExtendedTypeMirror variant for TypeVariable.
ExtendedTypeVisitor<R,P>	A visitor interface for ExtendedTypeMirror, patterned after TypeVisitor.
ExtendedUnionType	ExtendedTypeMirror variant for UnionType.
ExtendedWildcardType	ExtendedTypeMirror variant for WildcardType.
QualifierContext<Q>

Class Summary

Class	Description
WrappedAnnotatedTypeMirror	A wrapper to adapt an AnnotatedTypeMirror to the ExtendedTypeMirror interface.
WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType
WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType
WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType
WrappedAnnotatedTypeMirror.WrappedAnnotatedIntersectionType
WrappedAnnotatedTypeMirror.WrappedAnnotatedNoType
WrappedAnnotatedTypeMirror.WrappedAnnotatedNullType
WrappedAnnotatedTypeMirror.WrappedAnnotatedPrimitiveType
WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable
WrappedAnnotatedTypeMirror.WrappedAnnotatedUnionType
WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType