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

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

@NonNullByDefault
public class TypeComputationStateWithExpectation
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 TypeComputationStateWithExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, DefaultReentrantTypeResolver reentrantTypeResolver, AbstractTypeComputationState parent, JvmTypeReference typeReference)
           
 
Method Summary
protected  AbstractTypeExpectation createTypeExpectation(JvmTypeReference expectedType, AbstractTypeComputationState actualState, boolean returnType)
           
 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

TypeComputationStateWithExpectation

protected TypeComputationStateWithExpectation(ResolvedTypes resolvedTypes,
                                              IFeatureScopeSession featureScopeSession,
                                              DefaultReentrantTypeResolver reentrantTypeResolver,
                                              AbstractTypeComputationState parent,
                                              @Nullable
                                              JvmTypeReference typeReference)
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,
                                                        boolean returnType)