public class RootExpressionTypeComputationStateWithNonVoidExpectation extends RootExpressionTypeComputationState
RootExpressionTypeComputationState.PendingRootExpectation
ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState
expression
resolvedTypes
Modifier | Constructor and Description |
---|---|
protected |
RootExpressionTypeComputationStateWithNonVoidExpectation(StackedResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession,
AbstractTypeComputationState parent,
XExpression expression,
LightweightTypeReference expectedType) |
Modifier and Type | Method and Description |
---|---|
protected AbstractTypeExpectation |
createTypeExpectation(LightweightTypeReference expectedType,
AbstractTypeComputationState actualState,
boolean voidAllowed,
boolean returnType) |
getExpectations, getReturnExpectations
acceptType, acceptType, createResolvedLink, doComputeTypes, getStackedResolvedTypes, isImplicitFirstArgument, isImplicitReceiver, isInstanceContext, markAsPropagated, markAsRefinedTypeIfNecessary, pushTypes, withExpectation, withoutExpectation, withTypeCheckpoint
getParent
acceptActualType, acceptActualType, acceptActualType, acceptActualType, acceptCandidate, addDiagnostic, addExtensionsToCurrentScope, addExtensionToCurrentScope, addImports, addLocalToCurrentScope, addLocalToCurrentScope, addTypeToStaticExtensionImportScope, addTypeToStaticImportScope, afterScope, assignType, assignType, assignType, assignTypes, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, createExpressionComputationState, createResolvedLink, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getSingleExpectation, getTypeComputer, getTypeReferences, isIgnored, reassignType, refineExpectedType, rewriteScope, toIdentifiableDescription, toString, withExpectedExceptions, withinScope, withNonVoidExpectation, withNonVoidExpectation, withoutRootExpectation, withReturnExpectation, withRootExpectation
protected RootExpressionTypeComputationStateWithNonVoidExpectation(StackedResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, XExpression expression, LightweightTypeReference expectedType)
protected AbstractTypeExpectation createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean voidAllowed, boolean returnType)
createTypeExpectation
in class RootExpressionTypeComputationState