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

java.lang.Object
  org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
      org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
          org.eclipse.xtext.xbase.typesystem.internal.ReturnExpectationTypeComputationState

All Implemented Interfaces:

ITypeComputationState, ITypeComputationState.Fork

@NonNullByDefault
public class ReturnExpectationTypeComputationState
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

ReturnExpectationTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, DefaultReentrantTypeResolver reentrantTypeResolver, AbstractTypeComputationState parent)

Method Summary

java.util.List<ITypeExpectation>

getImmediateExpectations(AbstractTypeComputationState actualState)

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

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

ReturnExpectationTypeComputationState

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

Method Detail

getImmediateExpectations

public java.util.List<ITypeExpectation> getImmediateExpectations(AbstractTypeComputationState actualState)

Overrides:

getImmediateExpectations in class AbstractStackedTypeComputationState