parser-lr 0.0.0 → 0.2.1

package/dist/lib/parser-lr.d.ts

@@ -1,10 +1,104 @@
+import type { AstNode } from './ast/ast-node.js';
+import type { Grammar } from './grammar/grammar.js';
+import { Lexer } from './lexer/lexer.js';
+import type { Token } from './lexer/token.js';
+import type { LrAlgorithm } from './parse-table/lr-algorithm.js';
+import { ParseTable } from './parse-table/parse-table.js';
 /**
  * Shift-reduce parser for EBNF grammars.
  */
 export declare class ParserLr {
+    readonly grammar: Grammar;
+    private readonly table;
     /**
-     * Creates a parser instance.
+     * Creates a parser bound to a grammar and optional parse table.
+     *
+     * @param grammar - Parsed `.grammar` file supplying lexer and parser rules.
+     * @param table - Optional parse table used for shift-reduce parsing.
      */
-    constructor();
+    constructor(grammar: Grammar, table?: ParseTable | null);
+    /**
+     * Creates a parser from a serialized parse table.
+     *
+     * @param table - Parse table containing lexer metadata and parser entries.
+     * @returns A parser that can lex and parse using the table.
+     */
+    static fromParseTable(table: ParseTable): ParserLr;
+    /**
+     * Creates a stream lexer for this parser's grammar.
+     *
+     * @returns A fresh stream lexer instance.
+     */
+    createLexer(): Lexer;
+    /**
+     * Lexes source text into tokens using the grammar's token and skip rules.
+     *
+     * @param source - Input text to tokenize.
+     * @returns Matched tokens in source order, ending with `$eof`.
+     */
+    lex(source: string): readonly Token[];
+    /**
+     * Lexes synchronous source chunks into a token stream ending with `$eof`.
+     *
+     * @param chunks - Source text fragments in order.
+     * @returns Token iterator including `$eof`.
+     */
+    lexChunks(chunks: Iterable<string>): IterableIterator<Token>;
+    /**
+     * Lexes asynchronous source chunks into a token stream ending with `$eof`.
+     *
+     * @param chunks - Source text fragments in order.
+     * @returns Async token iterator including `$eof`.
+     */
+    lexChunksAsync(chunks: AsyncIterable<string>): AsyncIterableIterator<Token>;
+    /**
+     * Collects all tokens from a synchronous chunk stream.
+     *
+     * @param chunks - Source text fragments in order.
+     * @returns Matched tokens including `$eof`.
+     */
+    lexChunkStream(chunks: Iterable<string>): readonly Token[];
+    /**
+     * Collects all tokens from an asynchronous chunk stream.
+     *
+     * @param chunks - Source text fragments in order.
+     * @returns Matched tokens including `$eof`.
+     */
+    lexChunkStreamAsync(chunks: AsyncIterable<string>): Promise<readonly Token[]>;
+    /**
+     * Parses a token stream into a concrete syntax tree.
+     *
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns Parse tree rooted at the grammar start symbol, or null on syntax error.
+     */
+    parseCst(tokens: readonly Token[]): AstNode | null;
+    /**
+     * Parses a token stream into an AST when transform rules are declared.
+     *
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns Transformed AST, CST when no transform section exists, or null on failure.
+     */
+    parseAst(tokens: readonly Token[]): AstNode | null;
+    /**
+     * Parses a token stream, applying CST-to-AST transforms when configured.
+     *
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns AST or CST parse tree, or null on syntax error.
+     */
+    parse(tokens: readonly Token[]): AstNode | null;
+    /**
+     * Lexes and parses source text, applying CST-to-AST transforms when configured.
+     *
+     * @param source - Input text to parse.
+     * @returns AST or CST parse tree, or null on syntax error.
+     */
+    parseSource(source: string): AstNode | null;
+    /**
+     * Builds a parse table from the bound grammar, including the token inventory.
+     *
+     * @param algorithm - LR algorithm used to build the table.
+     * @returns Parse table metadata ready for serialization.
+     */
+    buildParseTable(algorithm?: LrAlgorithm): ParseTable;
 }
 //# sourceMappingURL=parser-lr.d.ts.map

