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

Class RootExpressionTypeComputationStateWithNonVoidExpectation

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.RootExpressionTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.RootExpressionTypeComputationStateWithNonVoidExpectation

All Implemented Interfaces:

ITypeComputationState

public class RootExpressionTypeComputationStateWithNonVoidExpectation
extends RootExpressionTypeComputationState

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.internal.RootExpressionTypeComputationState

RootExpressionTypeComputationState.PendingRootExpectation

Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState

ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState

Field Summary

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

expression

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

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	RootExpressionTypeComputationStateWithNonVoidExpectation(StackedResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, XExpression expression, LightweightTypeReference expectedType)

Method Summary

Modifier and Type	Method	Description
protected AbstractTypeExpectation	createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean voidAllowed, boolean returnType)

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

getExpectations, getReturnExpectations

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

acceptType, acceptType, createResolvedLink, doComputeTypes, getStackedResolvedTypes, isImplicitFirstArgument, isImplicitReceiver, isInstanceContext, markAsPropagated, markAsRefinedTypeIfNecessary, pushTypes, withExpectation, withoutExpectation, withTypeCheckpoint

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

getParent

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, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getSingleExpectation, getTypeComputer, getTypeReferences, isIgnored, reassignType, refineExpectedType, rewriteScope, toIdentifiableDescription, toString, withExpectedExceptions, withinScope, withNonVoidExpectation, withNonVoidExpectation, withoutRootExpectation, withReturnExpectation, withRootExpectation

Methods inherited from class java.lang.Object

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

Constructor Detail

RootExpressionTypeComputationStateWithNonVoidExpectation

protected RootExpressionTypeComputationStateWithNonVoidExpectation(StackedResolvedTypes resolvedTypes,
                                                                   IFeatureScopeSession featureScopeSession,
                                                                   AbstractTypeComputationState parent,
                                                                   XExpression expression,
                                                                   LightweightTypeReference expectedType)

Method Detail

createTypeExpectation

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

Overrides:

createTypeExpectation in class RootExpressionTypeComputationState