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

java.lang.Object
  org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
      org.eclipse.xtext.xbase.typesystem.internal.AbstractRootTypeComputationState
          org.eclipse.xtext.xbase.typesystem.internal.RootExpressionComputationState

All Implemented Interfaces:

ITypeComputationState, ITypeComputationState.Fork

@NonNullByDefault
public class RootExpressionComputationState
extends AbstractRootTypeComputationState

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

RootExpressionComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, XExpression expression, DefaultReentrantTypeResolver defaultReentrantTypeResolver)

RootExpressionComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, XExpression expression, DefaultReentrantTypeResolver defaultReentrantTypeResolver, JvmTypeReference expectedType)

Method Summary

protected java.util.List<ITypeExpectation>	getExpectations(AbstractTypeComputationState actualState, boolean returnType)
protected XExpression	getRootExpression()

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

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

RootExpressionComputationState

public RootExpressionComputationState(ResolvedTypes resolvedTypes,
                                      IFeatureScopeSession featureScopeSession,
                                      XExpression expression,
                                      DefaultReentrantTypeResolver defaultReentrantTypeResolver)

RootExpressionComputationState

public RootExpressionComputationState(ResolvedTypes resolvedTypes,
                                      IFeatureScopeSession featureScopeSession,
                                      XExpression expression,
                                      DefaultReentrantTypeResolver defaultReentrantTypeResolver,
                                      @Nullable
                                      JvmTypeReference expectedType)

Method Detail

getExpectations

protected java.util.List<ITypeExpectation> getExpectations(AbstractTypeComputationState actualState,
                                                           boolean returnType)

Specified by:

getExpectations in class AbstractRootTypeComputationState

getRootExpression

protected XExpression getRootExpression()

Specified by:

getRootExpression in class AbstractRootTypeComputationState