parser-lr 0.0.0 → 0.2.1

package/dist/lib/parse-table/build-lr-table.js

@@ -0,0 +1,158 @@
+import { EOF_TOKEN_NAME } from '../lexer/token.js';
+import { analyzeGrammar } from './analysis/first-follow.js';
+import { AUGMENTED_START_SYMBOL } from './bnf/bnf-grammar.js';
+import { buildLr0ItemSets, } from './lr0/lr0-item-set.js';
+import { buildLalrGotoTargets, buildLr1ItemSets, lr1Goto, Lr1ItemSetBuilder, mergeLalrItemSets, } from './lr1/lr1-item-set.js';
+import { LrParseTable } from './table/lr-parse-table.js';
+import { TableBuilderBase } from './table/table-builder-base.js';
+/**
+ * Builds an LR parse table for a plain BNF grammar.
+ *
+ * @param grammar - Plain BNF grammar to analyze.
+ * @param algorithm - LR table construction algorithm.
+ */
+export function buildLrTable(grammar, algorithm) {
+    const augmented = grammar.augment();
+    const analysis = analyzeGrammar(augmented);
+    switch (algorithm) {
+        case 'lr0':
+            return LrTableBuilder.buildLr0(augmented);
+        case 'slr':
+            return LrTableBuilder.buildSlr(augmented, analysis);
+        case 'lr1':
+            return LrTableBuilder.buildLr1(augmented, analysis);
+        case 'lalr':
+            return LrTableBuilder.buildLalr(augmented, analysis);
+    }
+}
+/**
+ * Builds LR parse tables for each supported algorithm.
+ */
+class LrTableBuilder {
+    /**
+     * Builds an LR(0) parse table.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param analysis - Nullable, FIRST, and FOLLOW analysis for the grammar.
+     */
+    static buildLr0(grammar) {
+        const itemSets = buildLr0ItemSets(grammar);
+        const terminalKeys = grammar.terminalKeys().concat([EOF_TOKEN_NAME]);
+        return LrTableBuilder.buildFromLr0ItemSets('lr0', grammar, itemSets, (production) => {
+            if (production.name === AUGMENTED_START_SYMBOL) {
+                return [EOF_TOKEN_NAME];
+            }
+            return terminalKeys;
+        });
+    }
+    /**
+     * Builds an SLR parse table.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param analysis - Nullable, FIRST, and FOLLOW analysis for the grammar.
+     */
+    static buildSlr(grammar, analysis) {
+        const itemSets = buildLr0ItemSets(grammar);
+        return LrTableBuilder.buildFromLr0ItemSets('slr', grammar, itemSets, (production) => {
+            if (production.name === AUGMENTED_START_SYMBOL) {
+                return [EOF_TOKEN_NAME];
+            }
+            return [...analysis.followOfNonTerminal(production.name)];
+        });
+    }
+    /**
+     * Builds an LR(1) parse table.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param analysis - Nullable, FIRST, and FOLLOW analysis for the grammar.
+     */
+    static buildLr1(grammar, analysis) {
+        const itemSets = buildLr1ItemSets(grammar, analysis, EOF_TOKEN_NAME);
+        return LrTableBuilder.buildFromLr1ItemSets('lr1', grammar, analysis, itemSets);
+    }
+    /**
+     * Builds an LALR parse table.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param analysis - Nullable, FIRST, and FOLLOW analysis for the grammar.
+     */
+    static buildLalr(grammar, analysis) {
+        const lr1ItemSets = buildLr1ItemSets(grammar, analysis, EOF_TOKEN_NAME);
+        const lalrItemSets = mergeLalrItemSets(lr1ItemSets);
+        const lr1ToLalr = Lr1ItemSetBuilder.buildLr1ToLalrMap(lr1ItemSets, lalrItemSets);
+        const gotoTargets = buildLalrGotoTargets(grammar, analysis, lr1ItemSets, lr1ToLalr);
+        return LrTableBuilder.buildFromLr1ItemSets('lalr', grammar, analysis, lalrItemSets, gotoTargets);
+    }
+    /**
+     * Builds a parse table from LR(0) item sets and a reduce-lookahead rule.
+     *
+     * @param algorithm - LR algorithm being constructed.
+     * @param grammar - Augmented BNF grammar.
+     * @param itemSets - Canonical LR(0) item set collection.
+     * @param reduceLookaheads - Returns terminal keys for one completed production.
+     */
+    static buildFromLr0ItemSets(algorithm, grammar, itemSets, reduceLookaheads) {
+        const gotoTargets = TableBuilderBase.buildGotoTargets(grammar, itemSets.itemSets, (items) => itemSets.indexOf(items), TableBuilderBase.lr0GotoItems);
+        const actions = new Map();
+        const gotos = new Map();
+        const conflicts = [];
+        for (let state = 0; state < itemSets.itemSets.length; state += 1) {
+            const itemSet = itemSets.itemSets[state] ?? [];
+            const stateActions = new Map();
+            const stateGotos = new Map();
+            actions.set(state, stateActions);
+            gotos.set(state, stateGotos);
+            TableBuilderBase.fillShiftsAndGotos(grammar, state, itemSet, gotoTargets, stateActions, stateGotos, conflicts);
+            for (const item of itemSet) {
+                const production = grammar.production(item.productionId);
+                if (production === null || item.dot !== production.rhs.length) {
+                    continue;
+                }
+                TableBuilderBase.setAcceptAction(state, production.name, stateActions, conflicts);
+                if (production.name === AUGMENTED_START_SYMBOL) {
+                    continue;
+                }
+                for (const lookahead of reduceLookaheads(production)) {
+                    TableBuilderBase.setAction(stateActions, conflicts, state, lookahead, { kind: 'reduce', productionId: production.id });
+                }
+            }
+        }
+        return new LrParseTable(algorithm, grammar, [...grammar.productions], itemSets.itemSets.length, actions, gotos, conflicts);
+    }
+    /**
+     * Builds a parse table from LR(1) or merged LALR item sets.
+     *
+     * @param algorithm - LR algorithm being constructed.
+     * @param grammar - Augmented BNF grammar.
+     * @param itemSets - LR(1) or merged LALR item set collection used for ACTION/GOTO rows.
+     * @param lr1Collection - Canonical LR(1) collection used for LALR GOTO remapping.
+     * @param gotoTargetsOverride - Optional precomputed GOTO indices for LALR.
+     */
+    static buildFromLr1ItemSets(algorithm, grammar, analysis, itemSets, gotoTargetsOverride) {
+        const gotoTargets = gotoTargetsOverride ?? TableBuilderBase.buildGotoTargets(grammar, itemSets.itemSets, (items) => itemSets.indexOf(items), (grammarArg, items, symbolKey) => lr1Goto(grammarArg, analysis, items, symbolKey));
+        const actions = new Map();
+        const gotos = new Map();
+        const conflicts = [];
+        for (let state = 0; state < itemSets.itemSets.length; state += 1) {
+            const itemSet = itemSets.itemSets[state] ?? [];
+            const stateActions = new Map();
+            const stateGotos = new Map();
+            actions.set(state, stateActions);
+            gotos.set(state, stateGotos);
+            TableBuilderBase.fillShiftsAndGotos(grammar, state, itemSet, gotoTargets, stateActions, stateGotos, conflicts);
+            for (const item of itemSet) {
+                const production = grammar.production(item.productionId);
+                if (production === null || item.dot !== production.rhs.length) {
+                    continue;
+                }
+                if (production.name === AUGMENTED_START_SYMBOL) {
+                    TableBuilderBase.setAction(stateActions, conflicts, state, item.lookahead, { kind: 'accept' });
+                    continue;
+                }
+                TableBuilderBase.setAction(stateActions, conflicts, state, item.lookahead, { kind: 'reduce', productionId: production.id });
+            }
+        }
+        return new LrParseTable(algorithm, grammar, [...grammar.productions], itemSets.itemSets.length, actions, gotos, conflicts);
+    }
+}
+//# sourceMappingURL=build-lr-table.js.map

