classCompletion

packages/deriver/src/Deriver/Evaluator/Execution/Completion/Completion.php:15

final class Completion

Restricted visibility: declared "@visibility Deriver\Deriver\Evaluator" and "@visibility Deriver\Deriver\Evaluator\Execution". Code outside that scope must not name this declaration.

A pending completion that a finally block can resume or replace.

Properties§

public CompletionKind $kind = CompletionKind::Normal

source §

public Term|null $value = null

source §

public int $target = 0

source §

public int $depth = 0

source §

Methods§

public function __construct(
    public CompletionKind $kind = CompletionKind::Normal,
    public Term|null $value = null,
    public int $target = 0,
    public int $depth = 0,
)

source §

Parameters

`$kind`	`CompletionKind`	kind
`$value`	`Term\|null`	value
`$target`	`int`	target
`$depth`	`int`	depth

Calls 1

class-const CompletionKind::Normal() line 24

Test cases 185§

Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.

Dedicated tests 1

CompletionTest calls

Other tests reaching this symbol 184

ResultRefTest calls
SnapshotTest calls
StatisticsTest calls
DeriverConfigTest calls
ArrayFunctionsTest calls
FunctionEvaluatorTest calls
LibraryTest calls
ScalarFunctionsTest calls
TypePredicatesTest calls
CallDecisionTest calls
CallDescriptionTest calls
CallDescriptorTest calls
EvaluatorsTest calls
ActionTest calls
ExpressionTest calls
PlanCompilerTest calls
SemanticPlanTest calls
ParameterTest calls
SignatureTest calls
LatticeTest calls
FrontierTest calls
AllocationTest calls
ArgumentBindingTest calls
ArgumentOrderTest calls
CallExecutorTest calls
CallResolutionTest calls
BindingTest calls
CaptureTest calls
EffectsTest calls
ExternalBodyTest calls
InputsTest calls
AccessTest calls
InvocationTest calls
MethodInvocationTest calls
InvocationTest calls
PropertiesTest calls
ParameterBindingTest calls
PassedArgumentTest calls
ArgumentsTest calls
CreationTest calls
EntryPropertiesTest calls
MethodsTest calls
ModesTest calls
ResolutionTest calls
TransferTest calls
UnpackTest calls
TypeBindingTest calls
TypeCheckTest calls
UnknownCallTest calls
AlternativeTest calls
AssessmentTest calls
CompletionKindTest::testResumingAJumpClearsItsPendingCompletion calls
ExceptionalTest calls
ClassNamesTest calls
ConstraintsTest calls
ContextTest calls
CollectionCallsTest::testCompletePublishesResultsWithoutReplacingExceptions calls
ExceptionChainTest::testUnwindLeavesUnrelatedCompletionsUnchanged calls
ExceptionChainTest::testUnwindLinksNativeFailuresWhilePreservingTheThrownObject calls
HandlerPhaseTest::testEnteringFinallyRetainsTheSavedCompletion calls
HandlerTest calls
IterationStepTest calls
IteratorCursorTest calls
LoopConvergenceTest calls
PathJoinTest::testJoinWidensCompletedReturnValuesWithoutComparingRegisters calls
ResidualPathsTest calls
StateJoinTest::testCompletedHavocsLateExceptionsThatCannotBeJoined calls
StateJoinTest::testCompletedIncludesLateReturnsAfterThePartitionLimit calls
StateJoinTest::testCompletedKeepsNormalAndExceptionalGroupsIndependentAtTheExactLimit calls
StateJoinTest::testCompletedRetainsUnobservedExceptionalStateFromLaterPartitions calls
StateJoinTest::testLimitPassesCompletedResidualsThrough calls
UnwindingTest::testResumePopsRegionsWithoutFinallyBeforeLeavingTheCallable calls
UnwindingTest::testResumeSavesThePendingCompletionBeforeEnteringFinally calls
UnwindingTest::testResumeStopsAtTheJumpDepthAndDoesNotRepeatAnActiveFinally calls
UnwindingTest::testRoutesPreservesNonthrowingPathsWhileResumingTheirJumps calls
UnwindingTest::testThrowRoutesKeepsAnOuterHandlerWhenTheCompletionStopsAtItsDepth calls
UnwindingTest::testThrowRoutesPartitionsOrderedCatchesAndSavesOnlyTheRemainingThrowForFinally calls
CellTest calls
ComponentsTest calls
TableTest calls
DependenciesTest calls
EvaluatorTest::testExecuteDoesNotReexecuteAnAlreadyCompletedEntry calls
EvaluatorTest::testReturnedCoercesSharedCellsAndRetainsReferenceIdentity calls
EvaluatorTest::testReturnedEnforcesTheDeclaredReturnType calls
EvaluatorTest::testReturnedKeepsExceptionsOutsideReturnTypeValidation calls
EvaluatorTest::testReturnedKeepsThePreCoercionCellOnAnUncertainTypeError calls
EvaluatorTest::testReturnedResolvesLateStaticTypesAgainstTheBoundReceiverClass calls
EvaluatorTest::testReturnedValidatesFinalValuesUnderTheDeclaringFileMode calls
EvaluatorTest::testTerminateResumeRestoresTheSavedCompletionAndRemovesItsHandler calls
HavocTest calls
InstructionTransferTest calls
LocationTest calls
MemoryTest calls
SlotReferenceTest calls
StateStorageTest calls
ObservationCollectorTest::testCompletionExportsOnlyEscapingPreObservationExceptions calls
ObservationCollectorTest::testCompletionKeepsTheExceptionalStateAtTheThrow calls
ObservationCollectorTest::testCompletionSelectsReturnSymbolsAndScopeWithoutDuplicatingRecursiveRoots calls
PathTest calls
ProtocolTest calls
ReaderTest calls
TransferTest calls
CallablePredicateTest calls
ConversionsTest::testReturnedPreservesThrownCompletionsWithoutCheckingTheirReturnRegister calls
CountableCallsTest calls
ScalarErrorsTest calls
StateTest calls
CompletionRecordTest::testIdSeparatesReturnAndExceptionCorrelations calls
CompletionRecordTest::testInstantiateKeepsSealedEffectsConservative calls
CompletionRecordTest::testInstantiateRebasesLocalWritesAndPreservesUnrelatedCells calls
EvaluationTest::testRunChargesMemoizedWorkOnlyWhenItFitsTheRemainingBudget calls
EvaluationTest::testRunReplaysAvailableApproximationsWithoutExecutingAgain calls
EvaluationTest::testSealRetainsTheBoundedKnownOutcomeBeforeResiduals calls
InvocationTest calls
DerivationTest calls
ExplanationTest calls
CallableTransferTest calls
CompoundAssignmentTest calls
ConstantTransferTest calls
ExternalTransferTest calls
IntrinsicTransferTest calls
MemoryStepTest calls
ObjectAccessTest calls
PropertyAccessCheckTest calls
PropertyMagicTest calls
PropertyReferenceTest calls
PropertyTransferTest calls
PureStepTest calls
ReferenceAssignmentTest calls
ProjectionTest calls
BudgetTest calls
EntryPointTest calls
ObservationTest calls
QueryScopeTest calls
ReturnQueryTest calls
StateQueryTest calls
TupleQueryTest calls
ValueQueryTest calls
ArithmeticTest calls
ArraysTest calls
ComparisonTest calls
OperationsTest calls
TargetProfileTest calls
TermTest calls
DerivationResultTest calls
QueryExecutionTest calls
ResultAssessmentTest calls
ValueGraphTest calls
AggregateLoweringTest calls
AssignmentLoweringTest calls
CallLoweringTest calls
ConditionalLoweringTest calls
DestructuringLoweringTest calls
ExceptionLoweringTest calls
GotoLoweringTest calls
LoopLoweringTest calls
MatchLoweringTest calls
StaticLoweringTest calls
SwitchLoweringTest calls
CallableSourceTest calls
IndexerTest calls
IndexTest calls
ClassDeclarationTest calls
PropertyDeclarationTest calls
SymbolRefTest calls
EffectInspectionTest calls
ExpressionLoweringTest calls
ArgumentTest calls
BasicBlockTest calls
CallableGraphTest calls
CatchTargetTest calls
ExceptionRegionTest calls
ExpressionRefTest calls
InstructionTest calls
ParameterTest calls
PointRefTest calls
TerminatorTest calls
DispatchTest calls
InstructionEmitterTest calls
LowererTest calls
LoweringScopeTest calls
StatementLoweringTest calls
CallObservationsTest calls
DeriverTest calls

Relations§

Instantiated in 75

Type declarations 2