parser-lr 0.0.0 → 0.2.0

package/dist/lib/parse-table/bnf/bnf-grammar.js

@@ -0,0 +1,136 @@
+import { bnfParserSymbolKey } from './bnf-symbol.js';
+/** Sentinel non-terminal introducing the augmented start production. */
+export const AUGMENTED_START_SYMBOL = '$accept';
+/**
+ * Plain BNF grammar used for LR table construction.
+ */
+export class BnfGrammar {
+    startSymbol;
+    productions;
+    tokenNames;
+    productionsByName;
+    productionById;
+    /**
+     * Creates a BNF grammar from its productions and token inventory.
+     *
+     * @param startSymbol - Entry non-terminal from the source grammar.
+     * @param productions - Flat BNF productions with stable ids.
+     * @param tokenNames - Token rule names treated as terminals.
+     */
+    constructor(startSymbol, productions, tokenNames) {
+        this.startSymbol = startSymbol;
+        this.productions = productions;
+        this.tokenNames = tokenNames;
+        // Index productions by left-hand side name.
+        const productionsByName = new Map();
+        const productionById = new Map();
+        for (const production of productions) {
+            const existing = productionsByName.get(production.name) ?? [];
+            existing.push(production);
+            productionsByName.set(production.name, existing);
+            productionById.set(production.id, production);
+        }
+        this.productionsByName = productionsByName;
+        this.productionById = productionById;
+    }
+    /**
+     * Returns productions with a given left-hand side non-terminal.
+     *
+     * @param name - Non-terminal name to look up.
+     */
+    productionsFor(name) {
+        return this.productionsByName.get(name) ?? [];
+    }
+    /**
+     * Returns a production by its stable id.
+     *
+     * @param id - Production id assigned during desugaring.
+     */
+    production(id) {
+        return this.productionById.get(id) ?? null;
+    }
+    /**
+     * Whether a name is a declared token rule.
+     *
+     * @param name - Candidate token name.
+     */
+    isToken(name) {
+        return this.tokenNames.includes(name);
+    }
+    /**
+     * Returns every non-terminal name appearing in the grammar.
+     */
+    nonTerminalNames() {
+        const names = new Set();
+        for (const production of this.productions) {
+            names.add(production.name);
+            for (const symbol of production.rhs) {
+                if (symbol.kind === 'nonTerminal') {
+                    names.add(symbol.name);
+                }
+            }
+        }
+        return [...names].sort();
+    }
+    /**
+     * Returns every terminal key appearing on a production right-hand side.
+     */
+    terminalKeys() {
+        const keys = new Set();
+        for (const production of this.productions) {
+            for (const symbol of production.rhs) {
+                if (symbol.kind === 'terminal' || symbol.kind === 'token') {
+                    keys.add(bnfParserSymbolKey(symbol));
+                }
+            }
+        }
+        return [...keys].sort();
+    }
+    /**
+     * Builds an augmented grammar with `$accept → startSymbol`.
+     */
+    augment() {
+        const acceptProduction = {
+            id: this.productions.length,
+            name: AUGMENTED_START_SYMBOL,
+            rhs: [
+                {
+                    kind: 'nonTerminal',
+                    name: this.startSymbol,
+                    binding: null,
+                },
+            ],
+            variant: null,
+            origin: AUGMENTED_START_SYMBOL,
+        };
+        return new BnfGrammar(AUGMENTED_START_SYMBOL, [...this.productions, acceptProduction], this.tokenNames);
+    }
+    /**
+     * Returns whether a symbol key is a shift symbol (terminal or token).
+     *
+     * @param key - Encoded symbol from {@link bnfSymbolKey}.
+     */
+    isTerminalKey(key) {
+        if (key.startsWith('"') && key.endsWith('"')) {
+            return true;
+        }
+        const bareName = key.includes(':') ? key.slice(key.indexOf(':') + 1) : key;
+        return this.tokenNames.includes(bareName);
+    }
+    /**
+     * Finds the BNF symbol matching an encoded terminal key on some production rhs.
+     *
+     * @param key - Encoded terminal key.
+     */
+    terminalSymbolForKey(key) {
+        for (const production of this.productions) {
+            for (const symbol of production.rhs) {
+                if (symbol.kind !== 'nonTerminal' && bnfParserSymbolKey(symbol) === key) {
+                    return symbol;
+                }
+            }
+        }
+        return null;
+    }
+}
+//# sourceMappingURL=bnf-grammar.js.map

