org.eclipse.xtext.xbase.typesystem.computation

Interface ITypeExpectation

All Known Implementing Classes:

AbstractLinkingCandidate.ObservableTypeExpectation, AbstractReturnAwareTypeExpectation, AbstractRootTypeExpectation, AbstractTypeExpectation, NoExpectation, RootExpressionTypeComputationState.PendingRootExpectation, RootNoExpectation, RootTypeExpectation, TypeExpectation

public interface ITypeExpectation

Author:

Sebastian Zarnekow - Initial contribution and API

Method Summary

Methods

Modifier and Type	Method and Description
void	acceptActualType(LightweightTypeReference type, ConformanceHint... hints)
void	acceptActualType(LightweightTypeReference type, EnumSet<ConformanceHint> hints)
void	acceptActualType(LightweightTypeReference type, int flags)
ITypeExpectation	copyInto(ITypeReferenceOwner referenceOwner)
UnboundTypeReference	createUnboundTypeReference(XExpression expression, JvmTypeParameter typeParameter) Create a new, managed UnboundTypeReference for the given type parameter which was first encountered for the given expression.
LightweightTypeReference	getExpectedType() Returns the expected type.
ITypeReferenceOwner	getReferenceOwner()
boolean	isNoTypeExpectation() Returns true if anything is allowed and no constraints are expected.
boolean	isOwnedBy(ITypeReferenceOwner referenceOwner)
boolean	isVoidTypeAllowed() Returns true if Void.TYPE is a valid type.

Method Detail

acceptActualType

void acceptActualType(LightweightTypeReference type,
                    ConformanceHint... hints)

acceptActualType

void acceptActualType(LightweightTypeReference type,
                    EnumSet<ConformanceHint> hints)

acceptActualType

void acceptActualType(LightweightTypeReference type,
                    int flags)

getReferenceOwner

ITypeReferenceOwner getReferenceOwner()

createUnboundTypeReference

UnboundTypeReference createUnboundTypeReference(XExpression expression,
                                              JvmTypeParameter typeParameter)

Create a new, managed UnboundTypeReference for the given type parameter which was first encountered for the given expression.

Parameters:

expression - the expression that used / referenced the type parameter

typeParameter - the type parameter

copyInto

ITypeExpectation copyInto(ITypeReferenceOwner referenceOwner)

isOwnedBy

boolean isOwnedBy(ITypeReferenceOwner referenceOwner)

getExpectedType

LightweightTypeReference getExpectedType()

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

Returns:

the expected type. This may be null.

isNoTypeExpectation

boolean isNoTypeExpectation()

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

Returns:

true if anything is allowed and no constraints are expected.

isVoidTypeAllowed

boolean isVoidTypeAllowed()

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

Returns:

true if primitive void is allowed.