@NonNullByDefault public class ExpressionTypeComputationStateWithExpectation extends TypeComputationStateWithExpectation
resolvedTypes
Modifier | Constructor and Description |
---|---|
protected |
ExpressionTypeComputationStateWithExpectation(ResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession,
AbstractTypeComputationState parent,
LightweightTypeReference expectation) |
Modifier and Type | Method and Description |
---|---|
protected LightweightTypeReference |
acceptType(XExpression alreadyHandled,
ResolvedTypes types,
AbstractTypeExpectation expectation,
LightweightTypeReference type,
boolean returnType,
ConformanceHint... hints) |
createTypeExpectation, getExpectations, getExpectedType
acceptType, getParent, getReturnExpectations
acceptActualType, acceptActualType, addDiagnostic, addExtensionsToCurrentScope, addExtensionToCurrentScope, addLocalToCurrentScope, addLocalToCurrentScope, addTypeToStaticImportScope, assignType, assignType, assignType, assignTypes, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, createExpressionComputationState, createResolvedLink, createResolvedLink, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, doComputeTypes, getConverter, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getSingleExpectation, getTypeComputer, getTypeReferences, isIgnored, pushTypes, reassignType, refineExpectedType, toIdentifiableDescription, toString, withExpectation, withExpectedExceptions, withNonVoidExpectation, withNonVoidExpectation, withoutExpectation, withoutRootExpectation, withReturnExpectation, withRootExpectation, withTypeCheckpoint
protected ExpressionTypeComputationStateWithExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, @Nullable LightweightTypeReference expectation)
protected LightweightTypeReference acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, ConformanceHint... hints)
acceptType
in class AbstractStackedTypeComputationState