jit-parser 1.0.0

package/lib/print.js

@@ -0,0 +1,97 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.printCst = exports.printTraceNode = exports.GrammarPrinter = void 0;
+const printTree_1 = require("tree-dump/lib/printTree");
+const util_1 = require("./util");
+class GrammarPrinter {
+    constructor(grammar) {
+        this.grammar = grammar;
+        this.visited = new Set();
+    }
+    print(tab, type = this.grammar.start) {
+        this.visited.add(type);
+        return this.printNode(this.grammar.cst[type], type, tab);
+    }
+    printNode(node, type, tab) {
+        if (type)
+            this.visited.add(type);
+        if ((0, util_1.isTerminalNode)(node)) {
+            const pattern = typeof node.t === 'string'
+                ? JSON.stringify(node.t)
+                : Array.isArray(node.t)
+                    ? '(' + node.t.map((c) => JSON.stringify(c)).join(' | ') + ')' + (node.repeat ?? '')
+                    : node.t;
+            return `${node.type ?? type ?? 'Text'} (terminal): ${pattern}`;
+        }
+        else if ((0, util_1.isTerminalShorthandNode)(node)) {
+            return this.printNode({ t: node }, type, tab);
+        }
+        else if ((0, util_1.isRefNode)(node)) {
+            const reference = node.r;
+            const visited = this.visited.has(reference);
+            if (!type) {
+                if (visited)
+                    return `→ ${reference}`;
+                else
+                    return this.printNode(this.grammar.cst[reference], reference, tab);
+            }
+            this.visited.add(reference);
+            return (`${type ?? 'Reference'} (reference)` +
+                (visited ? ' →' : (0, printTree_1.printTree)(tab, [(tab) => this.printNode(this.grammar.cst[reference], reference, tab)])));
+        }
+        else if ((0, util_1.isProductionNode)(node)) {
+            return (`${node.type ?? type ?? 'Production'} (production)` +
+                (0, printTree_1.printTree)(tab, node.p.map((n) => (tab) => this.printNode(n, undefined, tab))));
+        }
+        else if ((0, util_1.isProductionShorthandNode)(node)) {
+            return this.printNode({ p: node }, type, tab);
+        }
+        else if ((0, util_1.isUnionNode)(node)) {
+            return (`${node.type ?? type ?? 'Union'} (union)` +
+                (0, printTree_1.printTree)(tab, node.u.map((n) => (tab) => this.printNode(n, undefined, tab))));
+        }
+        else if ((0, util_1.isListNode)(node)) {
+            return (`${node.type ?? type ?? 'List'} (list)` + (0, printTree_1.printTree)(tab, [(tab) => this.printNode(node.l, undefined, tab)]));
+        }
+        return 'unknown';
+    }
+}
+exports.GrammarPrinter = GrammarPrinter;
+GrammarPrinter.print = (grammar, tab) => {
+    const printer = new GrammarPrinter(grammar);
+    return printer.print(tab);
+};
+const formatMatch = (cst, text) => {
+    let formatted = ' ' + cst.pos + ':' + cst.end;
+    if (text) {
+        const end = cst.pos + Math.min(32, cst.end - cst.pos);
+        const slice = text.slice(cst.pos, end) + (end !== cst.end ? '...' : '');
+        const sliceFormatted = slice.indexOf('"') >= 0 && slice.indexOf("'") === -1
+            ? "'" + JSON.stringify(slice).slice(1, -1).replaceAll('\\"', '"') + "'"
+            : JSON.stringify(slice);
+        formatted += ' → ' + sliceFormatted;
+    }
+    return formatted;
+};
+const printTraceNode = (trace, tab, text) => {
+    const pattern = trace.ptr;
+    const type = pattern?.type ?? (trace.ptr ? 'Anonymous' : 'Root');
+    const match = trace.match;
+    return (`${type}` +
+        (match ? formatMatch(match, text) : '') +
+        (trace.children && trace.children.length
+            ? (0, printTree_1.printTree)(tab, trace.children.map((n) => (tab) => (0, exports.printTraceNode)(n, tab, text)))
+            : ''));
+};
+exports.printTraceNode = printTraceNode;
+const printCst = (cst, tab, text) => {
+    const pattern = cst.ptr;
+    const type = pattern.type;
+    return (`${type}` +
+        formatMatch(cst, text) +
+        (cst.children && cst.children.length
+            ? (0, printTree_1.printTree)(tab, cst.children.map((n) => (tab) => (0, exports.printCst)(n, tab, text)))
+            : ''));
+};
+exports.printCst = printCst;
+//# sourceMappingURL=print.js.map

