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

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

All Implemented Interfaces:

ITypeComputationState, ITypeComputationState.Fork

@NonNullByDefault
public class ObservableTypeComputationStateWithExpectation
extends AbstractStackedTypeComputationState

Author:

Sebastian Zarnekow - Initial contribution and API

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

ObservableTypeComputationStateWithExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, DefaultReentrantTypeResolver reentrantTypeResolver, AbstractTypeComputationState parent, IJvmTypeReferenceProvider expectedType, org.eclipse.xtext.xbase.typesystem.internal.ObservableTypeExpectation.Observer observer)

Method Summary

protected AbstractTypeExpectation	createTypeExpectation(IJvmTypeReferenceProvider 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

ObservableTypeComputationStateWithExpectation

public ObservableTypeComputationStateWithExpectation(ResolvedTypes resolvedTypes,
                                                     IFeatureScopeSession featureScopeSession,
                                                     DefaultReentrantTypeResolver reentrantTypeResolver,
                                                     AbstractTypeComputationState parent,
                                                     IJvmTypeReferenceProvider expectedType,
                                                     org.eclipse.xtext.xbase.typesystem.internal.ObservableTypeExpectation.Observer observer)

Method Detail

getImmediateExpectations

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

Overrides:

getImmediateExpectations in class AbstractStackedTypeComputationState

createTypeExpectation

protected AbstractTypeExpectation createTypeExpectation(IJvmTypeReferenceProvider expectedType,
                                                        AbstractTypeComputationState actualState,
                                                        boolean returnType)