org.eclipse.xtext.xbase.typesystem.computation

Class ClosureTypeComputer

java.lang.Object

org.eclipse.xtext.xbase.typesystem.computation.ClosureTypeComputer

public class ClosureTypeComputer
extends java.lang.Object

Externalized strategy for closure type computation which allows for easier unit testing. Clients will usually not alter the implementation. Public methods are mostly public for testing purpose.

See Also:

XbaseTypeComputer._computeTypes(XClosure, ITypeComputationState)

Noinstantiate:

This class is not intended to be instantiated by clients.

Constructor Summary

Constructors

Constructor and Description
ClosureTypeComputer(XClosure closure, ITypeExpectation expectation, ITypeComputationState state)

Method Summary

Modifier and Type	Method and Description
void	computeTypes()
protected ClosureWithExpectationHelper	createClosureWithExpectationHelper(org.eclipse.xtext.common.types.JvmOperation operation)
protected ClosureWithoutExpectationHelper	createClosureWithoutExpectationHelper()
protected UnknownClosureTypeHelper	createUnknownClosureTypeHelper()
protected XClosure	getClosure()
protected AbstractClosureTypeHelper	getClosureWithoutExpectationHelper()
protected ITypeExpectation	getExpectation()
FunctionTypeReference	getExpectedClosureType() This method is only public for testing purpose.
org.eclipse.xtext.common.types.JvmOperation	getOperation() This method is only public for testing purpose.
protected ITypeComputationState	getState()
void	selectStrategy() This method is only public for testing purpose.

Methods inherited from class java.lang.Object

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

Constructor Detail

ClosureTypeComputer

public ClosureTypeComputer(XClosure closure,
                           ITypeExpectation expectation,
                           ITypeComputationState state)

Method Detail

computeTypes

public void computeTypes()

selectStrategy

public void selectStrategy()

This method is only public for testing purpose.

Noreference:

This method is not intended to be referenced by clients.

getClosureWithoutExpectationHelper

protected AbstractClosureTypeHelper getClosureWithoutExpectationHelper()

createClosureWithExpectationHelper

protected ClosureWithExpectationHelper createClosureWithExpectationHelper(org.eclipse.xtext.common.types.JvmOperation operation)

createUnknownClosureTypeHelper

protected UnknownClosureTypeHelper createUnknownClosureTypeHelper()

createClosureWithoutExpectationHelper

protected ClosureWithoutExpectationHelper createClosureWithoutExpectationHelper()

getClosure

protected XClosure getClosure()

getExpectation

protected ITypeExpectation getExpectation()

getState

protected ITypeComputationState getState()

getExpectedClosureType

public FunctionTypeReference getExpectedClosureType()

This method is only public for testing purpose.

Noreference:

This method is not intended to be referenced by clients.

getOperation

public org.eclipse.xtext.common.types.JvmOperation getOperation()

This method is only public for testing purpose.

Noreference:

This method is not intended to be referenced by clients.