package/lib/print.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../src/print.ts"],"names":[],"mappings":";;;AAAA,uDAAkD;AAClD,iCAQgB;AAGhB,MAAa,cAAc;IAQzB,YAA4B,OAAgB;QAAhB,YAAO,GAAP,OAAO,CAAS;QAFzB,YAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAEA,CAAC;IAEzC,KAAK,CAAC,GAAY,EAAE,OAAe,IAAI,CAAC,OAAO,CAAC,KAAK;QAC1D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3D,CAAC;IAEM,SAAS,CAAC,IAAiB,EAAE,IAAa,EAAE,GAAY;QAC7D,IAAI,IAAI;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,IAAA,qBAAc,EAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,OAAO,GACX,OAAO,IAAI,CAAC,CAAC,KAAK,QAAQ;gBACxB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;gBACxB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;oBACrB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC;oBACpF,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACf,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,MAAM,gBAAgB,OAAO,EAAE,CAAC;QACjE,CAAC;aAAM,IAAI,IAAA,8BAAuB,EAAC,IAAI,CAAC,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC,SAAS,CAAC,EAAC,CAAC,EAAE,IAAI,EAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,IAAA,gBAAS,EAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC;YACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,IAAI,OAAO;oBAAE,OAAO,KAAK,SAAS,EAAE,CAAC;;oBAChC,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC5B,OAAO,CACL,GAAG,IAAI,IAAI,WAAW,cAAc;gBACpC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,qBAAS,EAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAC1G,CAAC;QACJ,CAAC;aAAM,IAAI,IAAA,uBAAgB,EAAC,IAAI,CAAC,EAAE,CAAC;YAClC,OAAO,CACL,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,YAAY,eAAe;gBACnD,IAAA,qBAAS,EACP,GAAG,EACH,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAC9D,CACF,CAAC;QACJ,CAAC;aAAM,IAAI,IAAA,gCAAyB,EAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,EAAC,CAAC,EAAE,IAAI,EAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,IAAA,kBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,CACL,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,OAAO,UAAU;gBACzC,IAAA,qBAAS,EACP,GAAG,EACH,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAC9D,CACF,CAAC;QACJ,CAAC;aAAM,IAAI,IAAA,iBAAU,EAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO,CACL,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,MAAM,SAAS,GAAG,IAAA,qBAAS,EAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAC5G,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;;AA/DH,wCAgEC;AA/DwB,oBAAK,GAAG,CAAC,OAAgB,EAAE,GAAY,EAAU,EAAE;IACxE,MAAM,OAAO,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC,AAH2B,CAG1B;AA8DJ,MAAM,WAAW,GAAG,CAAC,GAAY,EAAE,IAAa,EAAU,EAAE;IAC1D,IAAI,SAAS,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;IAC9C,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,MAAM,cAAc,GAClB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,GAAG;YACvE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5B,SAAS,IAAI,KAAK,GAAG,cAAc,CAAC;IACtC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEK,MAAM,cAAc,GAAG,CAAC,KAAqC,EAAE,GAAY,EAAE,IAAa,EAAU,EAAE;IAC3G,MAAM,OAAO,GAAI,KAAwB,CAAC,GAAG,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,CAAE,KAAwB,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACrF,MAAM,KAAK,GAAI,KAAwB,CAAC,KAAK,CAAC;IAC9C,OAAO,CACL,GAAG,IAAI,EAAE;QACT,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM;YACtC,CAAC,CAAC,IAAA,qBAAS,EACP,GAAG,EACH,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CACjE;YACH,CAAC,CAAC,EAAE,CAAC,CACR,CAAC;AACJ,CAAC,CAAC;AAdW,QAAA,cAAc,kBAczB;AAEK,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAE,GAAY,EAAE,IAAa,EAAU,EAAE;IAC5E,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,OAAO,CACL,GAAG,IAAI,EAAE;QACT,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC;QACtB,CAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM;YAClC,CAAC,CAAC,IAAA,qBAAS,EACP,GAAG,EACH,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,gBAAQ,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CACzD;YACH,CAAC,CAAC,EAAE,CAAC,CACR,CAAC;AACJ,CAAC,CAAC;AAbW,QAAA,QAAQ,YAanB"}

package/lib/testing/cli.d.ts

@@ -0,0 +1 @@
+export declare const main: (argv: string[]) => number;

package/lib/testing/cli.js