package/dist/lib/parse-table/bnf/bnf-grammar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bnf-grammar.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/bnf-grammar.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAgC,MAAM,iBAAiB,CAAC;AAEnF,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,SAAS,CAAC;AAEhD;;GAEG;AACH,MAAM,OAAO,UAAU;IAaC;IACA;IACA;IAbH,iBAAiB,CAAgD;IACjE,cAAc,CAAqC;IAEpE;;;;;;OAMG;IACH,YACoB,WAAmB,EACnB,WAAqC,EACrC,UAA6B;QAF7B,gBAAW,GAAX,WAAW,CAAQ;QACnB,gBAAW,GAAX,WAAW,CAA0B;QACrC,eAAU,GAAV,UAAU,CAAmB;QAG7C,4CAA4C;QAC5C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA2B,CAAC;QAC7D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;QAExD,KAAK,MAAM,UAAU,IAAI,WAAW,EACpC,CAAC;YACG,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC1B,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjD,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QAClD,CAAC;QAED,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;QAC3C,IAAI,CAAC,cAAc,GAAG,cAAc,CAAC;IACzC,CAAC;IAED;;;;OAIG;IACI,cAAc,CAAC,IAAY;QAE9B,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACI,UAAU,CAAC,EAAU;QAExB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;IAC/C,CAAC;IAED;;;;OAIG;IACI,OAAO,CAAC,IAAY;QAEvB,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED;;OAEG;IACI,gBAAgB;QAEnB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAEhC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EACzC,CAAC;YACG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAE3B,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,GAAG,EACnC,CAAC;gBACG,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EACjC,CAAC;oBACG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC3B,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7B,CAAC;IAED;;OAEG;IACI,YAAY;QAEf,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAE/B,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EACzC,CAAC;YACG,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,GAAG,EACnC,CAAC;gBACG,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EACzD,CAAC;oBACG,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC;gBACzC,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC;IAED;;OAEG;IACI,OAAO;QAEV,MAAM,gBAAgB,GAAkB;YACpC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;YAC3B,IAAI,EAAE,sBAAsB;YAC5B,GAAG,EAAE;gBACD;oBACI,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,IAAI,CAAC,WAAW;oBACtB,OAAO,EAAE,IAAI;iBAChB;aACJ;YACD,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,sBAAsB;SACjC,CAAC;QAEF,OAAO,IAAI,UAAU,CACjB,sBAAsB,EACtB,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,gBAAgB,CAAC,EACvC,IAAI,CAAC,UAAU,CAClB,CAAC;IACN,CAAC;IAED;;;;OAIG;IACI,aAAa,CAAC,GAAW;QAE5B,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAC5C,CAAC;YACG,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAE3E,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAED;;;;OAIG;IACI,oBAAoB,CAAC,GAAW;QAEnC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EACzC,CAAC;YACG,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,GAAG,EACnC,CAAC;gBACG,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,kBAAkB,CAAC,MAAM,CAAC,KAAK,GAAG,EACvE,CAAC;oBACG,OAAO,MAAM,CAAC;gBAClB,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;CACJ"}

package/dist/lib/parse-table/bnf/bnf-production.d.ts

@@ -0,0 +1,12 @@
+import type { BnfSymbol } from './bnf-symbol.js';
+/**
+ * One plain BNF production after EBNF desugaring.
+ */
+export interface BnfProduction {
+    readonly id: number;
+    readonly name: string;
+    readonly rhs: readonly BnfSymbol[];
+    readonly variant: string | null;
+    readonly origin: string;
+}
+//# sourceMappingURL=bnf-production.d.ts.map