package/dist/lib/parser-lr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parser-lr.d.ts","sourceRoot":"","sources":["../../src/lib/parser-lr.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,qBAAa,QAAQ;IAEjB;;OAEG;;CAIN"}
+{"version":3,"file":"parser-lr.d.ts","sourceRoot":"","sources":["../../src/lib/parser-lr.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EACH,KAAK,EAKR,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAI1D;;GAEG;AACH,qBAAa,QAAQ;aASG,OAAO,EAAE,OAAO;IAChC,OAAO,CAAC,QAAQ,CAAC,KAAK;IAR1B;;;;;OAKG;gBAEiB,OAAO,EAAE,OAAO,EACf,KAAK,GAAE,UAAU,GAAG,IAAW;IAKpD;;;;;OAKG;WACW,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ;IAKzD;;;;OAIG;IACI,WAAW,IAAI,KAAK;IAK3B;;;;;OAKG;IACI,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,KAAK,EAAE;IAK5C;;;;;OAKG;IACI,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC;IAKnE;;;;;OAKG;IACI,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC;IAKlF;;;;;OAKG;IACI,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,KAAK,EAAE;IAKjE;;;;;OAKG;IACU,mBAAmB,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,KAAK,EAAE,CAAC;IAK1F;;;;;OAKG;IACI,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,OAAO,GAAG,IAAI;IAUzD;;;;;OAKG;IACI,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,OAAO,GAAG,IAAI;IAiBzD;;;;;OAKG;IACI,KAAK,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,OAAO,GAAG,IAAI;IAKtD;;;;;OAKG;IACI,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI;IAKlD;;;;;OAKG;IACI,eAAe,CAAC,SAAS,GAAE,WAAmB,GAAG,UAAU;CAIrE"}

package/dist/lib/parser-lr.js

@@ -1,11 +1,139 @@
+import { Lexer, lexChunkStream, lexChunkStreamAsync, lexChunks, lexChunksAsync, } from './lexer/lexer.js';
+import { ParseTable } from './parse-table/parse-table.js';
+import { parseWithTable } from './shift-reduce/shift-reduce-engine.js';
+import { transformCst } from './transform/cst-transformer.js';
 /**
  * Shift-reduce parser for EBNF grammars.
  */
 export class ParserLr {
+    grammar;
+    table;
     /**
-     * Creates a parser instance.
+     * Creates a parser bound to a grammar and optional parse table.
+     *
+     * @param grammar - Parsed `.grammar` file supplying lexer and parser rules.
+     * @param table - Optional parse table used for shift-reduce parsing.
      */
-    constructor() {
+    constructor(grammar, table = null) {
+        this.grammar = grammar;
+        this.table = table;
+    }
+    /**
+     * Creates a parser from a serialized parse table.
+     *
+     * @param table - Parse table containing lexer metadata and parser entries.
+     * @returns A parser that can lex and parse using the table.
+     */
+    static fromParseTable(table) {
+        return new ParserLr(table.toGrammar(), table);
+    }
+    /**
+     * Creates a stream lexer for this parser's grammar.
+     *
+     * @returns A fresh stream lexer instance.
+     */
+    createLexer() {
+        return new Lexer(this.grammar);
+    }
+    /**
+     * Lexes source text into tokens using the grammar's token and skip rules.
+     *
+     * @param source - Input text to tokenize.
+     * @returns Matched tokens in source order, ending with `$eof`.
+     */
+    lex(source) {
+        return this.createLexer().lex(source);
+    }
+    /**
+     * Lexes synchronous source chunks into a token stream ending with `$eof`.
+     *
+     * @param chunks - Source text fragments in order.
+     * @returns Token iterator including `$eof`.
+     */
+    lexChunks(chunks) {
+        return lexChunks(this.grammar, chunks);
+    }
+    /**
+     * Lexes asynchronous source chunks into a token stream ending with `$eof`.
+     *
+     * @param chunks - Source text fragments in order.
+     * @returns Async token iterator including `$eof`.
+     */
+    lexChunksAsync(chunks) {
+        return lexChunksAsync(this.grammar, chunks);
+    }
+    /**
+     * Collects all tokens from a synchronous chunk stream.
+     *
+     * @param chunks - Source text fragments in order.
+     * @returns Matched tokens including `$eof`.
+     */
+    lexChunkStream(chunks) {
+        return lexChunkStream(this.grammar, chunks);
+    }
+    /**
+     * Collects all tokens from an asynchronous chunk stream.
+     *
+     * @param chunks - Source text fragments in order.
+     * @returns Matched tokens including `$eof`.
+     */
+    async lexChunkStreamAsync(chunks) {
+        return lexChunkStreamAsync(this.grammar, chunks);
+    }
+    /**
+     * Parses a token stream into a concrete syntax tree.
+     *
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns Parse tree rooted at the grammar start symbol, or null on syntax error.
+     */
+    parseCst(tokens) {
+        if (this.table === null) {
+            return null;
+        }
+        return parseWithTable(this.table, tokens);
+    }
+    /**
+     * Parses a token stream into an AST when transform rules are declared.
+     *
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns Transformed AST, CST when no transform section exists, or null on failure.
+     */
+    parseAst(tokens) {
+        const cst = this.parseCst(tokens);
+        if (cst === null) {
+            return null;
+        }
+        if (this.grammar.transformSchema === null || this.table === null) {
+            return cst;
+        }
+        return transformCst(cst, this.grammar.transformSchema, this.table);
+    }
+    /**
+     * Parses a token stream, applying CST-to-AST transforms when configured.
+     *
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns AST or CST parse tree, or null on syntax error.
+     */
+    parse(tokens) {
+        return this.parseAst(tokens);
+    }
+    /**
+     * Lexes and parses source text, applying CST-to-AST transforms when configured.
+     *
+     * @param source - Input text to parse.
+     * @returns AST or CST parse tree, or null on syntax error.
+     */
+    parseSource(source) {
+        return this.parse(this.lex(source));
+    }
+    /**
+     * Builds a parse table from the bound grammar, including the token inventory.
+     *
+     * @param algorithm - LR algorithm used to build the table.
+     * @returns Parse table metadata ready for serialization.
+     */
+    buildParseTable(algorithm = 'lr1') {
+        return ParseTable.fromGrammar(this.grammar, algorithm);
     }
 }
 //# sourceMappingURL=parser-lr.js.map

package/dist/lib/parser-lr.js.map

@@ -1 +1 @@
-{"version":3,"file":"parser-lr.js","sourceRoot":"","sources":["../../src/lib/parser-lr.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,OAAO,QAAQ;IAEjB;;OAEG;IACH;IAEA,CAAC;CACJ"}
+{"version":3,"file":"parser-lr.js","sourceRoot":"","sources":["../../src/lib/parser-lr.ts"],"names":[],"mappings":"AAEA,OAAO,EACH,KAAK,EACL,cAAc,EACd,mBAAmB,EACnB,SAAS,EACT,cAAc,GACjB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAE9D;;GAEG;AACH,MAAM,OAAO,QAAQ;IASG;IACC;IARrB;;;;;OAKG;IACH,YACoB,OAAgB,EACf,QAA2B,IAAI;QADhC,YAAO,GAAP,OAAO,CAAS;QACf,UAAK,GAAL,KAAK,CAA0B;IAGpD,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,cAAc,CAAC,KAAiB;QAE1C,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACI,WAAW;QAEd,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED;;;;;OAKG;IACI,GAAG,CAAC,MAAc;QAErB,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IAED;;;;;OAKG;IACI,SAAS,CAAC,MAAwB;QAErC,OAAO,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED;;;;;OAKG;IACI,cAAc,CAAC,MAA6B;QAE/C,OAAO,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED;;;;;OAKG;IACI,cAAc,CAAC,MAAwB;QAE1C,OAAO,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,mBAAmB,CAAC,MAA6B;QAE1D,OAAO,mBAAmB,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAED;;;;;OAKG;IACI,QAAQ,CAAC,MAAwB;QAEpC,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EACvB,CAAC;YACG,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;OAKG;IACI,QAAQ,CAAC,MAAwB;QAEpC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAElC,IAAI,GAAG,KAAK,IAAI,EAChB,CAAC;YACG,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,CAAC,eAAe,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAChE,CAAC;YACG,OAAO,GAAG,CAAC;QACf,CAAC;QAED,OAAO,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,MAAwB;QAEjC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAED;;;;;OAKG;IACI,WAAW,CAAC,MAAc;QAE7B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,CAAC;IAED;;;;;OAKG;IACI,eAAe,CAAC,YAAyB,KAAK;QAEjD,OAAO,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC3D,CAAC;CACJ"}

package/dist/lib/shift-reduce/index.d.ts

@@ -0,0 +1,3 @@
+export { astNodeFromToken, mergeChildLocations, parseWithTable, parseWithTableResult, ShiftReduceEngine, tokenActionKey, } from './shift-reduce-engine.js';
+export type { ShiftReduceParseResult } from './shift-reduce-engine.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/shift-reduce/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/shift-reduce/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,EAChB,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,cAAc,GACjB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/lib/shift-reduce/index.js

@@ -0,0 +1,2 @@
+export { astNodeFromToken, mergeChildLocations, parseWithTable, parseWithTableResult, ShiftReduceEngine, tokenActionKey, } from './shift-reduce-engine.js';
+//# sourceMappingURL=index.js.map

package/dist/lib/shift-reduce/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/shift-reduce/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,EAChB,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,cAAc,GACjB,MAAM,0BAA0B,CAAC"}

package/dist/lib/shift-reduce/shift-reduce-engine.d.ts

@@ -0,0 +1,82 @@
+import type { SourceLocation } from '../ast/ast-node.js';
+import { AstNode } from '../ast/ast-node.js';
+import { type Token } from '../lexer/token.js';
+import type { ParseTable } from '../parse-table/parse-table.js';
+/**
+ * Returns the ACTION table key for a lexer token.
+ *
+ * @param token - Current input token.
+ */
+export declare function tokenActionKey(token: Token): string;
+/**
+ * Builds a terminal CST node from a shifted token.
+ *
+ * @param token - Lexer token that was shifted.
+ */
+export declare function astNodeFromToken(token: Token): AstNode;
+/**
+ * Merges child spans into one source location.
+ *
+ * @param children - Reduced child subtrees.
+ */
+export declare function mergeChildLocations(children: readonly AstNode[]): SourceLocation | null;
+/**
+ * Outcome of a shift-reduce parse attempt.
+ */
+export interface ShiftReduceParseResult {
+    readonly cst: AstNode | null;
+    readonly errorOffset: number | null;
+    readonly errorMessage: string | null;
+}
+/**
+ * Table-driven shift-reduce parser shared by all LR table algorithms.
+ */
+export declare class ShiftReduceEngine {
+    /**
+     * Parses a token stream using a serialized LR parse table.
+     *
+     * @param table - Parse table with ACTION, GOTO, and production metadata.
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns The start symbol parse tree, or null on syntax error.
+     */
+    static parse(table: ParseTable, tokens: readonly Token[]): AstNode | null;
+    /**
+     * Parses a token stream and reports the first syntax error location.
+     *
+     * @param table - Parse table with ACTION, GOTO, and production metadata.
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns Parse tree on success, or error offset and message on failure.
+     */
+    static parseWithResult(table: ParseTable, tokens: readonly Token[]): ShiftReduceParseResult;
+    /**
+     * Applies one reduce action and pushes the resulting subtree.
+     *
+     * @param table - Parse table with GOTO and production metadata.
+     * @param productionId - Production to reduce by.
+     * @param stateStack - Parser state stack.
+     * @param valueStack - Semantic value stack.
+     */
+    private static reduce;
+    /**
+     * Builds a CST node for one reduced production.
+     *
+     * @param production - Reduced production metadata.
+     * @param children - Child subtrees matching the production right-hand side.
+     */
+    private static nodeFromProduction;
+}
+/**
+ * Parses a token stream using a serialized LR parse table.
+ *
+ * @param table - Parse table with ACTION, GOTO, and production metadata.
+ * @param tokens - Token stream ending with `$eof`.
+ */
+export declare function parseWithTable(table: ParseTable, tokens: readonly Token[]): AstNode | null;
+/**
+ * Parses a token stream and reports the first syntax error location.
+ *
+ * @param table - Parse table with ACTION, GOTO, and production metadata.
+ * @param tokens - Token stream ending with `$eof`.
+ */
+export declare function parseWithTableResult(table: ParseTable, tokens: readonly Token[]): ShiftReduceParseResult;
+//# sourceMappingURL=shift-reduce-engine.d.ts.map

package/dist/lib/shift-reduce/shift-reduce-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shift-reduce-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/shift-reduce/shift-reduce-engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAA8B,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE3E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAQnD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAGtD;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,GAAG,cAAc,GAAG,IAAI,CAgCvF;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IAEnC,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CACxC;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;;;;;OAMG;WACW,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,OAAO,GAAG,IAAI;IAKhF;;;;;;OAMG;WACW,eAAe,CACzB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,KAAK,EAAE,GACzB,sBAAsB;IA2FzB;;;;;;;OAOG;IACH,OAAO,CAAC,MAAM,CAAC,MAAM;IAsDrB;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,kBAAkB;CAcpC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,OAAO,GAAG,IAAI,CAG1F;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAChC,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,KAAK,EAAE,GACzB,sBAAsB,CAGxB"}

package/dist/lib/shift-reduce/shift-reduce-engine.js

@@ -0,0 +1,204 @@
+import { AstNode } from '../ast/ast-node.js';
+import { EOF_TOKEN_NAME, isEofToken } from '../lexer/token.js';
+/**
+ * Returns the ACTION table key for a lexer token.
+ *
+ * @param token - Current input token.
+ */
+export function tokenActionKey(token) {
+    if (isEofToken(token)) {
+        return EOF_TOKEN_NAME;
+    }
+    return token.name;
+}
+/**
+ * Builds a terminal CST node from a shifted token.
+ *
+ * @param token - Lexer token that was shifted.
+ */
+export function astNodeFromToken(token) {
+    return AstNode.terminal(token.name, token.text, token.location);
+}
+/**
+ * Merges child spans into one source location.
+ *
+ * @param children - Reduced child subtrees.
+ */
+export function mergeChildLocations(children) {
+    let offset = null;
+    let end = null;
+    for (const child of children) {
+        if (child.location === null) {
+            continue;
+        }
+        if (offset === null) {
+            offset = child.location.offset;
+            end = child.location.offset + child.location.length;
+            continue;
+        }
+        offset = Math.min(offset, child.location.offset);
+        end = Math.max(end ?? child.location.offset, child.location.offset + child.location.length);
+    }
+    if (offset === null || end === null) {
+        return null;
+    }
+    return {
+        offset,
+        length: end - offset,
+    };
+}
+/**
+ * Table-driven shift-reduce parser shared by all LR table algorithms.
+ */
+export class ShiftReduceEngine {
+    /**
+     * Parses a token stream using a serialized LR parse table.
+     *
+     * @param table - Parse table with ACTION, GOTO, and production metadata.
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns The start symbol parse tree, or null on syntax error.
+     */
+    static parse(table, tokens) {
+        return ShiftReduceEngine.parseWithResult(table, tokens).cst;
+    }
+    /**
+     * Parses a token stream and reports the first syntax error location.
+     *
+     * @param table - Parse table with ACTION, GOTO, and production metadata.
+     * @param tokens - Token stream ending with `$eof`.
+     * @returns Parse tree on success, or error offset and message on failure.
+     */
+    static parseWithResult(table, tokens) {
+        if (!table.hasParserTable) {
+            return {
+                cst: null,
+                errorOffset: 0,
+                errorMessage: 'Parse table has no parser entries',
+            };
+        }
+        if (tokens.length === 0 || !isEofToken(tokens[tokens.length - 1])) {
+            return {
+                cst: null,
+                errorOffset: tokens[0]?.location.offset ?? 0,
+                errorMessage: 'Token stream must end with $eof',
+            };
+        }
+        const stateStack = [0];
+        const valueStack = [];
+        let tokenIndex = 0;
+        while (true) {
+            const state = stateStack[stateStack.length - 1];
+            const currentToken = tokens[tokenIndex];
+            const action = table.action(state, tokenActionKey(currentToken));
+            if (action === null) {
+                return {
+                    cst: null,
+                    errorOffset: currentToken.location.offset,
+                    errorMessage: `Unexpected ${currentToken.name}`,
+                };
+            }
+            switch (action.kind) {
+                case 'shift':
+                    {
+                        valueStack.push(astNodeFromToken(currentToken));
+                        stateStack.push(action.state);
+                        tokenIndex += 1;
+                        break;
+                    }
+                case 'reduce':
+                    {
+                        const node = ShiftReduceEngine.reduce(table, action.productionId, stateStack, valueStack);
+                        if (node === null) {
+                            return {
+                                cst: null,
+                                errorOffset: currentToken.location.offset,
+                                errorMessage: 'Invalid reduce action',
+                            };
+                        }
+                        break;
+                    }
+                case 'accept':
+                    {
+                        if (valueStack.length === 0) {
+                            return {
+                                cst: null,
+                                errorOffset: currentToken.location.offset,
+                                errorMessage: 'Empty parse result',
+                            };
+                        }
+                        return {
+                            cst: valueStack[valueStack.length - 1],
+                            errorOffset: null,
+                            errorMessage: null,
+                        };
+                    }
+            }
+        }
+    }
+    /**
+     * Applies one reduce action and pushes the resulting subtree.
+     *
+     * @param table - Parse table with GOTO and production metadata.
+     * @param productionId - Production to reduce by.
+     * @param stateStack - Parser state stack.
+     * @param valueStack - Semantic value stack.
+     */
+    static reduce(table, productionId, stateStack, valueStack) {
+        const production = table.production(productionId);
+        if (production === null) {
+            return null;
+        }
+        const rhsLength = production.rhs.length;
+        const children = [];
+        for (let index = 0; index < rhsLength; index += 1) {
+            if (stateStack.length === 0 || valueStack.length === 0) {
+                return null;
+            }
+            stateStack.pop();
+            const child = valueStack.pop();
+            if (child === undefined) {
+                return null;
+            }
+            children.unshift(child);
+        }
+        if (stateStack.length === 0) {
+            return null;
+        }
+        const gotoState = table.goto(stateStack[stateStack.length - 1], production.name);
+        if (gotoState === null) {
+            return null;
+        }
+        const node = ShiftReduceEngine.nodeFromProduction(production, children);
+        valueStack.push(node);
+        stateStack.push(gotoState);
+        return node;
+    }
+    /**
+     * Builds a CST node for one reduced production.
+     *
+     * @param production - Reduced production metadata.
+     * @param children - Child subtrees matching the production right-hand side.
+     */
+    static nodeFromProduction(production, children) {
+        return AstNode.rule(production.name, children, mergeChildLocations(children), production.variant, production.id, production.origin);
+    }
+}
+/**
+ * Parses a token stream using a serialized LR parse table.
+ *
+ * @param table - Parse table with ACTION, GOTO, and production metadata.
+ * @param tokens - Token stream ending with `$eof`.
+ */
+export function parseWithTable(table, tokens) {
+    return ShiftReduceEngine.parse(table, tokens);
+}
+/**
+ * Parses a token stream and reports the first syntax error location.
+ *
+ * @param table - Parse table with ACTION, GOTO, and production metadata.
+ * @param tokens - Token stream ending with `$eof`.
+ */
+export function parseWithTableResult(table, tokens) {
+    return ShiftReduceEngine.parseWithResult(table, tokens);
+}
+//# sourceMappingURL=shift-reduce-engine.js.map

package/dist/lib/shift-reduce/shift-reduce-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shift-reduce-engine.js","sourceRoot":"","sources":["../../../src/lib/shift-reduce/shift-reduce-engine.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAc,MAAM,mBAAmB,CAAC;AAI3E;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAY;IAEvC,IAAI,UAAU,CAAC,KAAK,CAAC,EACrB,CAAC;QACG,OAAO,cAAc,CAAC;IAC1B,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAY;IAEzC,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;AACpE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAA4B;IAE5D,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,IAAI,GAAG,GAAkB,IAAI,CAAC;IAE9B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAC5B,CAAC;QACG,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,EAC3B,CAAC;YACG,SAAS;QACb,CAAC;QAED,IAAI,MAAM,KAAK,IAAI,EACnB,CAAC;YACG,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC/B,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YACpD,SAAS;QACb,CAAC;QAED,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACjD,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChG,CAAC;IAED,IAAI,MAAM,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,EACnC,CAAC;QACG,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO;QACH,MAAM;QACN,MAAM,EAAE,GAAG,GAAG,MAAM;KACvB,CAAC;AACN,CAAC;AAYD;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAE1B;;;;;;OAMG;IACI,MAAM,CAAC,KAAK,CAAC,KAAiB,EAAE,MAAwB;QAE3D,OAAO,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC;IAChE,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CAAC,eAAe,CACzB,KAAiB,EACjB,MAAwB;QAGxB,IAAI,CAAC,KAAK,CAAC,cAAc,EACzB,CAAC;YACG,OAAO;gBACH,GAAG,EAAE,IAAI;gBACT,WAAW,EAAE,CAAC;gBACd,YAAY,EAAE,mCAAmC;aACpD,CAAC;QACN,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EACjE,CAAC;YACG,OAAO;gBACH,GAAG,EAAE,IAAI;gBACT,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC;gBAC5C,YAAY,EAAE,iCAAiC;aAClD,CAAC;QACN,CAAC;QAED,MAAM,UAAU,GAAa,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,UAAU,GAAc,EAAE,CAAC;QACjC,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,OAAO,IAAI,EACX,CAAC;YACG,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAChD,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC;YAEjE,IAAI,MAAM,KAAK,IAAI,EACnB,CAAC;gBACG,OAAO;oBACH,GAAG,EAAE,IAAI;oBACT,WAAW,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM;oBACzC,YAAY,EAAE,cAAc,YAAY,CAAC,IAAI,EAAE;iBAClD,CAAC;YACN,CAAC;YAED,QAAQ,MAAM,CAAC,IAAI,EACnB,CAAC;gBACG,KAAK,OAAO;oBACZ,CAAC;wBACG,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC;wBAChD,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;wBAC9B,UAAU,IAAI,CAAC,CAAC;wBAChB,MAAM;oBACV,CAAC;gBAED,KAAK,QAAQ;oBACb,CAAC;wBACG,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CACjC,KAAK,EACL,MAAM,CAAC,YAAY,EACnB,UAAU,EACV,UAAU,CACb,CAAC;wBAEF,IAAI,IAAI,KAAK,IAAI,EACjB,CAAC;4BACG,OAAO;gCACH,GAAG,EAAE,IAAI;gCACT,WAAW,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM;gCACzC,YAAY,EAAE,uBAAuB;6BACxC,CAAC;wBACN,CAAC;wBAED,MAAM;oBACV,CAAC;gBAED,KAAK,QAAQ;oBACb,CAAC;wBACG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAC3B,CAAC;4BACG,OAAO;gCACH,GAAG,EAAE,IAAI;gCACT,WAAW,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM;gCACzC,YAAY,EAAE,oBAAoB;6BACrC,CAAC;wBACN,CAAC;wBAED,OAAO;4BACH,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;4BACtC,WAAW,EAAE,IAAI;4BACjB,YAAY,EAAE,IAAI;yBACrB,CAAC;oBACN,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACK,MAAM,CAAC,MAAM,CACjB,KAAiB,EACjB,YAAoB,EACpB,UAAoB,EACpB,UAAqB;QAGrB,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAElD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;YACG,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;QACxC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,CAAC,EACjD,CAAC;YACG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EACtD,CAAC;gBACG,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,UAAU,CAAC,GAAG,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC;YAE/B,IAAI,KAAK,KAAK,SAAS,EACvB,CAAC;gBACG,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAC3B,CAAC;YACG,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAEjF,IAAI,SAAS,KAAK,IAAI,EACtB,CAAC;YACG,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,IAAI,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QACxE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE3B,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;;;;OAKG;IACK,MAAM,CAAC,kBAAkB,CAC7B,UAAoC,EACpC,QAA4B;QAG5B,OAAO,OAAO,CAAC,IAAI,CACf,UAAU,CAAC,IAAI,EACf,QAAQ,EACR,mBAAmB,CAAC,QAAQ,CAAC,EAC7B,UAAU,CAAC,OAAO,EAClB,UAAU,CAAC,EAAE,EACb,UAAU,CAAC,MAAM,CACpB,CAAC;IACN,CAAC;CACJ;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,KAAiB,EAAE,MAAwB;IAEtE,OAAO,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAChC,KAAiB,EACjB,MAAwB;IAGxB,OAAO,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAC5D,CAAC"}

package/dist/lib/transform/binding-map.d.ts

@@ -0,0 +1,32 @@
+import type { ParseTableProductionJson } from '../parse-table/parse-table-json.js';
+/**
+ * One bound or unbound slot on a production right-hand side.
+ */
+export interface ProductionSlot {
+    readonly index: number;
+    readonly binding: string | null;
+    readonly symbol: string;
+}
+/**
+ * Parses a serialized production right-hand side symbol key.
+ *
+ * @param key - Encoded symbol from a parse table production.
+ */
+export declare function parseRhsSymbolKey(key: string): {
+    binding: string | null;
+    symbol: string;
+};
+/**
+ * Returns indexed slots for one production right-hand side.
+ *
+ * @param production - Parse table production metadata.
+ */
+export declare function productionSlots(production: ParseTableProductionJson): readonly ProductionSlot[];
+/**
+ * Finds the child index for a transform reference name.
+ *
+ * @param production - Parse table production metadata.
+ * @param reference - Binding or symbol name from a transform expression.
+ */
+export declare function referenceSlotIndex(production: ParseTableProductionJson, reference: string): number | null;
+//# sourceMappingURL=binding-map.d.ts.map

package/dist/lib/transform/binding-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-map.d.ts","sourceRoot":"","sources":["../../../src/lib/transform/binding-map.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAEnF;;GAEG;AACH,MAAM,WAAW,cAAc;IAE3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAwBzF;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,wBAAwB,GAAG,SAAS,cAAc,EAAE,CAY/F;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAC9B,UAAU,EAAE,wBAAwB,EACpC,SAAS,EAAE,MAAM,GAClB,MAAM,GAAG,IAAI,CAmBf"}

package/dist/lib/transform/binding-map.js

@@ -0,0 +1,59 @@
+/**
+ * Parses a serialized production right-hand side symbol key.
+ *
+ * @param key - Encoded symbol from a parse table production.
+ */
+export function parseRhsSymbolKey(key) {
+    const bindingMatch = /^\[([A-Za-z_][A-Za-z0-9_]*)\]:(.+)$/.exec(key);
+    if (bindingMatch !== null) {
+        return {
+            binding: bindingMatch[1],
+            symbol: bindingMatch[2],
+        };
+    }
+    if (key.startsWith('"') && key.endsWith('"')) {
+        return {
+            binding: null,
+            symbol: key.slice(1, -1),
+        };
+    }
+    return {
+        binding: null,
+        symbol: key,
+    };
+}
+/**
+ * Returns indexed slots for one production right-hand side.
+ *
+ * @param production - Parse table production metadata.
+ */
+export function productionSlots(production) {
+    return production.rhs.map((key, index) => {
+        const parsed = parseRhsSymbolKey(key);
+        return {
+            index,
+            binding: parsed.binding,
+            symbol: parsed.symbol,
+        };
+    });
+}
+/**
+ * Finds the child index for a transform reference name.
+ *
+ * @param production - Parse table production metadata.
+ * @param reference - Binding or symbol name from a transform expression.
+ */
+export function referenceSlotIndex(production, reference) {
+    for (const slot of productionSlots(production)) {
+        if (slot.binding === reference) {
+            return slot.index;
+        }
+    }
+    for (const slot of productionSlots(production)) {
+        if (slot.binding === null && slot.symbol === reference) {
+            return slot.index;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=binding-map.js.map