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

Class ExpressionTypeComputationStateWithExpectation

java.lang.Object

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

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

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

org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationStateWithExpectation

All Implemented Interfaces:

ITypeComputationState

public class ExpressionTypeComputationStateWithExpectation
extends TypeComputationStateWithExpectation

Field Summary

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

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ExpressionTypeComputationStateWithExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, LightweightTypeReference expectation)

Method Summary

Modifier and Type	Method	Description
protected LightweightTypeReference	acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)

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

createTypeExpectation, getExpectations, getExpectedType

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

ExpressionTypeComputationStateWithExpectation

protected ExpressionTypeComputationStateWithExpectation(ResolvedTypes resolvedTypes,
                                                        IFeatureScopeSession featureScopeSession,
                                                        AbstractTypeComputationState parent,
                                                        LightweightTypeReference expectation)

Method Detail

acceptType

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

Overrides:

acceptType in class AbstractStackedTypeComputationState