enumTerminatorKind
enum TerminatorKind: string
Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.
Control transfers that end a lowered basic block.
Cases§
case Branch = 'branch'case Jump = 'jump'case Return = 'return'case Throw = 'throw'case Exit = 'exit'case Residual = 'residual'case CompleteJump = 'complete-jump'case LeaveTry = 'leave-try'case Resume = 'resume'Test cases 50§
Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.
Dedicated tests 1
Other tests reaching this symbol 49
ActionKindTest::testThrowActionsLowerToExceptionalControlFlowcallsPlanActionsTest::testApplyBindsCompletionToItsExactValuecallsPlanActionsTest::testApplyKeepsBothChoiceCompletionsAndTheContinuationSeparatecallsPlanActionsTest::testApplyReturnsAReferenceThroughCoreMemorycallsPlanCompilerTest::testActionsStopsAfterACompletioncallsPlanCompilerTest::testCompileRetainsSignatureDefaultsAndSourceMethodMetadatacallsParameterBindingTest::testDefaultArgumentRetainsAnOmittedMarkerWithoutEnforcingAnAbsentTypecallsDiscoveryTest::testInstructionsFollowsArgumentsAndReferenceLocationsThroughRepeatedDependenciescallsDiscoveryTest::testInstructionsStopsOnlyAfterExceedingTheNodeBudgetcallsEvaluatorTest::testBlockDropsAStableHeaderWithoutALoopTestAsSubsumedcallsEvaluatorTest::testBlockPreservesNormalAndExceptionalResidualsWhenWorkIsExhaustedcallsEvaluatorTest::testBlockSkipsUndemandedInstructionscallsEvaluatorTest::testBranchAtAStableLoopHeaderKeepsOnlyTheExitPathcallsEvaluatorTest::testBranchEliminatesAContradictedConstantPathcallsEvaluatorTest::testBranchForksMemoryAndRetainsUniqueControllingEvidencecallsEvaluatorTest::testTerminateCompleteJumpUnwindsOnlyTheExitedRegioncallsEvaluatorTest::testTerminateDistinguishesReferenceAndValueReturnscallsEvaluatorTest::testTerminateJumpRecordsThePredecessorAndUsesTheFirstTargetcallsEvaluatorTest::testTerminateLeaveTryKeepsOuterHandlersAndResumesAtTheRegionContinuationcallsEvaluatorTest::testTerminateLeaveTryRunsFinallyBeforeContinuingcallsEvaluatorTest::testTerminateResidualCompletesWithTheBoundaryValueAndAnUnknownThrowablecallsEvaluatorTest::testTerminateResumeRestoresTheSavedCompletionAndRemovesItsHandlercallsEvaluatorTest::testTerminateResumeWithoutASavedCompletionReturnsNullcallsEvaluatorTest::testTerminateUsesTheAlreadyEvaluatedReturnRegistercallsObservationCollectorTest::testRepeatedRecognizesAControlFlowCyclecallsIsolationTest::testDependenciesHonorsTheRemainingInstructionBudgetcallsConstantTransferTest::testInitializerChecksDeclaredTypesAndConstructsEnumIdentitycallsConstantTransferTest::testInitializerPropagatesFailureBeforeEnforcingTheConstantTypecallsConditionalLoweringTest::testLowerBuildsLazyFullTernaryBranchescallsGotoLoweringTest::testJumpEndsTheBlockUntilResolutioncallsGotoLoweringTest::testResolveJumpsBackwardToALoopHeaderLabelcallsGotoLoweringTest::testResolveReleasesForeachIteratorsAfterNestedFinallyBlockscallsGotoLoweringTest::testResolveSealsJumpsIntoLoopsAsExplicitBoundariescallsGotoLoweringTest::testUnwindSplitsTheJumpOnlyWhenAFinallyMustRunBeforeAReleasecallsExpressionLoweringTest::testBinaryMarksInteractingEffectsWithUnspecifiedOrdercallsInstructionEmitterTest::testEndPreservesTheReturnOperandcallsInstructionEmitterTest::testFinishInsertsAnImplicitNullReturnForFallthroughcallsInstructionEmitterTest::testJumpDoesNotReplaceAnExistingCompletioncallsStatementLoweringTest::testConditionalChecksElseifOnlyAfterAnEarlierFalseBranchcallsStatementLoweringTest::testConditionalKeepsReturnsSeparateFromTheCommonContinuationcallsStatementLoweringTest::testLowerBareReturnsCompleteWithoutAnImplicitValueInstructioncallsStatementLoweringTest::testLowerReferenceReturnsExposeTheCellWithoutReadingItcallsStatementLoweringTest::testLowerStartsALabelBlockAndDefersTheGotoTargetcallsQueryValidationTest::testOwnerAllowsEquivalentNamedOwnersWithinACorrelatedTuplecallsQueryValidationTest::testOwnerCannotCombineExpressionsFromDifferentInvocationscallsQueryValidationTest::testOwnerCannotFoldDifferentScriptPathsIntoTheSameTuplecallsQueryValidationTest::testOwnerRejectsAnEmptyTupleAtAnOtherwiseValidPointcallsQueryValidationTest::testOwnerResolvesEachSupportedObservationFormcallsQueryValidationTest::testReferenceRejectsEveryMismatchedIdentityComponentcalls
Relations§
Constant reads 57
- class-const Deriver\Deriver\Evaluator\Call\Plan\PlanActions::apply() packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanActions.php:43
- class-const Deriver\Deriver\Evaluator\Call\Plan\PlanActions::apply() packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanActions.php:43
- class-const Deriver\Deriver\Evaluator\Call\Plan\PlanCompiler::compile() packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanCompiler.php:63
- class-const Deriver\Deriver\Evaluator\Call\Plan\PlanCompiler::compile() packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanCompiler.php:72
- class-const Deriver\Deriver\Evaluator\Call\Plan\PlanCompiler::choice() packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanCompiler.php:129
- class-const Deriver\Deriver\Evaluator\Call\Plan\PlanCompiler::choice() packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanCompiler.php:132
- class-const Deriver\Deriver\Evaluator\Call\Plan\PlanCompiler::choice() packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanCompiler.php:135
- class-const Deriver\Deriver\Evaluator\Execution\Call\Native\Signatures::graph() packages/deriver/src/Deriver/Evaluator/Execution/Call/Native/Signatures.php:73
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::block() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:153
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::terminate() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:236
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::terminate() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:240
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::terminate() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:243
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::terminate() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:246
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::terminate() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:251
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::terminate() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:254
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::terminate() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:257
- class-const Deriver\Deriver\Evaluator\Execution\Evaluator::terminate() packages/deriver/src/Deriver/Evaluator/Execution/Evaluator.php:261
- class-const Deriver\Deriver\Evaluator\Expression\Guards::edge() packages/deriver/src/Deriver/Evaluator/Expression/Guards.php:69
- class-const Deriver\Deriver\Evaluator\Expression\ReturnEvaluator::evaluate() packages/deriver/src/Deriver/Evaluator/Expression/ReturnEvaluator.php:42
- class-const Deriver\Deriver\Evaluator\Index\BodyIndex::__construct() packages/deriver/src/Deriver/Evaluator/Index/BodyIndex.php:72
- class-const Deriver\Deriver\Evaluator\Index\BodyIndex::__construct() packages/deriver/src/Deriver/Evaluator/Index/BodyIndex.php:72
- class-const Deriver\Deriver\Evaluator\Index\BodyIndex::__construct() packages/deriver/src/Deriver/Evaluator/Index/BodyIndex.php:76
- class-const Deriver\Deriver\Evaluator\Index\BodyIndex::__construct() packages/deriver/src/Deriver/Evaluator/Index/BodyIndex.php:78
- class-const Deriver\Deriver\Evaluator\Index\BodyIndex::returns() packages/deriver/src/Deriver/Evaluator/Index/BodyIndex.php:134
- class-const Deriver\Deriver\Evaluator\Index\BodyIndex::returns() packages/deriver/src/Deriver/Evaluator/Index/BodyIndex.php:134
- class-const Deriver\Deriver\Evaluator\Index\ControlDependencies::build() packages/deriver/src/Deriver/Evaluator/Index/ControlDependencies.php:27
- class-const Deriver\Deriver\Evaluator\Invocation\Callback::value() packages/deriver/src/Deriver/Evaluator/Invocation/Callback.php:54
- class-const Deriver\Deriver\Evaluator\Invocation\Origin::call() packages/deriver/src/Deriver/Evaluator/Invocation/Origin.php:37
- class-const Deriver\Deriver\Evaluator\Language\Finalizers::apply() packages/deriver/src/Deriver/Evaluator/Language/Finalizers.php:36
- class-const Deriver\Deriver\Evaluator\Language\Finalizers::apply() packages/deriver/src/Deriver/Evaluator/Language/Finalizers.php:36
- class-const Deriver\Deriver\Evaluator\Language\Finalizers::apply() packages/deriver/src/Deriver/Evaluator/Language/Finalizers.php:38
- class-const Deriver\Deriver\Evaluator\Language\Finalizers::completions() packages/deriver/src/Deriver/Evaluator/Language/Finalizers.php:67
- class-const Deriver\Deriver\Evaluator\Language\Finalizers::completions() packages/deriver/src/Deriver/Evaluator/Language/Finalizers.php:67
- class-const Deriver\Deriver\Lowerer\Control\ConditionalLowering::choice() packages/deriver/src/Deriver/Lowerer/Control/ConditionalLowering.php:116
- class-const Deriver\Deriver\Lowerer\Control\ExceptionLowering::lower() packages/deriver/src/Deriver/Lowerer/Control/ExceptionLowering.php:48
- class-const Deriver\Deriver\Lowerer\Control\ExceptionLowering::lower() packages/deriver/src/Deriver/Lowerer/Control/ExceptionLowering.php:53
- class-const Deriver\Deriver\Lowerer\Control\ExceptionLowering::lower() packages/deriver/src/Deriver/Lowerer/Control/ExceptionLowering.php:59
- class-const Deriver\Deriver\Lowerer\Control\GotoLowering::jump() packages/deriver/src/Deriver/Lowerer/Control/GotoLowering.php:48
- class-const Deriver\Deriver\Lowerer\Control\GotoLowering::resolve() packages/deriver/src/Deriver/Lowerer/Control/GotoLowering.php:64
- class-const Deriver\Deriver\Lowerer\Control\GotoLowering::resolve() packages/deriver/src/Deriver/Lowerer/Control/GotoLowering.php:71
- class-const Deriver\Deriver\Lowerer\Control\GotoLowering::unwind() packages/deriver/src/Deriver/Lowerer/Control/GotoLowering.php:112
- class-const Deriver\Deriver\Lowerer\Control\LoopLowering::lower() packages/deriver/src/Deriver/Lowerer/Control/LoopLowering.php:49
- class-const Deriver\Deriver\Lowerer\Control\LoopLowering::completion() packages/deriver/src/Deriver/Lowerer/Control/LoopLowering.php:149
- class-const Deriver\Deriver\Lowerer\Control\StaticLowering::lower() packages/deriver/src/Deriver/Lowerer/Control/StaticLowering.php:39
- class-const Deriver\Deriver\Lowerer\Control\SwitchLowering::lower() packages/deriver/src/Deriver/Lowerer/Control/SwitchLowering.php:46
- class-const Deriver\Deriver\Lowerer\ExpressionLowering::computed() packages/deriver/src/Deriver/Lowerer/ExpressionLowering.php:176
- class-const Deriver\Deriver\Lowerer\InstructionEmitter::jump() packages/deriver/src/Deriver/Lowerer/InstructionEmitter.php:146
- class-const Deriver\Deriver\Lowerer\InstructionEmitter::finish() packages/deriver/src/Deriver/Lowerer/InstructionEmitter.php:158
- class-const Deriver\Deriver\Lowerer\Lowerer::compile() packages/deriver/src/Deriver/Lowerer/Lowerer.php:47
- class-const Deriver\Deriver\Lowerer\Lowerer::compile() packages/deriver/src/Deriver/Lowerer/Lowerer.php:49
- class-const Deriver\Deriver\Lowerer\Lowerer::expression() packages/deriver/src/Deriver/Lowerer/Lowerer.php:116
- class-const Deriver\Deriver\Lowerer\OrderLowering::binary() packages/deriver/src/Deriver/Lowerer/OrderLowering.php:37
- class-const Deriver\Deriver\Lowerer\OrderLowering::binary() packages/deriver/src/Deriver/Lowerer/OrderLowering.php:40
- class-const Deriver\Deriver\Lowerer\OrderLowering::binary() packages/deriver/src/Deriver/Lowerer/OrderLowering.php:43
- class-const Deriver\Deriver\Lowerer\StatementLowering::lower() packages/deriver/src/Deriver/Lowerer/StatementLowering.php:40
- class-const Deriver\Deriver\Lowerer\StatementLowering::lower() packages/deriver/src/Deriver/Lowerer/StatementLowering.php:44
- class-const Deriver\Deriver\Lowerer\StatementLowering::conditional() packages/deriver/src/Deriver/Lowerer/StatementLowering.php:77