checkers.types

Class AnnotatedTypeMirror.AnnotatedExecutableType

@NonNull java.lang.Object

@Mutable checkers.types.AnnotatedTypeMirror

checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType

Enclosing class:

AnnotatedTypeMirror

public static class AnnotatedTypeMirror.AnnotatedExecutableType
extends @Mutable AnnotatedTypeMirror

Represents a type of an executable. An executable is a method, constructor, or initializer.

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.AnnotatedExecutableType	getCopy(boolean copyAnnotations) Returns a shallow copy of this type.
@NonNull ExecutableElement	getElement() Returns the element associated with the value the type represent, if any.
AnnotatedTypeMirror.AnnotatedExecutableType	getErased() Returns the erasure type of the this type, according to JLS specifications.
List<@Mutable AnnotatedTypeMirror>	getParameterTypes()
AnnotatedTypeMirror.AnnotatedDeclaredType	getReceiverType()
@Mutable AnnotatedTypeMirror	getReturnType()
List<@Mutable AnnotatedTypeMirror>	getThrownTypes()
List<AnnotatedTypeMirror.AnnotatedTypeVariable>	getTypeVariables()
ExecutableType	getUnderlyingType() Returns the underlying unannotated Java type, which this wraps
boolean	isVarArgs()
AnnotatedTypeMirror.AnnotatedExecutableType	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, getEffectiveAnnotations, 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

isVarArgs

public boolean isVarArgs()

Returns:

true if this type represents a varargs method

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

getParameterTypes

public List<@Mutable AnnotatedTypeMirror> getParameterTypes()

Returns:

the parameter types of this executable type

getReturnType

public @Mutable AnnotatedTypeMirror getReturnType()

Returns:

the return type of this executable type

getReceiverType

public AnnotatedTypeMirror.AnnotatedDeclaredType getReceiverType()

Returns:

the receiver type of this executable type

getThrownTypes

public List<@Mutable AnnotatedTypeMirror> getThrownTypes()

Returns:

the thrown types of this executable type

getTypeVariables

public List<AnnotatedTypeMirror.AnnotatedTypeVariable> getTypeVariables()

Returns:

the type variables of this executable type, if any

getCopy

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

getElement

public @NonNull ExecutableElement getElement()

Description copied from class: AnnotatedTypeMirror

Returns the element associated with the value the type represent, if any. I.e. For 'Integer i;' the element would be for 'i' not 'Integer'

Overrides:

getElement in class @Mutable AnnotatedTypeMirror

Returns:

the Element of the value of this type, if one exists

getErased

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

substitute

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

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.