org.checkerframework.qualframework.util

Interface ExtendedDeclaredType

All Superinterfaces:

AnnotatedConstruct, ExtendedReferenceType, ExtendedTypeMirror

All Known Subinterfaces:

ExtendedErrorType

All Known Implementing Classes:

WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType

public interface ExtendedDeclaredType
extends ExtendedReferenceType

ExtendedTypeMirror variant for DeclaredType.

Method Summary

Modifier and Type	Method and Description
Element	asElement() Returns the element corresponding to this type.
ExtendedTypeMirror	getEnclosingType() Returns the type of the innermost enclosing instance, or a ExtendedNoType of kind NONE if there is no enclosing instance.
List<? extends ExtendedTypeMirror>	getTypeArguments() Returns the actual type arguments of this type.

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.

getEnclosingType

ExtendedTypeMirror getEnclosingType()

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.

getTypeArguments

List<? extends ExtendedTypeMirror> getTypeArguments()

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.