checkers.types
Class AnnotatedTypeMirror.AnnotatedArrayType

java.lang.Object
  checkers.types.AnnotatedTypeMirror
      checkers.types.AnnotatedTypeMirror.AnnotatedArrayType

All Implemented Interfaces:

AnnotatedTypeMirror.AnnotatedReferenceType

Enclosing class:

AnnotatedTypeMirror

public static class AnnotatedTypeMirror.AnnotatedArrayType
extends AnnotatedTypeMirror
implements AnnotatedTypeMirror.AnnotatedReferenceType

Represents Array types in java. A multidimensional array type is represented as an array type whose component type is also an array type.

Nested Class Summary

Nested classes/interfaces inherited from class checkers.types.AnnotatedTypeMirror

AnnotatedTypeMirror.AnnotatedArrayType, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedNoType, AnnotatedTypeMirror.AnnotatedNullType, AnnotatedTypeMirror.AnnotatedPrimitiveType, AnnotatedTypeMirror.AnnotatedReferenceType, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedWildcardType

Field Summary

Fields inherited from class checkers.types.AnnotatedTypeMirror

annotationFactory, annotations, element, enclosingType, env, typeFactory

Method Summary

<R,P> R	accept(AnnotatedTypeVisitor<R,P> v, P p) Applies a visitor to this type.
AnnotatedTypeMirror	getComponentType()
AnnotatedTypeMirror.AnnotatedArrayType	getCopy(boolean annotation) Returns a shallow copy of this type.
AnnotatedTypeMirror.AnnotatedArrayType	getErased() Returns the erasure type of the this type, according to JLS specifications.
ArrayType	getUnderlyingType() Returns the underlying unannotated Java type wrapped with this
AnnotatedTypeMirror	substitute(Map<? extends AnnotatedTypeMirror,? extends AnnotatedTypeMirror> mappings) Sub
String	toString()

Methods inherited from class checkers.types.AnnotatedTypeMirror

addAnnotation, addAnnotations, clearAnnotations, copyFields, createType, createTypeOfObject, directSuperTypes, directSuperTypes, equals, formatAnnotationString, getAnnotation, getAnnotation, getAnnotations, getElement, getEnclosingType, getKind, hasAnnotation, hashCode, removeAnnotation, removeAnnotations

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

accept

public <R,P> R accept(AnnotatedTypeVisitor<R,P> v,
                      P p)

Description copied from class: AnnotatedTypeMirror

Applies a visitor to this type.

Specified by:

accept in class AnnotatedTypeMirror

Type Parameters:

R - the return type of the visitor's methods

P - the type of the additional parameter to the visitor's methods

Parameters:

v - the visitor operating on this type

p - additional parameter to the visitor

Returns:

a visitor-specified result

getUnderlyingType

public ArrayType getUnderlyingType()

Description copied from class: AnnotatedTypeMirror

Returns the underlying unannotated Java type wrapped with this

Overrides:

getUnderlyingType in class AnnotatedTypeMirror

Returns:

the underlying type

getComponentType

public AnnotatedTypeMirror getComponentType()

Returns:

the component type of this array

getCopy

public AnnotatedTypeMirror.AnnotatedArrayType getCopy(boolean annotation)

Description copied from class: AnnotatedTypeMirror

Returns a shallow copy of this type.

Specified by:

getCopy in class AnnotatedTypeMirror

Parameters:

annotation - whether copy should have annotations

substitute

public AnnotatedTypeMirror substitute(Map<? extends AnnotatedTypeMirror,? extends AnnotatedTypeMirror> mappings)

Description copied from class: AnnotatedTypeMirror

Sub

Overrides:

substitute in class AnnotatedTypeMirror

getErased

public AnnotatedTypeMirror.AnnotatedArrayType getErased()

Description copied from class: AnnotatedTypeMirror

Returns the erasure type of the this type, according to JLS specifications.

Overrides:

getErased in class AnnotatedTypeMirror

Returns:

the erasure of this

toString

public String toString()

Overrides:

toString in class AnnotatedTypeMirror