protected class ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState extends TypeCheckpointComputationState
resolvedTypes
Modifier | Constructor and Description |
---|---|
protected |
ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState(ResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession,
AbstractTypeComputationState parent) |
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.
|
acceptType, acceptType
getExpectations, getParent, getReturnExpectations
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
protected ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)
protected ExpressionAwareStackedResolvedTypes doComputeTypes(XExpression expression)
doComputeTypes
in class AbstractTypeComputationState
public TypeCheckpointComputationState withTypeCheckpoint(org.eclipse.emf.ecore.EObject context)
ITypeComputationState
withTypeCheckpoint
in interface ITypeComputationState
withTypeCheckpoint
in class AbstractTypeComputationState
context
- an indicator that describes the context of this type checkpoint, e.g. an XCasePart
.