parser-lr 0.0.0 → 0.2.1

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

@@ -0,0 +1,92 @@
+import type { LrAlgorithm } from '../lr-algorithm.js';
+import type { BnfGrammar } from '../bnf/bnf-grammar.js';
+import type { BnfProduction } from '../bnf/bnf-production.js';
+import type { ParseAction, ParseConflict } from './parse-action.js';
+/**
+ * LR parse table with ACTION and GOTO entries plus any detected conflicts.
+ */
+export declare class LrParseTable {
+    readonly algorithm: LrAlgorithm;
+    readonly grammar: BnfGrammar;
+    readonly productions: readonly BnfProduction[];
+    readonly stateCount: number;
+    readonly actions: ReadonlyMap<number, ReadonlyMap<string, ParseAction>>;
+    readonly gotos: ReadonlyMap<number, ReadonlyMap<string, number>>;
+    readonly conflicts: readonly ParseConflict[];
+    /**
+     * Creates an LR parse table from precomputed table entries.
+     *
+     * @param algorithm - LR algorithm used to build the table.
+     * @param grammar - Augmented BNF grammar the table was built from.
+     * @param productions - Flat BNF productions referenced by reduce actions.
+     * @param stateCount - Number of parser states in the item set collection.
+     * @param actions - ACTION entries keyed by state and terminal symbol.
+     * @param gotos - GOTO entries keyed by state and non-terminal name.
+     * @param conflicts - Shift/reduce and reduce/reduce conflicts encountered while building.
+     */
+    constructor(algorithm: LrAlgorithm, grammar: BnfGrammar, productions: readonly BnfProduction[], stateCount: number, actions: ReadonlyMap<number, ReadonlyMap<string, ParseAction>>, gotos: ReadonlyMap<number, ReadonlyMap<string, number>>, conflicts: readonly ParseConflict[]);
+    /**
+     * Whether the table has no unresolved conflicts.
+     */
+    get isConflictFree(): boolean;
+    /**
+     * Returns the ACTION entry for a state and terminal symbol key.
+     *
+     * @param state - Parser state index.
+     * @param symbol - Encoded terminal or `$eof` key.
+     */
+    action(state: number, symbol: string): ParseAction | null;
+    /**
+     * Returns the GOTO state for a parser state and non-terminal name.
+     *
+     * @param state - Parser state index.
+     * @param nonTerminal - Non-terminal symbol name.
+     */
+    goto(state: number, nonTerminal: string): number | null;
+}
+/**
+ * Returns readable ACTION rows for a parser state.
+ *
+ * @param table - LR parse table to format.
+ * @param state - Parser state index.
+ */
+export declare function formatLrActions(table: LrParseTable, state: number): readonly string[];
+/**
+ * Returns readable GOTO rows for a parser state.
+ *
+ * @param table - LR parse table to format.
+ * @param state - Parser state index.
+ */
+export declare function formatLrGotos(table: LrParseTable, state: number): readonly string[];
+/**
+ * Returns readable conflict labels for tests and diagnostics.
+ *
+ * @param table - LR parse table to format.
+ */
+export declare function formatLrConflicts(table: LrParseTable): readonly string[];
+/**
+ * Returns encoded terminal keys used in ACTION rows, including `$eof`.
+ *
+ * @param table - LR parse table to inspect.
+ */
+export declare function lrActionTerminalKeys(table: LrParseTable): readonly string[];
+/**
+ * Returns non-terminal names used in GOTO rows.
+ *
+ * @param table - LR parse table to inspect.
+ */
+export declare function lrGotoNonTerminalNames(table: LrParseTable): readonly string[];
+/**
+ * Returns a production by its stable id.
+ *
+ * @param table - LR parse table to inspect.
+ * @param productionId - Production id referenced by reduce actions.
+ */
+export declare function lrProduction(table: LrParseTable, productionId: number): BnfProduction | null;
+/**
+ * Returns encoded right-hand side symbols for one production.
+ *
+ * @param production - BNF production to encode.
+ */
+export declare function encodeProductionRhs(production: BnfProduction): readonly string[];
+//# sourceMappingURL=lr-parse-table.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lr-parse-table.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/table/lr-parse-table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAG9D,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGpE;;GAEG;AACH,qBAAa,YAAY;aAcD,SAAS,EAAE,WAAW;aACtB,OAAO,EAAE,UAAU;aACnB,WAAW,EAAE,SAAS,aAAa,EAAE;aACrC,UAAU,EAAE,MAAM;aAClB,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;aAC9D,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;aACvD,SAAS,EAAE,SAAS,aAAa,EAAE;IAlBvD;;;;;;;;;;OAUG;gBAEiB,SAAS,EAAE,WAAW,EACtB,OAAO,EAAE,UAAU,EACnB,WAAW,EAAE,SAAS,aAAa,EAAE,EACrC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAC9D,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACvD,SAAS,EAAE,SAAS,aAAa,EAAE;IAKvD;;OAEG;IACH,IAAW,cAAc,IAAI,OAAO,CAGnC;IAED;;;;;OAKG;IACI,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI;IAKhE;;;;;OAKG;IACI,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;CAIjE;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAYrF;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAYnF;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,CAMxE;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,CAa3E;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,CAa7E;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAG5F;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,aAAa,GAAG,SAAS,MAAM,EAAE,CAGhF"}

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