package/dist/lib/parse-table/build-lr-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-lr-table.js","sourceRoot":"","sources":["../../../src/lib/parse-table/build-lr-table.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,cAAc,EAAwB,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAmB,MAAM,sBAAsB,CAAC;AAE/E,OAAO,EACH,gBAAgB,GAGnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACH,oBAAoB,EACpB,gBAAgB,EAChB,OAAO,EAGP,iBAAiB,EACjB,iBAAiB,GACpB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,OAAmB,EAAE,SAAsB;IAEpE,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IAE3C,QAAQ,SAAS,EACjB,CAAC;QACG,KAAK,KAAK;YACN,OAAO,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAE9C,KAAK,KAAK;YACN,OAAO,cAAc,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAExD,KAAK,KAAK;YACN,OAAO,cAAc,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAExD,KAAK,MAAM;YACP,OAAO,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC7D,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,cAAc;IAEhB;;;;;OAKG;IACI,MAAM,CAAC,QAAQ,CAAC,OAAmB;QAEtC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QAErE,OAAO,cAAc,CAAC,oBAAoB,CACtC,KAAK,EACL,OAAO,EACP,QAAQ,EACR,CAAC,UAAU,EAAE,EAAE;YAEX,IAAI,UAAU,CAAC,IAAI,KAAK,sBAAsB,EAC9C,CAAC;gBACG,OAAO,CAAC,cAAc,CAAC,CAAC;YAC5B,CAAC;YAED,OAAO,YAAY,CAAC;QACxB,CAAC,CACJ,CAAC;IACN,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,QAAQ,CAAC,OAAmB,EAAE,QAAyB;QAEjE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAE3C,OAAO,cAAc,CAAC,oBAAoB,CACtC,KAAK,EACL,OAAO,EACP,QAAQ,EACR,CAAC,UAAU,EAAE,EAAE;YAEX,IAAI,UAAU,CAAC,IAAI,KAAK,sBAAsB,EAC9C,CAAC;gBACG,OAAO,CAAC,cAAc,CAAC,CAAC;YAC5B,CAAC;YAED,OAAO,CAAC,GAAG,QAAQ,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9D,CAAC,CACJ,CAAC;IACN,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,QAAQ,CAAC,OAAmB,EAAE,QAAyB;QAEjE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;QAErE,OAAO,cAAc,CAAC,oBAAoB,CACtC,KAAK,EACL,OAAO,EACP,QAAQ,EACR,QAAQ,CACX,CAAC;IACN,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,SAAS,CAAC,OAAmB,EAAE,QAAyB;QAElE,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;QACxE,MAAM,YAAY,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;QACjF,MAAM,WAAW,GAAG,oBAAoB,CACpC,OAAO,EACP,QAAQ,EACR,WAAW,EACX,SAAS,CACZ,CAAC;QAEF,OAAO,cAAc,CAAC,oBAAoB,CACtC,MAAM,EACN,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,WAAW,CACd,CAAC;IACN,CAAC;IAED;;;;;;;OAOG;IACK,MAAM,CAAC,oBAAoB,CAC/B,SAAsB,EACtB,OAAmB,EACnB,QAA8B,EAC9B,gBAAsG;QAGtG,MAAM,WAAW,GAAG,gBAAgB,CAAC,gBAAgB,CACjD,OAAO,EACP,QAAQ,CAAC,QAAQ,EACjB,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAClC,gBAAgB,CAAC,YAAY,CAChC,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;QACrD,MAAM,SAAS,GAAoB,EAAE,CAAC;QAEtC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAChE,CAAC;YACG,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC/C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;YACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YACjC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAE7B,gBAAgB,CAAC,kBAAkB,CAC/B,OAAO,EACP,KAAK,EACL,OAAO,EACP,WAAW,EACX,YAAY,EACZ,UAAU,EACV,SAAS,CACZ,CAAC;YAEF,KAAK,MAAM,IAAI,IAAI,OAAO,EAC1B,CAAC;gBACG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAEzD,IAAI,UAAU,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,UAAU,CAAC,GAAG,CAAC,MAAM,EAC7D,CAAC;oBACG,SAAS;gBACb,CAAC;gBAED,gBAAgB,CAAC,eAAe,CAC5B,KAAK,EACL,UAAU,CAAC,IAAI,EACf,YAAY,EACZ,SAAS,CACZ,CAAC;gBAEF,IAAI,UAAU,CAAC,IAAI,KAAK,sBAAsB,EAC9C,CAAC;oBACG,SAAS;gBACb,CAAC;gBAED,KAAK,MAAM,SAAS,IAAI,gBAAgB,CAAC,UAAU,CAAC,EACpD,CAAC;oBACG,gBAAgB,CAAC,SAAS,CACtB,YAAY,EACZ,SAAS,EACT,KAAK,EACL,SAAS,EACT,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,CAClD,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,IAAI,YAAY,CACnB,SAAS,EACT,OAAO,EACP,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,EACxB,QAAQ,CAAC,QAAQ,CAAC,MAAM,EACxB,OAAO,EACP,KAAK,EACL,SAAS,CACZ,CAAC;IACN,CAAC;IAED;;;;;;;;OAQG;IACK,MAAM,CAAC,oBAAoB,CAC/B,SAAsB,EACtB,OAAmB,EACnB,QAAyB,EACzB,QAA8B,EAC9B,mBAAiD;QAGjD,MAAM,WAAW,GAAG,mBAAmB,IAAI,gBAAgB,CAAC,gBAAgB,CACxE,OAAO,EACP,QAAQ,CAAC,QAA2C,EACpD,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAA2B,CAAC,EACxD,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAC7B,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,KAA2B,EAAE,SAAS,CAAC,CAC5E,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;QACrD,MAAM,SAAS,GAAoB,EAAE,CAAC;QAEtC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAChE,CAAC;YACG,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC/C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;YACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YACjC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAE7B,gBAAgB,CAAC,kBAAkB,CAC/B,OAAO,EACP,KAAK,EACL,OAA6B,EAC7B,WAAW,EACX,YAAY,EACZ,UAAU,EACV,SAAS,CACZ,CAAC;YAEF,KAAK,MAAM,IAAI,IAAI,OAAO,EAC1B,CAAC;gBACG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAEzD,IAAI,UAAU,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,UAAU,CAAC,GAAG,CAAC,MAAM,EAC7D,CAAC;oBACG,SAAS;gBACb,CAAC;gBAED,IAAI,UAAU,CAAC,IAAI,KAAK,sBAAsB,EAC9C,CAAC;oBACG,gBAAgB,CAAC,SAAS,CACtB,YAAY,EACZ,SAAS,EACT,KAAK,EACL,IAAI,CAAC,SAAS,EACd,EAAE,IAAI,EAAE,QAAQ,EAAE,CACrB,CAAC;oBACF,SAAS;gBACb,CAAC;gBAED,gBAAgB,CAAC,SAAS,CACtB,YAAY,EACZ,SAAS,EACT,KAAK,EACL,IAAI,CAAC,SAAS,EACd,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,CAClD,CAAC;YACN,CAAC;QACL,CAAC;QAED,OAAO,IAAI,YAAY,CACnB,SAAS,EACT,OAAO,EACP,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,EACxB,QAAQ,CAAC,QAAQ,CAAC,MAAM,EACxB,OAAO,EACP,KAAK,EACL,SAAS,CACZ,CAAC;IACN,CAAC;CACJ"}