package/dist/lib/parse-table/bnf/bnf-production.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bnf-production.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/bnf-production.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;GAEG;AACH,MAAM,WAAW,aAAa;IAE1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B"}

package/dist/lib/parse-table/bnf/bnf-production.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=bnf-production.js.map

package/dist/lib/parse-table/bnf/bnf-production.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bnf-production.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/bnf-production.ts"],"names":[],"mappings":""}

package/dist/lib/parse-table/bnf/bnf-symbol.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Terminal literal from a quoted string in a production.
+ */
+export interface BnfTerminalSymbol {
+    readonly kind: 'terminal';
+    readonly value: string;
+}
+/**
+ * Reference to a parser non-terminal production.
+ */
+export interface BnfNonTerminalSymbol {
+    readonly kind: 'nonTerminal';
+    readonly name: string;
+    readonly binding: string | null;
+}
+/**
+ * Reference to a lexer token rule by name.
+ */
+export interface BnfTokenSymbol {
+    readonly kind: 'token';
+    readonly name: string;
+    readonly binding: string | null;
+}
+/**
+ * One symbol on the right-hand side of a BNF production.
+ */
+export type BnfSymbol = BnfTerminalSymbol | BnfNonTerminalSymbol | BnfTokenSymbol;
+/**
+ * Returns a stable string key for a BNF symbol, including binding metadata.
+ *
+ * @param symbol - Symbol to encode.
+ */
+export declare function bnfSymbolKey(symbol: BnfSymbol): string;
+/**
+ * Returns the parser symbol key used in ACTION and GOTO tables.
+ *
+ * @param symbol - Symbol to encode.
+ */
+export declare function bnfParserSymbolKey(symbol: BnfSymbol): string;
+//# sourceMappingURL=bnf-symbol.d.ts.map

package/dist/lib/parse-table/bnf/bnf-symbol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bnf-symbol.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/bnf-symbol.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAE9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAEjC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAE3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,iBAAiB,GAAG,oBAAoB,GAAG,cAAc,CAAC;AAElF;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAiBtD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAa5D"}

package/dist/lib/parse-table/bnf/bnf-symbol.js

@@ -0,0 +1,35 @@
+/**
+ * Returns a stable string key for a BNF symbol, including binding metadata.
+ *
+ * @param symbol - Symbol to encode.
+ */
+export function bnfSymbolKey(symbol) {
+    switch (symbol.kind) {
+        case 'terminal':
+            return `"${symbol.value}"`;
+        case 'nonTerminal':
+            return symbol.binding === null
+                ? symbol.name
+                : `[${symbol.binding}]:${symbol.name}`;
+        case 'token':
+            return symbol.binding === null
+                ? symbol.name
+                : `[${symbol.binding}]:${symbol.name}`;
+    }
+}
+/**
+ * Returns the parser symbol key used in ACTION and GOTO tables.
+ *
+ * @param symbol - Symbol to encode.
+ */
+export function bnfParserSymbolKey(symbol) {
+    switch (symbol.kind) {
+        case 'terminal':
+            return `"${symbol.value}"`;
+        case 'nonTerminal':
+            return symbol.name;
+        case 'token':
+            return symbol.name;
+    }
+}
+//# sourceMappingURL=bnf-symbol.js.map

package/dist/lib/parse-table/bnf/bnf-symbol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bnf-symbol.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/bnf-symbol.ts"],"names":[],"mappings":"AAkCA;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,MAAiB;IAE1C,QAAQ,MAAM,CAAC,IAAI,EACnB,CAAC;QACG,KAAK,UAAU;YACX,OAAO,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;QAE/B,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,OAAO,KAAK,IAAI;gBAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;QAE/C,KAAK,OAAO;YACR,OAAO,MAAM,CAAC,OAAO,KAAK,IAAI;gBAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;IACnD,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAiB;IAEhD,QAAQ,MAAM,CAAC,IAAI,EACnB,CAAC;QACG,KAAK,UAAU;YACX,OAAO,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;QAE/B,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,IAAI,CAAC;QAEvB,KAAK,OAAO;YACR,OAAO,MAAM,CAAC,IAAI,CAAC;IAC3B,CAAC;AACL,CAAC"}

