Class TypeComputationStateWithRootExpectation
- java.lang.Object
-
- org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
-
- org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
-
- org.eclipse.xtext.xbase.typesystem.internal.TypeComputationStateWithExpectation
-
- org.eclipse.xtext.xbase.typesystem.internal.TypeComputationStateWithRootExpectation
-
- All Implemented Interfaces:
ITypeComputationState
public class TypeComputationStateWithRootExpectation extends TypeComputationStateWithExpectation
-
-
Field Summary
-
Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
resolvedTypes
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
TypeComputationStateWithRootExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, LightweightTypeReference typeReference)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TypeAssigner
assignTypes()
Obtain a newITypeAssigner
that allows to add a bulk ofelements
to this computation state.protected ExpressionTypeComputationState
createExpressionComputationState(XExpression expression, StackedResolvedTypes typeResolution)
protected AbstractTypeExpectation
createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean returnType)
java.util.List<AbstractTypeExpectation>
getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)
-
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.TypeComputationStateWithExpectation
getExpectations, getExpectedType
-
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
acceptType, acceptType, getParent
-
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
-
-
-
-
Constructor Detail
-
TypeComputationStateWithRootExpectation
protected TypeComputationStateWithRootExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, LightweightTypeReference typeReference)
-
-
Method Detail
-
getReturnExpectations
public java.util.List<AbstractTypeExpectation> getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)
- Overrides:
getReturnExpectations
in classAbstractStackedTypeComputationState
-
createExpressionComputationState
protected ExpressionTypeComputationState createExpressionComputationState(XExpression expression, StackedResolvedTypes typeResolution)
- Overrides:
createExpressionComputationState
in classAbstractTypeComputationState
-
assignTypes
public TypeAssigner assignTypes()
Description copied from interface:ITypeComputationState
Obtain a newITypeAssigner
that allows to add a bulk ofelements
to this computation state.- Specified by:
assignTypes
in interfaceITypeComputationState
- Overrides:
assignTypes
in classAbstractTypeComputationState
-
createTypeExpectation
protected AbstractTypeExpectation createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean returnType)
- Overrides:
createTypeExpectation
in classTypeComputationStateWithExpectation
-
-