Package org.eclipse.xtext.xbase.typesystem.internal

Class RootExpressionTypeComputationState.PendingRootExpectation

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeExpectation

org.eclipse.xtext.xbase.typesystem.internal.AbstractRootTypeExpectation

org.eclipse.xtext.xbase.typesystem.internal.RootNoExpectation

org.eclipse.xtext.xbase.typesystem.internal.RootExpressionTypeComputationState.PendingRootExpectation

All Implemented Interfaces:

ITypeExpectation

Enclosing class:

RootExpressionTypeComputationState

protected static class RootExpressionTypeComputationState.PendingRootExpectation
extends RootNoExpectation

Constructor Summary

Constructors

Constructor	Description
PendingRootExpectation(AbstractTypeComputationState state, RootExpressionTypeComputationState rootState, boolean voidAllowed)

Method Summary

Modifier and Type	Method	Description
void	acceptActualType(LightweightTypeReference type, int flags)
LightweightTypeReference	getExpectedType()	Returns the expected type.
boolean	isNoTypeExpectation()	Returns true if anything is allowed and no constraints are expected.
boolean	isVoidTypeAllowed()	Returns true if Void.TYPE is a valid type.

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.RootNoExpectation

copyInto

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeExpectation

acceptActualType, acceptActualType, createUnboundTypeReference, getReferenceOwner, getResolvedTypes, getState, isOwnedBy, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

PendingRootExpectation

public PendingRootExpectation(AbstractTypeComputationState state,
                              RootExpressionTypeComputationState rootState,
                              boolean voidAllowed)

Method Detail

acceptActualType

public void acceptActualType(LightweightTypeReference type,
                             int flags)

Specified by:

acceptActualType in interface ITypeExpectation

Overrides:

acceptActualType in class AbstractRootTypeExpectation

getExpectedType

public LightweightTypeReference getExpectedType()

Description copied from interface: ITypeExpectation

Returns the expected type. The expected type may be not too concrete thus ITypeExpectation.getExpectedType() may return null or some sort of unresolved, specialized reference. If null is returned, clients may want to check ITypeExpectation.isNoTypeExpectation() or ITypeExpectation.isVoidTypeAllowed().

Specified by:

getExpectedType in interface ITypeExpectation

Overrides:

getExpectedType in class RootNoExpectation

Returns:

the expected type. This may be null.

isNoTypeExpectation

public boolean isNoTypeExpectation()

Description copied from interface: ITypeExpectation

Returns true if anything is allowed and no constraints are expected.

Specified by:

isNoTypeExpectation in interface ITypeExpectation

Overrides:

isNoTypeExpectation in class RootNoExpectation

Returns:

true if anything is allowed and no constraints are expected.

isVoidTypeAllowed

public boolean isVoidTypeAllowed()

Description copied from interface: ITypeExpectation

Returns true if Void.TYPE is a valid type. It may be the only valid type or there may exist others.

Specified by:

isVoidTypeAllowed in interface ITypeExpectation

Overrides:

isVoidTypeAllowed in class RootNoExpectation

Returns:

true if primitive void is allowed.