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

Class AbstractInvocationType

java.lang.Object

org.checkerframework.framework.util.typeinference8.types.AbstractExecutableType

org.checkerframework.framework.util.typeinference8.types.AbstractInvocationType

public class AbstractInvocationType
extends AbstractExecutableType

An inference type for a method or constructor invocation. This is a wrapper around AnnotatedTypeMirror.AnnotatedExecutableType whose methods return AbstractType.

Field Summary

Fields inherited from class org.checkerframework.framework.util.typeinference8.types.AbstractExecutableType

annotatedExecutableType, context, executableType, qualifierVars, typeFactory

Constructor Summary

Constructors

Constructor	Description
AbstractInvocationType(AnnotatedTypeMirror.AnnotatedExecutableType annotatedExecutableType, ExecutableType executableType, ExpressionTree invocation, Java8InferenceContext context)	Creates an invocation type for a method or constructor invocation.

Method Summary

Modifier and Type	Method	Description
List<AbstractType>	getParameterTypes(Theta map, int size)	Returns a list of the parameter types of AbstractExecutableType where the vararg parameter has been replaced by individual parameters so the result has length size.
AbstractType	getReturnType(Theta map)	Returns the return type of this.

Methods inherited from class org.checkerframework.framework.util.typeinference8.types.AbstractExecutableType

getAnnotatedType, getAnnotatedTypeVariables, getJavaType, getParameterTypes, getParameterTypes, getThrownTypes, getTypeVariables, hasTypeVariables, isVoid

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractInvocationType

public AbstractInvocationType(AnnotatedTypeMirror.AnnotatedExecutableType annotatedExecutableType,
 ExecutableType executableType,
 ExpressionTree invocation,
 Java8InferenceContext context)

Creates an invocation type for a method or constructor invocation.

Parameters:

annotatedExecutableType - annotated method or constructor type

executableType - the Java executable type

invocation - a method or constructor invocation

context - the context

Method Details

getReturnType

public AbstractType getReturnType(Theta map)

Returns the return type of this.

Specified by:

getReturnType in class AbstractExecutableType

Parameters:

map - a mapping from type variable to inference variable

Returns:

the return type of this

getParameterTypes

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

Description copied from class: AbstractExecutableType

Returns a list of the parameter types of AbstractExecutableType where the vararg parameter has been replaced by individual parameters so the result has length size.

Specified by:

getParameterTypes in class AbstractExecutableType

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 AbstractExecutableType, of length size