@@ -0,0 +1,144 @@
+import { bnfSymbolKey } from '../bnf/bnf-symbol.js';
+import { formatParseAction } from './parse-action.js';
+/**
+ * LR parse table with ACTION and GOTO entries plus any detected conflicts.
+ */
+export class LrParseTable {
+    algorithm;
+    grammar;
+    productions;
+    stateCount;
+    actions;
+    gotos;
+    conflicts;
+    /**
+     * Creates an LR parse table from precomputed table entries.
+     *
+     * @param algorithm - LR algorithm used to build the table.
+     * @param grammar - Augmented BNF grammar the table was built from.
+     * @param productions - Flat BNF productions referenced by reduce actions.
+     * @param stateCount - Number of parser states in the item set collection.
+     * @param actions - ACTION entries keyed by state and terminal symbol.
+     * @param gotos - GOTO entries keyed by state and non-terminal name.
+     * @param conflicts - Shift/reduce and reduce/reduce conflicts encountered while building.
+     */
+    constructor(algorithm, grammar, productions, stateCount, actions, gotos, conflicts) {
+        this.algorithm = algorithm;
+        this.grammar = grammar;
+        this.productions = productions;
+        this.stateCount = stateCount;
+        this.actions = actions;
+        this.gotos = gotos;
+        this.conflicts = conflicts;
+    }
+    /**
+     * Whether the table has no unresolved conflicts.
+     */
+    get isConflictFree() {
+        return this.conflicts.length === 0;
+    }
+    /**
+     * Returns the ACTION entry for a state and terminal symbol key.
+     *
+     * @param state - Parser state index.
+     * @param symbol - Encoded terminal or `$eof` key.
+     */
+    action(state, symbol) {
+        return this.actions.get(state)?.get(symbol) ?? null;
+    }
+    /**
+     * Returns the GOTO state for a parser state and non-terminal name.
+     *
+     * @param state - Parser state index.
+     * @param nonTerminal - Non-terminal symbol name.
+     */
+    goto(state, nonTerminal) {
+        return this.gotos.get(state)?.get(nonTerminal) ?? null;
+    }
+}
+/**
+ * Returns readable ACTION rows for a parser state.
+ *
+ * @param table - LR parse table to format.
+ * @param state - Parser state index.
+ */
+export function formatLrActions(table, state) {
+    const stateActions = table.actions.get(state);
+    if (stateActions === undefined) {
+        return [];
+    }
+    return [...stateActions.entries()]
+        .sort(([leftSymbol], [rightSymbol]) => leftSymbol.localeCompare(rightSymbol))
+        .map(([symbol, action]) => `${symbol}=${formatParseAction(action)}`);
+}
+/**
+ * Returns readable GOTO rows for a parser state.
+ *
+ * @param table - LR parse table to format.
+ * @param state - Parser state index.
+ */
+export function formatLrGotos(table, state) {
+    const stateGotos = table.gotos.get(state);
+    if (stateGotos === undefined) {
+        return [];
+    }
+    return [...stateGotos.entries()]
+        .sort(([leftSymbol], [rightSymbol]) => leftSymbol.localeCompare(rightSymbol))
+        .map(([symbol, targetState]) => `${symbol}=${String(targetState)}`);
+}
+/**
+ * Returns readable conflict labels for tests and diagnostics.
+ *
+ * @param table - LR parse table to format.
+ */
+export function formatLrConflicts(table) {
+    return table.conflicts.map((conflict) => `${String(conflict.state)}/${conflict.symbol} `
+        + `${formatParseAction(conflict.existing)} vs ${formatParseAction(conflict.incoming)} `
+        + `(${conflict.kind})`);
+}
+/**
+ * Returns encoded terminal keys used in ACTION rows, including `$eof`.
+ *
+ * @param table - LR parse table to inspect.
+ */
+export function lrActionTerminalKeys(table) {
+    const keys = new Set();
+    for (const stateActions of table.actions.values()) {
+        for (const symbol of stateActions.keys()) {
+            keys.add(symbol);
+        }
+    }
+    return [...keys].sort();
+}
+/**
+ * Returns non-terminal names used in GOTO rows.
+ *
+ * @param table - LR parse table to inspect.
+ */
+export function lrGotoNonTerminalNames(table) {
+    const names = new Set();
+    for (const stateGotos of table.gotos.values()) {
+        for (const name of stateGotos.keys()) {
+            names.add(name);
+        }
+    }
+    return [...names].sort();
+}
+/**
+ * Returns a production by its stable id.
+ *
+ * @param table - LR parse table to inspect.
+ * @param productionId - Production id referenced by reduce actions.
+ */
+export function lrProduction(table, productionId) {
+    return table.productions.find((production) => production.id === productionId) ?? null;
+}
+/**
+ * Returns encoded right-hand side symbols for one production.
+ *
+ * @param production - BNF production to encode.
+ */
+export function encodeProductionRhs(production) {
+    return production.rhs.map((symbol) => bnfSymbolKey(symbol));
+}
+//# sourceMappingURL=lr-parse-table.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lr-parse-table.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/table/lr-parse-table.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEtD;;GAEG;AACH,MAAM,OAAO,YAAY;IAcD;IACA;IACA;IACA;IACA;IACA;IACA;IAlBpB;;;;;;;;;;OAUG;IACH,YACoB,SAAsB,EACtB,OAAmB,EACnB,WAAqC,EACrC,UAAkB,EAClB,OAA8D,EAC9D,KAAuD,EACvD,SAAmC;QANnC,cAAS,GAAT,SAAS,CAAa;QACtB,YAAO,GAAP,OAAO,CAAY;QACnB,gBAAW,GAAX,WAAW,CAA0B;QACrC,eAAU,GAAV,UAAU,CAAQ;QAClB,YAAO,GAAP,OAAO,CAAuD;QAC9D,UAAK,GAAL,KAAK,CAAkD;QACvD,cAAS,GAAT,SAAS,CAA0B;IAGvD,CAAC;IAED;;OAEG;IACH,IAAW,cAAc;QAErB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC;IACvC,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,KAAa,EAAE,MAAc;QAEvC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IACxD,CAAC;IAED;;;;;OAKG;IACI,IAAI,CAAC,KAAa,EAAE,WAAmB;QAE1C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC;IAC3D,CAAC;CACJ;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAmB,EAAE,KAAa;IAE9D,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAE9C,IAAI,YAAY,KAAK,SAAS,EAC9B,CAAC;QACG,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;SAC7B,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;SAC5E,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,IAAI,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,KAAmB,EAAE,KAAa;IAE5D,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,UAAU,KAAK,SAAS,EAC5B,CAAC;QACG,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;SAC3B,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;SAC5E,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,IAAI,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAmB;IAEjD,OAAO,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACpC,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG;UAC7C,GAAG,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG;UACrF,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAmB;IAEpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EACjD,CAAC;QACG,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,IAAI,EAAE,EACxC,CAAC;YACG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;IACL,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAmB;IAEtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAC7C,CAAC;QACG,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,EACpC,CAAC;YACG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAED,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,KAAmB,EAAE,YAAoB;IAElE,OAAO,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,YAAY,CAAC,IAAI,IAAI,CAAC;AAC1F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAyB;IAEzD,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;AAChE,CAAC"}

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

