parser-lr 0.0.0 → 0.2.1

package/dist/lib/grammar/index.d.ts

@@ -0,0 +1,13 @@
+export type { AstType } from './ast-type.js';
+export { AstSchema } from './ast-schema.js';
+export type { Alternative, BoundReferenceExpression, ChoiceExpression, Expression, GroupExpression, OptionalExpression, ReferenceExpression, RepeatExpression, SequenceExpression, TerminalExpression, } from './expression.js';
+export { Grammar } from './grammar.js';
+export { grammarFromCst } from './grammar-from-cst.js';
+export { readGrammar } from './read-grammar.js';
+export { ReadGrammarError } from './read-grammar-error.js';
+export type { Production } from './production.js';
+export type { TokenRule } from './token-rule.js';
+export type { BuildTransform, DropTransform, FlattenTransform, FoldLeftTransform, FoldRightTransform, PassTransform, TransformExpression, } from './transform-expression.js';
+export type { TransformAlternative, TransformRule } from './transform-rule.js';
+export { TransformSchema } from './transform-schema.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/grammar/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,YAAY,EACR,WAAW,EACX,wBAAwB,EACxB,gBAAgB,EAChB,UAAU,EACV,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,GACrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,YAAY,EACR,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,aAAa,EACb,mBAAmB,GACtB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/lib/grammar/index.js

@@ -0,0 +1,7 @@
+export { AstSchema } from './ast-schema.js';
+export { Grammar } from './grammar.js';
+export { grammarFromCst } from './grammar-from-cst.js';
+export { readGrammar } from './read-grammar.js';
+export { ReadGrammarError } from './read-grammar-error.js';
+export { TransformSchema } from './transform-schema.js';
+//# sourceMappingURL=index.js.map

package/dist/lib/grammar/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/grammar/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAa5C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAa3D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/lib/grammar/meta-grammar-table.d.ts

@@ -0,0 +1,19 @@
+import type { Token } from '../lexer/token.js';
+import { ParseTable } from '../parse-table/parse-table.js';
+import type { Grammar } from './grammar.js';
+/**
+ * Returns the bootstrapped meta-grammar table for `.grammar` files.
+ */
+export declare function metaGrammarTable(): ParseTable;
+/**
+ * Returns the bootstrapped meta-grammar model used to lex `.grammar` files.
+ */
+export declare function metaGrammar(): Grammar;
+/**
+ * Lexes a `.grammar` source file using the bootstrapped meta-grammar table.
+ *
+ * @param source - Full grammar file text.
+ * @returns Matched tokens excluding `$eof`.
+ */
+export declare function lexGrammarSource(source: string): readonly Token[];
+//# sourceMappingURL=meta-grammar-table.d.ts.map

package/dist/lib/grammar/meta-grammar-table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta-grammar-table.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/meta-grammar-table.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAG3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAO5C;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,UAAU,CAG7C;AAED;;GAEG;AACH,wBAAgB,WAAW,IAAI,OAAO,CAQrC;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,KAAK,EAAE,CAKjE"}

package/dist/lib/grammar/meta-grammar-table.js

@@ -0,0 +1,32 @@
+import { Lexer } from '../lexer/lexer.js';
+import { isEofToken } from '../lexer/token.js';
+import { ParseTable } from '../parse-table/parse-table.js';
+import bootstrapTableJson from './grammar.json' with { type: 'json' };
+const bootstrapTable = bootstrapTableJson;
+let bootstrapMetaGrammar = null;
+/**
+ * Returns the bootstrapped meta-grammar table for `.grammar` files.
+ */
+export function metaGrammarTable() {
+    return ParseTable.fromJson(bootstrapTable);
+}
+/**
+ * Returns the bootstrapped meta-grammar model used to lex `.grammar` files.
+ */
+export function metaGrammar() {
+    if (bootstrapMetaGrammar === null) {
+        bootstrapMetaGrammar = metaGrammarTable().toGrammar();
+    }
+    return bootstrapMetaGrammar;
+}
+/**
+ * Lexes a `.grammar` source file using the bootstrapped meta-grammar table.
+ *
+ * @param source - Full grammar file text.
+ * @returns Matched tokens excluding `$eof`.
+ */
+export function lexGrammarSource(source) {
+    const tokens = new Lexer(metaGrammar()).lex(source);
+    return tokens.filter((token) => !isEofToken(token));
+}
+//# sourceMappingURL=meta-grammar-table.js.map

