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

Class RootExpressionTypeComputationState

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

All Implemented Interfaces:

ITypeComputationState

Direct Known Subclasses:

RootExpressionTypeComputationStateWithNonVoidExpectation

public class RootExpressionTypeComputationState
extends ExpressionTypeComputationState

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	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	RootExpressionTypeComputationState(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)
java.util.List<AbstractTypeExpectation>	getExpectations(AbstractTypeComputationState actualState)
protected java.util.List<AbstractTypeExpectation>	getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)

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

RootExpressionTypeComputationState

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

Method Detail

getExpectations

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

Overrides:

getExpectations in class AbstractStackedTypeComputationState

getReturnExpectations

protected java.util.List<AbstractTypeExpectation> getReturnExpectations(AbstractTypeComputationState actualState,
                                                                        boolean asActualExpectation)

Overrides:

getReturnExpectations in class AbstractStackedTypeComputationState

createTypeExpectation

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