Package 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

public class ReturnExpectationTypeComputationState
extends AbstractStackedTypeComputationState

Field Summary

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

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ReturnExpectationTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)

Method Summary

Modifier and Type	Method	Description
protected LightweightTypeReference	acceptType(ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
protected LightweightTypeReference	acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
java.util.List<AbstractTypeExpectation>	getExpectations(AbstractTypeComputationState actualState)

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

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

ReturnExpectationTypeComputationState

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

Method Detail

getExpectations

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

Overrides:

getExpectations in class AbstractStackedTypeComputationState

acceptType

protected LightweightTypeReference acceptType(ResolvedTypes types,
                                              AbstractTypeExpectation expectation,
                                              LightweightTypeReference type,
                                              boolean returnType,
                                              int flags)

Overrides:

acceptType in class AbstractStackedTypeComputationState

acceptType

protected LightweightTypeReference acceptType(XExpression alreadyHandled,
                                              ResolvedTypes types,
                                              AbstractTypeExpectation expectation,
                                              LightweightTypeReference type,
                                              boolean returnType,
                                              int flags)

Overrides:

acceptType in class AbstractStackedTypeComputationState