package/dist/lib/grammar/meta-grammar-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta-grammar-table.js","sourceRoot":"","sources":["../../../src/lib/grammar/meta-grammar-table.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAI3D,OAAO,kBAAkB,MAAM,gBAAgB,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAEtE,MAAM,cAAc,GAAG,kBAAoC,CAAC;AAE5D,IAAI,oBAAoB,GAAmB,IAAI,CAAC;AAEhD;;GAEG;AACH,MAAM,UAAU,gBAAgB;IAE5B,OAAO,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW;IAEvB,IAAI,oBAAoB,KAAK,IAAI,EACjC,CAAC;QACG,oBAAoB,GAAG,gBAAgB,EAAE,CAAC,SAAS,EAAE,CAAC;IAC1D,CAAC;IAED,OAAO,oBAAoB,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAE3C,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEpD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/lib/grammar/production.d.ts

@@ -0,0 +1,9 @@
+import type { Expression } from './expression.js';
+/**
+ * Named production (`identifier = expression ;`).
+ */
+export interface Production {
+    readonly name: string;
+    readonly expression: Expression;
+}
+//# sourceMappingURL=production.d.ts.map

package/dist/lib/grammar/production.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"production.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/production.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD;;GAEG;AACH,MAAM,WAAW,UAAU;IAEvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACnC"}

package/dist/lib/grammar/production.js

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

package/dist/lib/grammar/production.js.map

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

package/dist/lib/grammar/read-grammar-error.d.ts

@@ -0,0 +1,15 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Error thrown when a `.grammar` file cannot be lexed or parsed.
+ */
+export declare class ReadGrammarError extends ParserLrError {
+    readonly offset: number;
+    /**
+     * Creates a grammar read error at a source offset.
+     *
+     * @param message - Human-readable failure description.
+     * @param offset - Source offset where reading failed.
+     */
+    constructor(message: string, offset: number);
+}
+//# sourceMappingURL=read-grammar-error.d.ts.map

package/dist/lib/grammar/read-grammar-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-grammar-error.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/read-grammar-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D;;GAEG;AACH,qBAAa,gBAAiB,SAAQ,aAAa;aAU3B,MAAM,EAAE,MAAM;IARlC;;;;;OAKG;gBAEC,OAAO,EAAE,MAAM,EACC,MAAM,EAAE,MAAM;CAKrC"}

package/dist/lib/grammar/read-grammar-error.js

@@ -0,0 +1,18 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Error thrown when a `.grammar` file cannot be lexed or parsed.
+ */
+export class ReadGrammarError extends ParserLrError {
+    offset;
+    /**
+     * Creates a grammar read error at a source offset.
+     *
+     * @param message - Human-readable failure description.
+     * @param offset - Source offset where reading failed.
+     */
+    constructor(message, offset) {
+        super(message);
+        this.offset = offset;
+    }
+}
+//# sourceMappingURL=read-grammar-error.js.map

package/dist/lib/grammar/read-grammar-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-grammar-error.js","sourceRoot":"","sources":["../../../src/lib/grammar/read-grammar-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D;;GAEG;AACH,MAAM,OAAO,gBAAiB,SAAQ,aAAa;IAU3B;IARpB;;;;;OAKG;IACH,YACI,OAAe,EACC,MAAc;QAG9B,KAAK,CAAC,OAAO,CAAC,CAAC;QAHC,WAAM,GAAN,MAAM,CAAQ;IAIlC,CAAC;CACJ"}

package/dist/lib/grammar/read-grammar.d.ts

@@ -0,0 +1,9 @@
+import type { Grammar } from './grammar.js';
+/**
+ * Parses a `.grammar` source string into a {@link Grammar} model.
+ *
+ * @param source - Full grammar file text.
+ * @returns Parsed grammar file model.
+ */
+export declare function readGrammar(source: string): Grammar;
+//# sourceMappingURL=read-grammar.d.ts.map

package/dist/lib/grammar/read-grammar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-grammar.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/read-grammar.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAI5C;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAenD"}

package/dist/lib/grammar/read-grammar.js

