parser-lr 0.0.0 → 0.2.1

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

@@ -0,0 +1,380 @@
+import { bnfParserSymbolKey } from '../bnf/bnf-symbol.js';
+import { sortLr0Items } from '../lr0/lr0-item-set.js';
+import { TableBuilderBase } from '../table/table-builder-base.js';
+/**
+ * Returns whether two LR(1) items are identical.
+ *
+ * @param left - First item.
+ * @param right - Second item.
+ */
+export function lr1ItemsEqual(left, right) {
+    return left.productionId === right.productionId
+        && left.dot === right.dot
+        && left.lookahead === right.lookahead;
+}
+/**
+ * Sorts LR(1) items for canonical set comparison.
+ *
+ * @param items - Items to sort.
+ */
+export function sortLr1Items(items) {
+    return [...items].sort((left, right) => {
+        if (left.productionId !== right.productionId) {
+            return left.productionId - right.productionId;
+        }
+        if (left.dot !== right.dot) {
+            return left.dot - right.dot;
+        }
+        return left.lookahead.localeCompare(right.lookahead);
+    });
+}
+/**
+ * Returns the LR(0) core key for one LR(1) item.
+ *
+ * @param item - LR(1) item to encode.
+ */
+export function lr1CoreKey(item) {
+    return `${String(item.productionId)}:${String(item.dot)}`;
+}
+/**
+ * Returns a stable identity string for one LR(1) item.
+ *
+ * @param item - Item to encode.
+ */
+export function lr1ItemIdentity(item) {
+    return `${lr1CoreKey(item)}:${item.lookahead}`;
+}
+/**
+ * Returns a stable identity string for an LR(1) item set.
+ *
+ * @param items - Closed item set.
+ */
+export function lr1SetIdentity(items) {
+    return sortLr1Items(items)
+        .map((item) => lr1ItemIdentity(item))
+        .join('|');
+}
+/**
+ * Returns the LR(0) core identity for an LR(1) item set.
+ *
+ * @param items - LR(1) item set.
+ */
+export function lr1CoreSetIdentity(items) {
+    const cores = new Set(items.map((item) => lr1CoreKey(item)));
+    return [...cores].sort().join('|');
+}
+/**
+ * Computes FIRST(β) ∪ { lookahead } when every symbol in β is nullable.
+ *
+ * @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.
+ */
+export function firstAfterSymbols(beta, lookahead, analysis) {
+    const result = new Set();
+    for (const symbol of beta) {
+        for (const terminal of analysis.firstOfSymbol(symbol)) {
+            result.add(terminal);
+        }
+        if (!analysis.isSymbolNullable(symbol)) {
+            return result;
+        }
+    }
+    result.add(lookahead);
+    return result;
+}
+/**
+ * Computes the LR(1) closure of an item set.
+ *
+ * @param grammar - Augmented BNF grammar.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @param items - Seed items.
+ */
+export function lr1Closure(grammar, analysis, items) {
+    const result = sortLr1Items(items);
+    const itemKeys = new Set(result.map((item) => lr1ItemIdentity(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;
+            }
+            const beta = production.rhs.slice(item.dot + 1);
+            for (const candidate of grammar.productionsFor(nextSymbol.name)) {
+                for (const lookahead of firstAfterSymbols(beta, item.lookahead, analysis)) {
+                    const closureItem = {
+                        productionId: candidate.id,
+                        dot: 0,
+                        lookahead,
+                    };
+                    const identity = lr1ItemIdentity(closureItem);
+                    if (!itemKeys.has(identity)) {
+                        itemKeys.add(identity);
+                        result.push(closureItem);
+                        changed = true;
+                    }
+                }
+            }
+        }
+    }
+    return sortLr1Items(result);
+}
+/**
+ * Computes the LR(1) GOTO set for symbol `symbolKey`.
+ *
+ * @param grammar - Augmented BNF grammar.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @param items - Closed item set.
+ * @param symbolKey - Encoded terminal or non-terminal symbol.
+ */
+export function lr1Goto(grammar, analysis, items, symbolKey) {
+    const moved = [];
+    for (const item of items) {
+        const production = grammar.production(item.productionId);
+        if (production === null) {
+            continue;
+        }
+        const nextSymbol = production.rhs[item.dot];
+        if (nextSymbol === undefined || bnfParserSymbolKey(nextSymbol) !== symbolKey) {
+            continue;
+        }
+        moved.push({
+            productionId: item.productionId,
+            dot: item.dot + 1,
+            lookahead: item.lookahead,
+        });
+    }
+    if (moved.length === 0) {
+        return [];
+    }
+    return lr1Closure(grammar, analysis, moved);
+}
+/**
+ * Canonical collection of LR(1) item sets for a BNF grammar.
+ */
+export class Lr1ItemSetCollection {
+    grammar;
+    itemSets;
+    /**
+     * 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.
+     */
+    constructor(grammar, itemSets) {
+        this.grammar = grammar;
+        this.itemSets = itemSets;
+    }
+    /**
+     * Returns the index of an item set matching `items`, or null when absent.
+     *
+     * @param items - Closed item set to locate.
+     */
+    indexOf(items) {
+        const target = lr1SetIdentity(items);
+        for (let index = 0; index < this.itemSets.length; index += 1) {
+            if (lr1SetIdentity(this.itemSets[index]) === target) {
+                return index;
+            }
+        }
+        return null;
+    }
+    /**
+     * Returns LR(0) items derived from one LR(1) item set.
+     *
+     * @param items - LR(1) item set.
+     */
+    static lr0Core(items) {
+        const cores = new Map();
+        for (const item of items) {
+            cores.set(lr1CoreKey(item), {
+                productionId: item.productionId,
+                dot: item.dot,
+            });
+        }
+        return sortLr0Items([...cores.values()]);
+    }
+}
+/**
+ * Builds LR(1) item sets for a BNF grammar.
+ */
+export class Lr1ItemSetBuilder {
+    /**
+     * Builds the canonical LR(1) collection for a grammar.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param analysis - Nullable and FIRST analysis for the grammar.
+     * @param startLookahead - Lookahead terminal for the initial item.
+     */
+    static build(grammar, analysis, startLookahead) {
+        const startProductions = grammar.productionsFor(grammar.startSymbol);
+        if (startProductions.length === 0) {
+            return new Lr1ItemSetCollection(grammar, []);
+        }
+        const initial = lr1Closure(grammar, analysis, [{
+                productionId: startProductions[0].id,
+                dot: 0,
+                lookahead: startLookahead,
+            }]);
+        const itemSets = [[...initial]];
+        const itemSetKeys = new Map([
+            [lr1SetIdentity(initial), 0],
+        ]);
+        const symbols = grammar.terminalKeys().concat(grammar.nonTerminalNames()).sort();
+        let changed = true;
+        while (changed) {
+            changed = false;
+            for (const itemSet of [...itemSets]) {
+                for (const symbolKey of symbols) {
+                    const gotoSet = lr1Goto(grammar, analysis, itemSet, symbolKey);
+                    if (gotoSet.length === 0) {
+                        continue;
+                    }
+                    const gotoKey = lr1SetIdentity(gotoSet);
+                    const existingIndex = itemSetKeys.get(gotoKey);
+                    if (existingIndex === undefined) {
+                        const nextIndex = itemSets.length;
+                        itemSetKeys.set(gotoKey, nextIndex);
+                        itemSets.push([...gotoSet]);
+                        changed = true;
+                    }
+                }
+            }
+        }
+        return new Lr1ItemSetCollection(grammar, itemSets);
+    }
+}
+/**
+ * Builds the canonical LR(1) item set collection for a grammar.
+ *
+ * @param grammar - Augmented BNF grammar.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @param startLookahead - Lookahead terminal for the initial item.
+ */
+export function buildLr1ItemSets(grammar, analysis, startLookahead) {
+    return Lr1ItemSetBuilder.build(grammar, analysis, startLookahead);
+}
+/**
+ * Merges LR(1) item sets that share the same LR(0) core into LALR item sets.
+ *
+ * @param collection - Canonical LR(1) item set collection.
+ */
+export function mergeLalrItemSets(collection) {
+    const coreToLalrIndex = new Map();
+    const lr1ToLalr = new Map();
+    const mergedItemSets = [];
+    for (let lr1Index = 0; lr1Index < collection.itemSets.length; lr1Index += 1) {
+        const itemSet = collection.itemSets[lr1Index] ?? [];
+        const core = lr1CoreSetIdentity(itemSet);
+        let lalrIndex = coreToLalrIndex.get(core);
+        if (lalrIndex === undefined) {
+            lalrIndex = mergedItemSets.length;
+            coreToLalrIndex.set(core, lalrIndex);
+            mergedItemSets.push([]);
+        }
+        lr1ToLalr.set(lr1Index, lalrIndex);
+        mergedItemSets[lalrIndex] = Lr1ItemSetBuilder.mergeItems(mergedItemSets[lalrIndex] ?? [], itemSet);
+    }
+    const remappedItemSets = mergedItemSets.map((itemSet) => sortLr1Items(itemSet));
+    return new Lr1ItemSetCollection(collection.grammar, remappedItemSets);
+}
+/**
+ * Builds LALR GOTO target indices from an LR(1) collection and merged LALR states.
+ *
+ * @param grammar - Augmented BNF grammar.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @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.
+ */
+export function buildLalrGotoTargets(grammar, analysis, lr1Collection, lr1ToLalr) {
+    const targets = new Map();
+    const symbols = grammar.terminalKeys().concat(grammar.nonTerminalNames()).sort();
+    for (let lr1State = 0; lr1State < lr1Collection.itemSets.length; lr1State += 1) {
+        const lalrState = lr1ToLalr.get(lr1State);
+        if (lalrState === undefined) {
+            continue;
+        }
+        const itemSet = lr1Collection.itemSets[lr1State] ?? [];
+        for (const symbolKey of symbols) {
+            const gotoSet = lr1Goto(grammar, analysis, itemSet, symbolKey);
+            if (gotoSet.length === 0) {
+                continue;
+            }
+            const lr1Target = lr1Collection.indexOf(gotoSet);
+            if (lr1Target === null) {
+                continue;
+            }
+            const lalrTarget = lr1ToLalr.get(lr1Target);
+            if (lalrTarget === undefined) {
+                continue;
+            }
+            targets.set(TableBuilderBase.gotoKey(lalrState, symbolKey), lalrTarget);
+        }
+    }
+    return targets;
+}
+/**
+ * Merges lookaheads for LR(1) items sharing the same LR(0) core.
+ */
+(function (Lr1ItemSetBuilder) {
+    /**
+     * Unions lookaheads for items with the same dotted production.
+     *
+     * @param left - Existing merged item set.
+     * @param right - Additional LR(1) item set to merge in.
+     */
+    function mergeItems(left, right) {
+        const lookaheadsByCore = new Map();
+        for (const item of [...left, ...right]) {
+            const core = lr1CoreKey(item);
+            const lookaheads = lookaheadsByCore.get(core) ?? new Set();
+            lookaheads.add(item.lookahead);
+            lookaheadsByCore.set(core, lookaheads);
+        }
+        const merged = [];
+        for (const [core, lookaheads] of lookaheadsByCore.entries()) {
+            const [productionIdText, dotText] = core.split(':');
+            const productionId = Number(productionIdText);
+            const dot = Number(dotText);
+            for (const lookahead of [...lookaheads].sort()) {
+                merged.push({
+                    productionId,
+                    dot,
+                    lookahead,
+                });
+            }
+        }
+        return sortLr1Items(merged);
+    }
+    Lr1ItemSetBuilder.mergeItems = mergeItems;
+    /**
+     * Builds the LR(1) to LALR state index map for merged item sets.
+     *
+     * @param lr1Collection - Canonical LR(1) item set collection.
+     * @param lalrCollection - Merged LALR item set collection.
+     */
+    function buildLr1ToLalrMap(lr1Collection, lalrCollection) {
+        const coreToLalrIndex = new Map();
+        for (let lalrIndex = 0; lalrIndex < lalrCollection.itemSets.length; lalrIndex += 1) {
+            coreToLalrIndex.set(lr1CoreSetIdentity(lalrCollection.itemSets[lalrIndex] ?? []), lalrIndex);
+        }
+        const lr1ToLalr = new Map();
+        for (let lr1Index = 0; lr1Index < lr1Collection.itemSets.length; lr1Index += 1) {
+            const core = lr1CoreSetIdentity(lr1Collection.itemSets[lr1Index] ?? []);
+            const lalrIndex = coreToLalrIndex.get(core);
+            if (lalrIndex !== undefined) {
+                lr1ToLalr.set(lr1Index, lalrIndex);
+            }
+        }
+        return lr1ToLalr;
+    }
+    Lr1ItemSetBuilder.buildLr1ToLalrMap = buildLr1ToLalrMap;
+})(Lr1ItemSetBuilder || (Lr1ItemSetBuilder = {}));
+//# sourceMappingURL=lr1-item-set.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lr1-item-set.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr1/lr1-item-set.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAkB,MAAM,sBAAsB,CAAC;AAE1E,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAYlE;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa,EAAE,KAAc;IAEvD,OAAO,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WACxC,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG;WACtB,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC;AAC9C,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,IAAI,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,EAC1B,CAAC;YACG,OAAO,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;QAChC,CAAC;QAED,OAAO,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa;IAEpC,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAa;IAEzC,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAyB;IAEpD,OAAO,YAAY,CAAC,KAAK,CAAC;SACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;SACpC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAyB;IAExD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE7D,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC7B,IAA0B,EAC1B,SAAiB,EACjB,QAAyB;IAGzB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjC,KAAK,MAAM,MAAM,IAAI,IAAI,EACzB,CAAC;QACG,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EACrD,CAAC;YACG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,EACtC,CAAC;YACG,OAAO,MAAM,CAAC;QAClB,CAAC;IACL,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAEtB,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CACtB,OAAmB,EACnB,QAAyB,EACzB,KAAyB;IAGzB,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,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,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YAEhD,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,EAC/D,CAAC;gBACG,KAAK,MAAM,SAAS,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EACzE,CAAC;oBACG,MAAM,WAAW,GAAY;wBACzB,YAAY,EAAE,SAAS,CAAC,EAAE;wBAC1B,GAAG,EAAE,CAAC;wBACN,SAAS;qBACZ,CAAC;oBACF,MAAM,QAAQ,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;oBAE9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAC3B,CAAC;wBACG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;wBACvB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBACzB,OAAO,GAAG,IAAI,CAAC;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CACnB,OAAmB,EACnB,QAAyB,EACzB,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;YACjB,SAAS,EAAE,IAAI,CAAC,SAAS;SAC5B,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,QAAQ,EAAE,KAAK,CAAC,CAAC;AAChD,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,cAAc,CAAC,KAAK,CAAC,CAAC;QAErC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAC5D,CAAC;YACG,IAAI,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,MAAM,EACnD,CAAC;gBACG,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,OAAO,CAAC,KAAyB;QAE3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;QAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EACxB,CAAC;YACG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE;gBACxB,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,GAAG,EAAE,IAAI,CAAC,GAAG;aAChB,CAAC,CAAC;QACP,CAAC;QAED,OAAO,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAE1B;;;;;;OAMG;IACI,MAAM,CAAC,KAAK,CACf,OAAmB,EACnB,QAAyB,EACzB,cAAsB;QAGtB,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,QAAQ,EAAE,CAAC;gBAC3C,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE;gBACpC,GAAG,EAAE,CAAC;gBACN,SAAS,EAAE,cAAc;aAC5B,CAAC,CAAC,CAAC;QACJ,MAAM,QAAQ,GAAgB,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAiB;YACxC,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SAC/B,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACjF,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,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBAE/D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EACxB,CAAC;wBACG,SAAS;oBACb,CAAC;oBAED,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;oBACxC,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;CACJ;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC5B,OAAmB,EACnB,QAAyB,EACzB,cAAsB;IAGtB,OAAO,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;AACtE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAAgC;IAE9D,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,cAAc,GAAgB,EAAE,CAAC;IAEvC,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,IAAI,CAAC,EAC3E,CAAC;QACG,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAE1C,IAAI,SAAS,KAAK,SAAS,EAC3B,CAAC;YACG,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC;YAClC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACrC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;QAED,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACnC,cAAc,CAAC,SAAS,CAAC,GAAG,iBAAiB,CAAC,UAAU,CACpD,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,EAC/B,OAAO,CACV,CAAC;IACN,CAAC;IAED,MAAM,gBAAgB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAEhF,OAAO,IAAI,oBAAoB,CAAC,UAAU,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;AAC1E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAChC,OAAmB,EACnB,QAAyB,EACzB,aAAmC,EACnC,SAAsC;IAGtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEjF,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,IAAI,CAAC,EAC9E,CAAC;QACG,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAE1C,IAAI,SAAS,KAAK,SAAS,EAC3B,CAAC;YACG,SAAS;QACb,CAAC;QAED,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAEvD,KAAK,MAAM,SAAS,IAAI,OAAO,EAC/B,CAAC;YACG,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YAE/D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EACxB,CAAC;gBACG,SAAS;YACb,CAAC;YAED,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAEjD,IAAI,SAAS,KAAK,IAAI,EACtB,CAAC;gBACG,SAAS;YACb,CAAC;YAED,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAE5C,IAAI,UAAU,KAAK,SAAS,EAC5B,CAAC;gBACG,SAAS;YACb,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,UAAU,CAAC,CAAC;QAC5E,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,WAAiB,iBAAiB;IAE9B;;;;;OAKG;IACH,SAAgB,UAAU,CAAC,IAAwB,EAAE,KAAyB;QAE1E,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;QAExD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,EACtC,CAAC;YACG,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACnE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC/B,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC3C,CAAC;QAED,MAAM,MAAM,GAAc,EAAE,CAAC;QAE7B,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,EAC3D,CAAC;YACG,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpD,MAAM,YAAY,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC;YAC9C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAE5B,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAC9C,CAAC;gBACG,MAAM,CAAC,IAAI,CAAC;oBACR,YAAY;oBACZ,GAAG;oBACH,SAAS;iBACZ,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IA/Be,4BAAU,aA+BzB,CAAA;IAED;;;;;OAKG;IACH,SAAgB,iBAAiB,CAC7B,aAAmC,EACnC,cAAoC;QAGpC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;QAElD,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,EAClF,CAAC;YACG,eAAe,CAAC,GAAG,CACf,kBAAkB,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAC5D,SAAS,CACZ,CAAC;QACN,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE5C,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,IAAI,CAAC,EAC9E,CAAC;YACG,MAAM,IAAI,GAAG,kBAAkB,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YACxE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAE5C,IAAI,SAAS,KAAK,SAAS,EAC3B,CAAC;gBACG,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACvC,CAAC;QACL,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IA7Be,mCAAiB,oBA6BhC,CAAA;AACL,CAAC,EA7EgB,iBAAiB,KAAjB,iBAAiB,QA6EjC"}

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

