classCompletionCosts

packages/sql-faker/src/Generation/Derivation/CompletionCosts.php:18

final class CompletionCosts

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

Computes minimum expansion costs separately for empty and non-empty output.

Methods§

public function __construct(Grammar $grammar, private Closure(string): bool $nonOutput)

source §

Computes the least fixed point once for a grammar and its declared non-output markers.

Parameters

`$grammar`	`Grammar`
`$nonOutput`	`Closure(string): bool`	Identifies declared non-output parser markers

Calls 4

function-call array_fill_keys line 37
function-call array_keys line 37
method-call CompletionCosts::sequence() line 42
static-call CompletionCosts::add() line 44

public function rule(string $name, bool $nonEmpty): int

source §

Returns the minimum total expansions from a rule.

Parameters

`$name`	`string`
`$nonEmpty`	`bool`

Returns

int

Test cases 1

CompletionCostsTest::testRuleFindsFiniteCompletionsThroughNullableRecursion calls

Calls 1

function-call min line 61

public function sequence(list<Symbol> $symbols): array{int, int}

source §

Costs all children and pending siblings together, preserving nullability.

Parameters

$symbols list<Symbol>

Returns

array{int, int}

Test cases 1

CompletionCostsTest::testSequenceCountsMarkersAsEmptyAndReservesAllSiblings calls

Called from 8

Calls 1

static-call CompletionCosts::combine() line 84

public function completion(Production $production, list<Symbol> $remainder, bool $nonEmpty): int

source §

Costs the remainder while retaining the final non-empty requirement.

Parameters

`$production`	`Production`
`$remainder`	`list<Symbol>`
`$nonEmpty`	`bool`

Returns

int

Test cases 1

CompletionCostsTest::testCompletionAllowsAnEmptyProductionWhenItsSiblingEmitsOutput calls

Called from 3

Calls 3

static-call CompletionCosts::combine() line 96
method-call CompletionCosts::sequence() line 96
function-call min line 97

public function affordable(
    list<Production> $alternatives,
    list<Symbol> $remainder,
    bool $nonEmpty,
    int $budget,
): list<Production>

source §

Applies the candidate policy shared by token generation and planning.

Parameters

`$alternatives`	`list<Production>`
`$remainder`	`list<Symbol>`
`$nonEmpty`	`bool`
`$budget`	`int`

Returns

list<Production>

Test cases 1

CompletionCostsTest::testAffordableRetainsExactlyTheAlternativesThatCanFinishWithinBudget calls

Called from 1

method-call SqlFaker\Generation\Derivation\Derivation::affordableCompletion() packages/sql-faker/src/Generation/Derivation/Derivation.php:270

Calls 3

method-call CompletionCosts::sequence() line 109
static-call CompletionCosts::combine() line 112
function-call min line 113

public static function combine(array{int, int} $left, array{int, int} $right): array{int, int}

source §

Combines independent prefix and suffix costs, including their empty-output alternatives.

Parameters

`$left`	`array{int, int}`
`$right`	`array{int, int}`

Returns

array{int, int}

Test cases 1

CompletionCostsTest::testCombinePreservesEmptyAndNonEmptyCompletions calls

Called from 4

Calls 2

static-call CompletionCosts::add() line 128
function-call min line 128

public function hasTerminalOutput(list<Symbol> $symbols): bool

source §

Stops once the already-derived prefix contains an emitting terminal; pending rules are not output.

Parameters

$symbols list<Symbol>

Returns

bool

Test cases 1

CompletionCostsTest::testHasTerminalOutputDistinguishesEmittedTerminalsFromMarkersAndPendingRules calls

Called from 5

Calls 1

method-call CompletionCosts::sequence() line 141

public static function add(int $left, int $right): int

source §

Adds finite costs without overflowing the unreachable sentinel.

Parameters

`$left`	`int`
`$right`	`int`

Returns

int

Test cases 1

CompletionCostsTest::testAddSaturatesUnreachableCostsWithoutIntegerOverflow calls

Called from 7

Private surface 3§

Implementation details, listed for orientation only.

private array<string, array{int, int}> $costs

private array<string, array{int, int}> $terminalCosts = []

private Closure(string): bool $nonOutput

Test cases 56§

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

Dedicated tests 7

Other tests reaching this symbol 49

Relations§

Instantiated in 2

Static calls 4

Method calls 12

Type declarations 7