@@ -0,0 +1,21 @@
+import { Lexer } from '../lexer/lexer.js';
+import { parseWithTableResult } from '../shift-reduce/shift-reduce-engine.js';
+import { grammarFromCst } from './grammar-from-cst.js';
+import { metaGrammar, metaGrammarTable } from './meta-grammar-table.js';
+import { ReadGrammarError } from './read-grammar-error.js';
+/**
+ * Parses a `.grammar` source string into a {@link Grammar} model.
+ *
+ * @param source - Full grammar file text.
+ * @returns Parsed grammar file model.
+ */
+export function readGrammar(source) {
+    const table = metaGrammarTable();
+    const tokens = new Lexer(metaGrammar()).lex(source);
+    const result = parseWithTableResult(table, tokens);
+    if (result.cst === null) {
+        throw new ReadGrammarError(result.errorMessage ?? 'Grammar parse failed', result.errorOffset ?? 0);
+    }
+    return grammarFromCst(result.cst);
+}
+//# sourceMappingURL=read-grammar.js.map

package/dist/lib/grammar/read-grammar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-grammar.js","sourceRoot":"","sources":["../../../src/lib/grammar/read-grammar.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAE9E,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IAEtC,MAAM,KAAK,GAAG,gBAAgB,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAEnD,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,EACvB,CAAC;QACG,MAAM,IAAI,gBAAgB,CACtB,MAAM,CAAC,YAAY,IAAI,sBAAsB,EAC7C,MAAM,CAAC,WAAW,IAAI,CAAC,CAC1B,CAAC;IACN,CAAC;IAED,OAAO,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACtC,CAAC"}

package/dist/lib/grammar/token-rule.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Lexer rule from a `tokens` or `skip` section (`identifier = /…/ ;`).
+ */
+export interface TokenRule {
+    readonly name: string;
+    readonly pattern: string;
+    readonly flags: string;
+    /** Lexer states where this rule is active; omitted means all states. */
+    readonly states?: readonly string[];
+}
+//# sourceMappingURL=token-rule.d.ts.map

package/dist/lib/grammar/token-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-rule.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/token-rule.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,WAAW,SAAS;IAEtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,wEAAwE;IACxE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC"}

package/dist/lib/grammar/token-rule.js

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

package/dist/lib/grammar/token-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-rule.js","sourceRoot":"","sources":["../../../src/lib/grammar/token-rule.ts"],"names":[],"mappings":""}

package/dist/lib/grammar/transform-expression.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Omit the CST subtree from the AST.
+ */
+export interface DropTransform {
+    readonly kind: 'drop';
+}
+/**
+ * Lift a single child binding or subtree unchanged.
+ */
+export interface PassTransform {
+    readonly kind: 'pass';
+    readonly reference: string;
+}
+/**
+ * Left-associate repeated infix operators into chained AST nodes.
+ */
+export interface FoldLeftTransform {
+    readonly kind: 'foldLeft';
+    readonly typeName: string;
+    readonly variant: string;
+    readonly references: readonly string[];
+}
+/**
+ * Right-associate repeated infix operators into chained AST nodes.
+ */
+export interface FoldRightTransform {
+    readonly kind: 'foldRight';
+    readonly typeName: string;
+    readonly variant: string;
+    readonly references: readonly string[];
+}
+/**
+ * Flatten a `{ head tail }` repetition into a list AST node.
+ */
+export interface FlattenTransform {
+    readonly kind: 'flatten';
+    readonly typeName: string;
+    readonly variant: string;
+    readonly head: string;
+    readonly tail: string;
+}
+/**
+ * Build an AST node (`type.#variant(arg, …)`).
+ */
+export interface BuildTransform {
+    readonly kind: 'build';
+    readonly typeName: string;
+    readonly variant: string;
+    readonly arguments: readonly string[];
+}
+/**
+ * Root discriminated union for transform expressions.
+ */
+export type TransformExpression = DropTransform | PassTransform | FoldLeftTransform | FoldRightTransform | FlattenTransform | BuildTransform;
+//# sourceMappingURL=transform-expression.d.ts.map

package/dist/lib/grammar/transform-expression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform-expression.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/transform-expression.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,WAAW,aAAa;IAE1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAE1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAE9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAE/B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAE7B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAE3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GACzB,aAAa,GACb,aAAa,GACb,iBAAiB,GACjB,kBAAkB,GAClB,gBAAgB,GAChB,cAAc,CAAC"}

package/dist/lib/grammar/transform-expression.js

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

package/dist/lib/grammar/transform-expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform-expression.js","sourceRoot":"","sources":["../../../src/lib/grammar/transform-expression.ts"],"names":[],"mappings":""}

package/dist/lib/grammar/transform-rule.d.ts

