public abstract class AbstractRootTypeComputationState extends AbstractTypeComputationState
resolvedTypes
Modifier | Constructor and Description |
---|---|
protected |
AbstractRootTypeComputationState(ResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession) |
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 AbstractRootTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession)
public ITypeComputationResult computeTypes()
protected abstract ITypeComputationResult createNoTypeResult()
protected abstract XExpression getRootExpression()
protected XExpression getNonNullRootExpression()
protected abstract LightweightTypeReference getExpectedType()
protected LightweightTypeReference acceptType(ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
acceptType
in class AbstractTypeComputationState
protected LightweightTypeReference acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
acceptType
in class AbstractTypeComputationState
protected final java.util.List<AbstractTypeExpectation> getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)
getReturnExpectations
in class AbstractTypeComputationState
protected final java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState)
getExpectations
in class AbstractTypeComputationState
protected abstract java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState, boolean returnType)
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