package/dist/lib/parse-table/index.d.ts

@@ -0,0 +1,22 @@
+export { isLrAlgorithm, parseLrAlgorithm } from './lr-algorithm.js';
+export type { LrAlgorithm } from './lr-algorithm.js';
+export { analyzeGrammar, formatBnfProduction, GrammarAnalysis } from './analysis/index.js';
+export { desugarEbnf, BnfGrammar, bnfSymbolKey } from './bnf/index.js';
+export type { BnfProduction, BnfSymbol } from './bnf/index.js';
+export { buildLrTable } from './build-lr-table.js';
+export { buildLr0ItemSets, formatLr0ItemSet, Lr0ItemSetCollection } from './lr0/index.js';
+export type { Lr0Item } from './lr0/index.js';
+export { buildLr1ItemSets, Lr1ItemSetCollection } from './lr1/index.js';
+export type { Lr1Item } from './lr1/index.js';
+export { LrAlgorithmError } from './lr-algorithm-error.js';
+export { ParseTableBuildError } from './parse-table-build-error.js';
+export { ParseTableError } from './parse-table-error.js';
+export { isParseTableJsonV2 } from './parse-table-json.js';
+export type { ParseTableActionJson, ParseTableGotoJson, ParseTableJsonV2, ParseTableProductionJson, } from './parse-table-json.js';
+export { buildSlrTable, formatSlrActions, formatSlrConflicts, SlrTable } from './slr/index.js';
+export { formatLrActions, formatLrConflicts, formatLrGotos, LrParseTable, } from './table/index.js';
+export type { ParseAction, ParseConflict } from './table/index.js';
+export { tokenInventory } from './token-inventory.js';
+export { PARSE_TABLE_VERSION, PARSE_TABLE_VERSION_FULL, ParseTable } from './parse-table.js';
+export type { ParseTableJson } from './parse-table.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/parse-table/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/parse-table/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACpE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3F,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACvE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC1F,YAAY,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACxE,YAAY,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,YAAY,EACR,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,EAChB,wBAAwB,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EACH,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,YAAY,GACf,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7F,YAAY,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/lib/parse-table/index.js

