classTokenGenerator

packages/sql-faker/src/Generation/Derivation/TokenGenerator.php:23

final class TokenGenerator

Derives grammar terminals without choosing spellings or pruning unsupported lexemes.

Properties§

public ?ScopedGeneration $lastScope = null

source §

Lexical scopes belonging only to the latest derivation.

Methods§

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

source §

Fixes grammar and production choices; marker metadata affects emptiness, never handler availability.

Parameters

`$grammar`	`Grammar`
`$faker`	`Generator`
`$nonOutput`	`Closure(string): bool`

Calls 2

new TerminationAnalyzer line 46
new CompletionCosts line 47

public function generate(
    string $root,
    GenerationPlan<bool> $plan,
    Closure(int, non-empty-list<Production>): ?int|null $choose = null,
): TerminalSequence

source §

Produces the selected terminal occurrences and their grammar provenance.

Parameters

`$root`	`string`
`$plan`	`GenerationPlan<bool>`
`$choose`	`Closure(int, non-empty-list<Production>): ?int\|null`

Returns

TerminalSequence

Throws

GenerationException When the grammar cannot complete the plan

LogicException When derivation failed to retain its trace

Test cases 5

Called from 1

method-call SqlFaker\Generation\Choice\PlanBuilder::build() packages/sql-faker/src/Generation/Choice/PlanBuilder.php:71

Calls 3

method-call TokenGenerator::prepare() line 60
method-call GenerationPlan::rules() line 61
method-call TokenGenerator::derive() line 66

public function derive(
    string $root,
    GenerationPlan<bool> $plan,
    Closure(int, non-empty-list<Production>): ?int|null $choose = null,
): TerminalSequence

source §

Runs the shared derivation engine on the selected grammar.

Parameters

`$root`	`string`
`$plan`	`GenerationPlan<bool>`
`$choose`	`Closure(int, non-empty-list<Production>): ?int\|null`

Returns

TerminalSequence

Throws

GenerationException When the grammar cannot complete the plan

LogicException When derivation failed to retain its trace

Test cases 1

TokenGeneratorTest::testDeriveRetainsOriginalRuleIdentityForRepeatedChoices calls

Called from 1

method-call SqlFaker\Generation\Derivation\TokenGenerator::generate() packages/sql-faker/src/Generation/Derivation/TokenGenerator.php:66

Calls 3

new Derivation line 78
method-call Derivation::of() line 79
new LogicException line 80

public function minimumExpansions(string $root, GenerationPlan<bool> $plan): int

source §

Uses the very same specialized grammar when choosing a feasible byte-plan budget.

Parameters

`$root`	`string`
`$plan`	`GenerationPlan<bool>`

Returns

int

Test cases 2

Called from 1

method-call SqlFaker\Generation\Choice\PlanBuilder::minimumExpansions() packages/sql-faker/src/Generation/Choice/PlanBuilder.php:45

Calls 7

method-call TokenGenerator::prepare() line 89
method-call GenerationPlan::rules() line 90
method-call ConstrainedCompletion::minimum() line 92
new ConstrainedCompletion line 92
new NonTerminal line 93
method-call GenerationPlan::requiresNonEmpty() line 96
method-call GenerationPlan::expansionBudget() line 97

public function prepare(string $root, GenerationPlan<bool> $plan): void

source §

Keeps one preparation, avoiding unbounded caches as fuzz inputs change their constraints.

Parameters

`$root`	`string`
`$plan`	`GenerationPlan<bool>`

Test cases 1

TokenGeneratorTest::testPrepareKeepsPlansAndUnconstrainedCallsIndependent calls

Called from 2

Calls 4

method-call GenerationPlan::rules() line 107
method-call GrammarCompiler::compile() line 110
new GrammarCompiler line 110
new self line 111

Private surface 9§

Implementation details, listed for orientation only.

private TerminationAnalyzer $termination

private CompletionCosts $completion

private array<string, RulePlan> $plannedRules = []

private ?string $plannedRoot = null

private ?PreparedGrammar $prepared = null

private ?self $planned = null

private Grammar $grammar

private Generator $faker

private Closure(string): bool $nonOutput

Test cases 23§

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

Dedicated tests 6

Other tests reaching this symbol 17

Relations§

Instantiated in 2

Method calls 2

Type declarations 2