Package org.checkerframework.framework.util.typeinference8.types

Class InvocationType

java.lang.Object

org.checkerframework.framework.util.typeinference8.types.InvocationType

public class InvocationType
extends Object

A method type for an invocation of a method or constructor.

Constructor Summary

Constructors

Constructor	Description
InvocationType(AnnotatedTypeMirror.AnnotatedExecutableType annotatedExecutableType, ExecutableType methodType, ExpressionTree invocation, Java8InferenceContext context)	Creates an invocation type.

Method Summary

Modifier and Type	Method	Description
AnnotatedTypeMirror.AnnotatedExecutableType	getAnnotatedType()	Returns the annotated method type.
List<? extends AnnotatedTypeMirror.AnnotatedTypeVariable>	getAnnotatedTypeVariables()	Returns the annotated type variables.
ExpressionTree	getInvocation()	Returns the method or constructor invocation.
ExecutableType	getJavaType()	Returns the java method type.
List<AbstractType>	getParameterTypes(Theta map)	Returns the parameter types.
List<AbstractType>	getParameterTypes(Theta map, int size)	Returns a list of the parameter types of InvocationType where the vararg parameter has been modified to match the arguments in expression.
AbstractType	getReturnType(Theta map)	Returns the return type.
List<? extends AbstractType>	getThrownTypes(Theta map)	Returns the thrown types.
List<? extends TypeVariable>	getTypeVariables()	Returns the type variables.
boolean	hasTypeVariables()	Whether this method has type variables.
boolean	isVoid()	Whether this method is void.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

InvocationType

public InvocationType(AnnotatedTypeMirror.AnnotatedExecutableType annotatedExecutableType,
 ExecutableType methodType,
 ExpressionTree invocation,
 Java8InferenceContext context)

Creates an invocation type.

Parameters:

annotatedExecutableType - annotated method type

methodType - java method type

invocation - a method or constructor invocation

context - the context

Method Details

getInvocation

public ExpressionTree getInvocation()

Returns the method or constructor invocation.

Returns:

the method or constructor invocation

getJavaType

public ExecutableType getJavaType()

Returns the java method type.

Returns:

the java method type

getThrownTypes

public List<? extends AbstractType> getThrownTypes(Theta map)

Returns the thrown types.

Parameters:

map - a mapping from type variable to inference variable

Returns:

the thrown types

getReturnType

public AbstractType getReturnType(Theta map)

Returns the return type.

Parameters:

map - a mapping from type variable to inference variable

Returns:

the return type

getParameterTypes

public List<AbstractType> getParameterTypes(Theta map,
 int size)

Returns a list of the parameter types of InvocationType where the vararg parameter has been modified to match the arguments in expression.

Parameters:

map - a mapping from type variable to inference variable

size - the number of parameters to return; used to expand the vararg

Returns:

a list of the parameter types of InvocationType where the vararg parameter has been modified to match the arguments in expression

getParameterTypes

public List<AbstractType> getParameterTypes(Theta map)

Returns the parameter types. (Varags are not expanded.)

Parameters:

map - a mapping from type variable to inference variable

Returns:

the parameter types

hasTypeVariables

public boolean hasTypeVariables()

Whether this method has type variables.

Returns:

whether this method has type variables.

getAnnotatedTypeVariables

public List<? extends AnnotatedTypeMirror.AnnotatedTypeVariable> getAnnotatedTypeVariables()

Returns the annotated type variables.

Returns:

the annotated type variables

getTypeVariables

public List<? extends TypeVariable> getTypeVariables()

Returns the type variables.

Returns:

the type variables

isVoid

public boolean isVoid()

Whether this method is void.

Returns:

whether this method is void

getAnnotatedType

public AnnotatedTypeMirror.AnnotatedExecutableType getAnnotatedType()

Returns the annotated method type.

Returns:

the annotated method type