@@ -0,0 +1,47 @@
+/**
+ * One shift, reduce, or accept entry in an LR parse table.
+ */
+export type ParseAction = {
+    readonly kind: 'shift';
+    readonly state: number;
+} | {
+    readonly kind: 'reduce';
+    readonly productionId: number;
+} | {
+    readonly kind: 'accept';
+};
+/**
+ * Kind of LR parse table conflict.
+ */
+export type ParseConflictKind = 'shift-reduce' | 'reduce-reduce';
+/**
+ * Records an unresolved shift/reduce or reduce/reduce conflict.
+ */
+export interface ParseConflict {
+    readonly kind: ParseConflictKind;
+    readonly state: number;
+    readonly symbol: string;
+    readonly existing: ParseAction;
+    readonly incoming: ParseAction;
+}
+/**
+ * Returns whether two parse actions are identical.
+ *
+ * @param left - First action.
+ * @param right - Second action.
+ */
+export declare function parseActionsEqual(left: ParseAction, right: ParseAction): boolean;
+/**
+ * Returns a readable parse action label for tests and diagnostics.
+ *
+ * @param action - Parse action to format.
+ */
+export declare function formatParseAction(action: ParseAction): string;
+/**
+ * Classifies a conflict between two distinct parse actions.
+ *
+ * @param existing - Action already recorded for the table slot.
+ * @param incoming - New action competing for the same slot.
+ */
+export declare function classifyParseConflict(existing: ParseAction, incoming: ParseAction): ParseConflictKind;
+//# sourceMappingURL=parse-action.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parse-action.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/table/parse-action.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,WAAW,GACjB;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,GACC;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CACjC,GACC;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEN;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,cAAc,GAAG,eAAe,CAAC;AAEjE;;GAEG;AACH,MAAM,WAAW,aAAa;IAE1B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;CAClC;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAkBhF;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAa7D;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACjC,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,WAAW,GACtB,iBAAiB,CAWnB"}

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

