Package org.eclipse.xtext.xbase.typesystem.internal

Class TypeComputationStateWithExpectation

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState

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

All Implemented Interfaces:

ITypeComputationState

Direct Known Subclasses:

ExpressionTypeComputationStateWithExpectation, TypeComputationStateWithRootExpectation

public class TypeComputationStateWithExpectation
extends AbstractStackedTypeComputationState

Field Summary

Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TypeComputationStateWithExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, LightweightTypeReference typeReference)

Method Summary

Modifier and Type	Method	Description
protected AbstractTypeExpectation	createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean returnType)
java.util.List<AbstractTypeExpectation>	getExpectations(AbstractTypeComputationState actualState)
protected LightweightTypeReference	getExpectedType()

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

acceptType, acceptType, getParent, getReturnExpectations

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

acceptActualType, acceptActualType, acceptActualType, acceptActualType, acceptCandidate, addDiagnostic, addExtensionsToCurrentScope, addExtensionToCurrentScope, addImports, addLocalToCurrentScope, addLocalToCurrentScope, addTypeToStaticExtensionImportScope, addTypeToStaticImportScope, afterScope, assignType, assignType, assignType, assignTypes, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, createExpressionComputationState, createResolvedLink, createResolvedLink, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, doComputeTypes, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getSingleExpectation, getTypeComputer, getTypeReferences, isIgnored, pushTypes, reassignType, refineExpectedType, rewriteScope, toIdentifiableDescription, toString, withExpectation, withExpectedExceptions, withinScope, withNonVoidExpectation, withNonVoidExpectation, withoutExpectation, withoutRootExpectation, withReturnExpectation, withRootExpectation, withTypeCheckpoint

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TypeComputationStateWithExpectation

protected TypeComputationStateWithExpectation(ResolvedTypes resolvedTypes,
                                              IFeatureScopeSession featureScopeSession,
                                              AbstractTypeComputationState parent,
                                              LightweightTypeReference typeReference)

Method Detail

getExpectations

public java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState)

Overrides:

getExpectations in class AbstractStackedTypeComputationState

createTypeExpectation

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

getExpectedType

protected LightweightTypeReference getExpectedType()