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

java.lang.Object
  org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
      org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
          org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState
              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