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

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

All Implemented Interfaces:

ITypeComputationState, ITypeComputationState.Fork

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

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

Method Summary

protected AbstractTypeExpectation	createTypeExpectation(JvmTypeReference expectedType, AbstractTypeComputationState actualState)
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

TypeComputationStateWithNonVoidExpectation

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

Method Detail

getImmediateExpectations

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

Overrides:

getImmediateExpectations in class AbstractStackedTypeComputationState

createTypeExpectation

protected AbstractTypeExpectation createTypeExpectation(@Nullable
                                                        JvmTypeReference expectedType,
                                                        AbstractTypeComputationState actualState)