namespaceSqlFaker\Generation\Coverage

Classes 10§

CoverageException public APIReports a measurement infrastructure failure independently of SQL generation.
CoverageSets @visibility rootMaintains idempotent production sets and computes named measurements.
CoverageSnapshotStore @visibility rootOwns atomic snapshot replacement and rejects a second writer for the same key.
GenerationTrace @visibility rootRetains only the latest generation's occurrence paths and diagnostic attempt boundaries.
GeneratorRevision @visibility rootIdentifies development implementations by source contents, never by dev-main alone.
GrammarCoverage public APIObserves derivations without influencing generation or consuming randomness.
GrammarCoverageInventory @visibility rootEnumerates the effective grammar before any per-generation restrictions.
LexicalObservationExtracts finite definition features and detailed diagnostics without consuming generation choices.
SequenceObservationSeparates selected grammar occurrences from source subtrees preserved in the emitted sequence.
SnapshotValidation @visibility rootValidates persistence data before it can affect cumulative measurements.