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
-
-
Field Summary
-
Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
resolvedTypes
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
AbstractStackedTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)
-
Method Summary
All Methods Instance Methods Concrete Methods 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)
protected java.util.List<AbstractTypeExpectation>
getExpectations(AbstractTypeComputationState actualState)
protected AbstractTypeComputationState
getParent()
protected java.util.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
-
-
-
-
Constructor Detail
-
AbstractStackedTypeComputationState
protected AbstractStackedTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)
-
-
Method Detail
-
getParent
protected AbstractTypeComputationState getParent()
-
getExpectations
protected java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState)
- Specified by:
getExpectations
in classAbstractTypeComputationState
-
getReturnExpectations
protected java.util.List<AbstractTypeExpectation> getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)
- Specified by:
getReturnExpectations
in classAbstractTypeComputationState
-
acceptType
protected LightweightTypeReference acceptType(ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
- Specified by:
acceptType
in classAbstractTypeComputationState
-
acceptType
protected LightweightTypeReference acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
- Specified by:
acceptType
in classAbstractTypeComputationState
-
-