parseman 0.60.6 → 0.61.1

package/dist/analysis/backtrack.d.ts

@@ -0,0 +1,50 @@
+import { type RunOptions, type RunResult } from '../functional/run.ts';
+import { type CompactProgram, type TableProgram } from '../table/program.ts';
+import { type BacktrackCounts } from '../table/backtrack-probe.ts';
+export type { BacktrackCounts } from '../table/backtrack-probe.ts';
+export type BacktrackEngine = 'interpreter' | 'closure';
+export type BacktrackMeasurement = {
+    readonly result: RunResult;
+    readonly counts: BacktrackCounts;
+};
+export type BacktrackProbe = {
+    /** The engine probed parses run on. */
+    readonly engine: {
+        readonly ran: BacktrackEngine | 'emitted';
+    };
+    /**
+     * Parse `input` from rule `entry`, plainly and probed, count the probed parse and
+     * return the plain parse's result. Throws if the two parses differ in outcome, value
+     * or where they stopped.
+     *
+     * Both parses get the same `options.state`, the plain one first. A grammar that
+     * writes state (a `gate()` that mutates it, say) sees the first parse's writes in the
+     * second, so the measure either throws or counts a different parse, possibly with
+     * fewer rewinds. Measure such a grammar only if resetting its state makes no difference.
+     */
+    measure(entry: string, input: string, options?: RunOptions): BacktrackMeasurement;
+};
+type Grammar = Readonly<Record<string, unknown>> | TableProgram | CompactProgram;
+/**
+ * Probe a grammar on one engine.
+ *
+ * `grammar` is a rule map of combinators (a `rules()` or `compose()` result), or a
+ * table program for the closure engine. A rule map runs on the table through
+ * `compileRuleMapRunnable`, the lowering `compile()` uses.
+ *
+ * The emitted engine is not offered here: it needs code built from source, which
+ * at runtime only `compile()` may do (`docs/design/runtime-and-size-contract.md`,
+ * rule 1). Tests and benches reach it through `backtrackProbeAssembled` with a
+ * build-time module (`bench/emitted-assembly.ts`). It counts what the closure
+ * engine counts, because both run the same rewritten program.
+ */
+export declare function backtrackProbe(grammar: Grammar, engine?: BacktrackEngine): BacktrackProbe;
+/**
+ * For tests and benches, not `parseman/diagnostics`: the probe on the emitted
+ * engine. `assemble` hands the rewritten program back with a pre-compiled
+ * assembly for `probeCfg(program)`, built as a module the way a macro build ships
+ * one. Nothing here turns a string into code, and a program with no assembly is
+ * refused, because the assembler would.
+ */
+export declare function backtrackProbeAssembled(grammar: Grammar, assemble: (probed: TableProgram) => Promise<TableProgram>): Promise<BacktrackProbe>;
+//# sourceMappingURL=backtrack.d.ts.map

package/dist/analysis/backtrack.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"backtrack.d.ts","sourceRoot":"","sources":["../../src/analysis/backtrack.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAO,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAG3E,OAAO,EAAiB,KAAK,cAAc,EAAE,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAE3F,OAAO,EACqD,KAAK,eAAe,EAC/E,MAAM,6BAA6B,CAAA;AAGpC,YAAY,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAElE,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG,SAAS,CAAA;AAEvD,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;CACjC,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,eAAe,GAAG,SAAS,CAAA;KAAE,CAAA;IAC9D;;;;;;;;;OASG;IACH,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU,GAAG,oBAAoB,CAAA;CAClF,CAAA;AA8BD,KAAK,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,YAAY,GAAG,cAAc,CAAA;AAUhF;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,GAAE,eAA2B,GAAG,cAAc,CAqBpG;AAED;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,OAAO,CAAC,YAAY,CAAC,GACxD,OAAO,CAAC,cAAc,CAAC,CAuBzB"}

package/dist/analysis/diagnostics.d.ts

@@ -23,5 +23,8 @@ export type { DiagnoseRenderOptions } from './diagnose-render.ts';
 export { measureChoiceCost, armFirstSets } from './corpus.ts';
 export type { CorpusSample, CorpusSite, ChoiceCorpusCost, ArmCorpusCost } from './corpus.ts';
 export { rebuildCombinator } from './rebuild.ts';
+export type { RebuildOptions } from './rebuild.ts';
+export { backtrackProbe } from './backtrack.ts';
+export type { BacktrackProbe, BacktrackEngine, BacktrackMeasurement, BacktrackCounts } from './backtrack.ts';
 export type { RebuildResult, FrozenSubtree } from './rebuild.ts';
 //# sourceMappingURL=diagnostics.d.ts.map

package/dist/analysis/diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../src/analysis/diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACtD,YAAY,EACV,SAAS,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EACxE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,iBAAiB,GACjD,MAAM,UAAU,CAAA;AAEjB,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACjE,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAEvD,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AACnF,YAAY,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAEjE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC7D,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAE5F,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAChD,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA"}
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../src/analysis/diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACtD,YAAY,EACV,SAAS,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EACxE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,iBAAiB,GACjD,MAAM,UAAU,CAAA;AAEjB,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACjE,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAEvD,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AACnF,YAAY,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAEjE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC7D,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAE5F,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAChD,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAC/C,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAC5G,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA"}