org.checkerframework.qualframework.util

Interface ExtendedTypeDeclaration

All Superinterfaces:

AnnotatedConstruct, ExtendedTypeMirror

All Known Implementing Classes:

WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType

public interface ExtendedTypeDeclaration
extends ExtendedTypeMirror

ExtendedTypeMirror variant for DeclaredTypes representing declarations.

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 ExtendedParameterDeclaration>	getTypeParameters() Returns the type parameters declared by 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.

getTypeParameters

List<? extends ExtendedParameterDeclaration> getTypeParameters()

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.