org.checkerframework.qualframework.util

Class WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType

java.lang.Object

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType

All Implemented Interfaces:

AnnotatedConstruct, ExtendedDeclaredType, ExtendedReferenceType, ExtendedTypeDeclaration, ExtendedTypeMirror

Enclosing class:

WrappedAnnotatedTypeMirror

public static class WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType
extends WrappedAnnotatedTypeMirror
implements ExtendedDeclaredType, ExtendedTypeDeclaration

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

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

Method Summary

Modifier and Type	Method and Description
<R,P> R	accept(ExtendedTypeVisitor<R,P> v, P p) Applies an ExtendedTypeVisitor to this object.
Element	asElement() Returns the element corresponding to this type.
WrappedAnnotatedTypeMirror	getEnclosingType() Returns the type of the innermost enclosing instance, or a ExtendedNoType of kind NONE if there is no enclosing instance.
DeclaredType	getOriginalType() Returns the original TypeMirror representation of the type, if possible.
List<? extends WrappedAnnotatedTypeMirror>	getTypeArguments() Returns the actual type arguments of this type.
List<? extends WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable>	getTypeParameters() Returns the type parameters declared by this type.
AnnotatedTypeMirror.AnnotatedDeclaredType	unwrap() Unwrap a WrappedAnnotatedTypeMirror to obtain the original AnnotatedTypeMirror.

Methods inherited from class org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

equals, getAnnotation, getAnnotationMirrors, getAnnotationsByType, getKind, hashCode, isDeclaration, toString, wrap

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.checkerframework.qualframework.util.ExtendedTypeMirror

getKind, isDeclaration

Methods inherited from interface javax.lang.model.AnnotatedConstruct

getAnnotation, getAnnotationMirrors, getAnnotationsByType

Method Detail

getOriginalType

public DeclaredType getOriginalType()

Description copied from interface: ExtendedTypeMirror

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

Specified by:

getOriginalType in interface ExtendedTypeMirror

Overrides:

getOriginalType in class WrappedAnnotatedTypeMirror

unwrap

public AnnotatedTypeMirror.AnnotatedDeclaredType unwrap()

Description copied from class: WrappedAnnotatedTypeMirror

Unwrap a WrappedAnnotatedTypeMirror to obtain the original AnnotatedTypeMirror.

Overrides:

unwrap in class WrappedAnnotatedTypeMirror

accept

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

Description copied from interface: ExtendedTypeMirror

Applies an ExtendedTypeVisitor to this object.

Specified by:

accept in interface ExtendedTypeMirror

asElement

public Element asElement()

Description copied from interface: ExtendedDeclaredType

Returns the element corresponding to this type.

Specified by:

asElement in interface ExtendedDeclaredType

Specified by:

asElement in interface ExtendedTypeDeclaration

getEnclosingType

public WrappedAnnotatedTypeMirror getEnclosingType()

Description copied from interface: ExtendedDeclaredType

Returns the type of the innermost enclosing instance, or a ExtendedNoType of kind NONE if there is no enclosing instance. Only types corresponding to inner classes have an enclosing instance.

Specified by:

getEnclosingType in interface ExtendedDeclaredType

Specified by:

getEnclosingType in interface ExtendedTypeDeclaration

getTypeArguments

public List<? extends WrappedAnnotatedTypeMirror> getTypeArguments()

Description copied from interface: ExtendedDeclaredType

Returns the actual type arguments of this type. For a type nested within a parameterized type (such as Outer<String>.Inner<Number>), only the type arguments of the innermost type are included.

Specified by:

getTypeArguments in interface ExtendedDeclaredType

getTypeParameters

public List<? extends WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable> getTypeParameters()

Description copied from interface: ExtendedTypeDeclaration

Returns the type parameters declared by this type. For a type nested within a parameterized type (such as Outer<String>.Inner<Number>), only the type parameters of the innermost type are included.

Specified by:

getTypeParameters in interface ExtendedTypeDeclaration