parser-lr 0.6.1 → 0.8.0

package/grammars/grammar.grammar

@@ -236,193 +236,72 @@ grammar
 
 ast
     grammar_file =
-        name_decl
-        { section }
-        start_decl
-        grammar_section
-        [ ast_section ]
-        [ transform_section ]
-    ;
-
-    name_decl =
-        name_kw grammar_name semicolon
-    ;
-
-    grammar_name =
-        identifier
-      | string_literal
-    ;
-
-    section =
-        token_section
-      | skip_section
-      | states_section
+        #sections { section }
     ;
 
     token_section =
-        tokens_kw token_def { token_def }
+        #definitions { token_def }
     ;
 
     skip_section =
-        skip_kw token_def { token_def }
-    ;
-
-    states_section =
-        states_kw state_name { comma state_name } semicolon
-    ;
-
-    token_def =
-        identifier equal regex_literal semicolon
-    ;
-
-    state_name =
-        identifier
-    ;
-
-    start_decl =
-        start_kw identifier semicolon
+        #definitions { token_def }
     ;
 
     grammar_section =
-        grammar_kw production { production }
+        #productions { production }
     ;
 
     ast_section =
-        ast_kw ast_type { ast_type }
+        #types { ast_type }
     ;
 
     transform_section =
-        transform_kw transform_rule { transform_rule }
-    ;
-
-    production =
-        identifier equal expression semicolon
-    ;
-
-    ast_type =
-        identifier equal expression semicolon
+        #rules { transform_rule }
     ;
 
     transform_rule =
-        identifier arrow labeled_transform { bar labeled_transform } semicolon
-    ;
-
-    labeled_transform =
-        hash identifier transform_expr
-    ;
-
-    transform_expr =
-        drop_kw
-      | pass_expr
-      | fold_left_expr
-      | fold_right_expr
-      | flatten_expr
-      | build_expr
-    ;
-
-    pass_expr =
-        pass_kw lpar reference rpar
-    ;
-
-    fold_left_expr =
-        fold_left_kw lpar build_target comma reference_list rpar
-    ;
-
-    fold_right_expr =
-        fold_right_kw lpar build_target comma reference_list rpar
-    ;
-
-    flatten_expr =
-        flatten_kw lpar build_target comma reference comma reference rpar
-    ;
-
-    build_expr =
-        build_target [ lpar reference_list rpar ]
-    ;
-
-    build_target =
-        identifier dot hash identifier
+        #alternatives { labeled_transform }
     ;
 
     reference_list =
-        reference { comma reference }
-    ;
-
-    reference =
-        identifier
-    ;
-
-    expression =
-        choice
+        #references { reference }
     ;
 
     choice =
-        alternative { bar alternative }
-    ;
-
-    alternative =
-        labeled_alternative
-    ;
-
-    labeled_alternative =
-        [ hash identifier ] sequence
+        #alternatives { alternative }
     ;
 
     sequence =
-        factor { factor }
-    ;
-
-    factor =
-        bracketed
-      | repeat
-      | group
-      | primary
-    ;
-
-    bracketed =
-        lbracket expression rbracket [ colon identifier ]
-    ;
-
-    repeat =
-        lbrace expression rbrace
-    ;
-
-    group =
-        lpar expression rpar
-    ;
-
-    primary =
-        string_literal
-      | identifier
+        #factors { factor }
     ;
 
 transform
     grammar_file$repeat_0 ->
         #main flatten(grammar_file.#sections, section, grammar_file$repeat_0) ;
 
-    token_section$repeat_1 ->
+    token_section ->
         #main flatten(token_section.#definitions, token_def, token_section$repeat_1) ;
 
-    skip_section$repeat_2 ->
+    skip_section ->
         #main flatten(skip_section.#definitions, token_def, skip_section$repeat_2) ;
 
-    grammar_section$repeat_4 ->
+    grammar_section ->
         #main flatten(grammar_section.#productions, production, grammar_section$repeat_4) ;
 
-    ast_section$repeat_5 ->
+    ast_section ->
         #main flatten(ast_section.#types, ast_type, ast_section$repeat_5) ;
 
-    transform_section$repeat_6 ->
+    transform_section ->
         #main flatten(transform_section.#rules, transform_rule, transform_section$repeat_6) ;
 
-    transform_rule$repeat_7 ->
+    transform_rule ->
         #main flatten(transform_rule.#alternatives, labeled_transform, transform_rule$repeat_7) ;
 
-    reference_list$repeat_8 ->
+    reference_list ->
         #main flatten(reference_list.#references, reference, reference_list$repeat_8) ;
 
-    choice$repeat_9 ->
+    choice ->
         #main flatten(choice.#alternatives, alternative, choice$repeat_9) ;
 
