classTerminator

packages/deriver/src/Deriver/Lowerer/Graph/Terminator.php:12

final class Terminator

Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.

Explicit control transfer, including pending completion through finally.

Properties§

public TerminatorKind $kind

source §

public string $operand = ''

source §

public list<int> $targets = []

source §

public int $handlerDepth = 0

source §

Methods§

public function __construct(
    public TerminatorKind $kind,
    public string $operand = '',
    public list<int> $targets = [],
    public int $handlerDepth = 0,
)

source §

Parameters

`$kind`	`TerminatorKind`	kind
`$operand`	`string`	operand
`$targets`	`list<int>`	targets
`$handlerDepth`	`int`	handlerDepth

Test cases 183§

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

Dedicated tests 1

TerminatorTest calls

Other tests reaching this symbol 182

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
PlanActionsTest calls
PlanCompilerTest calls
SemanticPlanTest calls
ParameterTest calls
SignatureTest calls
LatticeTest calls
FrontierTest calls
AllocationTest calls
ArgumentBindingTest calls
ArgumentOrderTest calls
CallableCheckTest calls
CallExecutorTest calls
CallResolutionTest calls
BindingTest calls
CaptureTest calls
ExternalBodyTest calls
InputsTest calls
AccessTest calls
InvocationTest calls
MethodInvocationTest calls
InvocationTest calls
SignaturesTest calls
ParameterBindingTest::testDefaultArgumentRetainsAnOmittedMarkerWithoutEnforcingAnAbsentType 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
CompletionTest calls
ExceptionalTest calls
ClassNamesTest calls
ConstraintsTest calls
ContextTest calls
CollectionCallsTest calls
HandlerTest calls
IterationStepTest calls
IteratorCursorTest calls
LoopConvergenceTest calls
StateJoinTest calls
UnwindingTest calls
CellTest calls
ComponentsTest calls
DiscoveryTest::testInstructionsFollowsArgumentsAndReferenceLocationsThroughRepeatedDependencies calls
DiscoveryTest::testInstructionsStopsOnlyAfterExceedingTheNodeBudget calls
TableTest calls
EvaluatorTest::testBlockDropsAStableHeaderWithoutALoopTestAsSubsumed calls
EvaluatorTest::testBlockPreservesNormalAndExceptionalResidualsWhenWorkIsExhausted calls
EvaluatorTest::testBlockSkipsUndemandedInstructions calls
EvaluatorTest::testBranchAtAStableLoopHeaderKeepsOnlyTheExitPath calls
EvaluatorTest::testBranchEliminatesAContradictedConstantPath calls
EvaluatorTest::testBranchForksMemoryAndRetainsUniqueControllingEvidence calls
EvaluatorTest::testTerminateCompleteJumpUnwindsOnlyTheExitedRegion calls
EvaluatorTest::testTerminateDistinguishesReferenceAndValueReturns calls
EvaluatorTest::testTerminateJumpRecordsThePredecessorAndUsesTheFirstTarget calls
EvaluatorTest::testTerminateLeaveTryKeepsOuterHandlersAndResumesAtTheRegionContinuation calls
EvaluatorTest::testTerminateLeaveTryRunsFinallyBeforeContinuing calls
EvaluatorTest::testTerminateResidualCompletesWithTheBoundaryValueAndAnUnknownThrowable calls
EvaluatorTest::testTerminateResumeRestoresTheSavedCompletionAndRemovesItsHandler calls
EvaluatorTest::testTerminateResumeWithoutASavedCompletionReturnsNull calls
EvaluatorTest::testTerminateUsesTheAlreadyEvaluatedReturnRegister calls
HavocTest calls
InstructionTransferTest calls
LocationTest calls
MemoryTest calls
SlotReferenceTest calls
ObservationCollectorTest::testRepeatedRecognizesAControlFlowCycle calls
PathTest calls
ProtocolTest calls
ReaderTest calls
StringsTest calls
TransferTest calls
ConversionsTest calls
CountableCallsTest calls
ScalarErrorsTest calls
StateTest calls
EvaluationTest calls
InvocationTest calls
IsolationTest::testDependenciesHonorsTheRemainingInstructionBudget calls
DerivationTest calls
ExplanationTest calls
CallableTransferTest calls
CompoundAssignmentTest calls
ConstantTransferTest::testInitializerChecksDeclaredTypesAndConstructsEnumIdentity calls
ConstantTransferTest::testInitializerPropagatesFailureBeforeEnforcingTheConstantType 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
CompositionTest calls
MembersTest calls
PropertyScopeTest calls
EffectInspectionTest calls
ExpressionLoweringTest calls
ArgumentTest calls
BasicBlockTest calls
CallableGraphTest calls
CatchTargetTest calls
ExceptionRegionTest calls
ExpressionRefTest calls
InstructionTest calls
ParameterTest calls
PointRefTest calls
AccessTest calls
DispatchTest calls
InstructionEmitterTest::testEndPreservesTheReturnOperand calls
InstructionEmitterTest::testJumpDoesNotReplaceAnExistingCompletion calls
LowererTest calls
LoweringScopeTest calls
StatementLoweringTest calls
CallObservationsTest calls
QueryValidationTest::testOwnerAllowsEquivalentNamedOwnersWithinACorrelatedTuple calls
QueryValidationTest::testOwnerCannotCombineExpressionsFromDifferentInvocations calls
QueryValidationTest::testOwnerCannotFoldDifferentScriptPathsIntoTheSameTuple calls
QueryValidationTest::testOwnerRejectsAnEmptyTupleAtAnOtherwiseValidPoint calls
QueryValidationTest::testOwnerResolvesEachSupportedObservationForm calls
QueryValidationTest::testReferenceRejectsEveryMismatchedIdentityComponent calls
DeriverTest calls

Relations§

Instantiated in 33

Type declarations 4