public class TypeComputationStateWithRootExpectation extends TypeComputationStateWithExpectation
resolvedTypes
Modifier | Constructor and Description |
---|---|
protected |
TypeComputationStateWithRootExpectation(ResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession,
AbstractTypeComputationState parent,
LightweightTypeReference typeReference) |
Modifier and Type | Method and Description |
---|---|
TypeAssigner |
assignTypes()
Obtain a new
ITypeAssigner that allows to add a bulk of elements 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) |
getExpectations, getExpectedType
acceptType, acceptType, getParent
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
protected TypeComputationStateWithRootExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, LightweightTypeReference typeReference)
public java.util.List<AbstractTypeExpectation> getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)
getReturnExpectations
in class AbstractStackedTypeComputationState
protected ExpressionTypeComputationState createExpressionComputationState(XExpression expression, StackedResolvedTypes typeResolution)
createExpressionComputationState
in class AbstractTypeComputationState
public TypeAssigner assignTypes()
ITypeComputationState
ITypeAssigner
that allows to add a bulk of elements
to this computation state.assignTypes
in interface ITypeComputationState
assignTypes
in class AbstractTypeComputationState
protected AbstractTypeExpectation createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean returnType)
createTypeExpectation
in class TypeComputationStateWithExpectation