@@ -0,0 +1,49 @@
+/**
+ * Returns whether two parse actions are identical.
+ *
+ * @param left - First action.
+ * @param right - Second action.
+ */
+export function parseActionsEqual(left, right) {
+    if (left.kind !== right.kind) {
+        return false;
+    }
+    switch (left.kind) {
+        case 'shift':
+            return right.kind === 'shift' && left.state === right.state;
+        case 'reduce':
+            return right.kind === 'reduce' && left.productionId === right.productionId;
+        case 'accept':
+            return true;
+    }
+}
+/**
+ * Returns a readable parse action label for tests and diagnostics.
+ *
+ * @param action - Parse action to format.
+ */
+export function formatParseAction(action) {
+    switch (action.kind) {
+        case 'shift':
+            return `s${String(action.state)}`;
+        case 'reduce':
+            return `r${String(action.productionId)}`;
+        case 'accept':
+            return 'acc';
+    }
+}
+/**
+ * Classifies a conflict between two distinct parse actions.
+ *
+ * @param existing - Action already recorded for the table slot.
+ * @param incoming - New action competing for the same slot.
+ */
+export function classifyParseConflict(existing, incoming) {
+    const existingIsShift = existing.kind === 'shift';
+    const incomingIsShift = incoming.kind === 'shift';
+    if (existingIsShift !== incomingIsShift) {
+        return 'shift-reduce';
+    }
+    return 'reduce-reduce';
+}
+//# sourceMappingURL=parse-action.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parse-action.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/table/parse-action.ts"],"names":[],"mappings":"AAiCA;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAiB,EAAE,KAAkB;IAEnE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAC5B,CAAC;QACG,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EACjB,CAAC;QACG,KAAK,OAAO;YACR,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;QAEhE,KAAK,QAAQ;YACT,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,CAAC;QAE/E,KAAK,QAAQ;YACT,OAAO,IAAI,CAAC;IACpB,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAmB;IAEjD,QAAQ,MAAM,CAAC,IAAI,EACnB,CAAC;QACG,KAAK,OAAO;YACR,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAEtC,KAAK,QAAQ;YACT,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QAE7C,KAAK,QAAQ;YACT,OAAO,KAAK,CAAC;IACrB,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACjC,QAAqB,EACrB,QAAqB;IAGrB,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC;IAClD,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC;IAElD,IAAI,eAAe,KAAK,eAAe,EACvC,CAAC;QACG,OAAO,cAAc,CAAC;IAC1B,CAAC;IAED,OAAO,eAAe,CAAC;AAC3B,CAAC"}