@@ -0,0 +1,84 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.main = void 0;
+const tslib_1 = require("tslib");
+const fs = tslib_1.__importStar(require("fs"));
+const path = tslib_1.__importStar(require("path"));
+const report_1 = require("./report");
+const runner_1 = require("./runner");
+const HELP = `grammar-test — run JSON Grammar test suites
+
+Usage:
+  grammar-test <suite.json...> [options]
+
+Options:
+  -u, --update     Regenerate and write snapshot channels back into the suites
+      --no-color   Disable ANSI colors
+  -h, --help       Show this help
+
+The grammar under test is taken from each suite's "grammar" field, resolved
+relative to the suite file (.json grammar object, or a module exporting
+\`grammar\`).`;
+const resolveGrammar = (suitePath, suite) => {
+    const ref = suite.grammar;
+    if (!ref)
+        throw new Error(`suite "${suitePath}" has no "grammar" reference`);
+    const abs = path.resolve(path.dirname(suitePath), ref);
+    if (abs.endsWith('.json'))
+        return JSON.parse(fs.readFileSync(abs, 'utf8'));
+    const mod = require(abs);
+    return (mod.grammar ?? mod.default ?? mod);
+};
+const main = (argv) => {
+    const files = [];
+    let update = false;
+    let useColor = true;
+    for (const arg of argv) {
+        switch (arg) {
+            case '-u':
+            case '--update':
+                update = true;
+                break;
+            case '--no-color':
+                useColor = false;
+                break;
+            case '-h':
+            case '--help':
+                console.log(HELP);
+                return 0;
+            default:
+                files.push(arg);
+        }
+    }
+    if (!files.length) {
+        console.error(HELP);
+        return 1;
+    }
+    let totalFail = 0;
+    for (const file of files) {
+        const suitePath = path.resolve(file);
+        const suite = JSON.parse(fs.readFileSync(suitePath, 'utf8'));
+        let grammar;
+        try {
+            grammar = resolveGrammar(suitePath, suite);
+        }
+        catch (err) {
+            console.error(`✗ ${file}: ${err.message}`);
+            totalFail++;
+            continue;
+        }
+        const result = (0, runner_1.runSuite)(grammar, suite, { update });
+        console.log((0, report_1.formatSuite)(result, useColor));
+        console.log('');
+        if (update && result.updated) {
+            fs.writeFileSync(suitePath, JSON.stringify(suite, null, 2) + '\n');
+        }
+        totalFail += result.fail;
+    }
+    return totalFail ? 1 : 0;
+};
+exports.main = main;
+if (require.main === module) {
+    process.exit((0, exports.main)(process.argv.slice(2)));
+}
+//# sourceMappingURL=cli.js.map

package/lib/testing/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/testing/cli.ts"],"names":[],"mappings":";;;;AACA,+CAAyB;AACzB,mDAA6B;AAE7B,qCAAqC;AACrC,qCAAkC;AAclC,MAAM,IAAI,GAAG;;;;;;;;;;;;cAYC,CAAC;AAEf,MAAM,cAAc,GAAG,CAAC,SAAiB,EAAE,KAAgB,EAAW,EAAE;IACtE,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC;IAC1B,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,SAAS,8BAA8B,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC;IACvD,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAY,CAAC;IAEtF,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAY,CAAC;AACxD,CAAC,CAAC;AAEK,MAAM,IAAI,GAAG,CAAC,IAAc,EAAU,EAAE;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,IAAI,CAAC;YACV,KAAK,UAAU;gBACb,MAAM,GAAG,IAAI,CAAC;gBACd,MAAM;YACR,KAAK,YAAY;gBACf,QAAQ,GAAG,KAAK,CAAC;gBACjB,MAAM;YACR,KAAK,IAAI,CAAC;YACV,KAAK,QAAQ;gBACX,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,CAAC;YACX;gBACE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAc,CAAC;QAC1E,IAAI,OAAgB,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,GAAG,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;YACtD,SAAS,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,IAAA,iBAAQ,EAAC,OAAO,EAAE,KAAK,EAAE,EAAC,MAAM,EAAC,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,IAAA,oBAAW,EAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAC7B,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QACrE,CAAC;QACD,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC,CAAC;AAnDW,QAAA,IAAI,QAmDf;AAEF,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC5B,OAAO,CAAC,IAAI,CAAC,IAAA,YAAI,EAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC"}

package/lib/testing/driver.d.ts

@@ -0,0 +1,21 @@
+import { CodegenGrammar } from '../codegen/CodegenGrammar';
+import type { CstNode, Grammar, RootTraceNode } from '../types';
+import type { StructuralCst, TestCase } from './types';
+export interface DriveNeeds {
+    ast: boolean;
+    trace: boolean;
+}
+export interface DriveResult {
+    src: string;
+    matched: boolean;
+    end: number;
+    cst?: CstNode;
+    ast?: unknown;
+    trace?: RootTraceNode;
+}
+export type GrammarCache = Map<string, CodegenGrammar>;
+export declare const createCache: () => GrammarCache;
+export declare const mulberry32: (seed: number) => (() => number);
+export declare const resolveInput: (grammar: Grammar, tc: TestCase) => string;
+export declare const drive: (grammar: Grammar, tc: TestCase, needs: DriveNeeds, cache?: GrammarCache) => DriveResult;
+export declare const toStructuralCst: (cst: CstNode) => StructuralCst;

