org.eclipse.xtext.xbase.typesystem.internal

Class AbstractStackedTypeComputationState

java.lang.Object

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

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

All Implemented Interfaces:

ITypeComputationState

Direct Known Subclasses:

AbstractLinkingCandidate.ArgumentTypeComputationState, ExpectedExceptionTypeComputationState, ExpressionTypeComputationState, ReturnExpectationTypeComputationState, TypeCheckpointComputationState, TypeComputationStateWithExpectation, TypeComputationStateWithNonVoidExpectation

public abstract class AbstractStackedTypeComputationState
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	AbstractStackedTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)

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)
protected List<AbstractTypeExpectation>	getExpectations(AbstractTypeComputationState actualState)
protected AbstractTypeComputationState	getParent()
protected List<AbstractTypeExpectation>	getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)

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

AbstractStackedTypeComputationState

protected AbstractStackedTypeComputationState(ResolvedTypes resolvedTypes,
                                   IFeatureScopeSession featureScopeSession,
                                   AbstractTypeComputationState parent)

Method Detail

getParent

protected AbstractTypeComputationState getParent()

getExpectations

protected List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState)

Specified by:

getExpectations in class AbstractTypeComputationState

getReturnExpectations

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

Specified by:

getReturnExpectations in class AbstractTypeComputationState

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