@@ -0,0 +1,16 @@
+import type { TransformExpression } from './transform-expression.js';
+/**
+ * Maps one CST `#` alternative to a transform expression.
+ */
+export interface TransformAlternative {
+    readonly label: string;
+    readonly expression: TransformExpression;
+}
+/**
+ * CST production transform (`production -> #alt expr | … ;`).
+ */
+export interface TransformRule {
+    readonly production: string;
+    readonly alternatives: readonly TransformAlternative[];
+}
+//# sourceMappingURL=transform-rule.d.ts.map

package/dist/lib/grammar/transform-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform-rule.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/transform-rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAErE;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAEjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAE1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,SAAS,oBAAoB,EAAE,CAAC;CAC1D"}

package/dist/lib/grammar/transform-rule.js

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

package/dist/lib/grammar/transform-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform-rule.js","sourceRoot":"","sources":["../../../src/lib/grammar/transform-rule.ts"],"names":[],"mappings":""}

package/dist/lib/grammar/transform-schema.d.ts

@@ -0,0 +1,28 @@
+import type { TransformRule } from './transform-rule.js';
+/**
+ * CST-to-AST rules from the `transform` section of a `.grammar` file.
+ */
+export declare class TransformSchema {
+    readonly rules: readonly TransformRule[];
+    private readonly rulesByProduction;
+    /**
+     * Creates a transform schema from declared rules.
+     *
+     * @param rules - Production transform rules from the `transform` section.
+     */
+    constructor(rules: readonly TransformRule[]);
+    /**
+     * Returns transform rules for a CST production.
+     *
+     * @param production - Production name to look up.
+     * @returns The matching rule, or null when the production is undefined.
+     */
+    rule(production: string): TransformRule | null;
+    /**
+     * Whether a CST production has transform rules defined.
+     *
+     * @param production - Production name to test.
+     */
+    hasRule(production: string): boolean;
+}
+//# sourceMappingURL=transform-schema.d.ts.map

package/dist/lib/grammar/transform-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform-schema.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/transform-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD;;GAEG;AACH,qBAAa,eAAe;aASW,KAAK,EAAE,SAAS,aAAa,EAAE;IAPlE,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAqC;IAEvE;;;;OAIG;gBACgC,KAAK,EAAE,SAAS,aAAa,EAAE;IAalE;;;;;OAKG;IACI,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI;IAKrD;;;;OAIG;IACI,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;CAI9C"}

package/dist/lib/grammar/transform-schema.js

@@ -0,0 +1,39 @@
+/**
+ * CST-to-AST rules from the `transform` section of a `.grammar` file.
+ */
+export class TransformSchema {
+    rules;
+    rulesByProduction;
+    /**
+     * Creates a transform schema from declared rules.
+     *
+     * @param rules - Production transform rules from the `transform` section.
+     */
+    constructor(rules) {
+        this.rules = rules;
+        // Index rules by CST production name for lookup.
+        const rulesByProduction = new Map();
+        for (const rule of rules) {
+            rulesByProduction.set(rule.production, rule);
+        }
+        this.rulesByProduction = rulesByProduction;
+    }
+    /**
+     * Returns transform rules for a CST production.
+     *
+     * @param production - Production name to look up.
+     * @returns The matching rule, or null when the production is undefined.
+     */
+    rule(production) {
+        return this.rulesByProduction.get(production) ?? null;
+    }
+    /**
+     * Whether a CST production has transform rules defined.
+     *
+     * @param production - Production name to test.
+     */
+    hasRule(production) {
+        return this.rulesByProduction.has(production);
+    }
+}
+//# sourceMappingURL=transform-schema.js.map

package/dist/lib/grammar/transform-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform-schema.js","sourceRoot":"","sources":["../../../src/lib/grammar/transform-schema.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,OAAO,eAAe;IASW;IAPlB,iBAAiB,CAAqC;IAEvE;;;;OAIG;IACH,YAAmC,KAA+B;QAA/B,UAAK,GAAL,KAAK,CAA0B;QAE9D,iDAAiD;QACjD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAyB,CAAC;QAE3D,KAAK,MAAM,IAAI,IAAI,KAAK,EACxB,CAAC;YACG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;IAC/C,CAAC;IAED;;;;;OAKG;IACI,IAAI,CAAC,UAAkB;QAE1B,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IAC1D,CAAC;IAED;;;;OAIG;IACI,OAAO,CAAC,UAAkB;QAE7B,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC;CACJ"}

package/dist/lib/index.d.ts

@@ -1,5 +1,24 @@
 /**
  * Public library entry point for parser-lr.
  */