package/dist/lib/parse-table/table/table-builder-base.d.ts

@@ -0,0 +1,63 @@
+import { type BnfGrammar } from '../bnf/bnf-grammar.js';
+import { type Lr0Item } from '../lr0/lr0-item-set.js';
+import { type ParseAction, type ParseConflict } from './parse-action.js';
+/**
+ * Shared helpers for constructing LR parse tables from item sets.
+ */
+export declare class TableBuilderBase {
+    /**
+     * Precomputes GOTO target state indices for every state and grammar symbol.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param itemSets - Canonical item set collection.
+     * @param gotoItems - Computes the GOTO item set for one state and symbol.
+     */
+    static buildGotoTargets(grammar: BnfGrammar, itemSets: readonly (readonly Lr0Item[])[], indexOf: (items: readonly Lr0Item[]) => number | null, gotoItems: (grammar: BnfGrammar, items: readonly Lr0Item[], symbolKey: string) => readonly Lr0Item[]): ReadonlyMap<string, number>;
+    /**
+     * Fills shift and GOTO entries from incomplete items in one parser state.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param state - Parser state index.
+     * @param itemSet - Closed item set for the state.
+     * @param gotoTargets - Precomputed GOTO target indices.
+     * @param stateActions - ACTION map for the state.
+     * @param stateGotos - GOTO map for the state.
+     * @param conflicts - Conflict list to append to when actions disagree.
+     */
+    static fillShiftsAndGotos(grammar: BnfGrammar, state: number, itemSet: readonly Lr0Item[], gotoTargets: ReadonlyMap<string, number>, stateActions: Map<string, ParseAction>, stateGotos: Map<string, number>, conflicts: ParseConflict[]): void;
+    /**
+     * Records an accept action for the augmented start production.
+     *
+     * @param state - Parser state index.
+     * @param productionName - Left-hand side of the completed production.
+     * @param stateActions - ACTION map for the state.
+     * @param conflicts - Conflict list to append to when actions disagree.
+     */
+    static setAcceptAction(state: number, productionName: string, stateActions: Map<string, ParseAction>, conflicts: ParseConflict[]): void;
+    /**
+     * Returns a stable map key for a GOTO lookup.
+     *
+     * @param state - Parser state index.
+     * @param symbolKey - Encoded terminal or non-terminal symbol.
+     */
+    static gotoKey(state: number, symbolKey: string): string;
+    /**
+     * Inserts one ACTION entry, recording a conflict when the slot is already occupied.
+     *
+     * @param stateActions - ACTION map for the current state.
+     * @param conflicts - Conflict list to append to when actions disagree.
+     * @param state - Parser state index.
+     * @param symbol - Encoded terminal or `$eof` key.
+     * @param incoming - Candidate parse action.
+     */
+    static setAction(stateActions: Map<string, ParseAction>, conflicts: ParseConflict[], state: number, symbol: string, incoming: ParseAction): void;
+    /**
+     * Default GOTO implementation for LR(0) item sets.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param items - Closed item set.
+     * @param symbolKey - Encoded terminal or non-terminal symbol.
+     */
+    static lr0GotoItems(grammar: BnfGrammar, items: readonly Lr0Item[], symbolKey: string): readonly Lr0Item[];
+}
+//# sourceMappingURL=table-builder-base.d.ts.map

