public class OperationBodyComputationState extends AbstractLogicalContainerAwareRootComputationState
resolvedTypes
Constructor and Description |
---|
OperationBodyComputationState(ResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession,
JvmOperation operation) |
Modifier and Type | Method and Description |
---|---|
protected ITypeComputationResult |
createNoTypeResult() |
protected java.util.List<AbstractTypeExpectation> |
getExpectations(AbstractTypeComputationState actualState,
boolean returnType) |
protected LightweightTypeReference |
getExpectedType() |
getMember, getRootExpression
acceptType, acceptType, assignTypes, computeTypes, createExpressionComputationState, getExpectations, getNonNullRootExpression, getReturnExpectations
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
public OperationBodyComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmOperation operation)
protected java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState, boolean returnType)
getExpectations
in class AbstractRootTypeComputationState
protected LightweightTypeReference getExpectedType()
getExpectedType
in class AbstractRootTypeComputationState
protected ITypeComputationResult createNoTypeResult()
createNoTypeResult
in class AbstractRootTypeComputationState