org.eclipse.xtext.xbase.typesystem.internal

Class ExpressionTypeComputationState

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState

All Implemented Interfaces:

ITypeComputationState

Direct Known Subclasses:

RootExpressionTypeComputationState

public class ExpressionTypeComputationState
extends AbstractStackedTypeComputationState

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState

Field Summary

Fields

Modifier and Type	Field and Description
protected XExpression	expression

Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExpressionTypeComputationState(StackedResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, XExpression expression)

Method Summary

Modifier and Type	Method and Description
protected LightweightTypeReference	acceptType(ResolvedTypes resolvedTypes, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
protected LightweightTypeReference	acceptType(XExpression expression, ResolvedTypes resolvedTypes, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
protected IFeatureLinkingCandidate	createResolvedLink(XAbstractFeatureCall featureCall, org.eclipse.xtext.common.types.JvmIdentifiableElement resolvedTo)
protected ExpressionAwareStackedResolvedTypes	doComputeTypes(XExpression expression)
protected StackedResolvedTypes	getStackedResolvedTypes()
protected boolean	isImplicitFirstArgument(XAbstractFeatureCall featureCall)
protected boolean	isImplicitReceiver(XAbstractFeatureCall featureCall)
protected boolean	isInstanceContext()
protected void	markAsPropagated()
protected void	markAsRefinedTypeIfNecessary(IFeatureLinkingCandidate candidate)
protected ExpressionAwareStackedResolvedTypes	pushTypes(XExpression expression)
TypeComputationStateWithExpectation	withExpectation(LightweightTypeReference expectation) The given expectation will be resolved if it contains unresolved type arguments, e.g.
AbstractTypeComputationState	withoutExpectation() Keeps the return type expectation.
TypeCheckpointComputationState	withTypeCheckpoint(org.eclipse.emf.ecore.EObject context) A type checkpoint allows to re-specify the type of an identifiable that was already type-computed.

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

getExpectations, getParent, getReturnExpectations

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

acceptActualType, acceptActualType, acceptActualType, acceptActualType, acceptCandidate, addDiagnostic, addExtensionsToCurrentScope, addExtensionToCurrentScope, addImports, addLocalToCurrentScope, addLocalToCurrentScope, addTypeToStaticExtensionImportScope, addTypeToStaticImportScope, afterScope, assignType, assignType, assignType, assignTypes, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, createExpressionComputationState, createResolvedLink, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getSingleExpectation, getTypeComputer, getTypeReferences, isIgnored, reassignType, refineExpectedType, rewriteScope, toIdentifiableDescription, toString, withExpectedExceptions, withinScope, withNonVoidExpectation, withNonVoidExpectation, withoutRootExpectation, withReturnExpectation, withRootExpectation

Methods inherited from class java.lang.Object

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

Field Detail

expression

protected final XExpression expression

Constructor Detail

ExpressionTypeComputationState

protected ExpressionTypeComputationState(StackedResolvedTypes resolvedTypes,
                                         IFeatureScopeSession featureScopeSession,
                                         AbstractTypeComputationState parent,
                                         XExpression expression)

Method Detail

doComputeTypes

protected ExpressionAwareStackedResolvedTypes doComputeTypes(XExpression expression)

Overrides:

doComputeTypes in class AbstractTypeComputationState

markAsPropagated

protected void markAsPropagated()

markAsRefinedTypeIfNecessary

protected void markAsRefinedTypeIfNecessary(IFeatureLinkingCandidate candidate)

pushTypes

protected ExpressionAwareStackedResolvedTypes pushTypes(XExpression expression)

Overrides:

pushTypes in class AbstractTypeComputationState

acceptType

protected LightweightTypeReference acceptType(ResolvedTypes resolvedTypes,
                                              AbstractTypeExpectation expectation,
                                              LightweightTypeReference type,
                                              boolean returnType,
                                              int flags)

Overrides:

acceptType in class AbstractStackedTypeComputationState

acceptType

protected LightweightTypeReference acceptType(XExpression expression,
                                              ResolvedTypes resolvedTypes,
                                              AbstractTypeExpectation expectation,
                                              LightweightTypeReference type,
                                              boolean returnType,
                                              int flags)

Overrides:

acceptType in class AbstractStackedTypeComputationState

withExpectation

public TypeComputationStateWithExpectation withExpectation(LightweightTypeReference expectation)

Description copied from interface: ITypeComputationState

The given expectation will be resolved if it contains unresolved type arguments, e.g. an operation that declares two parameters of the very same type argument will yield a more detailed expectation if possible. <T> T foo(T, T) with foo<String>(null, 'string') will allow to pass the unresolved T as expectation where clients would be invoked with the better candidate 'string'.

Specified by:

withExpectation in interface ITypeComputationState

Overrides:

withExpectation in class AbstractTypeComputationState

withoutExpectation

public AbstractTypeComputationState withoutExpectation()

Description copied from interface: ITypeComputationState

Keeps the return type expectation. Otherwise the new state does not have any expectations. Example:

 {
   someExpression
   subsequent 
 }
 

The expectation for the call to someExpression does not have any actual expectations.

Specified by:

withoutExpectation in interface ITypeComputationState

Overrides:

withoutExpectation in class AbstractTypeComputationState

withTypeCheckpoint

public TypeCheckpointComputationState withTypeCheckpoint(org.eclipse.emf.ecore.EObject context)

Description copied from interface: ITypeComputationState

A type checkpoint allows to re-specify the type of an identifiable that was already type-computed. The refined type is discarded as soon as the state is left. In that sense, the type checkpoint describes the scope of certain type specializations.

Specified by:

withTypeCheckpoint in interface ITypeComputationState

Overrides:

withTypeCheckpoint in class AbstractTypeComputationState

Parameters:

context - an indicator that describes the context of this type checkpoint, e.g. an XCasePart.

createResolvedLink

protected IFeatureLinkingCandidate createResolvedLink(XAbstractFeatureCall featureCall,
                                                      org.eclipse.xtext.common.types.JvmIdentifiableElement resolvedTo)

Overrides:

createResolvedLink in class AbstractTypeComputationState

isImplicitReceiver

protected boolean isImplicitReceiver(XAbstractFeatureCall featureCall)

isImplicitFirstArgument

protected boolean isImplicitFirstArgument(XAbstractFeatureCall featureCall)

isInstanceContext

protected boolean isInstanceContext()

getStackedResolvedTypes

protected StackedResolvedTypes getStackedResolvedTypes()