parser-lr 0.2.3 → 0.3.0

package/dist/lib/parse-table/lr0/lr0-item-set.js

@@ -4,6 +4,7 @@ import { bnfParserSymbolKey, bnfSymbolKey } from '../bnf/bnf-symbol.js';
  *
  * @param grammar - Grammar containing the referenced production.
  * @param item - LR(0) item to encode.
+ * @returns A human-readable dotted production string for diagnostics.
  */
 export function lr0ItemKey(grammar, item) {
     const production = grammar.production(item.productionId);
@@ -43,38 +44,60 @@ export function sortLr0Items(items) {
         return left.dot - right.dot;
     });
 }
+/**
+ * Returns encoded symbol keys that appear immediately after the dot in an item set.
+ *
+ * @param grammar - BNF grammar containing referenced productions.
+ * @param items - Closed item set.
+ * @returns Sorted terminal and non-terminal keys eligible for GOTO from this state.
+ */
+export function symbolsAfterDot(grammar, items) {
+    const keys = new Set();
+    for (const item of items) {
+        const production = grammar.production(item.productionId);
+        if (production === null) {
+            continue;
+        }
+        const nextSymbol = production.rhs[item.dot];
+        if (nextSymbol === undefined) {
+            continue;
+        }
+        keys.add(bnfParserSymbolKey(nextSymbol));
+    }
+    return [...keys].sort();
+}
 /**
  * Computes the LR(0) closure of an item set.
  *
  * @param grammar - Plain or augmented BNF grammar.
  * @param items - Seed items.
+ * @returns The seed items plus all items implied by dotted non-terminal prefixes.
  */
 export function lr0Closure(grammar, items) {
     const result = sortLr0Items(items);
     const itemKeys = new Set(result.map((item) => Lr0ItemSetBuilder.itemIdentity(item)));
-    let changed = true;
-    while (changed) {
-        changed = false;
-        for (const item of [...result]) {
-            const production = grammar.production(item.productionId);
-            if (production === null) {
-                continue;
-            }
-            const nextSymbol = production.rhs[item.dot];
-            if (nextSymbol === undefined || nextSymbol.kind !== 'nonTerminal') {
-                continue;
-            }
-            for (const candidate of grammar.productionsFor(nextSymbol.name)) {
-                const closureItem = {
-                    productionId: candidate.id,
-                    dot: 0,
-                };
-                const identity = Lr0ItemSetBuilder.itemIdentity(closureItem);
-                if (!itemKeys.has(identity)) {
-                    itemKeys.add(identity);
-                    result.push(closureItem);
-                    changed = true;
-                }
+    const pendingIndices = result.map((_, index) => index);
+    // Expand closure from each newly discovered item only.
+    while (pendingIndices.length > 0) {
+        const item = result[pendingIndices.pop()];
+        const production = grammar.production(item.productionId);
+        if (production === null) {
+            continue;
+        }
+        const nextSymbol = production.rhs[item.dot];
+        if (nextSymbol === undefined || nextSymbol.kind !== 'nonTerminal') {
+            continue;
+        }
+        for (const candidate of grammar.productionsFor(nextSymbol.name)) {
+            const closureItem = {
+                productionId: candidate.id,
+                dot: 0,
+            };
+            const identity = Lr0ItemSetBuilder.itemIdentity(closureItem);
+            if (!itemKeys.has(identity)) {
+                itemKeys.add(identity);
+                pendingIndices.push(result.length);
+                result.push(closureItem);
             }
         }
     }
@@ -86,9 +109,11 @@ export function lr0Closure(grammar, items) {
  * @param grammar - Plain or augmented BNF grammar.
  * @param items - Closed item set.
  * @param symbolKey - Encoded terminal or non-terminal symbol.
+ * @returns The closed item set reached after advancing the dot past `symbolKey`.
  */
 export function lr0Goto(grammar, items, symbolKey) {
     const moved = [];
+    // Advance the dot on every item expecting `symbolKey`.
     for (const item of items) {
         const production = grammar.production(item.productionId);
         if (production === null) {
@@ -114,15 +139,30 @@ export function lr0Goto(grammar, items, symbolKey) {
 export class Lr0ItemSetCollection {
     grammar;
     itemSets;
+    indexByIdentity;
     /**
      * 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.
+     * @param indexByIdentity - Optional precomputed identity-to-state map.
      */
-    constructor(grammar, itemSets) {
+    constructor(
+    /** Grammar analyzed when the item sets were constructed. */
+    grammar, 
+    /** Closed LR(0) item sets indexed by parser state number. */
+    itemSets, indexByIdentity) {
         this.grammar = grammar;
         this.itemSets = itemSets;
+        if (indexByIdentity !== undefined) {
+            this.indexByIdentity = indexByIdentity;
+            return;
+        }
+        const builtIndex = new Map();
+        for (let index = 0; index < itemSets.length; index += 1) {
+            builtIndex.set(Lr0ItemSetBuilder.setIdentity(itemSets[index] ?? [], true), index);
+        }
+        this.indexByIdentity = builtIndex;
     }
     /**
      * Returns the index of an item set matching `items`, or null when absent.
@@ -130,13 +170,8 @@ export class Lr0ItemSetCollection {
      * @param items - Closed item set to locate.
      */
     indexOf(items) {
-        const target = Lr0ItemSetBuilder.setIdentity(items);
-        for (let index = 0; index < this.itemSets.length; index += 1) {
-            if (Lr0ItemSetBuilder.setIdentity(this.itemSets[index]) === target) {
-                return index;
-            }
-        }
-        return null;
+        const target = Lr0ItemSetBuilder.setIdentity(items, true);
+        return this.indexByIdentity.get(target) ?? null;
     }
 }
 /**
@@ -147,42 +182,42 @@ export class Lr0ItemSetBuilder {
      * Builds the canonical LR(0) collection for a grammar.
      *
      * @param grammar - Augmented or plain BNF grammar.
+     * @returns The canonical LR(0) item set collection for the grammar.
      */
     static build(grammar) {
         const startProductions = grammar.productionsFor(grammar.startSymbol);
         if (startProductions.length === 0) {
             return new Lr0ItemSetCollection(grammar, []);
         }
+        // Seed state 0 from the start production at dot zero.
         const initial = lr0Closure(grammar, [{
                 productionId: startProductions[0].id,
                 dot: 0,
             }]);
         const itemSets = [[...initial]];
-        const itemSetKeys = new Map([
-            [Lr0ItemSetBuilder.setIdentity(initial), 0],
+        const indexByIdentity = new Map([
+            [Lr0ItemSetBuilder.setIdentity(initial, true), 0],
         ]);
-        const symbols = Lr0ItemSetBuilder.grammarSymbolKeys(grammar);
-        let changed = true;
-        while (changed) {
-            changed = false;
-            for (const itemSet of [...itemSets]) {
-                for (const symbolKey of symbols) {
-                    const gotoSet = lr0Goto(grammar, itemSet, symbolKey);
-                    if (gotoSet.length === 0) {
-                        continue;
-                    }
-                    const gotoKey = Lr0ItemSetBuilder.setIdentity(gotoSet);
-                    const existingIndex = itemSetKeys.get(gotoKey);
-                    if (existingIndex === undefined) {
-                        const nextIndex = itemSets.length;
-                        itemSetKeys.set(gotoKey, nextIndex);
-                        itemSets.push([...gotoSet]);
-                        changed = true;
-                    }
+        const pendingStates = [0];
+        // Discover new states from each state exactly once.
+        while (pendingStates.length > 0) {
+            const stateIndex = pendingStates.pop();
+            const itemSet = itemSets[stateIndex] ?? [];
+            for (const symbolKey of symbolsAfterDot(grammar, itemSet)) {
+                const gotoSet = lr0Goto(grammar, itemSet, symbolKey);
+                if (gotoSet.length === 0) {
+                    continue;
+                }
+                const gotoKey = Lr0ItemSetBuilder.setIdentity(gotoSet, true);
+                if (!indexByIdentity.has(gotoKey)) {
+                    const nextIndex = itemSets.length;
+                    indexByIdentity.set(gotoKey, nextIndex);
+                    itemSets.push([...gotoSet]);
+                    pendingStates.push(nextIndex);
                 }
             }
         }
-        return new Lr0ItemSetCollection(grammar, itemSets);
+        return new Lr0ItemSetCollection(grammar, itemSets, indexByIdentity);
     }
     /**
      * Returns every terminal and non-terminal key that can appear in GOTO.
@@ -208,9 +243,11 @@ export class Lr0ItemSetBuilder {
      * Returns a stable identity string for an item set.
      *
      * @param items - Closed item set.
+     * @param alreadySorted - When true, skips re-sorting because items are canonical.
      */
-    static setIdentity(items) {
-        return sortLr0Items(items)
+    static setIdentity(items, alreadySorted = false) {
+        const sorted = alreadySorted ? items : sortLr0Items(items);
+        return sorted
             .map((item) => Lr0ItemSetBuilder.itemIdentity(item))
             .join('|');
     }
@@ -219,6 +256,7 @@ export class Lr0ItemSetBuilder {
  * Builds the canonical LR(0) item set collection for a grammar.
  *
  * @param grammar - Augmented or plain BNF grammar.
+ * @returns The canonical LR(0) item set collection for the grammar.
  */
 export function buildLr0ItemSets(grammar) {
     return Lr0ItemSetBuilder.build(grammar);

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

@@ -1 +1 @@
-{"version":3,"file":"lr0-item-set.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr0/lr0-item-set.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAWxE;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,OAAmB,EAAE,IAAa;IAEzD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;QACG,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE5C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EACvB,CAAC;QACG,OAAO,GAAG,UAAU,CAAC,IAAI,QAAQ,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EACtB,CAAC;QACG,OAAO,GAAG,UAAU,CAAC,IAAI,MAAM,MAAM,IAAI,CAAC;IAC9C,CAAC;IAED,OAAO,GAAG,UAAU,CAAC,IAAI,MAAM,MAAM,MAAM,KAAK,EAAE,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa,EAAE,KAAc;IAEvD,OAAO,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAyB;IAElD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAEnC,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,EAC5C,CAAC;YACG,OAAO,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;QAClD,CAAC;QAED,OAAO,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IAChC,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,OAAmB,EAAE,KAAyB;IAErE,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrF,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,OAAO,OAAO,EACd,CAAC;QACG,OAAO,GAAG,KAAK,CAAC;QAEhB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,EAC9B,CAAC;YACG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;gBACG,SAAS;YACb,CAAC;YAED,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAE5C,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EACjE,CAAC;gBACG,SAAS;YACb,CAAC;YAED,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,EAC/D,CAAC;gBACG,MAAM,WAAW,GAAY;oBACzB,YAAY,EAAE,SAAS,CAAC,EAAE;oBAC1B,GAAG,EAAE,CAAC;iBACT,CAAC;gBACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;gBAE7D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAC3B,CAAC;oBACG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACvB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBACzB,OAAO,GAAG,IAAI,CAAC;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CACnB,OAAmB,EACnB,KAAyB,EACzB,SAAiB;IAGjB,MAAM,KAAK,GAAc,EAAE,CAAC;IAE5B,KAAK,MAAM,IAAI,IAAI,KAAK,EACxB,CAAC;QACG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;YACG,SAAS;QACb,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE5C,IAAI,UAAU,KAAK,SAAS,IAAI,kBAAkB,CAAC,UAAU,CAAC,KAAK,SAAS,EAC5E,CAAC;YACG,SAAS;QACb,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACP,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC;SACpB,CAAC,CAAC;IACP,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EACtB,CAAC;QACG,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,oBAAoB;IAST;IACA;IARpB;;;;;OAKG;IACH,YACoB,OAAmB,EACnB,QAAyC;QADzC,YAAO,GAAP,OAAO,CAAY;QACnB,aAAQ,GAAR,QAAQ,CAAiC;IAG7D,CAAC;IAED;;;;OAIG;IACI,OAAO,CAAC,KAAyB;QAEpC,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAEpD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAC5D,CAAC;YACG,IAAI,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,MAAM,EAClE,CAAC;gBACG,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAE1B;;;;OAIG;IACI,MAAM,CAAC,KAAK,CAAC,OAAmB;QAEnC,MAAM,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAErE,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EACjC,CAAC;YACG,OAAO,IAAI,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;gBACjC,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE;gBACpC,GAAG,EAAE,CAAC;aACT,CAAC,CAAC,CAAC;QACJ,MAAM,QAAQ,GAAgB,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAiB;YACxC,CAAC,iBAAiB,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC7D,IAAI,OAAO,GAAG,IAAI,CAAC;QAEnB,OAAO,OAAO,EACd,CAAC;YACG,OAAO,GAAG,KAAK,CAAC;YAEhB,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,QAAQ,CAAC,EACnC,CAAC;gBACG,KAAK,MAAM,SAAS,IAAI,OAAO,EAC/B,CAAC;oBACG,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBAErD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EACxB,CAAC;wBACG,SAAS;oBACb,CAAC;oBAED,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;oBACvD,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAE/C,IAAI,aAAa,KAAK,SAAS,EAC/B,CAAC;wBACG,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;wBAClC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;wBACpC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;wBAC5B,OAAO,GAAG,IAAI,CAAC;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,IAAI,oBAAoB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,iBAAiB,CAAC,OAAmB;QAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;QAErD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,gBAAgB,EAAE,EAC7C,CAAC;YACG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,YAAY,CAAC,IAAa;QAEpC,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,WAAW,CAAC,KAAyB;QAE/C,OAAO,YAAY,CAAC,KAAK,CAAC;aACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;aACnD,IAAI,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;CACJ;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAmB;IAEhD,OAAO,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAmB,EAAE,KAAyB;IAE3E,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AACxE,CAAC"}
+{"version":3,"file":"lr0-item-set.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr0/lr0-item-set.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAcxE;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,OAAmB,EAAE,IAAa;IAEzD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;QACG,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE5C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EACvB,CAAC;QACG,OAAO,GAAG,UAAU,CAAC,IAAI,QAAQ,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EACtB,CAAC;QACG,OAAO,GAAG,UAAU,CAAC,IAAI,MAAM,MAAM,IAAI,CAAC;IAC9C,CAAC;IAED,OAAO,GAAG,UAAU,CAAC,IAAI,MAAM,MAAM,MAAM,KAAK,EAAE,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa,EAAE,KAAc;IAEvD,OAAO,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAyB;IAElD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAEnC,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,EAC5C,CAAC;YACG,OAAO,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;QAClD,CAAC;QAED,OAAO,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IAChC,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC3B,OAAmB,EACnB,KAAyB;IAGzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,IAAI,IAAI,KAAK,EACxB,CAAC;QACG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;YACG,SAAS;QACb,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE5C,IAAI,UAAU,KAAK,SAAS,EAC5B,CAAC;YACG,SAAS;QACb,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,OAAmB,EAAE,KAAyB;IAErE,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,cAAc,GAAa,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IAEjE,uDAAuD;IACvD,OAAO,cAAc,CAAC,MAAM,GAAG,CAAC,EAChC,CAAC;QACG,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,EAAG,CAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;YACG,SAAS;QACb,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE5C,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EACjE,CAAC;YACG,SAAS;QACb,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,EAC/D,CAAC;YACG,MAAM,WAAW,GAAY;gBACzB,YAAY,EAAE,SAAS,CAAC,EAAE;gBAC1B,GAAG,EAAE,CAAC;aACT,CAAC;YACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;YAE7D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAC3B,CAAC;gBACG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACvB,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7B,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CACnB,OAAmB,EACnB,KAAyB,EACzB,SAAiB;IAGjB,MAAM,KAAK,GAAc,EAAE,CAAC;IAE5B,uDAAuD;IACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EACxB,CAAC;QACG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;YACG,SAAS;QACb,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE5C,IAAI,UAAU,KAAK,SAAS,IAAI,kBAAkB,CAAC,UAAU,CAAC,KAAK,SAAS,EAC5E,CAAC;YACG,SAAS;QACb,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACP,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC;SACpB,CAAC,CAAC;IACP,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EACtB,CAAC;QACG,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,oBAAoB;IAaT;IAEA;IAbH,eAAe,CAA8B;IAE9D;;;;;;OAMG;IACH;IACI,4DAA4D;IAC5C,OAAmB;IACnC,6DAA6D;IAC7C,QAAyC,EACzD,eAA6C;QAH7B,YAAO,GAAP,OAAO,CAAY;QAEnB,aAAQ,GAAR,QAAQ,CAAiC;QAIzD,IAAI,eAAe,KAAK,SAAS,EACjC,CAAC;YACG,IAAI,CAAC,eAAe,GAAG,eAAe,CAAC;YACvC,OAAO;QACX,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EACvD,CAAC;YACG,UAAU,CAAC,GAAG,CACV,iBAAiB,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,EAC1D,KAAK,CACR,CAAC;QACN,CAAC;QAED,IAAI,CAAC,eAAe,GAAG,UAAU,CAAC;IACtC,CAAC;IAED;;;;OAIG;IACI,OAAO,CAAC,KAAyB;QAEpC,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAE1D,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IACpD,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAE1B;;;;;OAKG;IACI,MAAM,CAAC,KAAK,CAAC,OAAmB;QAEnC,MAAM,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAErE,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EACjC,CAAC;YACG,OAAO,IAAI,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjD,CAAC;QAED,sDAAsD;QACtD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;gBACjC,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE;gBACpC,GAAG,EAAE,CAAC;aACT,CAAC,CAAC,CAAC;QACJ,MAAM,QAAQ,GAAgB,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;QAC7C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAiB;YAC5C,CAAC,iBAAiB,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,aAAa,GAAa,CAAC,CAAC,CAAC,CAAC;QAEpC,oDAAoD;QACpD,OAAO,aAAa,CAAC,MAAM,GAAG,CAAC,EAC/B,CAAC;YACG,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAG,CAAC;YACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAE3C,KAAK,MAAM,SAAS,IAAI,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,EACzD,CAAC;gBACG,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;gBAErD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EACxB,CAAC;oBACG,SAAS;gBACb,CAAC;gBAED,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAE7D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,EACjC,CAAC;oBACG,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;oBAClC,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;oBACxC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;oBAC5B,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClC,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,IAAI,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;IACxE,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,iBAAiB,CAAC,OAAmB;QAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;QAErD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,gBAAgB,EAAE,EAC7C,CAAC;YACG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,YAAY,CAAC,IAAa;QAEpC,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,WAAW,CAAC,KAAyB,EAAE,aAAa,GAAG,KAAK;QAEtE,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAE3D,OAAO,MAAM;aACR,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;aACnD,IAAI,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;CACJ;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAmB;IAEhD,OAAO,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAmB,EAAE,KAAyB;IAE3E,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AACxE,CAAC"}

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

@@ -6,8 +6,11 @@ import type { Lr0Item } from '../lr0/lr0-item-set.js';
  * One LR(1) item: a dotted production with a single lookahead terminal.
  */
 export interface Lr1Item {
+    /** Stable production id assigned during BNF desugaring. */
     readonly productionId: number;
+    /** Number of right-hand side symbols before the dot. */
     readonly dot: number;
+    /** Encoded terminal key governing reduce and shift in this state. */
     readonly lookahead: string;
 }
 /**
@@ -15,36 +18,43 @@ export interface Lr1Item {
  *
  * @param left - First item.
  * @param right - Second item.
+ * @returns True when production id, dot, and lookahead match.
  */
 export declare function lr1ItemsEqual(left: Lr1Item, right: Lr1Item): boolean;
 /**
  * Sorts LR(1) items for canonical set comparison.
  *
  * @param items - Items to sort.
+ * @returns A new array sorted by production id, dot, then lookahead.
  */
 export declare function sortLr1Items(items: readonly Lr1Item[]): Lr1Item[];
 /**
  * Returns the LR(0) core key for one LR(1) item.
  *
  * @param item - LR(1) item to encode.
+ * @returns A string `productionId:dot` shared by all lookaheads at the same dot position.
  */
 export declare function lr1CoreKey(item: Lr1Item): string;
 /**
  * Returns a stable identity string for one LR(1) item.
  *
  * @param item - Item to encode.
+ * @returns A string `productionId:dot:lookahead` for set membership tests.
  */
 export declare function lr1ItemIdentity(item: Lr1Item): string;
 /**
  * Returns a stable identity string for an LR(1) item set.
  *
  * @param items - Closed item set.
+ * @param alreadySorted - When true, skips re-sorting because items are canonical.
+ * @returns A pipe-separated, sorted identity string for canonical set comparison.
  */
-export declare function lr1SetIdentity(items: readonly Lr1Item[]): string;
+export declare function lr1SetIdentity(items: readonly Lr1Item[], alreadySorted?: boolean): string;
 /**
  * Returns the LR(0) core identity for an LR(1) item set.
  *
  * @param items - LR(1) item set.
+ * @returns A pipe-separated, sorted string of LR(0) cores with lookaheads removed.
  */
 export declare function lr1CoreSetIdentity(items: readonly Lr1Item[]): string;
 /**
@@ -53,6 +63,7 @@ export declare function lr1CoreSetIdentity(items: readonly Lr1Item[]): string;
  * @param beta - Remaining right-hand side symbols after a non-terminal.
  * @param lookahead - Lookahead terminal following β.
  * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @returns Terminal keys that may follow the dotted non-terminal in this item.
  */
 export declare function firstAfterSymbols(beta: readonly BnfSymbol[], lookahead: string, analysis: GrammarAnalysis): ReadonlySet<string>;
 /**
@@ -61,6 +72,7 @@ export declare function firstAfterSymbols(beta: readonly BnfSymbol[], lookahead:
  * @param grammar - Augmented BNF grammar.
  * @param analysis - Nullable and FIRST analysis for the grammar.
  * @param items - Seed items.
+ * @returns The seed items plus all items implied by dotted non-terminal prefixes.
  */
 export declare function lr1Closure(grammar: BnfGrammar, analysis: GrammarAnalysis, items: readonly Lr1Item[]): readonly Lr1Item[];
 /**
@@ -70,31 +82,42 @@ export declare function lr1Closure(grammar: BnfGrammar, analysis: GrammarAnalysi
  * @param analysis - Nullable and FIRST analysis for the grammar.
  * @param items - Closed item set.
  * @param symbolKey - Encoded terminal or non-terminal symbol.
+ * @returns The closed item set reached after advancing the dot past `symbolKey`.
  */
 export declare function lr1Goto(grammar: BnfGrammar, analysis: GrammarAnalysis, items: readonly Lr1Item[], symbolKey: string): readonly Lr1Item[];
 /**
  * Canonical collection of LR(1) item sets for a BNF grammar.
  */
 export declare class Lr1ItemSetCollection {
+    /** Grammar analyzed when the item sets were constructed. */
     readonly grammar: BnfGrammar;
+    /** Closed LR(1) item sets indexed by parser state number. */
     readonly itemSets: readonly (readonly Lr1Item[])[];
+    private readonly indexByIdentity;
     /**
      * Creates a collection from an ordered list of closed item sets.
      *
      * @param grammar - Grammar the item sets were built from.
      * @param itemSets - Closed LR(1) item sets in discovery order.
+     * @param indexByIdentity - Optional precomputed identity-to-state map.
      */
-    constructor(grammar: BnfGrammar, itemSets: readonly (readonly Lr1Item[])[]);
+    constructor(
+    /** Grammar analyzed when the item sets were constructed. */
+    grammar: BnfGrammar, 
+    /** Closed LR(1) item sets indexed by parser state number. */
+    itemSets: readonly (readonly Lr1Item[])[], indexByIdentity?: ReadonlyMap<string, number>);
     /**
      * Returns the index of an item set matching `items`, or null when absent.
      *
      * @param items - Closed item set to locate.
+     * @returns State index, or null when no set has the same canonical identity.
      */
     indexOf(items: readonly Lr1Item[]): number | null;
     /**
      * Returns LR(0) items derived from one LR(1) item set.
      *
      * @param items - LR(1) item set.
+     * @returns Deduplicated LR(0) cores with lookaheads stripped.
      */
     static lr0Core(items: readonly Lr1Item[]): readonly Lr0Item[];
 }
@@ -108,6 +131,7 @@ export declare class Lr1ItemSetBuilder {
      * @param grammar - Augmented BNF grammar.
      * @param analysis - Nullable and FIRST analysis for the grammar.
      * @param startLookahead - Lookahead terminal for the initial item.
+     * @returns The canonical LR(1) item set collection for the grammar.
      */
     static build(grammar: BnfGrammar, analysis: GrammarAnalysis, startLookahead: string): Lr1ItemSetCollection;
 }
@@ -117,12 +141,14 @@ export declare class Lr1ItemSetBuilder {
  * @param grammar - Augmented BNF grammar.
  * @param analysis - Nullable and FIRST analysis for the grammar.
  * @param startLookahead - Lookahead terminal for the initial item.
+ * @returns The canonical LR(1) item set collection for the grammar.
  */
 export declare function buildLr1ItemSets(grammar: BnfGrammar, analysis: GrammarAnalysis, startLookahead: string): Lr1ItemSetCollection;
 /**
  * Merges LR(1) item sets that share the same LR(0) core into LALR item sets.
  *
  * @param collection - Canonical LR(1) item set collection.
+ * @returns A new collection with LR(1) states merged by LR(0) core.
  */
 export declare function mergeLalrItemSets(collection: Lr1ItemSetCollection): Lr1ItemSetCollection;
 /**
@@ -133,6 +159,7 @@ export declare function mergeLalrItemSets(collection: Lr1ItemSetCollection): Lr1
  * @param lr1Collection - Canonical LR(1) item set collection.
  * @param lalrCollection - Merged LALR item set collection.
  * @param lr1ToLalr - LR(1) state index to LALR state index map.
+ * @returns Map from `state:symbol` keys to LALR GOTO target state indices.
  */
 export declare function buildLalrGotoTargets(grammar: BnfGrammar, analysis: GrammarAnalysis, lr1Collection: Lr1ItemSetCollection, lr1ToLalr: ReadonlyMap<number, number>): ReadonlyMap<string, number>;
 /**
@@ -144,6 +171,7 @@ export declare namespace Lr1ItemSetBuilder {
      *
      * @param left - Existing merged item set.
      * @param right - Additional LR(1) item set to merge in.
+     * @returns Items with lookaheads unioned for each shared LR(0) core.
      */
     function mergeItems(left: readonly Lr1Item[], right: readonly Lr1Item[]): Lr1Item[];
     /**
@@ -151,6 +179,7 @@ export declare namespace Lr1ItemSetBuilder {
      *
      * @param lr1Collection - Canonical LR(1) item set collection.
      * @param lalrCollection - Merged LALR item set collection.
+     * @returns Map from LR(1) state index to merged LALR state index.
      */
     function buildLr1ToLalrMap(lr1Collection: Lr1ItemSetCollection, lalrCollection: Lr1ItemSetCollection): Map<number, number>;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"lr1-item-set.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr1/lr1-item-set.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAItD;;GAEG;AACH,MAAM,WAAW,OAAO;IAEpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAKpE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,CAgBjE;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAGhD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAGrD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAKhE;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAKpE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC7B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,eAAe,GAC1B,WAAW,CAAC,MAAM,CAAC,CAoBrB;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CACtB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,KAAK,EAAE,SAAS,OAAO,EAAE,GAC1B,SAAS,OAAO,EAAE,CAmDpB;AAED;;;;;;;GAOG;AACH,wBAAgB,OAAO,CACnB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,SAAS,EAAE,MAAM,GAClB,SAAS,OAAO,EAAE,CAiCpB;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;IAexD;;;;OAIG;WACW,OAAO,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE;CAcvE;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;;;;;OAMG;WACW,KAAK,CACf,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,cAAc,EAAE,MAAM,GACvB,oBAAoB;CAoD1B;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC5B,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,cAAc,EAAE,MAAM,GACvB,oBAAoB,CAGtB;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,oBAAoB,GAAG,oBAAoB,CA6BxF;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAChC,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,aAAa,EAAE,oBAAoB,EACnC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACvC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CA4C7B;AAED;;GAEG;AACH,yBAAiB,iBAAiB,CAClC;IACI;;;;;OAKG;IACH,SAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,CA+BzF;IAED;;;;;OAKG;IACH,SAAgB,iBAAiB,CAC7B,aAAa,EAAE,oBAAoB,EACnC,cAAc,EAAE,oBAAoB,GACrC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA0BrB;CACJ"}
+{"version":3,"file":"lr1-item-set.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr1/lr1-item-set.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAItD;;GAEG;AACH,MAAM,WAAW,OAAO;IAEpB,2DAA2D;IAC3D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAE9B,wDAAwD;IACxD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAKpE;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,CAgBjE;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAGhD;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAGrD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,EAAE,aAAa,UAAQ,GAAG,MAAM,CAOvF;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAKpE;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC7B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,eAAe,GAC1B,WAAW,CAAC,MAAM,CAAC,CAsBrB;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACtB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,KAAK,EAAE,SAAS,OAAO,EAAE,GAC1B,SAAS,OAAO,EAAE,CAiDpB;AAED;;;;;;;;GAQG;AACH,wBAAgB,OAAO,CACnB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,SAAS,EAAE,MAAM,GAClB,SAAS,OAAO,EAAE,CAkCpB;AAED;;GAEG;AACH,qBAAa,oBAAoB;IAYzB,4DAA4D;aAC5C,OAAO,EAAE,UAAU;IACnC,6DAA6D;aAC7C,QAAQ,EAAE,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE;IAb7D,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAE9D;;;;;;OAMG;;IAEC,4DAA4D;IAC5C,OAAO,EAAE,UAAU;IACnC,6DAA6D;IAC7C,QAAQ,EAAE,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE,EACzD,eAAe,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;IAmBjD;;;;;OAKG;IACI,OAAO,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,GAAG,IAAI;IAKxD;;;;;OAKG;WACW,OAAO,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE;CAcvE;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;;;;;;OAOG;WACW,KAAK,CACf,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,cAAc,EAAE,MAAM,GACvB,oBAAoB;CAkD1B;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC5B,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,cAAc,EAAE,MAAM,GACvB,oBAAoB,CAGtB;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,oBAAoB,GAAG,oBAAoB,CA8BxF;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAChC,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,aAAa,EAAE,oBAAoB,EACnC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACvC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CA4C7B;AAED;;GAEG;AACH,yBAAiB,iBAAiB,CAClC;IACI;;;;;;OAMG;IACH,SAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,CAiCzF;IAED;;;;;;OAMG;IACH,SAAgB,iBAAiB,CAC7B,aAAa,EAAE,oBAAoB,EACnC,cAAc,EAAE,oBAAoB,GACrC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA4BrB;CACJ"}