@NonNullByDefault public class TypeCheckpointComputationState extends AbstractStackedTypeComputationState
resolvedTypes
Modifier | Constructor and Description |
---|---|
protected |
TypeCheckpointComputationState(ResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession,
AbstractTypeComputationState parent) |
Modifier and Type | Method and Description |
---|---|
protected LightweightTypeReference |
acceptType(ResolvedTypes types,
AbstractTypeExpectation expectation,
LightweightTypeReference type,
boolean returnType,
ConformanceHint... hints) |
protected LightweightTypeReference |
acceptType(XExpression alreadyHandled,
ResolvedTypes types,
AbstractTypeExpectation expectation,
LightweightTypeReference type,
boolean returnType,
ConformanceHint... hints) |
getExpectations, 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 TypeCheckpointComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)
protected LightweightTypeReference acceptType(ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, ConformanceHint... hints)
acceptType
in class AbstractStackedTypeComputationState
protected LightweightTypeReference acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, ConformanceHint... hints)
acceptType
in class AbstractStackedTypeComputationState