classCompletionState

Generation packages/sql-faker/src/Generation/Derivation/CompletionState.php:12

final class CompletionState

A leftmost derivation frontier with capped occurrence counters and an output obligation.

Properties§

public list<Symbol> $symbols

source §

public array<string, int> $occurrences

source §

public bool $nonEmpty

source §

public int $spent

source §

public ?self $parent = null

source §

Methods§

public function __construct(
    public list<Symbol> $symbols,
    public array<string, int> $occurrences,
    public bool $nonEmpty,
    public int $spent,
    public ?self $parent = null,
)

100%source §

Parameters

`$symbols`	`list<Symbol>`
`$occurrences`	`array<string, int>`
`$nonEmpty`	`bool`
`$spent`	`int`
`$parent`	`?self`

Test cases 1

CompletionStateTest::testKeySharesEquivalentContinuationsAcrossDifferentSpentBudgets covers

public function key(): string

100%source §

Omits spent cost so revisiting the same frontier cannot improve it by adding a recursive cycle.

Returns

string

Test cases 1

CompletionStateTest::testKeySharesEquivalentContinuationsAcrossDifferentSpentBudgets covers and calls

Called from 4

Calls 3

function-call serialize line 32
function-call array_map line 32
method-call Symbol::value() line 32

Test cases 23§

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

Dedicated tests 1

CompletionStateTest::testKeySharesEquivalentContinuationsAcrossDifferentSpentBudgets covers and calls

Other tests reaching this symbol 22

Relations§

Instantiated in 3

Method calls 4

Type checks 1

instanceof SqlFaker\Generation\Derivation\CompletionFrontier::take() packages/sql-faker/src/Generation/Derivation/CompletionFrontier.php:47

Type declarations 4