org.checkerframework.qualframework.util

Class WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable

java.lang.Object

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable

All Implemented Interfaces:

AnnotatedConstruct, ExtendedParameterDeclaration, ExtendedReferenceType, ExtendedTypeMirror, ExtendedTypeVariable

Enclosing class:

WrappedAnnotatedTypeMirror

public static class WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable
extends WrappedAnnotatedTypeMirror
implements ExtendedTypeVariable, ExtendedParameterDeclaration

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 variable.
ExtendedParameterDeclaration	getDeclaration() Get the ExtendedParameterDeclaration for the declaration of this type variable.
TypeVariable	getOriginalType() Returns the original TypeMirror representation of the type, if possible.
AnnotatedTypeMirror.AnnotatedTypeVariable	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 TypeVariable 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.AnnotatedTypeVariable 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: ExtendedTypeVariable

Returns the element corresponding to this type variable.

Specified by:

asElement in interface ExtendedParameterDeclaration

Specified by:

asElement in interface ExtendedTypeVariable

getDeclaration

public ExtendedParameterDeclaration getDeclaration()

Description copied from interface: ExtendedTypeVariable

Get the ExtendedParameterDeclaration for the declaration of this type variable.

Specified by:

getDeclaration in interface ExtendedTypeVariable