package/dist/lib/parse-table/table/table-builder-base.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-builder-base.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/table/table-builder-base.ts"],"names":[],"mappings":"AAEA,OAAO,EAA0B,KAAK,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEhF,OAAO,EAA8B,KAAK,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAElF,OAAO,EAGH,KAAK,WAAW,EAChB,KAAK,aAAa,EACrB,MAAM,mBAAmB,CAAC;AAE3B;;GAEG;AACH,qBAAa,gBAAgB;IAEzB;;;;;;OAMG;WACW,gBAAgB,CAC1B,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE,EACzC,OAAO,EAAE,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,KAAK,MAAM,GAAG,IAAI,EACrD,SAAS,EAAE,CACP,OAAO,EAAE,UAAU,EACnB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,SAAS,EAAE,MAAM,KAChB,SAAS,OAAO,EAAE,GACxB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;IAgC9B;;;;;;;;;;OAUG;WACW,kBAAkB,CAC5B,OAAO,EAAE,UAAU,EACnB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,OAAO,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACxC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,EACtC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC/B,SAAS,EAAE,aAAa,EAAE,GAC3B,IAAI;IA0CP;;;;;;;OAOG;WACW,eAAe,CACzB,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,MAAM,EACtB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,EACtC,SAAS,EAAE,aAAa,EAAE,GAC3B,IAAI;IAgBP;;;;;OAKG;WACW,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM;IAK/D;;;;;;;;OAQG;WACW,SAAS,CACnB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,EACtC,SAAS,EAAE,aAAa,EAAE,EAC1B,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,WAAW,GACtB,IAAI;IAwBP;;;;;;OAMG;WACW,YAAY,CACtB,OAAO,EAAE,UAAU,EACnB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,SAAS,EAAE,MAAM,GAClB,SAAS,OAAO,EAAE;CAIxB"}

package/dist/lib/parse-table/table/table-builder-base.js