@@ -0,0 +1,15 @@
+export { isLrAlgorithm, parseLrAlgorithm } from './lr-algorithm.js';
+export { analyzeGrammar, formatBnfProduction, GrammarAnalysis } from './analysis/index.js';
+export { desugarEbnf, BnfGrammar, bnfSymbolKey } from './bnf/index.js';
+export { buildLrTable } from './build-lr-table.js';
+export { buildLr0ItemSets, formatLr0ItemSet, Lr0ItemSetCollection } from './lr0/index.js';
+export { buildLr1ItemSets, Lr1ItemSetCollection } from './lr1/index.js';
+export { LrAlgorithmError } from './lr-algorithm-error.js';
+export { ParseTableBuildError } from './parse-table-build-error.js';
+export { ParseTableError } from './parse-table-error.js';
+export { isParseTableJsonV2 } from './parse-table-json.js';
+export { buildSlrTable, formatSlrActions, formatSlrConflicts } from './slr/index.js';
+export { formatLrActions, formatLrConflicts, formatLrGotos, LrParseTable, } from './table/index.js';
+export { tokenInventory } from './token-inventory.js';
+export { PARSE_TABLE_VERSION, PARSE_TABLE_VERSION_FULL, ParseTable } from './parse-table.js';
+//# sourceMappingURL=index.js.map

