org.eclipse.xtext.xbase.typesystem.computation

Class AbstractClosureTypeHelper

java.lang.Object

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

All Implemented Interfaces:

IApplicableCandidate, IClosureCandidate

Direct Known Subclasses:

ClosureWithExpectationHelper, ClosureWithoutExpectationHelper, UnknownClosureTypeHelper

public abstract class AbstractClosureTypeHelper
extends Object
implements IClosureCandidate

Base strategy to compute the type of lambda expressions.

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	applyToModel(IResolvedTypes resolvedTypes) Injects the resolved information into the model.
protected abstract void	computeTypes()
protected void	deferredBindTypeArgument(LightweightTypeReference declared, LightweightTypeReference actual, BoundTypeArgumentSource source)
protected XClosure	getClosure()
protected ITypeExpectation	getExpectation()
abstract FunctionTypeReference	getExpectedClosureType() This method is only public for testing purpose.
abstract JvmOperation	getOperation() This method is only public for testing purpose.
abstract List<JvmFormalParameter>	getParameters() Returns the effective list of parameters.
protected CommonTypeComputationServices	getServices()
protected ITypeComputationState	getState()
boolean	validate(IAcceptor<? super AbstractDiagnostic> result) Produce diagnostics for this condidate.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractClosureTypeHelper

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

Method Detail

getState

protected ITypeComputationState getState()

getExpectation

protected ITypeExpectation getExpectation()

getClosure

protected XClosure getClosure()

getServices

protected CommonTypeComputationServices getServices()

computeTypes

protected abstract void computeTypes()

getExpectedClosureType

public abstract FunctionTypeReference getExpectedClosureType()

This method is only public for testing purpose.

getOperation

public abstract JvmOperation getOperation()

This method is only public for testing purpose.

deferredBindTypeArgument

protected void deferredBindTypeArgument(LightweightTypeReference declared,
                            LightweightTypeReference actual,
                            BoundTypeArgumentSource source)

applyToModel

public void applyToModel(IResolvedTypes resolvedTypes)

Description copied from interface: IApplicableCandidate

Injects the resolved information into the model.

Specified by:

applyToModel in interface IApplicableCandidate

validate

public boolean validate(IAcceptor<? super AbstractDiagnostic> result)

Description copied from interface: IApplicableCandidate

Produce diagnostics for this condidate. It is not the responsibility of this candidate to propagate the acceptor to its children.

Specified by:

validate in interface IApplicableCandidate

Returns:

true if further validation should be performed.

getParameters

public abstract 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