org.checkerframework.qualframework.util

Class WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType

java.lang.Object

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType

All Implemented Interfaces:

AnnotatedConstruct, ExtendedArrayType, ExtendedReferenceType, ExtendedTypeMirror

Enclosing class:

WrappedAnnotatedTypeMirror

public static class WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType
extends WrappedAnnotatedTypeMirror
implements ExtendedArrayType

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.
WrappedAnnotatedTypeMirror	getComponentType() Returns the component type of this array type.
ArrayType	getOriginalType() Returns the original TypeMirror representation of the type, if possible.
AnnotatedTypeMirror.AnnotatedArrayType	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 ArrayType 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.AnnotatedArrayType 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

getComponentType

public WrappedAnnotatedTypeMirror getComponentType()

Description copied from interface: ExtendedArrayType

Returns the component type of this array type.

Specified by:

getComponentType in interface ExtendedArrayType