org.checkerframework.qualframework.util

Interface ExtendedExecutableType

All Superinterfaces:

AnnotatedConstruct, ExtendedTypeMirror

All Known Implementing Classes:

WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType

public interface ExtendedExecutableType
extends ExtendedTypeMirror

ExtendedTypeMirror variant for ExecutableType.

Method Summary

Modifier and Type	Method and Description
ExecutableElement	asElement() Returns the element corresponding to this type.
List<? extends ExtendedTypeMirror>	getParameterTypes() Returns the types of this executable's formal parameters.
ExtendedTypeMirror	getReceiverType() Returns the receiver type of this executable, or ExtendedNoType with kind NONE if the executable has no receiver type.
ExtendedTypeMirror	getReturnType() Returns the return type of this executable.
List<? extends ExtendedTypeMirror>	getThrownTypes() Returns the exceptions and other throwables listed in this executable's throws clause.
List<? extends ExtendedParameterDeclaration>	getTypeParameters() Returns the type variables declared by the formal type parameters of this executable.

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

accept, getKind, getOriginalType, isDeclaration

Methods inherited from interface javax.lang.model.AnnotatedConstruct

getAnnotation, getAnnotationMirrors, getAnnotationsByType

Method Detail

asElement

ExecutableElement asElement()

Returns the element corresponding to this type.

getParameterTypes

List<? extends ExtendedTypeMirror> getParameterTypes()

Returns the types of this executable's formal parameters.

getReceiverType

ExtendedTypeMirror getReceiverType()

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.

getReturnType

ExtendedTypeMirror getReturnType()

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.

getThrownTypes

List<? extends ExtendedTypeMirror> getThrownTypes()

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

getTypeParameters

List<? extends ExtendedParameterDeclaration> getTypeParameters()

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