org.checkerframework.qualframework.util

Interface ExtendedTypeMirror

All Superinterfaces:

AnnotatedConstruct

All Known Subinterfaces:

ExtendedArrayType, ExtendedDeclaredType, ExtendedErrorType, ExtendedExecutableType, ExtendedIntersectionType, ExtendedNoType, ExtendedNullType, ExtendedParameterDeclaration, ExtendedPrimitiveType, ExtendedReferenceType, ExtendedTypeDeclaration, ExtendedTypeVariable, ExtendedUnionType, ExtendedWildcardType

All Known Implementing Classes:

WrappedAnnotatedTypeMirror, WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType, WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType, WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType, WrappedAnnotatedTypeMirror.WrappedAnnotatedIntersectionType, WrappedAnnotatedTypeMirror.WrappedAnnotatedNoType, WrappedAnnotatedTypeMirror.WrappedAnnotatedNullType, WrappedAnnotatedTypeMirror.WrappedAnnotatedPrimitiveType, WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable, WrappedAnnotatedTypeMirror.WrappedAnnotatedUnionType, WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType

public interface ExtendedTypeMirror
extends AnnotatedConstruct

Represents a type in the Java programming language. The ExtendedTypeMirror hierarchy follows the same structure as the standard TypeMirror hierarchy. We use these Extended interfaces instead of the standard TypeMirror interfaces because in some cases we require behavior that differs from the specification of TypeMirror. (See the subinterfaces' documentation for details.)

Method Summary

Modifier and Type	Method and Description
<R,P> R	accept(ExtendedTypeVisitor<R,P> v, P p) Applies an ExtendedTypeVisitor to this object.
TypeKind	getKind() Returns the kind of this type.
TypeMirror	getOriginalType() Returns the original TypeMirror representation of the type, if possible.
boolean	isDeclaration() Returns true iff this ExtendedTypeMirror represents a type declaration, rather than a use of a type.

Methods inherited from interface javax.lang.model.AnnotatedConstruct

getAnnotation, getAnnotationMirrors, getAnnotationsByType

Method Detail

getOriginalType

TypeMirror getOriginalType()

Returns the original TypeMirror representation of the type, if possible. This method may return null if no TypeMirror representation is available.

getKind

TypeKind getKind()

Returns the kind of this type.

accept

<R,P> R accept(ExtendedTypeVisitor<R,P> v,
               P p)

Applies an ExtendedTypeVisitor to this object.

isDeclaration

boolean isDeclaration()

Returns true iff this ExtendedTypeMirror represents a type declaration, rather than a use of a type. This can happen only because the underlying annotation-based framework uses AnnotatedTypeMirrors for both declarations and uses of types. Once the framework is fixed to no longer mix the two, this method will be removed.