classStateJoin

packages/deriver/src/Deriver/Evaluator/Execution/Control/StateJoin.php:21

final class StateJoin

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

Safely merges excess partitions rather than retaining only the first candidates.

Properties§

public Context $context

source §

Methods§

public function __construct(public Context $context)

source §

Parameters

$context Context Query context

public function limit(list<State> $states, CallableGraph $callable): list<State>

source §

Bounds partitions at each pending program point.

Parameters

`$states`	`list<State>`	Pending paths
`$callable`	`CallableGraph`	Current callable

Returns

list<State> Bounded pending paths

Test cases 4

Called from 4

Calls 9

method-call StateJoin::orders() line 38
class-const CompletionKind::Normal() line 42
function-call count line 49
function-call array_push line 50
method-call Context::frontier() line 53
function-call max line 55
function-call array_slice line 56
method-call StateJoin::clusters() line 57
method-call StateJoin::seal() line 61

public function clusters(list<State> $states): list<State>

source §

Joins each path into the first compatible cluster; paths with another structure keep executing as their own cluster.

Parameters

$states list<State> Excess paths waiting at one block

Returns

list<State> Joined clusters in discovery order

Test cases 1

StateJoinTest::testClustersJoinCompatiblePathsAndKeepOtherStructures calls

Called from 1

method-call Deriver\Deriver\Evaluator\Execution\Control\StateJoin::limit() packages/deriver/src/Deriver/Evaluator/Execution/Control/StateJoin.php:57

Calls 5

new PathJoin line 74
method-call PathJoin::structure() line 78
function-call array_keys line 79
method-call PathJoin::join() line 80
function-call array_values line 89

public function seal(non-empty-list<State> $states, CallableGraph $callable): list<State>

source §

Seals paths that cannot be joined, keeping their storage roots and aliases in one residual.

Parameters

`$states`	`non-empty-list<State>`	Paths waiting at one block
`$callable`	`CallableGraph`	Current callable

Returns

list<State> Normal and exceptional residuals

Test cases 1

StateJoinTest::testSealKeepsTheRootsOfEverySealedPath calls

Called from 1

method-call Deriver\Deriver\Evaluator\Execution\Control\StateJoin::limit() packages/deriver/src/Deriver/Evaluator/Execution/Control/StateJoin.php:61

Calls 3

function-call array_intersect_key line 103
method-call ResidualPaths::seal() line 108
new ResidualPaths line 108

public function orders(list<State> $states, CallableGraph $callable): list<State>

source §

Coalesces operand orders only when their complete resulting states are identical.

Parameters

`$states`	`list<State>`	States waiting at instruction blocks
`$callable`	`CallableGraph`	Graph containing explicit operand-order joins

Returns

list<State> Distinct semantic states

Called from 1

method-call Deriver\Deriver\Evaluator\Execution\Control\StateJoin::limit() packages/deriver/src/Deriver/Evaluator/Execution/Control/StateJoin.php:38

Calls 7

function-call array_count_values line 122
function-call array_column line 122
function-call is_string line 126
method-call StateJoin::candidateKey() line 130
function-call count line 132
function-call is_int line 136
method-call StateJoin::orderKey() line 137

public function candidateKey(State $state, string $register, Identity $identity): string

source §

Summarizes the guard, registers, and storage that every coalesced operand order must share. Different summaries prove different states, so complete fingerprints are only computed for collisions.

Parameters

`$state`	`State`	Candidate completed operand order
`$register`	`string`	Hidden order predicate
`$identity`	`Identity`	\Deriver\Deriver\Evaluator\Term keys shared by the compared states

Returns

string Necessary condition for equal order keys

Test cases 1

StateJoinTest::testCandidateKeysSeparateStatesWithDifferentStorage calls

Called from 1

method-call Deriver\Deriver\Evaluator\Execution\Control\StateJoin::orders() packages/deriver/src/Deriver/Evaluator/Execution/Control/StateJoin.php:130

Calls 6

method-call Identity::key() line 163
method-call State::value() line 163
function-call ksort line 164
function-call array_map line 165
function-call hash line 169
function-call serialize line 169

public function orderKey(
    State $state,
    string $register,
    Identity $identity = new \Deriver\Deriver\Evaluator\Scalar\Identity(),
): string

source §

Normalizes bookkeeping while retaining all values, storage, aliases, and source guards.

Parameters

`$state`	`State`	Candidate completed operand order
`$register`	`string`	Hidden order predicate
`$identity`	`Identity`	\Deriver\Deriver\Evaluator\Term keys shared by the compared states

Returns

string Exact equality key, excluding only the internal order choice

Test cases 2

Called from 2

Calls 8

new Identity line 179
method-call State::fork() line 181
method-call Identity::key() line 182
function-call ksort line 184
function-call array_values line 193
function-call array_unique line 193
function-call sort line 194
method-call StateJoin::fingerprint() line 199

public function fingerprint(
    State $state,
    Identity $identity = new \Deriver\Deriver\Evaluator\Scalar\Identity(),
): string

source §

Encodes structural equality without PHP object-sharing identifiers or scalar coercion.

Parameters

`$state`	`State`	Normalized, acyclic evaluator state
`$identity`	`Identity`	Structural term keys

Returns

string Typed structural fingerprint

Test cases 1

StateJoinTest::testFingerprintIgnoresObjectSharingAndKeepsArrayOrder calls

Called from 2

Calls 2

new Identity line 208
method-call StateJoin::encode() line 210

public function encode(object $value, Identity $identity): string

source §

Encodes an object structurally; shared terms and objects are encoded once, so the cost follows the graph rather than its tree expansion.

Parameters

`$value`	`object`	Acyclic evaluator value
`$identity`	`Identity`	Structural term keys

Returns

string Typed structural fingerprint

Test cases 1

StateJoinTest::testEncodeSharesTermsAndDistinguishesValues calls

Called from 3

Calls 9

new WeakMap line 222
method-call Identity::key() line 225
function-call is_object line 227
function-call hash line 228
function-call get_class line 228
function-call get_object_vars line 228
function-call is_array line 230
function-call serialize line 231
function-call array_map line 231

public function completed(list<State> $states, CallableGraph $callable): list<State>

source §

Bounds completed paths while retaining distinct normal and exceptional effects.

Parameters

`$states`	`list<State>`	Completed paths
`$callable`	`CallableGraph`	Owning graph

Returns

list<State> Inclusive completed paths

Test cases 4

Called from 2

Calls 15

function-call count line 252
function-call array_push line 253
function-call array_slice line 256
method-call PathJoin::join() line 258
new PathJoin line 258
method-call Context::frontier() line 261
function-call array_intersect_key line 268
method-call Havoc::symbols() line 272
new Havoc line 272
new Term line 273
class-const TermKind::Throwable() line 273
static-call Term::opaque() line 273
new Completion line 274
method-call ObservationLimit::boundary() line 278
new ObservationLimit line 278

Test cases 152§

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

Dedicated tests 14

Other tests reaching this symbol 138

Relations§

Instantiated in 8

Method calls 9