package/lib/testing/driver.js

@@ -0,0 +1,73 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.toStructuralCst = exports.drive = exports.resolveInput = exports.mulberry32 = exports.createCache = void 0;
+const CodegenGrammar_1 = require("../codegen/CodegenGrammar");
+const context_1 = require("../context");
+const generator_1 = require("../generator");
+const createCache = () => new Map();
+exports.createCache = createCache;
+const getCodegen = (grammar, debug, cache) => {
+    const key = debug ? '1' : '0';
+    if (cache) {
+        const existing = cache.get(key);
+        if (existing)
+            return existing;
+    }
+    const codegen = new CodegenGrammar_1.CodegenGrammar(grammar, new context_1.CodegenContext(true, true, debug));
+    if (cache)
+        cache.set(key, codegen);
+    return codegen;
+};
+const mulberry32 = (seed) => {
+    let a = seed >>> 0;
+    return () => {
+        a = (a + 0x6d2b79f5) | 0;
+        let t = Math.imul(a ^ (a >>> 15), 1 | a);
+        t = (t + Math.imul(t ^ (t >>> 7), 61 | t)) ^ t;
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+};
+exports.mulberry32 = mulberry32;
+const resolveInput = (grammar, tc) => {
+    if (tc.src !== undefined && tc.generate !== undefined) {
+        throw new Error('a test case must set either "src" or "generate", not both');
+    }
+    if (tc.src !== undefined)
+        return tc.src;
+    if (tc.generate !== undefined) {
+        const spec = tc.generate === 'sample' ? { sample: true } : tc.generate;
+        const rnd = spec.seed !== undefined ? (0, exports.mulberry32)(spec.seed) : undefined;
+        const generator = new generator_1.Generator({ grammar, useSamples: spec.sample !== false, rnd });
+        return generator.gen(tc.rule ?? grammar.start);
+    }
+    return '';
+};
+exports.resolveInput = resolveInput;
+const drive = (grammar, tc, needs, cache) => {
+    const codegen = getCodegen(grammar, needs.trace, cache);
+    const rule = tc.rule ?? grammar.start;
+    const pattern = codegen.compileRule(rule);
+    const src = (0, exports.resolveInput)(grammar, tc);
+    const root = { pos: 0, children: [] };
+    const ctx = new context_1.ParseContext(src, needs.ast, needs.trace ? [root] : undefined);
+    const cst = pattern.parser(ctx, 0);
+    const matched = !!cst;
+    const ast = matched && needs.ast ? cst.ptr.toAst(cst, src) : undefined;
+    return {
+        src,
+        matched,
+        end: matched ? cst.end : -1,
+        cst: cst ?? undefined,
+        ast,
+        trace: needs.trace ? root : undefined,
+    };
+};
+exports.drive = drive;
+const toStructuralCst = (cst) => {
+    const out = { type: cst.ptr.type, pos: cst.pos, end: cst.end };
+    if (cst.children)
+        out.children = cst.children.map(exports.toStructuralCst);
+    return out;
+};
+exports.toStructuralCst = toStructuralCst;
+//# sourceMappingURL=driver.js.map

package/lib/testing/driver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.js","sourceRoot":"","sources":["../../src/testing/driver.ts"],"names":[],"mappings":";;;AAAA,8DAAyD;AACzD,wCAAwD;AACxD,4CAAuC;AAyChC,MAAM,WAAW,GAAG,GAAiB,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC;AAA5C,QAAA,WAAW,eAAiC;AAEzD,MAAM,UAAU,GAAG,CAAC,OAAgB,EAAE,KAAc,EAAE,KAAoB,EAAkB,EAAE;IAC5F,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9B,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,+BAAc,CAAC,OAAO,EAAE,IAAI,wBAAc,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACnF,IAAI,KAAK;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAGK,MAAM,UAAU,GAAG,CAAC,IAAY,EAAkB,EAAE;IACzD,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC,CAAC;AARW,QAAA,UAAU,cAQrB;AAGK,MAAM,YAAY,GAAG,CAAC,OAAgB,EAAE,EAAY,EAAU,EAAE;IACrE,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,GAAG,CAAC;IACxC,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAC,MAAM,EAAE,IAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAA,kBAAU,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,MAAM,SAAS,GAAG,IAAI,qBAAS,CAAC,EAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,GAAG,EAAC,CAAC,CAAC;QACnF,OAAO,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAZW,QAAA,YAAY,gBAYvB;AAGK,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAE,EAAY,EAAE,KAAiB,EAAE,KAAoB,EAAe,EAAE;IAC5G,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC;IACtC,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAA,oBAAY,EAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtC,MAAM,IAAI,GAAkB,EAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAC,CAAC;IACnD,MAAM,GAAG,GAAG,IAAI,sBAAY,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC;IACtB,MAAM,GAAG,GAAG,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,OAAO;QACL,GAAG;QACH,OAAO;QACP,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,GAAG,EAAE,GAAG,IAAI,SAAS;QACrB,GAAG;QACH,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KACtC,CAAC;AACJ,CAAC,CAAC;AAlBW,QAAA,KAAK,SAkBhB;AAGK,MAAM,eAAe,GAAG,CAAC,GAAY,EAAiB,EAAE;IAC7D,MAAM,GAAG,GAAkB,EAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAC,CAAC;IAC5E,IAAI,GAAG,CAAC,QAAQ;QAAE,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,uBAAe,CAAC,CAAC;IACnE,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAJW,QAAA,eAAe,mBAI1B"}

package/lib/testing/index.d.ts

@@ -0,0 +1,5 @@
+export * from './types';
+export * from './driver';
+export * from './runner';
+export * from './report';
+export * from './jest';

package/lib/testing/index.js

@@ -0,0 +1,9 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const tslib_1 = require("tslib");
+tslib_1.__exportStar(require("./types"), exports);
+tslib_1.__exportStar(require("./driver"), exports);
+tslib_1.__exportStar(require("./runner"), exports);
+tslib_1.__exportStar(require("./report"), exports);
+tslib_1.__exportStar(require("./jest"), exports);
+//# sourceMappingURL=index.js.map

package/lib/testing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":";;;AAAA,kDAAwB;AACxB,mDAAyB;AACzB,mDAAyB;AACzB,mDAAyB;AACzB,iDAAuB"}

package/lib/testing/jest.d.ts

@@ -0,0 +1,4 @@
+import type { Grammar } from '../types';
+import type { TestSuite } from './types';
+export declare const jestSuite: (grammar: Grammar, suite: TestSuite) => void;
+export declare const jestSuiteFile: (grammar: Grammar, suitePath: string) => void;

package/lib/testing/jest.js

@@ -0,0 +1,31 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.jestSuiteFile = exports.jestSuite = void 0;
+const tslib_1 = require("tslib");
+const fs = tslib_1.__importStar(require("fs"));
+const report_1 = require("./report");
+const runner_1 = require("./runner");
+const jestSuite = (grammar, suite) => {
+    const label = suite.describe ?? suite.grammar ?? 'grammar';
+    const hasOnly = suite.tests.some((t) => t.only);
+    describe(label, () => {
+        for (const tc of suite.tests) {
+            const run = () => {
+                const res = (0, runner_1.runCase)(grammar, suite, tc);
+                if (res.status === 'fail')
+                    throw new Error('\n' + (0, report_1.formatCase)(res, false));
+            };
+            if (tc.skip || (hasOnly && !tc.only))
+                test.skip(tc.name, run);
+            else
+                test(tc.name, run);
+        }
+    });
+};
+exports.jestSuite = jestSuite;
+const jestSuiteFile = (grammar, suitePath) => {
+    const suite = JSON.parse(fs.readFileSync(suitePath, 'utf8'));
+    (0, exports.jestSuite)(grammar, suite);
+};
+exports.jestSuiteFile = jestSuiteFile;
+//# sourceMappingURL=jest.js.map

package/lib/testing/jest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jest.js","sourceRoot":"","sources":["../../src/testing/jest.ts"],"names":[],"mappings":";;;;AAAA,+CAAyB;AAEzB,qCAAoC;AACpC,qCAAiC;AAU1B,MAAM,SAAS,GAAG,CAAC,OAAgB,EAAE,KAAgB,EAAQ,EAAE;IACpE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,IAAI,SAAS,CAAC;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE;QACnB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,GAAG,EAAE;gBACf,MAAM,GAAG,GAAG,IAAA,gBAAO,EAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACxC,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,IAAI,GAAG,IAAA,mBAAU,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;YAC5E,CAAC,CAAC;YACF,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;;gBACzD,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAbW,QAAA,SAAS,aAapB;AAGK,MAAM,aAAa,GAAG,CAAC,OAAgB,EAAE,SAAiB,EAAQ,EAAE;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAc,CAAC;IAC1E,IAAA,iBAAS,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAC5B,CAAC,CAAC;AAHW,QAAA,aAAa,iBAGxB"}

package/lib/testing/report.d.ts

@@ -0,0 +1,3 @@
+import type { CaseResult, SuiteResult } from './runner';
+export declare const formatCase: (res: CaseResult, useColor?: boolean) => string;
+export declare const formatSuite: (res: SuiteResult, useColor?: boolean) => string;

package/lib/testing/report.js

@@ -0,0 +1,64 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.formatSuite = exports.formatCase = void 0;
+const GREEN = '\x1b[32m';
+const RED = '\x1b[31m';
+const YELLOW = '\x1b[33m';
+const DIM = '\x1b[90m';
+const RESET = '\x1b[0m';
+const color = (on, c, s) => (on ? c + s + RESET : s);
+const show = (value) => {
+    if (Array.isArray(value) && value.every((v) => typeof v === 'string')) {
+        return '\n' + value.map((l) => '    ' + l).join('\n');
+    }
+    try {
+        const json = JSON.stringify(value);
+        return json === undefined ? String(value) : json;
+    }
+    catch {
+        return String(value);
+    }
+};
+const channelLine = (ch, c) => {
+    if (ch.status === 'fail') {
+        return (color(c, RED, `      ${ch.channel}: mismatch`) +
+            color(c, DIM, `\n      expected `) +
+            show(ch.expected) +
+            color(c, DIM, `\n      actual   `) +
+            show(ch.actual));
+    }
+    if (ch.status === 'missing') {
+        return color(c, YELLOW, `      ${ch.channel}: no snapshot stored — run with --update`);
+    }
+    return '';
+};
+const formatCase = (res, useColor = true) => {
+    if (res.status === 'skip')
+        return color(useColor, DIM, `  - ${res.name} (skipped)`);
+    if (res.status === 'pass')
+        return color(useColor, GREEN, `  ✓ ${res.name}`);
+    const head = color(useColor, RED, `  ✗ ${res.name}`);
+    if (res.error)
+        return head + color(useColor, RED, `\n      threw: ${res.error}`);
+    const details = res.channels
+        .map((ch) => channelLine(ch, useColor))
+        .filter(Boolean)
+        .join('\n');
+    return head + (details ? '\n' + details : '');
+};
+exports.formatCase = formatCase;
+const formatSuite = (res, useColor = true) => {
+    const lines = [];
+    if (res.describe)
+        lines.push(res.describe);
+    for (const c of res.cases)
+        lines.push((0, exports.formatCase)(c, useColor));
+    const summary = `  ${res.pass} passed` +
+        (res.fail ? `, ${res.fail} failed` : '') +
+        (res.skip ? `, ${res.skip} skipped` : '') +
+        (res.updated ? ` (snapshots updated)` : '');
+    lines.push(color(useColor, res.fail ? RED : GREEN, summary));
+    return lines.join('\n');
+};
+exports.formatSuite = formatSuite;
+//# sourceMappingURL=report.js.map

package/lib/testing/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/testing/report.ts"],"names":[],"mappings":";;;AAOA,MAAM,KAAK,GAAG,UAAU,CAAC;AACzB,MAAM,GAAG,GAAG,UAAU,CAAC;AACvB,MAAM,MAAM,GAAG,UAAU,CAAC;AAC1B,MAAM,GAAG,GAAG,UAAU,CAAC;AACvB,MAAM,KAAK,GAAG,SAAS,CAAC;AAExB,MAAM,KAAK,GAAG,CAAC,EAAW,EAAE,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtF,MAAM,IAAI,GAAG,CAAC,KAAc,EAAU,EAAE;IACtC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;QAEtE,OAAO,IAAI,GAAI,KAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,EAAiB,EAAE,CAAU,EAAU,EAAE;IAC5D,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,CACL,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,OAAO,YAAY,CAAC;YAC9C,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,mBAAmB,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YACjB,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,mBAAmB,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAChB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,OAAO,0CAA0C,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAGK,MAAM,UAAU,GAAG,CAAC,GAAe,EAAE,QAAQ,GAAG,IAAI,EAAU,EAAE;IACrE,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,IAAI,YAAY,CAAC,CAAC;IACpF,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACrD,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,kBAAkB,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ;SACzB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;SACtC,MAAM,CAAC,OAAO,CAAC;SACf,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAChD,CAAC,CAAC;AAVW,QAAA,UAAU,cAUrB;AAGK,MAAM,WAAW,GAAG,CAAC,GAAgB,EAAE,QAAQ,GAAG,IAAI,EAAU,EAAE;IACvE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,IAAA,kBAAU,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/D,MAAM,OAAO,GACX,KAAK,GAAG,CAAC,IAAI,SAAS;QACtB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC;AAXW,QAAA,WAAW,eAWtB"}

package/lib/testing/runner.d.ts

@@ -0,0 +1,29 @@
+import type { Grammar } from '../types';
+import { type GrammarCache } from './driver';
+import type { ChannelName, TestCase, TestSuite } from './types';
+export interface ChannelResult {
+    channel: ChannelName;
+    status: 'pass' | 'fail' | 'missing' | 'wrote';
+    expected?: unknown;
+    actual?: unknown;
+}
+export interface CaseResult {
+    name: string;
+    status: 'pass' | 'fail' | 'skip';
+    channels: ChannelResult[];
+    error?: string;
+}
+export interface SuiteResult {
+    describe?: string;
+    cases: CaseResult[];
+    pass: number;
+    fail: number;
+    skip: number;
+    updated: boolean;
+}
+export interface RunOptions {
+    update?: boolean;
+    cache?: GrammarCache;
+}
+export declare const runCase: (grammar: Grammar, suite: TestSuite, tc: TestCase, opts?: RunOptions) => CaseResult;
+export declare const runSuite: (grammar: Grammar, suite: TestSuite, opts?: RunOptions) => SuiteResult;

package/lib/testing/runner.js

@@ -0,0 +1,93 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runSuite = exports.runCase = void 0;
+const deepEqual_1 = require("@jsonjoy.com/util/lib/json-equal/deepEqual");
+const print_1 = require("../print");
+const driver_1 = require("./driver");
+const SNAPSHOT_CHANNELS = ['ast', 'cst', 'cstPrint', 'trace', 'end'];
+const snapshotSetOf = (suite, tc) => new Set(tc.snapshot ?? suite.snapshot ?? []);
+const actualOf = (channel, d) => {
+    switch (channel) {
+        case 'ast':
+            return d.ast;
+        case 'cst':
+            return d.cst ? (0, driver_1.toStructuralCst)(d.cst) : null;
+        case 'cstPrint':
+            return d.cst ? (0, print_1.printCst)(d.cst, '', d.src).split('\n') : [];
+        case 'trace':
+            return d.trace ? (0, print_1.printTraceNode)(d.trace, '', d.src).split('\n') : [];
+        case 'end':
+            return d.end;
+    }
+};
+const runCase = (grammar, suite, tc, opts = {}) => {
+    const hasOnly = suite.tests.some((t) => t.only);
+    if (tc.skip || (hasOnly && !tc.only))
+        return { name: tc.name, status: 'skip', channels: [] };
+    const snapshot = snapshotSetOf(suite, tc);
+    const needAst = 'ast' in tc || snapshot.has('ast');
+    const needTrace = 'trace' in tc || snapshot.has('trace');
+    let d;
+    try {
+        d = (0, driver_1.drive)(grammar, tc, { ast: needAst, trace: needTrace }, opts.cache);
+    }
+    catch (err) {
+        return { name: tc.name, status: 'fail', channels: [], error: String(err?.message ?? err) };
+    }
+    const channels = [];
+    const considered = new Set([...snapshot, ...SNAPSHOT_CHANNELS.filter((c) => c in tc)]);
+    for (const channel of considered) {
+        const actual = actualOf(channel, d);
+        const bag = tc;
+        if (opts.update && snapshot.has(channel)) {
+            if (actual === undefined) {
+                channels.push({ channel, status: 'fail', actual });
+            }
+            else {
+                bag[channel] = actual;
+                channels.push({ channel, status: 'wrote', actual });
+            }
+        }
+        else if (channel in tc) {
+            const expected = bag[channel];
+            channels.push({ channel, status: (0, deepEqual_1.deepEqual)(actual, expected) ? 'pass' : 'fail', expected, actual });
+        }
+        else {
+            channels.push({ channel, status: 'missing', actual });
+        }
+    }
+    if ('parses' in tc) {
+        channels.push({
+            channel: 'parses',
+            status: d.matched === tc.parses ? 'pass' : 'fail',
+            expected: tc.parses,
+            actual: d.matched,
+        });
+    }
+    if ('consumes' in tc) {
+        const actual = d.matched && d.end === d.src.length;
+        channels.push({ channel: 'consumes', status: actual ? 'pass' : 'fail', expected: true, actual });
+    }
+    const failed = channels.some((c) => c.status === 'fail' || c.status === 'missing');
+    return { name: tc.name, status: failed ? 'fail' : 'pass', channels };
+};
+exports.runCase = runCase;
+const runSuite = (grammar, suite, opts = {}) => {
+    const cache = opts.cache ?? (0, driver_1.createCache)();
+    const cases = suite.tests.map((tc) => (0, exports.runCase)(grammar, suite, tc, { ...opts, cache }));
+    let pass = 0;
+    let fail = 0;
+    let skip = 0;
+    for (const c of cases) {
+        if (c.status === 'pass')
+            pass++;
+        else if (c.status === 'fail')
+            fail++;
+        else
+            skip++;
+    }
+    const updated = cases.some((c) => c.channels.some((ch) => ch.status === 'wrote'));
+    return { describe: suite.describe ?? suite.grammar, cases, pass, fail, skip, updated };
+};
+exports.runSuite = runSuite;
+//# sourceMappingURL=runner.js.map

package/lib/testing/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/testing/runner.ts"],"names":[],"mappings":";;;AAAA,0EAAqE;AACrE,oCAAkD;AAElD,qCAAkG;AA0ClG,MAAM,iBAAiB,GAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAExF,MAAM,aAAa,GAAG,CAAC,KAAgB,EAAE,EAAY,EAAwB,EAAE,CAC7E,IAAI,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;AAG/C,MAAM,QAAQ,GAAG,CAAC,OAAwB,EAAE,CAAc,EAAW,EAAE;IACrE,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,GAAG,CAAC;QACf,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAA,wBAAe,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/C,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAA,gBAAQ,EAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAA,sBAAc,EAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,GAAG,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAGK,MAAM,OAAO,GAAG,CAAC,OAAgB,EAAE,KAAgB,EAAE,EAAY,EAAE,OAAmB,EAAE,EAAc,EAAE;IAC7G,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;QAAE,OAAO,EAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAC,CAAC;IAE3F,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,KAAK,IAAI,EAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,OAAO,IAAI,EAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAEzD,IAAI,CAAc,CAAC;IACnB,IAAI,CAAC;QACH,CAAC,GAAG,IAAA,cAAK,EAAC,OAAO,EAAE,EAAE,EAAE,EAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,EAAC,CAAC;IACtG,CAAC;IAED,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAGrC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAkB,CAAC,GAAG,QAAQ,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACxG,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,EAAwC,CAAC;QACrD,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,EAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAC,CAAC,CAAC;YACnD,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC,EAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,IAAI,EAAE,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,EAAC,OAAO,EAAE,MAAM,EAAE,IAAA,qBAAS,EAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAC,CAAC,CAAC;QACpG,CAAC;aAAM,CAAC;YAEN,QAAQ,CAAC,IAAI,CAAC,EAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAGD,IAAI,QAAQ,IAAI,EAAE,EAAE,CAAC;QACnB,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACjD,QAAQ,EAAE,EAAE,CAAC,MAAM;YACnB,MAAM,EAAE,CAAC,CAAC,OAAO;SAClB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,IAAI,EAAE,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;QACnD,QAAQ,CAAC,IAAI,CAAC,EAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAC,CAAC,CAAC;IACjG,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IACnF,OAAO,EAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAC,CAAC;AACrE,CAAC,CAAC;AAtDW,QAAA,OAAO,WAsDlB;AAGK,MAAM,QAAQ,GAAG,CAAC,OAAgB,EAAE,KAAgB,EAAE,OAAmB,EAAE,EAAe,EAAE;IACjG,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAA,oBAAW,GAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAA,eAAO,EAAC,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAC,GAAG,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC,CAAC;IACrF,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,IAAI,EAAE,CAAC;aAC3B,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,IAAI,EAAE,CAAC;;YAChC,IAAI,EAAE,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC;IAClF,OAAO,EAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAC,CAAC;AACvF,CAAC,CAAC;AAbW,QAAA,QAAQ,YAanB"}

package/lib/testing/types.d.ts

@@ -0,0 +1,34 @@
+export interface TestSuite {
+    grammar?: string;
+    describe?: string;
+    snapshot?: SnapshotChannel[];
+    tests: TestCase[];
+}
+export interface TestCase {
+    name: string;
+    rule?: string;
+    src?: string;
+    generate?: GenerateSpec;
+    skip?: boolean;
+    only?: boolean;
+    snapshot?: SnapshotChannel[];
+    ast?: unknown;
+    cst?: StructuralCst;
+    cstPrint?: string[];
+    trace?: string[];
+    end?: number;
+    parses?: boolean;
+    consumes?: 'all';
+}
+export type GenerateSpec = 'sample' | {
+    sample?: boolean;
+    seed?: number;
+};
+export interface StructuralCst {
+    type: string;
+    pos: number;
+    end: number;
+    children?: StructuralCst[];
+}
+export type SnapshotChannel = 'ast' | 'cst' | 'cstPrint' | 'trace' | 'end';
+export type ChannelName = SnapshotChannel | 'parses' | 'consumes';

package/lib/testing/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/lib/testing/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/testing/types.ts"],"names":[],"mappings":""}