@@ -0,0 +1,17 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+import type { LrAlgorithm } from './lr-algorithm.js';
+/**
+ * Thrown when LR table construction encounters unresolved conflicts.
+ */
+export declare class ParseTableBuildError extends ParserLrError {
+    readonly algorithm: LrAlgorithm;
+    readonly conflicts: readonly string[];
+    /**
+     * Creates a parse table build error from detected conflicts.
+     *
+     * @param algorithm - LR algorithm that was attempted.
+     * @param conflicts - Readable conflict descriptions.
+     */
+    constructor(algorithm: LrAlgorithm, conflicts: readonly string[]);
+}
+//# sourceMappingURL=parse-table-build-error.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parse-table-build-error.d.ts","sourceRoot":"","sources":["../../../src/lib/parse-table/parse-table-build-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD;;GAEG;AACH,qBAAa,oBAAqB,SAAQ,aAAa;aAS/B,SAAS,EAAE,WAAW;aACtB,SAAS,EAAE,SAAS,MAAM,EAAE;IARhD;;;;;OAKG;gBAEiB,SAAS,EAAE,WAAW,EACtB,SAAS,EAAE,SAAS,MAAM,EAAE;CAKnD"}

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

@@ -0,0 +1,20 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Thrown when LR table construction encounters unresolved conflicts.
+ */
+export class ParseTableBuildError extends ParserLrError {
+    algorithm;
+    conflicts;
+    /**
+     * Creates a parse table build error from detected conflicts.
+     *
+     * @param algorithm - LR algorithm that was attempted.
+     * @param conflicts - Readable conflict descriptions.
+     */
+    constructor(algorithm, conflicts) {
+        super(`LR table build failed for ${algorithm}: ${conflicts.join('; ')}`);
+        this.algorithm = algorithm;
+        this.conflicts = conflicts;
+    }
+}
+//# sourceMappingURL=parse-table-build-error.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parse-table-build-error.js","sourceRoot":"","sources":["../../../src/lib/parse-table/parse-table-build-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAG7D;;GAEG;AACH,MAAM,OAAO,oBAAqB,SAAQ,aAAa;IAS/B;IACA;IARpB;;;;;OAKG;IACH,YACoB,SAAsB,EACtB,SAA4B;QAG5C,KAAK,CAAC,6BAA6B,SAAS,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAJzD,cAAS,GAAT,SAAS,CAAa;QACtB,cAAS,GAAT,SAAS,CAAmB;IAIhD,CAAC;CACJ"}

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

