classEnumerator

packages/deriver/src/Deriver/Evaluator/Enumeration/Enumerator.php:14

final class Enumerator

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

Enumerates a shared choice DAG while retaining its entire unvisited frontier.

Methods§

public function __construct(Term $value)

source §

Starts enumeration without flattening any choices.

Parameters

$value Term

public function next(): array{Term, array<string, bool|string>}|null

source §

Returns

array{Term, array<string, bool|string>}|null

Test cases 3

Called from 3

Calls 9

function-call array_pop line 37
class-const TermKind::Choice() line 38
function-call array_reverse line 41
function-call str_starts_with line 44
function-call is_bool line 44
function-call is_string line 44
function-call substr line 45
method-call Choices::merge() line 48
new Choices line 48

public function hasRemaining(): bool

source §

Reports whether an unvisited frontier remains.

Returns

bool

Test cases 1

EnumeratorTest::testHasRemainingDoesNotConsumeTheFrontier calls

Called from 1

method-call Deriver\Deriver\Publication\CandidateCollector::collect() packages/deriver/src/Deriver/Publication/CandidateCollector.php:40

public function remainder(array{Term, array<string, bool|string>} $current): Term

source §

Parameters

$current array{Term, array<string, bool|string>}

Returns

Term

Test cases 1

EnumeratorTest::testRemainderRetainsTheCurrentAndUnvisitedValues calls

Called from 1

method-call Deriver\Deriver\Publication\CandidateCollector::collect() packages/deriver/src/Deriver/Publication/CandidateCollector.php:41

Calls 3

method-call Choices::make() line 72
new Choices line 72
function-call array_reverse line 72

Private surface 1§

Implementation details, listed for orientation only.

private list<array{Term, array<string, bool|string>}> $pending

Test cases 3§

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

Dedicated tests 3

Relations§

Instantiated in 3

Method calls 5