package/dist/lib/parse-table/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/parse-table/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAEpE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3F,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAEvE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1F,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAExE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAO3D,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAY,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EACH,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,YAAY,GACf,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/lib/parse-table/lr-algorithm-error.d.ts

@@ -0,0 +1,13 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Thrown when an LR table algorithm name is not supported.
+ */
+export declare class LrAlgorithmError extends ParserLrError {
+    /**
+     * Creates an unsupported LR algorithm error.
+     *
+     * @param algorithm - Requested algorithm name.
+     */
+    constructor(algorithm: string);
+}
+//# sourceMappingURL=lr-algorithm-error.d.ts.map

package/dist/lib/parse-table/lr-algorithm-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lr-algorithm-error.d.ts","sourceRoot":"","sources":["../../../src/lib/parse-table/lr-algorithm-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D;;GAEG;AACH,qBAAa,gBAAiB,SAAQ,aAAa;IAE/C;;;;OAIG;gBACgB,SAAS,EAAE,MAAM;CAIvC"}

package/dist/lib/parse-table/lr-algorithm-error.js

@@ -0,0 +1,15 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Thrown when an LR table algorithm name is not supported.
+ */
+export class LrAlgorithmError extends ParserLrError {
+    /**
+     * Creates an unsupported LR algorithm error.
+     *
+     * @param algorithm - Requested algorithm name.
+     */
+    constructor(algorithm) {
+        super(`Unsupported LR algorithm ${JSON.stringify(algorithm)}`);
+    }
+}
+//# sourceMappingURL=lr-algorithm-error.js.map

package/dist/lib/parse-table/lr-algorithm-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lr-algorithm-error.js","sourceRoot":"","sources":["../../../src/lib/parse-table/lr-algorithm-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D;;GAEG;AACH,MAAM,OAAO,gBAAiB,SAAQ,aAAa;IAE/C;;;;OAIG;IACH,YAAmB,SAAiB;QAEhC,KAAK,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACnE,CAAC;CACJ"}

package/dist/lib/parse-table/lr-algorithm.d.ts

@@ -0,0 +1,19 @@
+/**
+ * LR table construction algorithm.
+ */
+export type LrAlgorithm = 'lr0' | 'slr' | 'lalr' | 'lr1';
+/**
+ * Returns whether a string names a supported LR algorithm.
+ *
+ * @param value - Candidate algorithm name.
+ */
+export declare function isLrAlgorithm(value: string): value is LrAlgorithm;
+/**
+ * Parses and validates an LR algorithm name.
+ *
+ * @param value - Raw algorithm name, or undefined for the default.
+ * @param defaultAlgorithm - Algorithm used when `value` is undefined.
+ * @returns Supported algorithm name.
+ */
+export declare function parseLrAlgorithm(value: string | undefined, defaultAlgorithm?: LrAlgorithm): LrAlgorithm;
+//# sourceMappingURL=lr-algorithm.d.ts.map