+export { AstNode } from './ast/ast-node.js';
+export type { SourceLocation } from './ast/ast-node.js';
+export type { Alternative, AstType, BoundReferenceExpression, BuildTransform, ChoiceExpression, DropTransform, Expression, FlattenTransform, FoldLeftTransform, FoldRightTransform, GroupExpression, OptionalExpression, PassTransform, Production, ReferenceExpression, RepeatExpression, SequenceExpression, TerminalExpression, TokenRule, TransformAlternative, TransformExpression, TransformRule, } from './grammar/index.js';
+export { AstSchema, Grammar, TransformSchema } from './grammar/index.js';
+export { ReadGrammarError, readGrammar } from './grammar/index.js';
+export { Lexer, LexerCompileError, LexerInputError, LexerStateError, lexChunkStream, lexChunkStreamAsync, lexChunks, lexChunksAsync } from './lexer/index.js';
+export { DEFAULT_LEXER_STATE, EOF_TOKEN_NAME, LexerError, compileLexerRules, eofToken, isEofToken, token, } from './lexer/index.js';
+export type { CompiledLexerRules, CompiledRule, Token } from './lexer/index.js';
+export { LrAlgorithmError, PARSE_TABLE_VERSION, ParseTable, ParseTableError, isLrAlgorithm, parseLrAlgorithm, tokenInventory } from './parse-table/index.js';
+export type { LrAlgorithm, ParseTableJson } from './parse-table/index.js';
+export { formatUserError, isParserLrError, messageContainsStackTrace, ParserLrError } from './errors/index.js';
+export { ParseContextError } from './parse-context-error.js';
+export { ParseOutputError } from './parse-output-error.js';
+export { ParseContext } from './parse-context.js';
+export type { ParseContextSources } from './parse-context.js';
+export { formatParseOutput } from './parse-output.js';
 export { ParserLr } from './parser-lr.js';
+export { parseWithTable, parseWithTableResult, ShiftReduceEngine } from './shift-reduce/index.js';
+export type { ShiftReduceParseResult } from './shift-reduce/index.js';
+export { transformCst, CstTransformer } from './transform/index.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/lib/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,YAAY,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,YAAY,EACR,WAAW,EACX,OAAO,EACP,wBAAwB,EACxB,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,aAAa,EACb,UAAU,EACV,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,SAAS,EACT,oBAAoB,EACpB,mBAAmB,EACnB,aAAa,GAChB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,mBAAmB,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC9J,OAAO,EACH,mBAAmB,EACnB,cAAc,EACd,UAAU,EACV,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACV,KAAK,GACR,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,kBAAkB,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,UAAU,EAAE,eAAe,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7J,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAClG,YAAY,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/lib/index.js

@@ -1,5 +1,18 @@
 /**
  * Public library entry point for parser-lr.
  */
+export { AstNode } from './ast/ast-node.js';
+export { AstSchema, Grammar, TransformSchema } from './grammar/index.js';
+export { ReadGrammarError, readGrammar } from './grammar/index.js';
+export { Lexer, LexerCompileError, LexerInputError, LexerStateError, lexChunkStream, lexChunkStreamAsync, lexChunks, lexChunksAsync } from './lexer/index.js';
+export { DEFAULT_LEXER_STATE, EOF_TOKEN_NAME, LexerError, compileLexerRules, eofToken, isEofToken, token, } from './lexer/index.js';
+export { LrAlgorithmError, PARSE_TABLE_VERSION, ParseTable, ParseTableError, isLrAlgorithm, parseLrAlgorithm, tokenInventory } from './parse-table/index.js';
+export { formatUserError, isParserLrError, messageContainsStackTrace, ParserLrError } from './errors/index.js';
+export { ParseContextError } from './parse-context-error.js';
+export { ParseOutputError } from './parse-output-error.js';
+export { ParseContext } from './parse-context.js';
+export { formatParseOutput } from './parse-output.js';
 export { ParserLr } from './parser-lr.js';
+export { parseWithTable, parseWithTableResult, ShiftReduceEngine } from './shift-reduce/index.js';
+export { transformCst, CstTransformer } from './transform/index.js';
 //# sourceMappingURL=index.js.map

package/dist/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AA0B5C,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,mBAAmB,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC9J,OAAO,EACH,mBAAmB,EACnB,cAAc,EACd,UAAU,EACV,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACV,KAAK,GACR,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,UAAU,EAAE,eAAe,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAE7J,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAElG,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/lib/lexer/index.d.ts

