org.eclipse.xtext.xbase.typesystem.computation

Class ClosureWithExpectationHelper

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.computation.ClosureWithExpectationHelper

All Implemented Interfaces:

IApplicableCandidate, IClosureCandidate

public class ClosureWithExpectationHelper
extends AbstractClosureTypeHelper

Strategy to compute types for lambda expression that do have an expected type.

Author:

Sebastian Zarnekow - Initial contribution and API

See Also:

ClosureWithoutExpectationHelper

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ClosureWithExpectationHelper(XClosure closure, JvmOperation operation, ITypeExpectation expectation, ITypeComputationState state)

Method Summary

Methods

Modifier and Type	Method and Description
protected ITypeComputationState	assignParameters(ITypeAssigner typeAssigner)
protected void	computeTypes()
protected ITypeComputationState	getClosureBodyTypeComputationState(ITypeAssigner typeAssigner)
FunctionTypeReference	getExpectedClosureType() This method is only public for testing purpose.
JvmOperation	getOperation() This method is only public for testing purpose.
List<JvmFormalParameter>	getParameters() Returns the effective list of parameters.
protected FunctionTypeReference	initKnownClosureType(JvmType type, JvmOperation operation)
protected boolean	isImplicitReturn(ITypeComputationResult expressionResult)
protected void	markCompatibleParameterList()
protected void	markIncompatible()
protected void	markIncompatibleParameterList()
protected void	markRawCompatible()
protected void	markUncheckedValid()
protected void	markVoidCompatible()
protected void	prepareComputation()
protected void	prepareResultType()
protected int	processExpressionType(ITypeComputationResult expressionResult) Returns an indicator how compatible the expression type result is to the expected type.

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

ClosureWithExpectationHelper

protected ClosureWithExpectationHelper(XClosure closure,
                            JvmOperation operation,
                            ITypeExpectation expectation,
                            ITypeComputationState state)

Method Detail

getOperation

public JvmOperation getOperation()

Description copied from class: AbstractClosureTypeHelper

This method is only public for testing purpose.

Specified by:

getOperation 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

computeTypes

protected void computeTypes()

Specified by:

computeTypes in class AbstractClosureTypeHelper

markUncheckedValid

protected void markUncheckedValid()

markIncompatibleParameterList

protected void markIncompatibleParameterList()

markCompatibleParameterList

protected void markCompatibleParameterList()

markIncompatible

protected void markIncompatible()

markRawCompatible

protected void markRawCompatible()

markVoidCompatible

protected void markVoidCompatible()

prepareComputation

protected void prepareComputation()

prepareResultType

protected void prepareResultType()

initKnownClosureType

protected FunctionTypeReference initKnownClosureType(JvmType type,
                                         JvmOperation operation)

getClosureBodyTypeComputationState

protected ITypeComputationState getClosureBodyTypeComputationState(ITypeAssigner typeAssigner)

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)

processExpressionType

protected int processExpressionType(ITypeComputationResult expressionResult)

Returns an indicator how compatible the expression type result is to the expected type. Either

• ConformanceFlags.NONE,
• ConformanceFlags.INCOMPATIBLE, or
• ConformanceFlags.LAMBDA_RAW_COMPATIBLE
• ConformanceFlags.LAMBDA_VOID_COMPATIBLE

isImplicitReturn

protected boolean isImplicitReturn(ITypeComputationResult expressionResult)