package/dist/lib/parse-table/lr-algorithm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lr-algorithm.d.ts","sourceRoot":"","sources":["../../../src/lib/parse-table/lr-algorithm.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC;AAEzD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,WAAW,CAMjE;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC5B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,gBAAgB,GAAE,WAAmB,GACtC,WAAW,CAUb"}

package/dist/lib/parse-table/lr-algorithm.js

@@ -0,0 +1,27 @@
+import { LrAlgorithmError } from './lr-algorithm-error.js';
+/**
+ * Returns whether a string names a supported LR algorithm.
+ *
+ * @param value - Candidate algorithm name.
+ */
+export function isLrAlgorithm(value) {
+    return value === 'lr0'
+        || value === 'slr'
+        || value === 'lalr'
+        || value === 'lr1';
+}
+/**
+ * Parses and validates an LR algorithm name.
+ *
+ * @param value - Raw algorithm name, or undefined for the default.
+ * @param defaultAlgorithm - Algorithm used when `value` is undefined.
+ * @returns Supported algorithm name.
+ */
+export function parseLrAlgorithm(value, defaultAlgorithm = 'lr1') {
+    const algorithm = value ?? defaultAlgorithm;
+    if (!isLrAlgorithm(algorithm)) {
+        throw new LrAlgorithmError(algorithm);
+    }
+    return algorithm;
+}
+//# sourceMappingURL=lr-algorithm.js.map

package/dist/lib/parse-table/lr-algorithm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lr-algorithm.js","sourceRoot":"","sources":["../../../src/lib/parse-table/lr-algorithm.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAO3D;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa;IAEvC,OAAO,KAAK,KAAK,KAAK;WACf,KAAK,KAAK,KAAK;WACf,KAAK,KAAK,MAAM;WAChB,KAAK,KAAK,KAAK,CAAC;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC5B,KAAyB,EACzB,mBAAgC,KAAK;IAGrC,MAAM,SAAS,GAAG,KAAK,IAAI,gBAAgB,CAAC;IAE5C,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAC7B,CAAC;QACG,MAAM,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC"}

package/dist/lib/parse-table/lr0/index.d.ts

@@ -0,0 +1,3 @@
+export { buildLr0ItemSets, formatLr0ItemSet, lr0Closure, lr0Goto, lr0ItemKey, lr0ItemsEqual, Lr0ItemSetBuilder, Lr0ItemSetCollection, sortLr0Items, } from './lr0-item-set.js';
+export type { Lr0Item } from './lr0-item-set.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/parse-table/lr0/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr0/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,OAAO,EACP,UAAU,EACV,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,GACf,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/lib/parse-table/lr0/index.js

@@ -0,0 +1,2 @@
+export { buildLr0ItemSets, formatLr0ItemSet, lr0Closure, lr0Goto, lr0ItemKey, lr0ItemsEqual, Lr0ItemSetBuilder, Lr0ItemSetCollection, sortLr0Items, } from './lr0-item-set.js';
+//# sourceMappingURL=index.js.map

package/dist/lib/parse-table/lr0/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr0/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,OAAO,EACP,UAAU,EACV,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,GACf,MAAM,mBAAmB,CAAC"}

package/dist/lib/parse-table/lr0/lr0-item-set.d.ts

