org.eclipse.xtext.xbase.typesystem.internal
Class ExpressionTypeCheckpointComputationState

java.lang.Object
  extended by org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
      extended by org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
          extended by org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState
              extended by org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeCheckpointComputationState
All Implemented Interfaces:
ITypeComputationState, ITypeComputationState.Fork
Direct Known Subclasses:
ChildExpressionTypeCheckpointComputationState

@NonNullByDefault
public class ExpressionTypeCheckpointComputationState
extends ExpressionTypeComputationState

Author:
Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
AbstractTypeComputationState.TypeAssigner
 
Nested classes/interfaces inherited from interface org.eclipse.xtext.xbase.typesystem.computation.ITypeComputationState
ITypeComputationState.Fork
 
Constructor Summary
protected ExpressionTypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, DefaultReentrantTypeResolver reentrantTypeResolver, ExpressionTypeComputationState parent, XExpression expression)
           
 
Method Summary
protected  ExpressionTypeComputationState createExpressionComputationState(XExpression expression, StackedResolvedTypes typeResolution)
           
 
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState
acceptType, acceptType, assignTypes, getExpression, withTypeCheckpoint
 
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
getImmediateExpectations, getParent, getReturnExpectations
 
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
acceptActualType, addLocalToCurrentScope, assignType, computeTypes, computeTypes, computeTypesWithoutMerge, createCandidate, createCandidate, createTypeAssigner, discardReassignedTypes, fork, getFeatureScopeSession, getImmediateExpectations, getLinkingCandidates, getLinkingCandidates, getResolvedTypes, getResolver, getReturnExpectations, getServices, getType, getTypeArgumentMerger, getTypeComputer, getTypeReferences, reassignType, withExpectation, withNonVoidExpectation, withoutExpectation, withoutImmediateExpectation, withReturnExpectation
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExpressionTypeCheckpointComputationState

protected ExpressionTypeCheckpointComputationState(ResolvedTypes resolvedTypes,
                                                   IFeatureScopeSession featureScopeSession,
                                                   DefaultReentrantTypeResolver reentrantTypeResolver,
                                                   ExpressionTypeComputationState parent,
                                                   XExpression expression)
Method Detail

createExpressionComputationState

protected ExpressionTypeComputationState createExpressionComputationState(XExpression expression,
                                                                          StackedResolvedTypes typeResolution)
Overrides:
createExpressionComputationState in class ExpressionTypeComputationState