Class TypeComputationStateWithExpectation
- java.lang.Object
-
- org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
-
- org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
-
- org.eclipse.xtext.xbase.typesystem.internal.TypeComputationStateWithExpectation
-
- All Implemented Interfaces:
ITypeComputationState
- Direct Known Subclasses:
ExpressionTypeComputationStateWithExpectation,TypeComputationStateWithRootExpectation
public class TypeComputationStateWithExpectation extends AbstractStackedTypeComputationState
-
-
Field Summary
-
Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState
resolvedTypes
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedTypeComputationStateWithExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, LightweightTypeReference typeReference)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected AbstractTypeExpectationcreateTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean returnType)java.util.List<AbstractTypeExpectation>getExpectations(AbstractTypeComputationState actualState)protected LightweightTypeReferencegetExpectedType()-
Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState
acceptType, acceptType, 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
-
-
-
-
Constructor Detail
-
TypeComputationStateWithExpectation
protected TypeComputationStateWithExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, LightweightTypeReference typeReference)
-
-
Method Detail
-
getExpectations
public java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState)
- Overrides:
getExpectationsin classAbstractStackedTypeComputationState
-
createTypeExpectation
protected AbstractTypeExpectation createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean returnType)
-
getExpectedType
protected LightweightTypeReference getExpectedType()
-
-