org.checkerframework.qualframework.util

Interface ExtendedTypeVariable

All Superinterfaces:

AnnotatedConstruct, ExtendedReferenceType, ExtendedTypeMirror

All Known Implementing Classes:

WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable

public interface ExtendedTypeVariable
extends ExtendedReferenceType

ExtendedTypeMirror variant for TypeVariable. Unlike TypeVariable, this interface does not provide methods to obtain the upper and lower bounds of the type variable. The bounds should be determined by inspecting the Element returned by asElement.

Method Summary

Modifier and Type	Method and Description
Element	asElement() Returns the element corresponding to this type variable.
ExtendedParameterDeclaration	getDeclaration() Get the ExtendedParameterDeclaration for the declaration of this type variable.

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

accept, getKind, getOriginalType, isDeclaration

Methods inherited from interface javax.lang.model.AnnotatedConstruct

getAnnotation, getAnnotationMirrors, getAnnotationsByType

Method Detail

asElement

Element asElement()

Returns the element corresponding to this type variable.

getDeclaration

ExtendedParameterDeclaration getDeclaration()

Get the ExtendedParameterDeclaration for the declaration of this type variable.