checkers.types

Class AnnotatedTypeMirror.AnnotatedArrayType

@NonNull java.lang.Object

@Mutable checkers.types.AnnotatedTypeMirror

checkers.types.AnnotatedTypeMirror.AnnotatedArrayType

All Implemented Interfaces:

AnnotatedTypeMirror.AnnotatedReferenceType

Enclosing class:

AnnotatedTypeMirror

public static class AnnotatedTypeMirror.AnnotatedArrayType
extends @Mutable 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, uid

Method Summary

Methods

Modifier and Type	Method and Description
<R extends @NonNull Object,P extends @NonNull Object> R	accept(AnnotatedTypeVisitor<R,P> v, P p) Applies a visitor to this type.
@Mutable AnnotatedTypeMirror	getComponentType()
AnnotatedTypeMirror.AnnotatedArrayType	getCopy(boolean copyAnnotations) 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, which this wraps
void	setComponentType(@Mutable AnnotatedTypeMirror type) Sets the component type of this array
@Mutable AnnotatedTypeMirror	substitute(Map<? extends @Mutable AnnotatedTypeMirror,? extends @Mutable AnnotatedTypeMirror> mappings) Return a copy of this, with the given substitutions performed.
@ReadOnly String	toString(boolean printInvisible) A version of toString() that optionally outputs all type qualifiers, including @InvisibleQualifier's.
@ReadOnly String	toStringAsCanonical(boolean printInvisible)

Methods inherited from class checkers.types.AnnotatedTypeMirror

addAnnotation, addAnnotation, addAnnotations, clearAnnotations, copyFields, createType, createTypeOfObject, directSuperTypes, directSuperTypes, equals, formatAnnotationString, getAnnotation, getAnnotation, getAnnotation, getAnnotationInHierarchy, getAnnotations, getEffectiveAnnotations, getElement, getEnclosingType, getExplicitAnnotations, getKind, hasAnnotation, hasAnnotation, hasAnnotationRelaxed, hasEffectiveAnnotation, hasEffectiveAnnotationRelaxed, hasExplicitAnnotation, hasExplicitAnnotation, hasExplicitAnnotationRelaxed, hashCode, isAnnotated, isAnnotatedInHierarchy, isUnqualified, removeAnnotation, removeAnnotation, removeAnnotationInHierarchy, removeAnnotations, removeUnqualified, replaceAnnotation, replaceAnnotations, toString, toStringDebug

Methods inherited from class java.lang.Object

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

Method Detail

accept

public <R extends @NonNull Object,P extends @NonNull Object> R accept(AnnotatedTypeVisitor<R,P> v,
                                                             P p)

Description copied from class: AnnotatedTypeMirror

Applies a visitor to this type.

Specified by:

accept in class @Mutable 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, which this wraps

Overrides:

getUnderlyingType in class @Mutable AnnotatedTypeMirror

Returns:

the underlying type

setComponentType

public void setComponentType(@Mutable AnnotatedTypeMirror type)

Sets the component type of this array

Parameters:

type - the component type

getComponentType

public @Mutable AnnotatedTypeMirror getComponentType()

Returns:

the component type of this array

getCopy

public AnnotatedTypeMirror.AnnotatedArrayType getCopy(boolean copyAnnotations)

Description copied from class: AnnotatedTypeMirror

Returns a shallow copy of this type.

Specified by:

getCopy in class @Mutable AnnotatedTypeMirror

Parameters:

copyAnnotations - whether copy should have annotations

substitute

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

Description copied from class: AnnotatedTypeMirror

Return a copy of this, with the given substitutions performed.

Overrides:

substitute in class @Mutable 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 @Mutable AnnotatedTypeMirror

Returns:

the erasure of this

toStringAsCanonical

public @ReadOnly String toStringAsCanonical(boolean printInvisible)

toString

public @ReadOnly String toString(boolean printInvisible)

Description copied from class: AnnotatedTypeMirror

A version of toString() that optionally outputs all type qualifiers, including @InvisibleQualifier's.

Overrides:

toString in class @Mutable AnnotatedTypeMirror

Parameters:

printInvisible - Whether to always output invisible qualifiers.

Returns:

A string representation of the current type containing all qualifiers.