@@ -0,0 +1,10 @@
+export { LexerCompileError } from './lexer-compile-error.js';
+export { LexerInputError } from './lexer-input-error.js';
+export { LexerStateError } from './lexer-state-error.js';
+export { DEFAULT_LEXER_STATE, compileLexerRules, findLongestMatch, hasLongerPossibleMatch, hasLongerPossibleMatchCrossRule, matchRule, resolveLexerStates, rulesForState, } from './lexer-compile.js';
+export type { CompiledLexerRules, CompiledRule } from './lexer-compile.js';
+export { LexerError } from './lexer-error.js';
+export { Lexer, lexChunkStream, lexChunkStreamAsync, lexChunks, lexChunksAsync, } from './lexer.js';
+export { EOF_TOKEN_NAME, eofToken, isEofToken, token } from './token.js';
+export type { Token } from './token.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/lexer/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/lexer/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EACH,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,EACtB,+BAA+B,EAC/B,SAAS,EACT,kBAAkB,EAClB,aAAa,GAChB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACH,KAAK,EACL,cAAc,EACd,mBAAmB,EACnB,SAAS,EACT,cAAc,GACjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACzE,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}

package/dist/lib/lexer/index.js

@@ -0,0 +1,8 @@
+export { LexerCompileError } from './lexer-compile-error.js';
+export { LexerInputError } from './lexer-input-error.js';
+export { LexerStateError } from './lexer-state-error.js';
+export { DEFAULT_LEXER_STATE, compileLexerRules, findLongestMatch, hasLongerPossibleMatch, hasLongerPossibleMatchCrossRule, matchRule, resolveLexerStates, rulesForState, } from './lexer-compile.js';
+export { LexerError } from './lexer-error.js';
+export { Lexer, lexChunkStream, lexChunkStreamAsync, lexChunks, lexChunksAsync, } from './lexer.js';
+export { EOF_TOKEN_NAME, eofToken, isEofToken, token } from './token.js';
+//# sourceMappingURL=index.js.map

package/dist/lib/lexer/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/lexer/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EACH,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,EACtB,+BAA+B,EAC/B,SAAS,EACT,kBAAkB,EAClB,aAAa,GAChB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACH,KAAK,EACL,cAAc,EACd,mBAAmB,EACnB,SAAS,EACT,cAAc,GACjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}

package/dist/lib/lexer/lexer-compile-error.d.ts

@@ -0,0 +1,15 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Error thrown when lexer rules cannot be compiled from a grammar.
+ */
+export declare class LexerCompileError extends ParserLrError {
+    readonly ruleName: string;
+    /**
+     * Creates a lexer compile error for one token rule.
+     *
+     * @param ruleName - Token or skip rule name.
+     * @param message - Underlying regular expression error message.
+     */
+    constructor(ruleName: string, message: string);
+}
+//# sourceMappingURL=lexer-compile-error.d.ts.map

package/dist/lib/lexer/lexer-compile-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer-compile-error.d.ts","sourceRoot":"","sources":["../../../src/lib/lexer/lexer-compile-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D;;GAEG;AACH,qBAAa,iBAAkB,SAAQ,aAAa;aAS5B,QAAQ,EAAE,MAAM;IAPpC;;;;;OAKG;gBAEiB,QAAQ,EAAE,MAAM,EAChC,OAAO,EAAE,MAAM;CAKtB"}

package/dist/lib/lexer/lexer-compile-error.js

@@ -0,0 +1,18 @@
+import { ParserLrError } from '../errors/parser-lr-error.js';
+/**
+ * Error thrown when lexer rules cannot be compiled from a grammar.
+ */
+export class LexerCompileError extends ParserLrError {
+    ruleName;
+    /**
+     * Creates a lexer compile error for one token rule.
+     *
+     * @param ruleName - Token or skip rule name.
+     * @param message - Underlying regular expression error message.
+     */
+    constructor(ruleName, message) {
+        super(`Invalid lexer rule ${JSON.stringify(ruleName)}: ${message}`);
+        this.ruleName = ruleName;
+    }
+}
+//# sourceMappingURL=lexer-compile-error.js.map

package/dist/lib/lexer/lexer-compile-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer-compile-error.js","sourceRoot":"","sources":["../../../src/lib/lexer/lexer-compile-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D;;GAEG;AACH,MAAM,OAAO,iBAAkB,SAAQ,aAAa;IAS5B;IAPpB;;;;;OAKG;IACH,YACoB,QAAgB,EAChC,OAAe;QAGf,KAAK,CAAC,sBAAsB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;QAJpD,aAAQ,GAAR,QAAQ,CAAQ;IAKpC,CAAC;CACJ"}