@@ -0,0 +1,106 @@
+import type { BnfGrammar } from '../bnf/bnf-grammar.js';
+/**
+ * One LR(0) item: a production with the dot before `dot` right-hand side symbols.
+ */
+export interface Lr0Item {
+    readonly productionId: number;
+    readonly dot: number;
+}
+/**
+ * Returns a stable string key for an LR(0) item.
+ *
+ * @param grammar - Grammar containing the referenced production.
+ * @param item - LR(0) item to encode.
+ */
+export declare function lr0ItemKey(grammar: BnfGrammar, item: Lr0Item): string;
+/**
+ * Returns whether two LR(0) items are identical.
+ *
+ * @param left - First item.
+ * @param right - Second item.
+ */
+export declare function lr0ItemsEqual(left: Lr0Item, right: Lr0Item): boolean;
+/**
+ * Sorts LR(0) items for canonical set comparison.
+ *
+ * @param items - Items to sort.
+ */
+export declare function sortLr0Items(items: readonly Lr0Item[]): Lr0Item[];
+/**
+ * Computes the LR(0) closure of an item set.
+ *
+ * @param grammar - Plain or augmented BNF grammar.
+ * @param items - Seed items.
+ */
+export declare function lr0Closure(grammar: BnfGrammar, items: readonly Lr0Item[]): readonly Lr0Item[];
+/**
+ * Computes the LR(0) GOTO set for symbol `symbolKey`.
+ *
+ * @param grammar - Plain or augmented BNF grammar.
+ * @param items - Closed item set.
+ * @param symbolKey - Encoded terminal or non-terminal symbol.
+ */
+export declare function lr0Goto(grammar: BnfGrammar, items: readonly Lr0Item[], symbolKey: string): readonly Lr0Item[];
+/**
+ * Canonical collection of LR(0) item sets for a BNF grammar.
+ */
+export declare class Lr0ItemSetCollection {
+    readonly grammar: BnfGrammar;
+    readonly itemSets: readonly (readonly Lr0Item[])[];
+    /**
+     * Creates a collection from an ordered list of closed item sets.
+     *
+     * @param grammar - Grammar the item sets were built from.
+     * @param itemSets - Closed LR(0) item sets in discovery order.
+     */
+    constructor(grammar: BnfGrammar, itemSets: readonly (readonly Lr0Item[])[]);
+    /**
+     * Returns the index of an item set matching `items`, or null when absent.
+     *
+     * @param items - Closed item set to locate.
+     */
+    indexOf(items: readonly Lr0Item[]): number | null;
+}
+/**
+ * Builds LR(0) item sets for a BNF grammar.
+ */
+export declare class Lr0ItemSetBuilder {
+    /**
+     * Builds the canonical LR(0) collection for a grammar.
+     *
+     * @param grammar - Augmented or plain BNF grammar.
+     */
+    static build(grammar: BnfGrammar): Lr0ItemSetCollection;
+    /**
+     * Returns every terminal and non-terminal key that can appear in GOTO.
+     *
+     * @param grammar - BNF grammar to inspect.
+     */
+    static grammarSymbolKeys(grammar: BnfGrammar): readonly string[];
+    /**
+     * Returns a stable identity string for one LR(0) item.
+     *
+     * @param item - Item to encode.
+     */
+    static itemIdentity(item: Lr0Item): string;
+    /**
+     * Returns a stable identity string for an item set.
+     *
+     * @param items - Closed item set.
+     */
+    static setIdentity(items: readonly Lr0Item[]): string;
+}
+/**
+ * Builds the canonical LR(0) item set collection for a grammar.
+ *
+ * @param grammar - Augmented or plain BNF grammar.
+ */
+export declare function buildLr0ItemSets(grammar: BnfGrammar): Lr0ItemSetCollection;
+/**
+ * Returns readable item set labels for tests and diagnostics.
+ *
+ * @param grammar - Grammar containing referenced productions.
+ * @param items - Closed item set.
+ */
+export declare function formatLr0ItemSet(grammar: BnfGrammar, items: readonly Lr0Item[]): readonly string[];
+//# sourceMappingURL=lr0-item-set.d.ts.map

package/dist/lib/parse-table/lr0/lr0-item-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lr0-item-set.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr0/lr0-item-set.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD;;GAEG;AACH,MAAM,WAAW,OAAO;IAEpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,CAwBrE;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAGpE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,CAWjE;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,CA6C7F;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CACnB,OAAO,EAAE,UAAU,EACnB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,SAAS,EAAE,MAAM,GAClB,SAAS,OAAO,EAAE,CAgCpB;AAED;;GAEG;AACH,qBAAa,oBAAoB;aAST,OAAO,EAAE,UAAU;aACnB,QAAQ,EAAE,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE;IAR7D;;;;;OAKG;gBAEiB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE;IAK7D;;;;OAIG;IACI,OAAO,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,GAAG,IAAI;CAc3D;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;;;OAIG;WACW,KAAK,CAAC,OAAO,EAAE,UAAU,GAAG,oBAAoB;IAoD9D;;;;OAIG;WACW,iBAAiB,CAAC,OAAO,EAAE,UAAU,GAAG,SAAS,MAAM,EAAE;IAYvE;;;;OAIG;WACW,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM;IAKjD;;;;OAIG;WACW,WAAW,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM;CAM/D;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,UAAU,GAAG,oBAAoB,CAG1E;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,SAAS,MAAM,EAAE,CAGlG"}