@@ -0,0 +1,13 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Thrown when serialized parse table JSON cannot be loaded.
+ */
+export declare class ParseTableError extends ParserLrError {
+    /**
+     * Creates a parse table load error.
+     *
+     * @param message - Human-readable failure description.
+     */
+    constructor(message: string);
+}
+//# sourceMappingURL=parse-table-error.d.ts.map

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

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

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

@@ -0,0 +1,15 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Thrown when serialized parse table JSON cannot be loaded.
+ */
+export class ParseTableError extends ParserLrError {
+    /**
+     * Creates a parse table load error.
+     *
+     * @param message - Human-readable failure description.
+     */
+    constructor(message) {
+        super(message);
+    }
+}
+//# sourceMappingURL=parse-table-error.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parse-table-error.js","sourceRoot":"","sources":["../../../src/lib/parse-table/parse-table-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D;;GAEG;AACH,MAAM,OAAO,eAAgB,SAAQ,aAAa;IAE9C;;;;OAIG;IACH,YAAmB,OAAe;QAE9B,KAAK,CAAC,OAAO,CAAC,CAAC;IACnB,CAAC;CACJ"}

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

@@ -0,0 +1,50 @@
+import type { ParseTableJson } from './parse-table.js';
+/**
+ * Serialized production metadata referenced by reduce actions.
+ */
+export interface ParseTableProductionJson {
+    readonly id: number;
+    readonly name: string;
+    readonly rhs: readonly string[];
+    readonly variant: string | null;
+    readonly origin: string;
+}
+/**
+ * Serialized ACTION entry for one state and terminal symbol.
+ */
+export interface ParseTableActionJson {
+    readonly state: number;
+    readonly symbol: string;
+    readonly kind: 'shift' | 'reduce' | 'accept';
+    readonly target?: number;
+    readonly productionId?: number;
+}
+/**
+ * Serialized GOTO entry for one state and non-terminal.
+ */
+export interface ParseTableGotoJson {
+    readonly state: number;
+    readonly symbol: string;
+    readonly target: number;
+}
+/**
+ * Full parse table JSON including parser states and table entries.
+ */
+export interface ParseTableJsonV2 extends ParseTableJson {
+    readonly version: 2;
+    readonly parserStateCount: number;
+    readonly productions: readonly ParseTableProductionJson[];
+    readonly actions: readonly ParseTableActionJson[];
+    readonly gotos: readonly ParseTableGotoJson[];
+}
+/**
+ * Returns whether a JSON object is a version 2 parse table payload.
+ *
+ * @param json - Parsed table JSON object.
+ */
+export declare function isParseTableJsonV2(json: ParseTableJson): json is ParseTableJsonV2;
+/**
+ * Lexer-only parse table JSON without parser states or table entries.
+ */
+export type ParseTableJsonV1 = ParseTableJson;
+//# sourceMappingURL=parse-table-json.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parse-table-json.d.ts","sourceRoot":"","sources":["../../../src/lib/parse-table/parse-table-json.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEvD;;GAEG;AACH,MAAM,WAAW,wBAAwB;IAErC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAEjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAE/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IAEpD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACjD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,IAAI,IAAI,gBAAgB,CAGjF;AAED;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,cAAc,CAAC"}

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

@@ -0,0 +1,9 @@
+/**
+ * Returns whether a JSON object is a version 2 parse table payload.
+ *
+ * @param json - Parsed table JSON object.
+ */
+export function isParseTableJsonV2(json) {
+    return json.version === 2;
+}
+//# sourceMappingURL=parse-table-json.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parse-table-json.js","sourceRoot":"","sources":["../../../src/lib/parse-table/parse-table-json.ts"],"names":[],"mappings":"AAgDA;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IAEnD,OAAO,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC;AAC9B,CAAC"}