checkers.types

Class AnnotatedTypeMirror.AnnotatedWildcardType

@NonNull java.lang.Object

@Mutable checkers.types.AnnotatedTypeMirror

checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType

Enclosing class:

AnnotatedTypeMirror

public static class AnnotatedTypeMirror.AnnotatedWildcardType
extends @Mutable AnnotatedTypeMirror

Represents a wildcard type argument. Examples include: ? ? extends Number ? super T A wildcard may have its upper bound explicitly set by an extends clause, its lower bound explicitly set by a super clause, or neither (but not both).

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.
AnnotatedTypeMirror.AnnotatedWildcardType	getCopy(boolean copyAnnotations) Returns a shallow copy of this type.
Set<@Nullable AnnotationMirror>	getEffectiveAnnotations() Returns the "effective" annotations on this type, i.e.
@Mutable AnnotatedTypeMirror	getEffectiveExtendsBound()
Set<@Nullable AnnotationMirror>	getEffectiveExtendsBoundAnnotations()
@Mutable AnnotatedTypeMirror	getEffectiveSuperBound()
@Mutable AnnotatedTypeMirror	getErased() Returns the erasure type of the this type, according to JLS specifications.
@Mutable AnnotatedTypeMirror	getExtendsBound()
@Mutable AnnotatedTypeMirror	getExtendsBoundField()
@Mutable AnnotatedTypeMirror	getSuperBound()
@Mutable AnnotatedTypeMirror	getSuperBoundField()
WildcardType	getUnderlyingType() Returns the underlying unannotated Java type, which this wraps
boolean	isMethodTypeArgHack()
void	setMethodTypeArgHack()
@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.

Methods inherited from class checkers.types.AnnotatedTypeMirror

addAnnotation, addAnnotation, addAnnotations, clearAnnotations, copyFields, createType, createTypeOfObject, directSuperTypes, directSuperTypes, equals, formatAnnotationString, getAnnotation, getAnnotation, getAnnotation, getAnnotationInHierarchy, getAnnotations, 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

getSuperBoundField

public @Mutable AnnotatedTypeMirror getSuperBoundField()

getSuperBound

public @Mutable AnnotatedTypeMirror getSuperBound()

Returns:

the lower bound of this wildcard. If no lower bound is explicitly declared, null is returned.

getEffectiveSuperBound

public @Mutable AnnotatedTypeMirror getEffectiveSuperBound()

getExtendsBoundField

public @Mutable AnnotatedTypeMirror getExtendsBoundField()

getExtendsBound

public @Mutable AnnotatedTypeMirror getExtendsBound()

Returns:

the lower bound of this wildcard. If no lower bound is explicitly declared, null is returned.

getEffectiveExtendsBound

public @Mutable AnnotatedTypeMirror getEffectiveExtendsBound()

Returns:

the effective extends bound: the extends bound, with annotations on the type variable considered.

getEffectiveExtendsBoundAnnotations

public Set<@Nullable AnnotationMirror> getEffectiveExtendsBoundAnnotations()

Returns:

the effective upper bound annotations: the annotations on this, or if none, those on the upper bound.

getEffectiveAnnotations

public Set<@Nullable AnnotationMirror> getEffectiveAnnotations()

Description copied from class: AnnotatedTypeMirror

Returns the "effective" annotations on this type, i.e. the annotations on the type itself, or on the upper/extends bound of a type variable/wildcard.

Overrides:

getEffectiveAnnotations in class @Mutable AnnotatedTypeMirror

Returns:

a set of the annotations on this

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 WildcardType 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

getCopy

public AnnotatedTypeMirror.AnnotatedWildcardType 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 @Mutable AnnotatedTypeMirror 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

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.

setMethodTypeArgHack

public void setMethodTypeArgHack()

isMethodTypeArgHack

public boolean isMethodTypeArgHack()