package/dist/lib/parse-table/bnf/desugar-ebnf.d.ts

@@ -0,0 +1,104 @@
+import { Grammar } from '../../grammar/grammar.js';
+import { BnfGrammar } from './bnf-grammar.js';
+/**
+ * Expands EBNF productions into plain BNF suitable for LR analysis.
+ */
+export declare class EbnfDesugarer {
+    private readonly grammar;
+    private readonly tokenNames;
+    private readonly productions;
+    private nextProductionId;
+    private nextSyntheticId;
+    /**
+     * Creates a desugarer for a parsed grammar model.
+     *
+     * @param grammar - Parsed `.grammar` file model.
+     */
+    constructor(grammar: Grammar);
+    /**
+     * Desugars all parser productions into a flat BNF grammar.
+     *
+     * @returns Plain BNF grammar with synthetic non-terminals for EBNF constructs.
+     */
+    desugar(): BnfGrammar;
+    /**
+     * Expands one named production into plain BNF alternatives.
+     *
+     * @param production - Source production from the grammar model.
+     */
+    private desugarProduction;
+    /**
+     * Records one BNF production with the next stable id.
+     *
+     * @param name - Left-hand side non-terminal.
+     * @param rhs - Right-hand side symbol sequence; empty for epsilon.
+     * @param variant - Choice label preserved from the source grammar, if any.
+     * @param origin - Source production or synthetic construct name.
+     */
+    private addProduction;
+    /**
+     * Allocates a fresh synthetic non-terminal name scoped to a source production.
+     *
+     * @param ownerName - Production currently being expanded.
+     * @param suffix - Synthetic construct kind.
+     */
+    private freshName;
+    /**
+     * Expands an EBNF expression into zero or more BNF right-hand sides.
+     *
+     * @param ownerName - Production providing scope for synthetic non-terminals.
+     * @param expression - EBNF expression subtree.
+     * @param variant - Choice label inherited from an outer alternative.
+     */
+    private expandExpression;
+    /**
+     * Expands a concatenated sequence by combining element alternatives.
+     *
+     * @param elements - Sequence members in source order.
+     * @param variant - Choice label inherited from an outer alternative.
+     */
+    private expandSequence;
+    /**
+     * Expands `[ element ]` into epsilon and the element expansion.
+     *
+     * @param element - Optional sub-expression.
+     * @param variant - Choice label inherited from an outer alternative.
+     */
+    private expandOptional;
+    /**
+     * Expands `{ element }` using a fresh left-recursive list non-terminal.
+     *
+     * @param element - Repeated sub-expression.
+     * @param variant - Choice label inherited from an outer alternative.
+     */
+    private expandRepeat;
+    /**
+     * Builds a non-terminal symbol reference.
+     *
+     * @param name - Referenced production name.
+     * @param binding - Optional slot binding from the source grammar.
+     */
+    private nonTerminalSymbol;
+    /**
+     * Builds a token symbol reference.
+     *
+     * @param name - Referenced token rule name.
+     * @param binding - Optional slot binding from the source grammar.
+     */
+    private tokenSymbol;
+    /**
+     * Resolves a bound or unbound reference to a token or non-terminal symbol.
+     *
+     * @param binding - Slot binding, or null for an unbound reference.
+     * @param name - Referenced symbol name.
+     */
+    private resolveReference;
+}
+/**
+ * Desugars a parsed grammar into plain BNF for LR table construction.
+ *
+ * @param grammar - Parsed `.grammar` file model.
+ * @returns Flat BNF grammar with synthetic non-terminals for EBNF constructs.
+ */
+export declare function desugarEbnf(grammar: Grammar): BnfGrammar;
+//# sourceMappingURL=desugar-ebnf.d.ts.map

