org.eclipse.xtext.xbase.typesystem.internal

Class ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.internal.TypeCheckpointComputationState

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

All Implemented Interfaces:

ITypeComputationState

Enclosing class:

ExpressionTypeComputationState

protected class ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState
extends TypeCheckpointComputationState

Field Summary

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

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExpressionAwareTypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)

Method Summary

Modifier and Type	Method and Description
protected ExpressionAwareStackedResolvedTypes	doComputeTypes(XExpression expression)
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.TypeCheckpointComputationState

acceptType, acceptType

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, createResolvedLink, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getSingleExpectation, getTypeComputer, getTypeReferences, isIgnored, pushTypes, reassignType, refineExpectedType, rewriteScope, toIdentifiableDescription, toString, withExpectation, withExpectedExceptions, withinScope, withNonVoidExpectation, withNonVoidExpectation, withoutExpectation, withoutRootExpectation, withReturnExpectation, withRootExpectation

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionAwareTypeCheckpointComputationState

protected ExpressionAwareTypeCheckpointComputationState(ResolvedTypes resolvedTypes,
                                                        IFeatureScopeSession featureScopeSession,
                                                        AbstractTypeComputationState parent)

Method Detail

doComputeTypes

protected ExpressionAwareStackedResolvedTypes doComputeTypes(XExpression expression)

Overrides:

doComputeTypes 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.