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

Class TypeCheckpointComputationState

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.internal.TypeCheckpointComputationState

All Implemented Interfaces:

ITypeComputationState

Direct Known Subclasses:

ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState

public class TypeCheckpointComputationState
extends AbstractStackedTypeComputationState

Field Summary

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

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)

Method Summary

Modifier and Type	Method	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)

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

getExpectations, getParent, 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, 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

TypeCheckpointComputationState

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

Method Detail

acceptType

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

Overrides:

acceptType in class AbstractStackedTypeComputationState

acceptType

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

Overrides:

acceptType in class AbstractStackedTypeComputationState