package/dist/lib/parse-table/bnf/desugar-ebnf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"desugar-ebnf.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/desugar-ebnf.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAGnD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAc9C;;GAEG;AACH,qBAAa,aAAa;IAEtB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAU;IAClC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAoB;IAC/C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAuB;IACnD,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,eAAe,CAAK;IAE5B;;;;OAIG;gBACgB,OAAO,EAAE,OAAO;IAMnC;;;;OAIG;IACI,OAAO,IAAI,UAAU;IAe5B;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;IAezB;;;;;;;OAOG;IACH,OAAO,CAAC,aAAa;IAiBrB;;;;;OAKG;IACH,OAAO,CAAC,SAAS;IAQjB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAgDxB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IA8BtB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IActB;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IA8BpB;;;;;OAKG;IACH,OAAO,CAAC,iBAAiB;IASzB;;;;;OAKG;IACH,OAAO,CAAC,WAAW;IASnB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;CAc3B;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,CAGxD"}

package/dist/lib/parse-table/bnf/desugar-ebnf.js

@@ -0,0 +1,217 @@
+import { BnfGrammar } from './bnf-grammar.js';
+import { tokenInventory } from '../token-inventory.js';
+/**
+ * Expands EBNF productions into plain BNF suitable for LR analysis.
+ */
+export class EbnfDesugarer {
+    grammar;
+    tokenNames;
+    productions = [];
+    nextProductionId = 0;
+    nextSyntheticId = 0;
+    /**
+     * Creates a desugarer for a parsed grammar model.
+     *
+     * @param grammar - Parsed `.grammar` file model.
+     */
+    constructor(grammar) {
+        this.grammar = grammar;
+        this.tokenNames = tokenInventory(grammar);
+    }
+    /**
+     * Desugars all parser productions into a flat BNF grammar.
+     *
+     * @returns Plain BNF grammar with synthetic non-terminals for EBNF constructs.
+     */
+    desugar() {
+        // Expand each declared production into one or more BNF productions.
+        for (const production of this.grammar.productions) {
+            this.desugarProduction(production);
+        }
+        return new BnfGrammar(this.grammar.startSymbol, this.productions, this.tokenNames);
+    }
+    /**
+     * Expands one named production into plain BNF alternatives.
+     *
+     * @param production - Source production from the grammar model.
+     */
+    desugarProduction(production) {
+        const alternatives = this.expandExpression(production.name, production.expression, null);
+        for (const alternative of alternatives) {
+            this.addProduction(production.name, alternative.symbols, alternative.variant, production.name);
+        }
+    }
+    /**
+     * Records one BNF production with the next stable id.
+     *
+     * @param name - Left-hand side non-terminal.
+     * @param rhs - Right-hand side symbol sequence; empty for epsilon.
+     * @param variant - Choice label preserved from the source grammar, if any.
+     * @param origin - Source production or synthetic construct name.
+     */
+    addProduction(name, rhs, variant, origin) {
+        this.productions.push({
+            id: this.nextProductionId,
+            name,
+            rhs,
+            variant,
+            origin,
+        });
+        this.nextProductionId += 1;
+    }
+    /**
+     * Allocates a fresh synthetic non-terminal name scoped to a source production.
+     *
+     * @param ownerName - Production currently being expanded.
+     * @param suffix - Synthetic construct kind.
+     */
+    freshName(ownerName, suffix) {
+        const syntheticName = `${ownerName}$${suffix}_${this.nextSyntheticId}`;
+        this.nextSyntheticId += 1;
+        return syntheticName;
+    }
+    /**
+     * Expands an EBNF expression into zero or more BNF right-hand sides.
+     *
+     * @param ownerName - Production providing scope for synthetic non-terminals.
+     * @param expression - EBNF expression subtree.
+     * @param variant - Choice label inherited from an outer alternative.
+     */
+    expandExpression(ownerName, expression, variant) {
+        switch (expression.kind) {
+            case 'reference':
+                return [{
+                        symbols: [this.resolveReference(null, expression.name)],
+                        variant,
+                    }];
+            case 'boundReference':
+                return [{
+                        symbols: [this.resolveReference(expression.binding, expression.name)],
+                        variant,
+                    }];
+            case 'terminal':
+                return [{
+                        symbols: [{ kind: 'terminal', value: expression.value }],
+                        variant,
+                    }];
+            case 'sequence':
+                return this.expandSequence(ownerName, expression.elements, variant);
+            case 'choice':
+                return expression.alternatives.flatMap((alternative) => this.expandExpression(ownerName, alternative.expression, alternative.label ?? variant));
+            case 'optional':
+                return this.expandOptional(ownerName, expression.element, variant);
+            case 'repeat':
+                return this.expandRepeat(ownerName, expression.element, variant);
+            case 'group':
+                return this.expandExpression(ownerName, expression.element, variant);
+        }
+    }
+    /**
+     * Expands a concatenated sequence by combining element alternatives.
+     *
+     * @param elements - Sequence members in source order.
+     * @param variant - Choice label inherited from an outer alternative.
+     */
+    expandSequence(ownerName, elements, variant) {
+        let results = [{ symbols: [], variant }];
+        for (const element of elements) {
+            const elementAlternatives = this.expandExpression(ownerName, element, variant);
+            const combined = [];
+            for (const left of results) {
+                for (const right of elementAlternatives) {
+                    combined.push({
+                        symbols: [...left.symbols, ...right.symbols],
+                        variant: right.variant ?? left.variant,
+                    });
+                }
+            }
+            results = combined;
+        }
+        return results;
+    }
+    /**
+     * Expands `[ element ]` into epsilon and the element expansion.
+     *
+     * @param element - Optional sub-expression.
+     * @param variant - Choice label inherited from an outer alternative.
+     */
+    expandOptional(ownerName, element, variant) {
+        const inner = this.expandExpression(ownerName, element, variant);
+        return [
+            { symbols: [], variant },
+            ...inner,
+        ];
+    }
+    /**
+     * Expands `{ element }` using a fresh left-recursive list non-terminal.
+     *
+     * @param element - Repeated sub-expression.
+     * @param variant - Choice label inherited from an outer alternative.
+     */
+    expandRepeat(ownerName, element, variant) {
+        const repeatName = this.freshName(ownerName, 'repeat');
+        const elementAlternatives = this.expandExpression(repeatName, element, null);
+        const repeatReference = this.nonTerminalSymbol(repeatName, null);
+        // Build `R → α R` for each expansion of the repeated element.
+        for (const alternative of elementAlternatives) {
+            this.addProduction(repeatName, [...alternative.symbols, repeatReference], alternative.variant, repeatName);
+        }
+        // Add the epsilon base case `R → ε`.
+        this.addProduction(repeatName, [], null, repeatName);
+        return [{
+                symbols: [repeatReference],
+                variant,
+            }];
+    }
+    /**
+     * Builds a non-terminal symbol reference.
+     *
+     * @param name - Referenced production name.
+     * @param binding - Optional slot binding from the source grammar.
+     */
+    nonTerminalSymbol(name, binding) {
+        return {
+            kind: 'nonTerminal',
+            name,
+            binding,
+        };
+    }
+    /**
+     * Builds a token symbol reference.
+     *
+     * @param name - Referenced token rule name.
+     * @param binding - Optional slot binding from the source grammar.
+     */
+    tokenSymbol(name, binding) {
+        return {
+            kind: 'token',
+            name,
+            binding,
+        };
+    }
+    /**
+     * Resolves a bound or unbound reference to a token or non-terminal symbol.
+     *
+     * @param binding - Slot binding, or null for an unbound reference.
+     * @param name - Referenced symbol name.
+     */
+    resolveReference(binding, name) {
+        if (this.grammar.hasProduction(name)) {
+            return this.nonTerminalSymbol(name, binding);
+        }
+        if (this.tokenNames.includes(name)) {
+            return this.tokenSymbol(name, binding);
+        }
+        return this.nonTerminalSymbol(name, binding);
+    }
+}
+/**
+ * Desugars a parsed grammar into plain BNF for LR table construction.
+ *
+ * @param grammar - Parsed `.grammar` file model.
+ * @returns Flat BNF grammar with synthetic non-terminals for EBNF constructs.
+ */
+export function desugarEbnf(grammar) {
+    return new EbnfDesugarer(grammar).desugar();
+}
+//# sourceMappingURL=desugar-ebnf.js.map