@@ -0,0 +1,129 @@
+import { EOF_TOKEN_NAME } from '../../lexer/token.js';
+import { AUGMENTED_START_SYMBOL } from '../bnf/bnf-grammar.js';
+import { bnfParserSymbolKey } from '../bnf/bnf-symbol.js';
+import { lr0Goto, Lr0ItemSetBuilder } from '../lr0/lr0-item-set.js';
+import { classifyParseConflict, parseActionsEqual, } from './parse-action.js';
+/**
+ * Shared helpers for constructing LR parse tables from item sets.
+ */
+export class TableBuilderBase {
+    /**
+     * Precomputes GOTO target state indices for every state and grammar symbol.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param itemSets - Canonical item set collection.
+     * @param gotoItems - Computes the GOTO item set for one state and symbol.
+     */
+    static buildGotoTargets(grammar, itemSets, indexOf, gotoItems) {
+        const targets = new Map();
+        const symbols = Lr0ItemSetBuilder.grammarSymbolKeys(grammar);
+        for (let state = 0; state < itemSets.length; state += 1) {
+            const itemSet = itemSets[state] ?? [];
+            for (const symbolKey of symbols) {
+                const gotoSet = gotoItems(grammar, itemSet, symbolKey);
+                if (gotoSet.length === 0) {
+                    continue;
+                }
+                const targetState = indexOf(gotoSet);
+                if (targetState === null) {
+                    continue;
+                }
+                targets.set(TableBuilderBase.gotoKey(state, symbolKey), targetState);
+            }
+        }
+        return targets;
+    }
+    /**
+     * Fills shift and GOTO entries from incomplete items in one parser state.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param state - Parser state index.
+     * @param itemSet - Closed item set for the state.
+     * @param gotoTargets - Precomputed GOTO target indices.
+     * @param stateActions - ACTION map for the state.
+     * @param stateGotos - GOTO map for the state.
+     * @param conflicts - Conflict list to append to when actions disagree.
+     */
+    static fillShiftsAndGotos(grammar, state, itemSet, gotoTargets, stateActions, stateGotos, conflicts) {
+        for (const item of itemSet) {
+            const production = grammar.production(item.productionId);
+            if (production === null) {
+                continue;
+            }
+            const nextSymbol = production.rhs[item.dot];
+            if (nextSymbol === undefined) {
+                continue;
+            }
+            const symbolKey = bnfParserSymbolKey(nextSymbol);
+            const targetState = gotoTargets.get(TableBuilderBase.gotoKey(state, symbolKey));
+            if (targetState === undefined) {
+                continue;
+            }
+            if (nextSymbol.kind === 'nonTerminal') {
+                stateGotos.set(nextSymbol.name, targetState);
+                continue;
+            }
+            TableBuilderBase.setAction(stateActions, conflicts, state, symbolKey, { kind: 'shift', state: targetState });
+        }
+    }
+    /**
+     * Records an accept action for the augmented start production.
+     *
+     * @param state - Parser state index.
+     * @param productionName - Left-hand side of the completed production.
+     * @param stateActions - ACTION map for the state.
+     * @param conflicts - Conflict list to append to when actions disagree.
+     */
+    static setAcceptAction(state, productionName, stateActions, conflicts) {
+        if (productionName !== AUGMENTED_START_SYMBOL) {
+            return;
+        }
+        TableBuilderBase.setAction(stateActions, conflicts, state, EOF_TOKEN_NAME, { kind: 'accept' });
+    }
+    /**
+     * Returns a stable map key for a GOTO lookup.
+     *
+     * @param state - Parser state index.
+     * @param symbolKey - Encoded terminal or non-terminal symbol.
+     */
+    static gotoKey(state, symbolKey) {
+        return `${String(state)}:${symbolKey}`;
+    }
+    /**
+     * Inserts one ACTION entry, recording a conflict when the slot is already occupied.
+     *
+     * @param stateActions - ACTION map for the current state.
+     * @param conflicts - Conflict list to append to when actions disagree.
+     * @param state - Parser state index.
+     * @param symbol - Encoded terminal or `$eof` key.
+     * @param incoming - Candidate parse action.
+     */
+    static setAction(stateActions, conflicts, state, symbol, incoming) {
+        const existing = stateActions.get(symbol);
+        if (existing === undefined) {
+            stateActions.set(symbol, incoming);
+            return;
+        }
+        if (parseActionsEqual(existing, incoming)) {
+            return;
+        }
+        conflicts.push({
+            kind: classifyParseConflict(existing, incoming),
+            state,
+            symbol,
+            existing,
+            incoming,
+        });
+    }
+    /**
+     * Default GOTO implementation for LR(0) item sets.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param items - Closed item set.
+     * @param symbolKey - Encoded terminal or non-terminal symbol.
+     */
+    static lr0GotoItems(grammar, items, symbolKey) {
+        return lr0Goto(grammar, items, symbolKey);
+    }
+}
+//# sourceMappingURL=table-builder-base.js.map

