Package 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

public class TypeComputationStateWithNonVoidExpectation
extends AbstractStackedTypeComputationState

Field Summary

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

resolvedTypes

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected LightweightTypeReference	acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
protected AbstractTypeExpectation	createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState)
java.util.List<AbstractTypeExpectation>	getExpectations(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, 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

TypeComputationStateWithNonVoidExpectation

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

Method Detail

getExpectations

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

Overrides:

getExpectations in class AbstractStackedTypeComputationState

createTypeExpectation

protected AbstractTypeExpectation createTypeExpectation(LightweightTypeReference expectedType,
                                                        AbstractTypeComputationState actualState)

acceptType

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

Overrides:

acceptType in class AbstractStackedTypeComputationState