org.checkerframework.qualframework.util

Class WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType

java.lang.Object

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType

All Implemented Interfaces:

AnnotatedConstruct, ExtendedExecutableType, ExtendedTypeMirror

Enclosing class:

WrappedAnnotatedTypeMirror

public static class WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType
extends WrappedAnnotatedTypeMirror
implements ExtendedExecutableType

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType, WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType, WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType, WrappedAnnotatedTypeMirror.WrappedAnnotatedIntersectionType, WrappedAnnotatedTypeMirror.WrappedAnnotatedNoType, WrappedAnnotatedTypeMirror.WrappedAnnotatedNullType, WrappedAnnotatedTypeMirror.WrappedAnnotatedPrimitiveType, WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable, WrappedAnnotatedTypeMirror.WrappedAnnotatedUnionType, WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType

Method Summary

Modifier and Type	Method and Description
<R,P> R	accept(ExtendedTypeVisitor<R,P> v, P p) Applies an ExtendedTypeVisitor to this object.
ExecutableElement	asElement() Returns the element corresponding to this type.
ExecutableType	getOriginalType() Returns the original TypeMirror representation of the type, if possible.
List<? extends ExtendedTypeMirror>	getParameterTypes() Returns the types of this executable's formal parameters.
WrappedAnnotatedTypeMirror	getReceiverType() Returns the receiver type of this executable, or ExtendedNoType with kind NONE if the executable has no receiver type.
WrappedAnnotatedTypeMirror	getReturnType() Returns the return type of this executable.
List<? extends WrappedAnnotatedTypeMirror>	getThrownTypes() Returns the exceptions and other throwables listed in this executable's throws clause.
List<? extends WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable>	getTypeParameters() Returns the type variables declared by the formal type parameters of this executable.
AnnotatedTypeMirror.AnnotatedExecutableType	unwrap() Unwrap a WrappedAnnotatedTypeMirror to obtain the original AnnotatedTypeMirror.

Methods inherited from class org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

equals, getAnnotation, getAnnotationMirrors, getAnnotationsByType, getKind, hashCode, isDeclaration, toString, wrap

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.checkerframework.qualframework.util.ExtendedTypeMirror

getKind, isDeclaration

Methods inherited from interface javax.lang.model.AnnotatedConstruct

getAnnotation, getAnnotationMirrors, getAnnotationsByType

Method Detail

getOriginalType

public ExecutableType getOriginalType()

Description copied from interface: ExtendedTypeMirror

Returns the original TypeMirror representation of the type, if possible. This method may return null if no TypeMirror representation is available.

Specified by:

getOriginalType in interface ExtendedTypeMirror

Overrides:

getOriginalType in class WrappedAnnotatedTypeMirror

unwrap

public AnnotatedTypeMirror.AnnotatedExecutableType unwrap()

Description copied from class: WrappedAnnotatedTypeMirror

Unwrap a WrappedAnnotatedTypeMirror to obtain the original AnnotatedTypeMirror.

Overrides:

unwrap in class WrappedAnnotatedTypeMirror

accept

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

Description copied from interface: ExtendedTypeMirror

Applies an ExtendedTypeVisitor to this object.

Specified by:

accept in interface ExtendedTypeMirror

asElement

public ExecutableElement asElement()

Description copied from interface: ExtendedExecutableType

Returns the element corresponding to this type.

Specified by:

asElement in interface ExtendedExecutableType

getParameterTypes

public List<? extends ExtendedTypeMirror> getParameterTypes()

Description copied from interface: ExtendedExecutableType

Returns the types of this executable's formal parameters.

Specified by:

getParameterTypes in interface ExtendedExecutableType

getReceiverType

public WrappedAnnotatedTypeMirror getReceiverType()

Description copied from interface: ExtendedExecutableType

Returns the receiver type of this executable, or ExtendedNoType with kind NONE if the executable has no receiver type. An executable which is an instance method, or a constructor of an inner class, has a receiver type derived from the declaring type. An executable which is a static method, or a constructor of a non-inner class, or an initializer (static or instance), has no receiver type.

Specified by:

getReceiverType in interface ExtendedExecutableType

getReturnType

public WrappedAnnotatedTypeMirror getReturnType()

Description copied from interface: ExtendedExecutableType

Returns the return type of this executable. Returns an ExtendedNoType with kind VOID if this executable is a method that does not return a value. Unlike ExecutableType.getReturnType, calling this method on the type of a constructor returns the type of the object to be constructed.

Specified by:

getReturnType in interface ExtendedExecutableType

getThrownTypes

public List<? extends WrappedAnnotatedTypeMirror> getThrownTypes()

Description copied from interface: ExtendedExecutableType

Returns the exceptions and other throwables listed in this executable's throws clause.

Specified by:

getThrownTypes in interface ExtendedExecutableType

getTypeParameters

public List<? extends WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable> getTypeParameters()

Description copied from interface: ExtendedExecutableType

Returns the type variables declared by the formal type parameters of this executable.

Specified by:

getTypeParameters in interface ExtendedExecutableType