org.eclipse.xtext.xbase.typesystem.computation

Class UnknownClosureTypeHelper

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.computation.UnknownClosureTypeHelper

All Implemented Interfaces:

IApplicableCandidate, IClosureCandidate

public class UnknownClosureTypeHelper
extends AbstractClosureTypeHelper

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	UnknownClosureTypeHelper(XClosure closure, 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.

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

UnknownClosureTypeHelper

protected UnknownClosureTypeHelper(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

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)