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

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
                  org.eclipse.xtext.xbase.typesystem.internal.ChildExpressionTypeCheckpointComputationState

All Implemented Interfaces:

ITypeComputationState, ITypeComputationState.Fork

@NonNullByDefault
public class ChildExpressionTypeCheckpointComputationState
extends ExpressionTypeCheckpointComputationState

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

ChildExpressionTypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, DefaultReentrantTypeResolver reentrantTypeResolver, ExpressionTypeComputationState parent, XExpression expression)

Method Summary

protected JvmTypeReference	acceptType(ResolvedTypes resolvedTypes, AbstractTypeExpectation expectation, JvmTypeReference type, ConformanceHint conformanceHint, boolean returnType)
AbstractTypeComputationState.TypeAssigner	assignTypes()
protected ExpressionTypeComputationState	createExpressionComputationState(XExpression expression, StackedResolvedTypes typeResolution)
protected ExpressionTypeComputationState	getParent()
AbstractTypeComputationState	withTypeCheckpoint()

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState

acceptType, getExpression

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState

getImmediateExpectations, 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

ChildExpressionTypeCheckpointComputationState

protected ChildExpressionTypeCheckpointComputationState(ResolvedTypes resolvedTypes,
                                                        IFeatureScopeSession featureScopeSession,
                                                        DefaultReentrantTypeResolver reentrantTypeResolver,
                                                        ExpressionTypeComputationState parent,
                                                        XExpression expression)

Method Detail

getParent

protected ExpressionTypeComputationState getParent()

Overrides:

getParent in class AbstractStackedTypeComputationState

acceptType

protected JvmTypeReference acceptType(ResolvedTypes resolvedTypes,
                                      AbstractTypeExpectation expectation,
                                      JvmTypeReference type,
                                      ConformanceHint conformanceHint,
                                      boolean returnType)

Overrides:

acceptType in class ExpressionTypeComputationState

assignTypes

public AbstractTypeComputationState.TypeAssigner assignTypes()

Specified by:

assignTypes in interface ITypeComputationState

Overrides:

assignTypes in class ExpressionTypeComputationState

withTypeCheckpoint

public AbstractTypeComputationState withTypeCheckpoint()

Specified by:

withTypeCheckpoint in interface ITypeComputationState.Fork

Overrides:

withTypeCheckpoint in class ExpressionTypeComputationState

createExpressionComputationState

protected ExpressionTypeComputationState createExpressionComputationState(XExpression expression,
                                                                          StackedResolvedTypes typeResolution)

Overrides:

createExpressionComputationState in class ExpressionTypeCheckpointComputationState