org.eclipse.xtext.xbase.typesystem.computation

Class ClosureWithoutExpectationHelper

java.lang.Object

org.eclipse.xtext.xbase.typesystem.computation.AbstractClosureTypeHelper

org.eclipse.xtext.xbase.typesystem.computation.ClosureWithoutExpectationHelper

All Implemented Interfaces:

IApplicableCandidate, IClosureCandidate

public class ClosureWithoutExpectationHelper
extends AbstractClosureTypeHelper

Strategy to compute types for lambda expression that do not have an expected type or that have an expected type which is not a SAM type. The type of the lamdba's body expression is computed without any constraints. After the fact it is used to determine whether the lambda is a procedure or a function.

Author:

Sebastian Zarnekow - Initial contribution and API

See Also:

ClosureWithExpectationHelper

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ClosureWithoutExpectationHelper(XClosure closure, ITypeExpectation expectation, ITypeComputationState state)

Method Summary

Methods

Modifier and Type	Method and Description
protected ITypeComputationState	assignParameters(ITypeAssigner typeAssigner, FunctionTypeReference incompleteClosureType)
protected void	computeTypes()
protected ITypeComputationState	getClosureBodyTypeComputationState(ITypeAssigner typeAssigner, FunctionTypeReference incompleteClosureType)
FunctionTypeReference	getExpectedClosureType() This method is only public for testing purpose.
protected FunctionTypeReference	getFunctionTypeReference(boolean isProcedure)
JvmOperation	getOperation() This method is only public for testing purpose.
List<JvmFormalParameter>	getParameters() Returns the effective list of parameters.
protected void	initClosureType(FunctionTypeReference result, boolean isProcedure)
protected FunctionTypeReference	processExpressionType(FunctionTypeReference incompleteClosureType, ITypeComputationResult expressionResult)

Methods inherited from class org.eclipse.xtext.xbase.typesystem.computation.AbstractClosureTypeHelper

applyToModel, deferredBindTypeArgument, getClosure, getExpectation, getServices, getState, validate

Methods inherited from class java.lang.Object

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

Constructor Detail

ClosureWithoutExpectationHelper

protected ClosureWithoutExpectationHelper(XClosure closure,
                               ITypeExpectation expectation,
                               ITypeComputationState state)

Method Detail

computeTypes

protected void computeTypes()

Specified by:

computeTypes in class AbstractClosureTypeHelper

getExpectedClosureType

public FunctionTypeReference getExpectedClosureType()

Description copied from class: AbstractClosureTypeHelper

This method is only public for testing purpose.

Specified by:

getExpectedClosureType in class AbstractClosureTypeHelper

getOperation

public JvmOperation getOperation()

Description copied from class: AbstractClosureTypeHelper

This method is only public for testing purpose.

Specified by:

getOperation in class AbstractClosureTypeHelper

getFunctionTypeReference

protected FunctionTypeReference getFunctionTypeReference(boolean isProcedure)

initClosureType

protected void initClosureType(FunctionTypeReference result,
                   boolean isProcedure)

getClosureBodyTypeComputationState

protected ITypeComputationState getClosureBodyTypeComputationState(ITypeAssigner typeAssigner,
                                                       FunctionTypeReference incompleteClosureType)

getParameters

public List<JvmFormalParameter> getParameters()

Description copied from interface: IClosureCandidate

Returns the effective list of parameters. This may either be the declared parameter list or the synthetic parameter list.

Specified by:

getParameters in interface IClosureCandidate

Specified by:

getParameters in class AbstractClosureTypeHelper

assignParameters

protected ITypeComputationState assignParameters(ITypeAssigner typeAssigner,
                                     FunctionTypeReference incompleteClosureType)

processExpressionType

protected FunctionTypeReference processExpressionType(FunctionTypeReference incompleteClosureType,
                                          ITypeComputationResult expressionResult)