-    sequence$repeat_10 ->
+    sequence ->
         #main flatten(sequence.#factors, factor, sequence$repeat_10) ;

package/grammars/lisp.grammar

@@ -51,16 +51,17 @@ grammar
 
 ast
     program =
-        { form }
+        #program { form }
     ;
 
     form =
         #list list
       | #atom atom
+      | #elements { form }
     ;
 
     list =
-        [open]:lpar
+        #list [open]:lpar
         { [element]:form }
         [close]:rpar
     ;

package/package.json

@@ -1,7 +1,7 @@
 {
     "name": "parser-lr",
     "author": "Adam R Moss <adamrmoss@gmail.com>",
-    "version": "0.6.1",
+    "version": "0.8.0",
     "description": "Shift-reduce parser library for EBNF grammars with LR table generation, lexing, and CST-to-AST transforms",
     "keywords": [
         "ast",
@@ -41,8 +41,12 @@
         ".": {
             "types": "./dist/lib/index.d.ts",
             "import": "./dist/lib/index.js",
-            "require": "./dist/lib-cjs/index.js",
             "default": "./dist/lib/index.js"
+        },
+        "./grammar": {
+            "types": "./dist/lib/grammar-entry.d.ts",
+            "import": "./dist/lib/grammar-entry.js",
+            "default": "./dist/lib/grammar-entry.js"
         }
     },
     "bin": {
@@ -82,6 +86,7 @@
         "@types/jest": "29.x",
         "@types/node": "22.x",
         "commander": "12.x",
+        "esbuild": "0.x",
         "jest": "29.x",
         "rollup": "4.x",
         "ts-jest": "29.x",

package/dist/lib/grammar/grammar-json-path.d.ts

@@ -1,2 +0,0 @@
-export { grammarJsonDirectory } from './grammar-json-path.esm.js';
-//# sourceMappingURL=grammar-json-path.d.ts.map

package/dist/lib/grammar/grammar-json-path.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"grammar-json-path.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/grammar-json-path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/lib/grammar/grammar-json-path.esm.d.ts

@@ -1,5 +0,0 @@
-/**
- * Returns the directory containing bootstrapped `grammar.json` for the ESM build.
- */
-export declare function grammarJsonDirectory(): string;
-//# sourceMappingURL=grammar-json-path.esm.d.ts.map

package/dist/lib/grammar/grammar-json-path.esm.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"grammar-json-path.esm.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/grammar-json-path.esm.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,CAG7C"}

package/dist/lib/grammar/grammar-json-path.esm.js

@@ -1,9 +0,0 @@
-import { dirname } from 'node:path';
-import { fileURLToPath } from 'node:url';
-/**
- * Returns the directory containing bootstrapped `grammar.json` for the ESM build.
- */
-export function grammarJsonDirectory() {
-    return dirname(fileURLToPath(import.meta.url));
-}
-//# sourceMappingURL=grammar-json-path.esm.js.map

package/dist/lib/grammar/grammar-json-path.esm.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"grammar-json-path.esm.js","sourceRoot":"","sources":["../../../src/lib/grammar/grammar-json-path.esm.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAEhC,OAAO,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC"}

package/dist/lib/grammar/grammar-json-path.js

@@ -1,2 +0,0 @@
-export { grammarJsonDirectory } from './grammar-json-path.esm.js';
-//# sourceMappingURL=grammar-json-path.js.map

package/dist/lib/grammar/grammar-json-path.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"grammar-json-path.js","sourceRoot":"","sources":["../../../src/lib/grammar/grammar-json-path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/lib-cjs/ast/ast-node.js

@@ -1,70 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.AstNode = void 0;
-/**
- * Tree node used for both parse (CST) and abstract (AST) phases.
- *
- * After parsing, {@link symbol} is a grammar production and {@link variant}
- * is the matched `#` label. After transform, {@link symbol} is an AST type
- * name and {@link variant} is the AST alternative label.
- */
-class AstNode {
-    symbol;
-    children;
-    text;
-    location;
-    variant;
-    productionId;
-    origin;
-    /**
-     * Creates a tree node.
-     *
-     * @param symbol - Production or AST type name.
-     * @param children - Child subtrees.
-     * @param text - Lexeme or literal text for leaves; null for interior nodes.
-     * @param location - Optional source span.
-     * @param variant - `#` alternative label when present.
-     * @param productionId - Parse table production id for CST nodes, or null after transform.
-     * @param origin - Source production or synthetic construct name for CST nodes.
-     */
-    constructor(symbol, children = [], text = null, location = null, variant = null, productionId = null, origin = null) {
-        this.symbol = symbol;
-        this.children = children;
-        this.text = text;
-        this.location = location;
-        this.variant = variant;
-        this.productionId = productionId;
-        this.origin = origin;
-    }
-    /**
-     * Whether this node is a terminal leaf with lexeme text.
-     */
-    get isTerminal() {
-        return this.text !== null;
-    }
-    /**
-     * Builds an interior node from a grammar or AST reduction.
-     *
-     * @param symbol - Production or AST type name.
-     * @param children - Reduced child subtrees.
-     * @param location - Optional source span covering the full production.
-     * @param variant - `#` alternative label when present.
-     * @param productionId - Parse table production id for CST nodes.
-     * @param origin - Source production or synthetic construct name for CST nodes.
-     */
-    static rule(symbol, children, location = null, variant = null, productionId = null, origin = null) {
-        return new AstNode(symbol, children, null, location, variant, productionId, origin);
-    }
-    /**
-     * Builds a terminal leaf node.
-     *
-     * @param symbol - Terminal symbol name.
-     * @param text - Matched lexeme text.
-     * @param location - Optional source span for the lexeme.
-     */
-    static terminal(symbol, text, location = null) {
-        return new AstNode(symbol, [], text, location, null);
-    }
-}
-exports.AstNode = AstNode;
-//# sourceMappingURL=ast-node.js.map

package/dist/lib-cjs/ast/ast-node.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ast-node.js","sourceRoot":"","sources":["../../../src/lib/ast/ast-node.ts"],"names":[],"mappings":";;;AASA;;;;;;GAMG;AACH,MAAa,OAAO;IAcI;IACA;IACA;IACA;IACA;IACA;IACA;IAlBpB;;;;;;;;;;OAUG;IACH,YACoB,MAAc,EACd,WAA+B,EAAE,EACjC,OAAsB,IAAI,EAC1B,WAAkC,IAAI,EACtC,UAAyB,IAAI,EAC7B,eAA8B,IAAI,EAClC,SAAwB,IAAI;QAN5B,WAAM,GAAN,MAAM,CAAQ;QACd,aAAQ,GAAR,QAAQ,CAAyB;QACjC,SAAI,GAAJ,IAAI,CAAsB;QAC1B,aAAQ,GAAR,QAAQ,CAA8B;QACtC,YAAO,GAAP,OAAO,CAAsB;QAC7B,iBAAY,GAAZ,YAAY,CAAsB;QAClC,WAAM,GAAN,MAAM,CAAsB;IAGhD,CAAC;IAED;;OAEG;IACH,IAAW,UAAU;QAEjB,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;IAC9B,CAAC;IAED;;;;;;;;;OASG;IACI,MAAM,CAAC,IAAI,CACd,MAAc,EACd,QAA4B,EAC5B,WAAkC,IAAI,EACtC,UAAyB,IAAI,EAC7B,eAA8B,IAAI,EAClC,SAAwB,IAAI;QAG5B,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IACxF,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CAAC,QAAQ,CAClB,MAAc,EACd,IAAY,EACZ,WAAkC,IAAI;QAGtC,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzD,CAAC;CACJ;AAtED,0BAsEC"}

package/dist/lib-cjs/errors/index.js

@@ -1,9 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ParserLrError = exports.messageContainsStackTrace = exports.isParserLrError = exports.formatUserError = void 0;
-var parser_lr_error_js_1 = require("./parser-lr-error.js");
-Object.defineProperty(exports, "formatUserError", { enumerable: true, get: function () { return parser_lr_error_js_1.formatUserError; } });
-Object.defineProperty(exports, "isParserLrError", { enumerable: true, get: function () { return parser_lr_error_js_1.isParserLrError; } });
-Object.defineProperty(exports, "messageContainsStackTrace", { enumerable: true, get: function () { return parser_lr_error_js_1.messageContainsStackTrace; } });
-Object.defineProperty(exports, "ParserLrError", { enumerable: true, get: function () { return parser_lr_error_js_1.ParserLrError; } });
-//# sourceMappingURL=index.js.map

package/dist/lib-cjs/errors/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/errors/index.ts"],"names":[],"mappings":";;;AAAA,2DAK8B;AAJ1B,qHAAA,eAAe,OAAA;AACf,qHAAA,eAAe,OAAA;AACf,+HAAA,yBAAyB,OAAA;AACzB,mHAAA,aAAa,OAAA"}

package/dist/lib-cjs/errors/parser-lr-error.js

@@ -1,52 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ParserLrError = void 0;
-exports.isParserLrError = isParserLrError;
-exports.formatUserError = formatUserError;
-exports.messageContainsStackTrace = messageContainsStackTrace;
-/**
- * Base class for library errors surfaced to callers and the CLI.
- */
-class ParserLrError extends Error {
-    /**
-     * Creates a parser-lr error with a caller-safe message.
-     *
-     * @param message - Human-readable failure description without stack frames.
-     */
-    constructor(message) {
-        super(message);
-        this.name = new.target.name;
-    }
-}
-exports.ParserLrError = ParserLrError;
-/**
- * Returns whether a value is a parser-lr domain error.
- *
- * @param error - Value to test.
- */
-function isParserLrError(error) {
-    return error instanceof ParserLrError;
-}
-/**
- * Returns a user-facing message for an error value.
- *
- * @param error - Thrown value or Error instance.
- */
-function formatUserError(error) {
-    if (error instanceof ParserLrError) {
-        return error.message;
-    }
-    if (error instanceof Error) {
-        return error.message;
-    }
-    return String(error);
-}
-/**
- * Returns whether a message contains embedded stack trace frames.
- *
- * @param message - Error message text to inspect.
- */
-function messageContainsStackTrace(message) {
-    return /\n\s+at .+/.test(message);
-}
-//# sourceMappingURL=parser-lr-error.js.map

package/dist/lib-cjs/errors/parser-lr-error.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"parser-lr-error.js","sourceRoot":"","sources":["../../../src/lib/errors/parser-lr-error.ts"],"names":[],"mappings":";;;AAsBA,0CAGC;AAOD,0CAaC;AAOD,8DAGC;AAvDD;;GAEG;AACH,MAAa,aAAc,SAAQ,KAAK;IAEpC;;;;OAIG;IACH,YAAmB,OAAe;QAE9B,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;IAChC,CAAC;CACJ;AAZD,sCAYC;AAED;;;;GAIG;AACH,SAAgB,eAAe,CAAC,KAAc;IAE1C,OAAO,KAAK,YAAY,aAAa,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,SAAgB,eAAe,CAAC,KAAc;IAE1C,IAAI,KAAK,YAAY,aAAa,EAClC,CAAC;QACG,OAAO,KAAK,CAAC,OAAO,CAAC;IACzB,CAAC;IAED,IAAI,KAAK,YAAY,KAAK,EAC1B,CAAC;QACG,OAAO,KAAK,CAAC,OAAO,CAAC;IACzB,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED;;;;GAIG;AACH,SAAgB,yBAAyB,CAAC,OAAe;IAErD,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC"}

package/dist/lib-cjs/grammar/ast-schema.js

@@ -1,43 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.AstSchema = void 0;
-/**
- * AST shape declared in the `ast` section of a `.grammar` file.
- */
-class AstSchema {
-    types;
-    typesByName;
-    /**
-     * Creates an AST schema from declared types.
-     *
-     * @param types - Named AST types from the `ast` section.
-     */
-    constructor(types) {
-        this.types = types;
-        // Index types by name for lookup.
-        const typesByName = new Map();
-        for (const type of types) {
-            typesByName.set(type.name, type);
-        }
-        this.typesByName = typesByName;
-    }
-    /**
-     * Returns an AST type by name.
-     *
-     * @param name - Type name to look up.
-     * @returns The matching type, or null when the name is undefined.
-     */
-    type(name) {
-        return this.typesByName.get(name) ?? null;
-    }
-    /**
-     * Whether a named AST type is defined in this schema.
-     *
-     * @param name - Type name to test.
-     */
-    hasType(name) {
-        return this.typesByName.has(name);
-    }
-}
-exports.AstSchema = AstSchema;
-//# sourceMappingURL=ast-schema.js.map

package/dist/lib-cjs/grammar/ast-schema.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ast-schema.js","sourceRoot":"","sources":["../../../src/lib/grammar/ast-schema.ts"],"names":[],"mappings":";;;AAEA;;GAEG;AACH,MAAa,SAAS;IASiB;IAPlB,WAAW,CAA+B;IAE3D;;;;OAIG;IACH,YAAmC,KAAyB;QAAzB,UAAK,GAAL,KAAK,CAAoB;QAExD,kCAAkC;QAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmB,CAAC;QAE/C,KAAK,MAAM,IAAI,IAAI,KAAK,EACxB,CAAC;YACG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC;QAED,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;IACnC,CAAC;IAED;;;;;OAKG;IACI,IAAI,CAAC,IAAY;QAEpB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IAC9C,CAAC;IAED;;;;OAIG;IACI,OAAO,CAAC,IAAY;QAEvB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;CACJ;AA1CD,8BA0CC"}

package/dist/lib-cjs/grammar/ast-type.js

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=ast-type.js.map

package/dist/lib-cjs/grammar/ast-type.js.map

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

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

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=expression.js.map

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

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