package/dist/lib/parse-table/table/table-builder-base.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-builder-base.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/table/table-builder-base.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAmB,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAgB,MAAM,wBAAwB,CAAC;AAElF,OAAO,EACH,qBAAqB,EACrB,iBAAiB,GAGpB,MAAM,mBAAmB,CAAC;AAE3B;;GAEG;AACH,MAAM,OAAO,gBAAgB;IAEzB;;;;;;OAMG;IACI,MAAM,CAAC,gBAAgB,CAC1B,OAAmB,EACnB,QAAyC,EACzC,OAAqD,EACrD,SAIuB;QAGvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,MAAM,OAAO,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAE7D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EACvD,CAAC;YACG,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAEtC,KAAK,MAAM,SAAS,IAAI,OAAO,EAC/B,CAAC;gBACG,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;gBAEvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EACxB,CAAC;oBACG,SAAS;gBACb,CAAC;gBAED,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;gBAErC,IAAI,WAAW,KAAK,IAAI,EACxB,CAAC;oBACG,SAAS;gBACb,CAAC;gBAED,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;YACzE,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACnB,CAAC;IAED;;;;;;;;;;OAUG;IACI,MAAM,CAAC,kBAAkB,CAC5B,OAAmB,EACnB,KAAa,EACb,OAA2B,EAC3B,WAAwC,EACxC,YAAsC,EACtC,UAA+B,EAC/B,SAA0B;QAG1B,KAAK,MAAM,IAAI,IAAI,OAAO,EAC1B,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,EAC5B,CAAC;gBACG,SAAS;YACb,CAAC;YAED,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;YACjD,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAEhF,IAAI,WAAW,KAAK,SAAS,EAC7B,CAAC;gBACG,SAAS;YACb,CAAC;YAED,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EACrC,CAAC;gBACG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC7C,SAAS;YACb,CAAC;YAED,gBAAgB,CAAC,SAAS,CACtB,YAAY,EACZ,SAAS,EACT,KAAK,EACL,SAAS,EACT,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CACxC,CAAC;QACN,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACI,MAAM,CAAC,eAAe,CACzB,KAAa,EACb,cAAsB,EACtB,YAAsC,EACtC,SAA0B;QAG1B,IAAI,cAAc,KAAK,sBAAsB,EAC7C,CAAC;YACG,OAAO;QACX,CAAC;QAED,gBAAgB,CAAC,SAAS,CACtB,YAAY,EACZ,SAAS,EACT,KAAK,EACL,cAAc,EACd,EAAE,IAAI,EAAE,QAAQ,EAAE,CACrB,CAAC;IACN,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,OAAO,CAAC,KAAa,EAAE,SAAiB;QAElD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;IAC3C,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,SAAS,CACnB,YAAsC,EACtC,SAA0B,EAC1B,KAAa,EACb,MAAc,EACd,QAAqB;QAGrB,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAE1C,IAAI,QAAQ,KAAK,SAAS,EAC1B,CAAC;YACG,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACnC,OAAO;QACX,CAAC;QAED,IAAI,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACzC,CAAC;YACG,OAAO;QACX,CAAC;QAED,SAAS,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC/C,KAAK;YACL,MAAM;YACN,QAAQ;YACR,QAAQ;SACX,CAAC,CAAC;IACP,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CAAC,YAAY,CACtB,OAAmB,EACnB,KAAyB,EACzB,SAAiB;QAGjB,OAAO,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC;CACJ"}

package/dist/lib/parse-table/token-inventory.d.ts

@@ -0,0 +1,9 @@
+import type { Grammar } from '../grammar/grammar.js';
+/**
+ * Returns the ordered token rule names declared in a grammar.
+ *
+ * @param grammar - Parsed `.grammar` file model.
+ * @returns Token names in declaration order, including `$eof`.
+ */
+export declare function tokenInventory(grammar: Grammar): readonly string[];
+//# sourceMappingURL=token-inventory.d.ts.map

package/dist/lib/parse-table/token-inventory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-inventory.d.ts","sourceRoot":"","sources":["../../../src/lib/parse-table/token-inventory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAGrD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,CAUlE"}

package/dist/lib/parse-table/token-inventory.js

@@ -0,0 +1,15 @@
+import { EOF_TOKEN_NAME } from '../lexer/token.js';
+/**
+ * Returns the ordered token rule names declared in a grammar.
+ *
+ * @param grammar - Parsed `.grammar` file model.
+ * @returns Token names in declaration order, including `$eof`.
+ */
+export function tokenInventory(grammar) {
+    const names = grammar.tokenRules.map((rule) => rule.name);
+    if (names.includes(EOF_TOKEN_NAME)) {
+        return names;
+    }
+    return [...names, EOF_TOKEN_NAME];
+}
+//# sourceMappingURL=token-inventory.js.map

package/dist/lib/parse-table/token-inventory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-inventory.js","sourceRoot":"","sources":["../../../src/lib/parse-table/token-inventory.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,OAAgB;IAE3C,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE1D,IAAI,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,EAClC,CAAC;QACG,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,CAAC,GAAG,KAAK,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC"}