package/dist/lib/parse-table/bnf/desugar-ebnf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"desugar-ebnf.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/desugar-ebnf.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAWvD;;GAEG;AACH,MAAM,OAAO,aAAa;IAEL,OAAO,CAAU;IACjB,UAAU,CAAoB;IAC9B,WAAW,GAAoB,EAAE,CAAC;IAC3C,gBAAgB,GAAG,CAAC,CAAC;IACrB,eAAe,GAAG,CAAC,CAAC;IAE5B;;;;OAIG;IACH,YAAmB,OAAgB;QAE/B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC;IAED;;;;OAIG;IACI,OAAO;QAEV,oEAAoE;QACpE,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,EACjD,CAAC;YACG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;QAED,OAAO,IAAI,UAAU,CACjB,IAAI,CAAC,OAAO,CAAC,WAAW,EACxB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,CAClB,CAAC;IACN,CAAC;IAED;;;;OAIG;IACK,iBAAiB,CAAC,UAAsB;QAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAEzF,KAAK,MAAM,WAAW,IAAI,YAAY,EACtC,CAAC;YACG,IAAI,CAAC,aAAa,CACd,UAAU,CAAC,IAAI,EACf,WAAW,CAAC,OAAO,EACnB,WAAW,CAAC,OAAO,EACnB,UAAU,CAAC,IAAI,CAClB,CAAC;QACN,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACK,aAAa,CACjB,IAAY,EACZ,GAAyB,EACzB,OAAsB,EACtB,MAAc;QAGd,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YAClB,EAAE,EAAE,IAAI,CAAC,gBAAgB;YACzB,IAAI;YACJ,GAAG;YACH,OAAO;YACP,MAAM;SACT,CAAC,CAAC;QACH,IAAI,CAAC,gBAAgB,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;OAKG;IACK,SAAS,CAAC,SAAiB,EAAE,MAAc;QAE/C,MAAM,aAAa,GAAG,GAAG,SAAS,IAAI,MAAM,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACvE,IAAI,CAAC,eAAe,IAAI,CAAC,CAAC;QAE1B,OAAO,aAAa,CAAC;IACzB,CAAC;IAED;;;;;;OAMG;IACK,gBAAgB,CACpB,SAAiB,EACjB,UAAsB,EACtB,OAAsB;QAGtB,QAAQ,UAAU,CAAC,IAAI,EACvB,CAAC;YACG,KAAK,WAAW;gBACZ,OAAO,CAAC;wBACJ,OAAO,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;wBACvD,OAAO;qBACV,CAAC,CAAC;YAEP,KAAK,gBAAgB;gBACjB,OAAO,CAAC;wBACJ,OAAO,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;wBACrE,OAAO;qBACV,CAAC,CAAC;YAEP,KAAK,UAAU;gBACX,OAAO,CAAC;wBACJ,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC;wBACxD,OAAO;qBACV,CAAC,CAAC;YAEP,KAAK,UAAU;gBACX,OAAO,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAExE,KAAK,QAAQ;gBACT,OAAO,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CACnD,IAAI,CAAC,gBAAgB,CACjB,SAAS,EACT,WAAW,CAAC,UAAU,EACtB,WAAW,CAAC,KAAK,IAAI,OAAO,CAC/B,CAAC,CAAC;YAEX,KAAK,UAAU;gBACX,OAAO,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAEvE,KAAK,QAAQ;gBACT,OAAO,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAErE,KAAK,OAAO;gBACR,OAAO,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACK,cAAc,CAClB,SAAiB,EACjB,QAA+B,EAC/B,OAAsB;QAGtB,IAAI,OAAO,GAAyB,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAE/D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAC9B,CAAC;YACG,MAAM,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/E,MAAM,QAAQ,GAAyB,EAAE,CAAC;YAE1C,KAAK,MAAM,IAAI,IAAI,OAAO,EAC1B,CAAC;gBACG,KAAK,MAAM,KAAK,IAAI,mBAAmB,EACvC,CAAC;oBACG,QAAQ,CAAC,IAAI,CAAC;wBACV,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC;wBAC5C,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO;qBACzC,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;YAED,OAAO,GAAG,QAAQ,CAAC;QACvB,CAAC;QAED,OAAO,OAAO,CAAC;IACnB,CAAC;IAED;;;;;OAKG;IACK,cAAc,CAClB,SAAiB,EACjB,OAAmB,EACnB,OAAsB;QAGtB,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAEjE,OAAO;YACH,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE;YACxB,GAAG,KAAK;SACX,CAAC;IACN,CAAC;IAED;;;;;OAKG;IACK,YAAY,CAChB,SAAiB,EACjB,OAAmB,EACnB,OAAsB;QAGtB,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACvD,MAAM,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7E,MAAM,eAAe,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAEjE,8DAA8D;QAC9D,KAAK,MAAM,WAAW,IAAI,mBAAmB,EAC7C,CAAC;YACG,IAAI,CAAC,aAAa,CACd,UAAU,EACV,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,eAAe,CAAC,EACzC,WAAW,CAAC,OAAO,EACnB,UAAU,CACb,CAAC;QACN,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QAErD,OAAO,CAAC;gBACJ,OAAO,EAAE,CAAC,eAAe,CAAC;gBAC1B,OAAO;aACV,CAAC,CAAC;IACP,CAAC;IAED;;;;;OAKG;IACK,iBAAiB,CAAC,IAAY,EAAE,OAAsB;QAE1D,OAAO;YACH,IAAI,EAAE,aAAa;YACnB,IAAI;YACJ,OAAO;SACV,CAAC;IACN,CAAC;IAED;;;;;OAKG;IACK,WAAW,CAAC,IAAY,EAAE,OAAsB;QAEpD,OAAO;YACH,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,OAAO;SACV,CAAC;IACN,CAAC;IAED;;;;;OAKG;IACK,gBAAgB,CAAC,OAAsB,EAAE,IAAY;QAEzD,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,EACpC,CAAC;YACG,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAClC,CAAC;YACG,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;CACJ;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB;IAExC,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;AAChD,CAAC"}

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

