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

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.TypeCheckpointComputationState
All Implemented Interfaces:
ITypeComputationState, ITypeComputationState.Fork

public class TypeCheckpointComputationState
extends AbstractStackedTypeComputationState

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 TypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, DefaultReentrantTypeResolver reentrantTypeResolver, AbstractTypeComputationState parent)
           
 
Method Summary
 
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
acceptType, getImmediateExpectations, getParent, getReturnExpectations
 
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
acceptActualType, addLocalToCurrentScope, assignType, assignTypes, computeTypes, computeTypes, computeTypesWithoutMerge, createCandidate, createCandidate, createExpressionComputationState, createTypeAssigner, discardReassignedTypes, fork, getFeatureScopeSession, getImmediateExpectations, getLinkingCandidates, getLinkingCandidates, getResolvedTypes, getResolver, getReturnExpectations, getServices, getType, getTypeArgumentMerger, getTypeComputer, getTypeReferences, reassignType, withExpectation, withNonVoidExpectation, withoutExpectation, withoutImmediateExpectation, withReturnExpectation, withTypeCheckpoint
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypeCheckpointComputationState

protected TypeCheckpointComputationState(ResolvedTypes resolvedTypes,
                                         IFeatureScopeSession featureScopeSession,
                                         DefaultReentrantTypeResolver reentrantTypeResolver,
                                         AbstractTypeComputationState parent)