@NonNullByDefault public class RootExpressionTypeComputationStateWithNonVoidExpectation extends RootExpressionTypeComputationState
ExpressionTypeComputationState.ExpressionAwareTypeCheckpointComputationState
expectedType
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) |
getExpectations, getReturnExpectations
acceptType, acceptType, createResolvedLink, doComputeTypes, getStackedResolvedTypes, isImplicitFirstArgument, isImplicitReceiver, isInstanceContext, markAsPropagated, pushTypes, withExpectation, withoutExpectation, withTypeCheckpoint
getParent
acceptActualType, acceptActualType, addDiagnostic, addExtensionsToCurrentScope, addExtensionToCurrentScope, addLocalToCurrentScope, addLocalToCurrentScope, assignType, assignType, assignType, assignTypes, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, createExpressionComputationState, createResolvedLink, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, getConverter, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getTypeComputer, getTypeReferences, isIgnored, reassignType, refineExpectedType, toIdentifiableDescription, toString, withExpectedExceptions, withNonVoidExpectation, withNonVoidExpectation, withoutRootExpectation, withReturnExpectation, withRootExpectation
protected RootExpressionTypeComputationStateWithNonVoidExpectation(StackedResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, XExpression expression, @Nullable LightweightTypeReference expectedType)
protected AbstractTypeExpectation createTypeExpectation(@Nullable LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean voidAllowed)
createTypeExpectation
in class RootExpressionTypeComputationState