ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState (org.eclipse.xtext.xbase 2.30.0.RC2 API)

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
`protected`	`ExpressionAwareTypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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.