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 Description protectedExpressionAwareTypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected ExpressionAwareStackedResolvedTypesdoComputeTypes(XExpression expression)TypeCheckpointComputationStatewithTypeCheckpoint(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
-
-
-
-
Constructor Detail
-
ExpressionAwareTypeCheckpointComputationState
protected ExpressionAwareTypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)
-
-
Method Detail
-
doComputeTypes
protected ExpressionAwareStackedResolvedTypes doComputeTypes(XExpression expression)
- Overrides:
doComputeTypesin classAbstractTypeComputationState
-
withTypeCheckpoint
public TypeCheckpointComputationState withTypeCheckpoint(org.eclipse.emf.ecore.EObject context)
Description copied from interface:ITypeComputationStateA 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:
withTypeCheckpointin interfaceITypeComputationState- Overrides:
withTypeCheckpointin classAbstractTypeComputationState- Parameters:
context- an indicator that describes the context of this type checkpoint, e.g. anXCasePart.
-
-