org.eclipse.xtext.xbase.typesystem.internal

Class AbstractRootTypeComputationState

java.lang.Object

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

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

All Implemented Interfaces:

ITypeComputationState

Direct Known Subclasses:

AbstractLogicalContainerAwareRootComputationState, AnnotationValueTypeComputationState, ExpressionBasedRootTypeComputationState

public abstract class AbstractRootTypeComputationState
extends AbstractTypeComputationState

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Field Summary

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

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractRootTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession)

Method Summary

Methods

Modifier and Type	Method and Description
protected LightweightTypeReference	acceptType(ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
protected LightweightTypeReference	acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
TypeAssigner	assignTypes() Obtain a new ITypeAssigner that allows to add a bulk of elements to this computation state.
ITypeComputationResult	computeTypes()
protected ExpressionTypeComputationState	createExpressionComputationState(XExpression expression, StackedResolvedTypes typeResolution)
protected abstract ITypeComputationResult	createNoTypeResult()
protected List<AbstractTypeExpectation>	getExpectations(AbstractTypeComputationState actualState)
protected abstract List<AbstractTypeExpectation>	getExpectations(AbstractTypeComputationState actualState, boolean returnType)
protected abstract LightweightTypeReference	getExpectedType()
protected XExpression	getNonNullRootExpression()
protected List<AbstractTypeExpectation>	getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)
protected abstract XExpression	getRootExpression()

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

AbstractRootTypeComputationState

protected AbstractRootTypeComputationState(ResolvedTypes resolvedTypes,
                                IFeatureScopeSession featureScopeSession)

Method Detail

computeTypes

public ITypeComputationResult computeTypes()

createNoTypeResult

protected abstract ITypeComputationResult createNoTypeResult()

getRootExpression

protected abstract XExpression getRootExpression()

getNonNullRootExpression

protected XExpression getNonNullRootExpression()

getExpectedType

protected abstract LightweightTypeReference getExpectedType()

acceptType

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

Specified by:

acceptType in class AbstractTypeComputationState

acceptType

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

Specified by:

acceptType in class AbstractTypeComputationState

getReturnExpectations

protected final List<AbstractTypeExpectation> getReturnExpectations(AbstractTypeComputationState actualState,
                                                  boolean asActualExpectation)

Specified by:

getReturnExpectations in class AbstractTypeComputationState

getExpectations

protected final List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState)

Specified by:

getExpectations in class AbstractTypeComputationState

getExpectations

protected abstract List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState,
                                            boolean returnType)

createExpressionComputationState

protected ExpressionTypeComputationState createExpressionComputationState(XExpression expression,
                                                              StackedResolvedTypes typeResolution)

Overrides:

createExpressionComputationState in class AbstractTypeComputationState

assignTypes

public TypeAssigner assignTypes()

Description copied from interface: ITypeComputationState

Obtain a new ITypeAssigner that allows to add a bulk of elements to this computation state.

Specified by:

assignTypes in interface ITypeComputationState

Overrides:

assignTypes in class AbstractTypeComputationState