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

Class ExpressionBasedRootTypeComputationState

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.internal.AbstractRootTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.ExpressionBasedRootTypeComputationState

All Implemented Interfaces:

ITypeComputationState

public class ExpressionBasedRootTypeComputationState
extends AbstractRootTypeComputationState

Field Summary

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

resolvedTypes

Constructor Summary

Constructors

Constructor	Description
ExpressionBasedRootTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, XExpression expression)
ExpressionBasedRootTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, XExpression expression, LightweightTypeReference expectedType)

Method Summary

Modifier and Type	Method	Description
protected ITypeComputationResult	createNoTypeResult()
protected java.util.List<AbstractTypeExpectation>	getExpectations(AbstractTypeComputationState actualState, boolean returnType)
protected LightweightTypeReference	getExpectedType()
protected XExpression	getRootExpression()

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

acceptType, acceptType, assignTypes, computeTypes, createExpressionComputationState, getExpectations, getNonNullRootExpression, 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, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, 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

ExpressionBasedRootTypeComputationState

public ExpressionBasedRootTypeComputationState(ResolvedTypes resolvedTypes,
                                               IFeatureScopeSession featureScopeSession,
                                               XExpression expression)

ExpressionBasedRootTypeComputationState

public ExpressionBasedRootTypeComputationState(ResolvedTypes resolvedTypes,
                                               IFeatureScopeSession featureScopeSession,
                                               XExpression expression,
                                               LightweightTypeReference expectedType)

Method Detail

getExpectations

protected java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState,
                                                                  boolean returnType)

Specified by:

getExpectations in class AbstractRootTypeComputationState

getRootExpression

protected XExpression getRootExpression()

Specified by:

getRootExpression in class AbstractRootTypeComputationState

getExpectedType

protected LightweightTypeReference getExpectedType()

Specified by:

getExpectedType in class AbstractRootTypeComputationState

createNoTypeResult

protected ITypeComputationResult createNoTypeResult()

Specified by:

createNoTypeResult in class AbstractRootTypeComputationState