checkers.types

Class AnnotatedTypeMirror.AnnotatedDeclaredType

@NonNull java.lang.Object

@Mutable checkers.types.AnnotatedTypeMirror

checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType

All Implemented Interfaces:

AnnotatedTypeMirror.AnnotatedReferenceType

Enclosing class:

AnnotatedTypeMirror

public static class AnnotatedTypeMirror.AnnotatedDeclaredType
extends @Mutable AnnotatedTypeMirror
implements AnnotatedTypeMirror.AnnotatedReferenceType

Represents a declared type (whether class or interface).

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

Modifier and Type	Field and Description
protected DeclaredType	actualType
protected boolean	isGeneric
protected List<AnnotatedTypeMirror.AnnotatedDeclaredType>	supertypes
protected List<@Mutable AnnotatedTypeMirror>	typeArgs Parametrized Type Arguments

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.
List<AnnotatedTypeMirror.AnnotatedDeclaredType>	directSuperTypes()
List<AnnotatedTypeMirror.AnnotatedDeclaredType>	directSuperTypesField()
AnnotatedTypeMirror.AnnotatedDeclaredType	getCopy(boolean copyAnnotations) Returns a shallow copy of this type.
AnnotatedTypeMirror.AnnotatedDeclaredType	getErased() Returns the erasure type of the this type, according to JLS specifications.
List<@Mutable AnnotatedTypeMirror>	getTypeArguments()
DeclaredType	getUnderlyingType() Returns the underlying unannotated Java type, which this wraps
boolean	isGeneric() Returns true if the type is generic, even if the type is erased or used as a RAW type.
boolean	isParameterized() Returns true if the type is a generic type and the type declaration is parameterized.
void	setTypeArguments(List<? extends @Mutable AnnotatedTypeMirror> ts) Sets the type arguments on this type
@Mutable AnnotatedTypeMirror	substitute(Map<? extends @Mutable AnnotatedTypeMirror,? extends @Mutable AnnotatedTypeMirror> mapping) 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.

Methods inherited from class checkers.types.AnnotatedTypeMirror

addAnnotation, addAnnotation, addAnnotations, clearAnnotations, copyFields, createType, createTypeOfObject, 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

Field Detail

typeArgs

protected List<@Mutable AnnotatedTypeMirror> typeArgs

Parametrized Type Arguments

isGeneric

protected boolean isGeneric

actualType

protected final DeclaredType actualType

supertypes

protected List<AnnotatedTypeMirror.AnnotatedDeclaredType> supertypes

Method Detail

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.

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

setTypeArguments

public void setTypeArguments(List<? extends @Mutable AnnotatedTypeMirror> ts)

Sets the type arguments on this type

Parameters:

ts - the type arguments

getTypeArguments

public List<@Mutable AnnotatedTypeMirror> getTypeArguments()

Returns:

the type argument for this type

isGeneric

public boolean isGeneric()

Returns true if the type is generic, even if the type is erased or used as a RAW type.

Returns:

true iff the type is generic

isParameterized

public boolean isParameterized()

Returns true if the type is a generic type and the type declaration is parameterized. Otherwise, it returns false, in cases where a type is a raw type or a non-generic type. Note: Even if the type is a raw type, the framework actually adds type arguments to the type.

getUnderlyingType

public DeclaredType 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

directSuperTypes

public List<AnnotatedTypeMirror.AnnotatedDeclaredType> directSuperTypes()

Overrides:

directSuperTypes in class @Mutable AnnotatedTypeMirror

directSuperTypesField

public List<AnnotatedTypeMirror.AnnotatedDeclaredType> directSuperTypesField()

getCopy

public AnnotatedTypeMirror.AnnotatedDeclaredType 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> mapping)

Description copied from class: AnnotatedTypeMirror

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

Overrides:

substitute in class @Mutable AnnotatedTypeMirror

getErased

public AnnotatedTypeMirror.AnnotatedDeclaredType 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