classSnapshotValidation

final class SnapshotValidation

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

Validates persistence data before it can affect cumulative measurements.

Type Aliases§

Snapshot = import from GrammarCoverage

History = import from GrammarCoverage

public function decode(string $json): History

Reads saved identity and production sets while rejecting corrupt JSON.

$json string

History

CoverageException When JSON or required fields are invalid

Test cases 30

Called from 1

Calls 8

public function checkpoint(stdClass $checkpoint): bool

Validates diagnostic fields without treating past counters as current observations.

$checkpoint stdClass

bool

Test cases 6

Called from 1

Calls 3

public function compatible(
    History $incoming,
    Snapshot $expected,
    GrammarCoverageInventory $inventory,
): void

Rejects mismatched histories and IDs outside the reconstructed inventory.

CoverageException When history cannot be merged safely

Test cases 8

Called from 1

Calls 3

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

Dedicated tests 39

Other tests reaching this symbol 5

Instantiated in 2

Method calls 2