classGrammarCoverageInventory

packages/sql-faker/src/Generation/Coverage/GrammarCoverageInventory.php:18

final class GrammarCoverageInventory

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

Enumerates the effective grammar before any per-generation restrictions.

Type Aliases§

Entry = array{rule: string, ordinal: int, origin: string|null, rhs: list<string>, rootReachable: bool}

Properties§

public string $fingerprint

source §

Identity of the grammar, adapter and lexical profile.

public string $digest

source §

Digest of the full reconstructed production inventory.

public array<string, Entry> $entries

source §

public list<string> $denominator

source §

public list<array{origin: string, status: string}> $adaptations

source §

public Grammar $grammar

source §

public string $root

source §

Methods§

public function __construct(
    public Grammar $grammar,
    public string $root,
    string $profile,
    ?Grammar $original = null,
)

source §

Includes inaccessible alternatives and records source grammar changes separately.

Parameters

`$grammar`	`Grammar`
`$root`	`string`
`$profile`	`string`
`$original`	`?Grammar`

Calls 8

function-call hash line 50
function-call serialize line 50
method-call GrammarCoverageInventory::reachableRules() line 51
method-call GrammarCoverageInventory::id() line 55
static-call GrammarCoverageInventory::rhs() line 57
function-call array_keys line 63
function-call array_filter line 63
method-call GrammarCoverageInventory::differences() line 65

public function id(string $rule, Production $production, int $fallbackOrdinal): string

source §

Keeps original ordinals and distinguishes rewritten right-hand sides.

Parameters

`$rule`	`string`
`$production`	`Production`
`$fallbackOrdinal`	`int`

Returns

string

Test cases 2

Called from 1

method-call SqlFaker\Generation\Coverage\GrammarCoverageInventory::__construct() packages/sql-faker/src/Generation/Coverage/GrammarCoverageInventory.php:55

Calls 3

function-call hash line 74
function-call serialize line 74
static-call GrammarCoverageInventory::rhs() line 74

public static function rhs(Production $production): list<string>

source §

Describes symbols with their terminal/non-terminal distinction intact.

Parameters

$production Production

Returns

list<string>

Test cases 1

GrammarCoverageInventoryTest::testRhsDistinguishesTheSymbolKindAndIncludesEmptyProduction calls

Called from 3

Calls 2

function-call array_map line 84
method-call Symbol::value() line 85

public function reachableRules(?string $root = null): array<string, true>

source §

Visits every alternative, including empty and lexically unsupported ones.

Parameters

$root ?string

Returns

array<string, true>

Test cases 2

Called from 1

method-call SqlFaker\Generation\Coverage\GrammarCoverageInventory::__construct() packages/sql-faker/src/Generation/Coverage/GrammarCoverageInventory.php:51

Calls 2

function-call array_pop line 98
function-call array_push line 104

public function differences(?Grammar $original): list<array{origin: string, status: string}>

source §

Lists original alternatives removed or transformed by a fixed adapter.

Parameters

$original ?Grammar

Returns

list<array{origin: string, status: string}>

Test cases 1

GrammarCoverageInventoryTest::testInventoryEntriesRetainOriginalIdentityAndExcludeUnreachableRulesFromTheDenominator calls

Called from 1

method-call SqlFaker\Generation\Coverage\GrammarCoverageInventory::__construct() packages/sql-faker/src/Generation/Coverage/GrammarCoverageInventory.php:65

Calls 2

function-call array_filter line 120
static-call GrammarCoverageInventory::rhs() line 122

Test cases 39§

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 32

Relations§

Instantiated in 1

new SqlFaker\Generation\SqlGenerator::__construct() packages/sql-faker/src/Generation/SqlGenerator.php:58

Type declarations 4