@@ -0,0 +1,6 @@
+export { bnfParserSymbolKey, bnfSymbolKey } from './bnf-symbol.js';
+export type { BnfNonTerminalSymbol, BnfSymbol, BnfTerminalSymbol, BnfTokenSymbol, } from './bnf-symbol.js';
+export type { BnfProduction } from './bnf-production.js';
+export { AUGMENTED_START_SYMBOL, BnfGrammar } from './bnf-grammar.js';
+export { desugarEbnf, EbnfDesugarer } from './desugar-ebnf.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACnE,YAAY,EACR,oBAAoB,EACpB,SAAS,EACT,iBAAiB,EACjB,cAAc,GACjB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC"}

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

@@ -0,0 +1,4 @@
+export { bnfParserSymbolKey, bnfSymbolKey } from './bnf-symbol.js';
+export { AUGMENTED_START_SYMBOL, BnfGrammar } from './bnf-grammar.js';
+export { desugarEbnf, EbnfDesugarer } from './desugar-ebnf.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/bnf/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAQnE,OAAO,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC"}

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

@@ -0,0 +1,11 @@
+import { type BnfGrammar } from './bnf/bnf-grammar.js';
+import type { LrAlgorithm } from './lr-algorithm.js';
+import { LrParseTable } from './table/lr-parse-table.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 declare function buildLrTable(grammar: BnfGrammar, algorithm: LrAlgorithm): LrParseTable;
+//# sourceMappingURL=build-lr-table.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"build-lr-table.d.ts","sourceRoot":"","sources":["../../../src/lib/parse-table/build-lr-table.ts"],"names":[],"mappings":"AAGA,OAAO,EAA0B,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAgBrD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGzD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,GAAG,YAAY,CAmBtF"}