@traqula/core 0.0.1-alpha.10

package/lib/index.d.ts

@@ -0,0 +1,13 @@
+export * from './generator-builder/builderTypes';
+export * from './generator-builder/generatorBuilder';
+export * from './generator-builder/generatorTypes';
+export * from './indirection-builder/helpers';
+export * from './indirection-builder/IndirBuilder';
+export * from './lexer-builder/LexerBuilder';
+export * from './parser-builder/builderTypes';
+export * from './parser-builder/parserBuilder';
+export * from './parser-builder/ruleDefTypes';
+export * from './utils';
+export * from './CoreFactory';
+export * from './nodeTypings';
+export * from './Transformer';

package/lib/index.js

@@ -0,0 +1,19 @@
+// Export generator builder
+export * from './generator-builder/builderTypes';
+export * from './generator-builder/generatorBuilder';
+export * from './generator-builder/generatorTypes';
+// Export Indirection Builder
+export * from './indirection-builder/helpers';
+export * from './indirection-builder/IndirBuilder';
+// Export lexer builder
+export * from './lexer-builder/LexerBuilder';
+// Export parser builder
+export * from './parser-builder/builderTypes';
+export * from './parser-builder/parserBuilder';
+export * from './parser-builder/ruleDefTypes';
+// Export general types
+export * from './utils';
+export * from './CoreFactory';
+export * from './nodeTypings';
+export * from './Transformer';
+//# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":"AAAA,2BAA2B;AAC3B,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,oCAAoC,CAAC;AACnD,6BAA6B;AAC7B,cAAc,+BAA+B,CAAC;AAC9C,cAAc,oCAAoC,CAAC;AACnD,uBAAuB;AACvB,cAAc,8BAA8B,CAAC;AAC7C,wBAAwB;AACxB,cAAc,+BAA+B,CAAC;AAC9C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,+BAA+B,CAAC;AAC9C,uBAAuB;AACvB,cAAc,SAAS,CAAC;AACxB,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC","sourcesContent":["// Export generator builder\nexport * from './generator-builder/builderTypes';\nexport * from './generator-builder/generatorBuilder';\nexport * from './generator-builder/generatorTypes';\n// Export Indirection Builder\nexport * from './indirection-builder/helpers';\nexport * from './indirection-builder/IndirBuilder';\n// Export lexer builder\nexport * from './lexer-builder/LexerBuilder';\n// Export parser builder\nexport * from './parser-builder/builderTypes';\nexport * from './parser-builder/parserBuilder';\nexport * from './parser-builder/ruleDefTypes';\n// Export general types\nexport * from './utils';\nexport * from './CoreFactory';\nexport * from './nodeTypings';\nexport * from './Transformer';\n"]}

package/lib/indirection-builder/IndirBuilder.d.ts

@@ -0,0 +1,43 @@
+import type { ParseNamesFromList } from '../parser-builder/builderTypes';
+import type { CheckOverlap } from '../utils';
+import type { IndirDef, IndirectionMap, IndirectObjFromIndirDefs, ParseIndirsToObject } from './helpers';
+export declare class IndirBuilder<Context, Names extends string, RuleDefs extends IndirectionMap<Names>> {
+    static create<Context, Names extends string, RuleDefs extends IndirectionMap<Names>>(args: IndirBuilder<Context, Names, RuleDefs>): IndirBuilder<Context, Names, RuleDefs>;
+    static create<Rules extends readonly IndirDef[] = readonly IndirDef[], Context = Rules[0] extends IndirDef<infer context> ? context : never, Names extends string = ParseNamesFromList<Rules>, RuleDefs extends IndirectionMap<Names> = ParseIndirsToObject<Rules>>(rules: Rules): IndirBuilder<Context, Names, RuleDefs>;
+    private rules;
+    private constructor();
+    widenContext<NewContext extends Context>(): IndirBuilder<NewContext, Names, RuleDefs>;
+    typePatch<Patch extends {
+        [Key in Names]?: any;
+    }>(): IndirBuilder<Context, Names, {
+        [Key in Names]: Key extends keyof Patch ? (IndirDef<Context, Key, Patch[Key][0], Patch[Key][1]>) : (RuleDefs[Key] extends IndirDef<Context, Key> ? RuleDefs[Key] : never);
+    }>;
+    /**
+     * Change the implementation of an existing indirection.
+     */
+    patchRule<U extends Names, RET, ARGS extends any[]>(patch: IndirDef<Context, U, RET, ARGS>): IndirBuilder<Context, Names, {
+        [Key in Names]: Key extends U ? IndirDef<Context, Key, RET, ARGS> : (RuleDefs[Key] extends IndirDef<Context, Key> ? RuleDefs[Key] : never);
+    }>;
+    /**
+     * Add an indirection function. If the rule already exists, but the implementation differs, an error will be thrown.
+     */
+    addRuleRedundant<U extends string, RET, ARGS extends any[]>(rule: IndirDef<Context, U, RET, ARGS>): IndirBuilder<Context, Names | U, {
+        [K in Names | U]: K extends U ? IndirDef<Context, K, RET, ARGS> : (K extends Names ? (RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never) : never);
+    }>;
+    /**
+     * Add a rule to the grammar. Will raise a typescript error if the rule already exists in the grammar.
+     */
+    addRule<U extends string, RET, ARGS extends any[]>(rule: CheckOverlap<U, Names, IndirDef<Context, U, RET, ARGS>>): IndirBuilder<Context, Names | U, {
+        [K in Names | U]: K extends U ? IndirDef<Context, K, RET, ARGS> : (K extends Names ? (RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never) : never);
+    }>;
+    addMany<U extends readonly IndirDef<Context>[]>(...rules: CheckOverlap<ParseNamesFromList<U>, Names, U>): IndirBuilder<Context, Names | ParseNamesFromList<U>, {
+        [K in Names | ParseNamesFromList<U>]: K extends keyof ParseIndirsToObject<typeof rules> ? (ParseIndirsToObject<typeof rules>[K] extends IndirDef<Context, K> ? ParseIndirsToObject<typeof rules>[K] : never) : (K extends Names ? (RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never) : never);
+    }>;
+    /**
+     * Delete a grammar rule by its name.
+     */
+    deleteRule<U extends Names>(ruleName: U): IndirBuilder<Context, Exclude<Names, U>, {
+        [K in Exclude<Names, U>]: RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never;
+    }>;
+    build(): IndirectObjFromIndirDefs<Context, Names, RuleDefs>;
+}

package/lib/indirection-builder/IndirBuilder.js

@@ -0,0 +1,60 @@
+import { DynamicIndirect } from './dynamicIndirected';
+import { listToIndirectionMap } from './helpers';
+export class IndirBuilder {
+    static create(start) {
+        if (start instanceof IndirBuilder) {
+            return new IndirBuilder({ ...start.rules });
+        }
+        return new IndirBuilder(listToIndirectionMap(start));
+    }
+    constructor(startRules) {
+        this.rules = startRules;
+    }
+    widenContext() {
+        return this;
+    }
+    typePatch() {
+        return this;
+    }
+    /**
+     * Change the implementation of an existing indirection.
+     */
+    patchRule(patch) {
+        const self = this;
+        self.rules[patch.name] = patch;
+        return self;
+    }
+    /**
+     * Add an indirection function. If the rule already exists, but the implementation differs, an error will be thrown.
+     */
+    addRuleRedundant(rule) {
+        const self = this;
+        const rules = self.rules;
+        if (rules[rule.name] !== undefined && rules[rule.name] !== rule) {
+            throw new Error(`Function ${rule.name} already exists in the builder`);
+        }
+        rules[rule.name] = rule;
+        return self;
+    }
+    /**
+     * Add a rule to the grammar. Will raise a typescript error if the rule already exists in the grammar.
+     */
+    addRule(rule) {
+        return this.addRuleRedundant(rule);
+    }
+    addMany(...rules) {
+        this.rules = { ...this.rules, ...listToIndirectionMap(rules) };
+        return this;
+    }
+    /**
+     * Delete a grammar rule by its name.
+     */
+    deleteRule(ruleName) {
+        delete this.rules[ruleName];
+        return this;
+    }
+    build() {
+        return new DynamicIndirect(this.rules);
+    }
+}
+//# sourceMappingURL=IndirBuilder.js.map

package/lib/indirection-builder/IndirBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IndirBuilder.js","sourceRoot":"","sources":["IndirBuilder.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AAEjD,MAAM,OAAO,YAAY;IAUhB,MAAM,CAAC,MAAM,CAMlB,KAAqD;QAErD,IAAI,KAAK,YAAY,YAAY,EAAE,CAAC;YAClC,OAAO,IAAI,YAAY,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9C,CAAC;QACD,OAA0D,IAAI,YAAY,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1G,CAAC;IAID,YAAoB,UAAoB;QACtC,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;IAC1B,CAAC;IAEM,YAAY;QACjB,OAA6D,IAAI,CAAC;IACpE,CAAC;IAEM,SAAS;QAId,OAEyF,IAAI,CAAC;IAChG,CAAC;IAED;;OAEG;IACI,SAAS,CAA2C,KAAsC;QAK/F,MAAM,IAAI,GAEE,IAAI,CAAC;QACjB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAS,KAAK,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACI,gBAAgB,CAA4C,IAAqC;QAKtG,MAAM,IAAI,GAGE,IAAI,CAAC;QACjB,MAAM,KAAK,GAAuC,IAAI,CAAC,KAAK,CAAC;QAC7D,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,IAAI,gCAAgC,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACI,OAAO,CACZ,IAA6D;QAI7D,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAEM,OAAO,CACZ,GAAG,KAAoD;QAYvD,IAAI,CAAC,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/D,OAAuB,IAAI,CAAC;IAC9B,CAAC;IAED;;OAEG;IACI,UAAU,CAAkB,QAAW;QAG5C,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5B,OAEY,IAAI,CAAC;IACnB,CAAC;IAEM,KAAK;QACV,OAA4D,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9F,CAAC;CACF","sourcesContent":["import type { ParseNamesFromList } from '../parser-builder/builderTypes';\nimport type { CheckOverlap } from '../utils';\nimport { DynamicIndirect } from './dynamicIndirected';\nimport type { IndirDef, IndirectionMap, IndirectObjFromIndirDefs, ParseIndirsToObject } from './helpers';\nimport { listToIndirectionMap } from './helpers';\n\nexport class IndirBuilder<Context, Names extends string, RuleDefs extends IndirectionMap<Names>> {\n  public static create<Context, Names extends string, RuleDefs extends IndirectionMap<Names>>(\n    args: IndirBuilder<Context, Names, RuleDefs>\n  ): IndirBuilder<Context, Names, RuleDefs>;\n  public static create<\n    Rules extends readonly IndirDef[] = readonly IndirDef[],\n    Context = Rules[0] extends IndirDef<infer context> ? context : never,\n    Names extends string = ParseNamesFromList<Rules>,\n    RuleDefs extends IndirectionMap<Names> = ParseIndirsToObject<Rules>,\n  >(rules: Rules): IndirBuilder<Context, Names, RuleDefs>;\n  public static create<\n    Rules extends readonly IndirDef[] = readonly IndirDef[],\n    Context = Rules[0] extends IndirDef<infer context> ? context : never,\n    Names extends string = ParseNamesFromList<Rules>,\n    RuleDefs extends IndirectionMap<Names> = ParseIndirsToObject<Rules>,\n  >(\n    start: Rules | IndirBuilder<Context, Names, RuleDefs>,\n  ): IndirBuilder<Context, Names, RuleDefs> {\n    if (start instanceof IndirBuilder) {\n      return new IndirBuilder({ ...start.rules });\n    }\n    return <IndirBuilder<Context, Names, RuleDefs>> <unknown> new IndirBuilder(listToIndirectionMap(start));\n  }\n\n  private rules: RuleDefs;\n\n  private constructor(startRules: RuleDefs) {\n    this.rules = startRules;\n  }\n\n  public widenContext<NewContext extends Context>(): IndirBuilder<NewContext, Names, RuleDefs> {\n    return <IndirBuilder<NewContext, Names, RuleDefs>> <unknown> this;\n  }\n\n  public typePatch<Patch extends {[Key in Names]?: any }>():\n  IndirBuilder<Context, Names, {[Key in Names]: Key extends keyof Patch ? (\n    IndirDef<Context, Key, Patch[Key][0], Patch[Key][1]>\n  ) : (RuleDefs[Key] extends IndirDef<Context, Key> ? RuleDefs[Key] : never) }> {\n    return <IndirBuilder<Context, Names, {[Key in Names]: Key extends keyof Patch ? (\n      RuleDefs[Key] extends IndirDef<Context, Key, any, infer Par> ? IndirDef<Context, Key, Patch[Key], Par> : never\n    ) : (RuleDefs[Key] extends IndirDef<Context, Key> ? RuleDefs[Key] : never) }>> <unknown> this;\n  }\n\n  /**\n   * Change the implementation of an existing indirection.\n   */\n  public patchRule<U extends Names, RET, ARGS extends any[]>(patch: IndirDef<Context, U, RET, ARGS>):\n  IndirBuilder<Context, Names, {[Key in Names]: Key extends U ?\n    IndirDef<Context, Key, RET, ARGS> :\n      (RuleDefs[Key] extends IndirDef<Context, Key> ? RuleDefs[Key] : never)\n  } > {\n    const self = <IndirBuilder<Context, Names, {[Key in Names]: Key extends U ?\n      IndirDef<Context, Key, RET, ARGS> : (RuleDefs[Key] extends IndirDef<Context, Key> ? RuleDefs[Key] : never) }>>\n      <unknown> this;\n    self.rules[patch.name] = <any> patch;\n    return self;\n  }\n\n  /**\n   * Add an indirection function. If the rule already exists, but the implementation differs, an error will be thrown.\n   */\n  public addRuleRedundant<U extends string, RET, ARGS extends any[]>(rule: IndirDef<Context, U, RET, ARGS>):\n  IndirBuilder<Context, Names | U, {[K in Names | U]: K extends U ?\n    IndirDef<Context, K, RET, ARGS> :\n      (K extends Names ? (RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never) : never)\n  }> {\n    const self = <IndirBuilder<Context, Names | U, {[K in Names | U]: K extends U ?\n      IndirDef<Context, K, RET, ARGS> :\n        (K extends Names ? (RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never) : never) }>>\n      <unknown> this;\n    const rules = <Record<string, IndirDef<Context>>> self.rules;\n    if (rules[rule.name] !== undefined && rules[rule.name] !== rule) {\n      throw new Error(`Function ${rule.name} already exists in the builder`);\n    }\n    rules[rule.name] = rule;\n    return self;\n  }\n\n  /**\n   * Add a rule to the grammar. Will raise a typescript error if the rule already exists in the grammar.\n   */\n  public addRule<U extends string, RET, ARGS extends any[]>(\n    rule: CheckOverlap<U, Names, IndirDef<Context, U, RET, ARGS>>,\n  ): IndirBuilder<Context, Names | U, {[K in Names | U]: K extends U ?\n    IndirDef<Context, K, RET, ARGS> :\n      (K extends Names ? (RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never) : never) }> {\n    return this.addRuleRedundant(rule);\n  }\n\n  public addMany<U extends readonly IndirDef<Context>[]>(\n    ...rules: CheckOverlap<ParseNamesFromList<U>, Names, U>\n  ): IndirBuilder<\n    Context,\n    Names | ParseNamesFromList<U>,\n    {[K in Names | ParseNamesFromList<U>]:\n      K extends keyof ParseIndirsToObject<typeof rules> ? (\n        ParseIndirsToObject<typeof rules>[K] extends IndirDef<Context, K> ? ParseIndirsToObject<typeof rules>[K] : never\n      ) : (\n        K extends Names ? (RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never) : never\n      )\n    }\n  > {\n    this.rules = { ...this.rules, ...listToIndirectionMap(rules) };\n    return <any> <unknown> this;\n  }\n\n  /**\n   * Delete a grammar rule by its name.\n   */\n  public deleteRule<U extends Names>(ruleName: U):\n  IndirBuilder<Context, Exclude<Names, U>, {[K in Exclude<Names, U>]:\n    RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never }> {\n    delete this.rules[ruleName];\n    return <IndirBuilder<Context, Exclude<Names, U>, {[K in Exclude<Names, U>]:\n      RuleDefs[K] extends IndirDef<Context, K> ? RuleDefs[K] : never }>>\n      <unknown> this;\n  }\n\n  public build(): IndirectObjFromIndirDefs<Context, Names, RuleDefs> {\n    return <IndirectObjFromIndirDefs<Context, Names, RuleDefs>> new DynamicIndirect(this.rules);\n  }\n}\n"]}

package/lib/indirection-builder/dynamicIndirected.d.ts

@@ -0,0 +1,9 @@
+import type { IndirDefArg, IndirectionMap } from './helpers';
+export declare class DynamicIndirect<Context, Names extends string, RuleDefs extends IndirectionMap<Names>> {
+    protected rules: RuleDefs;
+    protected __context: Context | undefined;
+    constructor(rules: RuleDefs);
+    setContext(context: Context): void;
+    protected getSafeContext(): Context;
+    protected readonly subrule: IndirDefArg['SUBRULE'];
+}

package/lib/indirection-builder/dynamicIndirected.js

@@ -0,0 +1,28 @@
+export class DynamicIndirect {
+    constructor(rules) {
+        this.rules = rules;
+        this.__context = undefined;
+        this.subrule = (cstDef, ...args) => {
+            const def = this.rules[cstDef.name];
+            if (!def) {
+                throw new Error(`Rule ${cstDef.name} not found`);
+            }
+            return def.fun({
+                SUBRULE: this.subrule,
+            })(this.getSafeContext(), ...args);
+        };
+        for (const rule of Object.values(rules)) {
+            this[rule.name] = ((context, ...args) => {
+                this.setContext(context);
+                return this.subrule(rule, ...args);
+            });
+        }
+    }
+    setContext(context) {
+        this.__context = context;
+    }
+    getSafeContext() {
+        return this.__context;
+    }
+}
+//# sourceMappingURL=dynamicIndirected.js.map

package/lib/indirection-builder/dynamicIndirected.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dynamicIndirected.js","sourceRoot":"","sources":["dynamicIndirected.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,eAAe;IAG1B,YAA6B,KAAe;QAAf,UAAK,GAAL,KAAK,CAAU;QAFlC,cAAS,GAAwB,SAAS,CAAC;QAmBlC,YAAO,GAA2B,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,EAAE;YACvE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAmB,MAAM,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,CAAC,IAAI,YAAY,CAAC,CAAC;YACnD,CAAC;YAED,OAAa,GAAG,CAAC,GAAG,CAAC;gBACnB,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CAAC,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC;QAzBA,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAoC,KAAK,CAAC,EAAE,CAAC;YAC3E,IAAI,CAAsB,IAAI,CAAC,IAAI,CAAC,GAAS,CAAC,CAAC,OAAgB,EAAE,GAAG,IAAS,EAAO,EAAE;gBACpF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;gBACzB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;YACrC,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAEM,UAAU,CAAC,OAAgB;QAChC,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC;IAC3B,CAAC;IAES,cAAc;QACtB,OAAiB,IAAI,CAAC,SAAS,CAAC;IAClC,CAAC;CAYF","sourcesContent":["import type { IndirDef, IndirDefArg, IndirectionMap } from './helpers';\n\nexport class DynamicIndirect<Context, Names extends string, RuleDefs extends IndirectionMap<Names>> {\n  protected __context: Context | undefined = undefined;\n\n  public constructor(protected rules: RuleDefs) {\n    for (const rule of Object.values(<Record<string, IndirDef<Context>>>rules)) {\n      this[<keyof (typeof this)>rule.name] = <any> ((context: Context, ...args: any): any => {\n        this.setContext(context);\n        return this.subrule(rule, ...args);\n      });\n    }\n  }\n\n  public setContext(context: Context): void {\n    this.__context = context;\n  }\n\n  protected getSafeContext(): Context {\n    return <Context> this.__context;\n  }\n\n  protected readonly subrule: IndirDefArg['SUBRULE'] = (cstDef, ...args) => {\n    const def = this.rules[<Names> <unknown> cstDef.name];\n    if (!def) {\n      throw new Error(`Rule ${cstDef.name} not found`);\n    }\n\n    return <any> def.fun({\n      SUBRULE: this.subrule,\n    })(this.getSafeContext(), ...args);\n  };\n}\n"]}

package/lib/indirection-builder/helpers.d.ts

@@ -0,0 +1,24 @@
+import type { ParseNamesFromList } from '../parser-builder/builderTypes';
+export type IndirDef<Context = any, NameType extends string = string, ReturnType = unknown, ParamType extends any[] = any[]> = {
+    name: NameType;
+    fun: (def: IndirDefArg) => (c: Context, ...params: ParamType) => ReturnType;
+};
+export type IndirDefArg = {
+    SUBRULE: <T, U extends any[]>(cstDef: IndirDef<any, any, T, U>, ...arg: U) => T;
+};
+export type IndirectionMap<RuleNames extends string> = {
+    [Key in RuleNames]: IndirDef<any, Key>;
+};
+/**
+ * Converts a list of ruledefs to a record mapping a name to the corresponding ruledef.
+ */
+export declare function listToIndirectionMap<T extends readonly IndirDef[]>(rules: T): ParseIndirsToObject<T>;
+/**
+ * Convert a list of IndirDefs to a Record with the name of the IndirDef as the key, matching the IndirectionMap type.
+ */
+export type ParseIndirsToObject<T extends readonly IndirDef[], Names extends string = ParseNamesFromList<T>, Agg extends Record<string, IndirDef> = Record<never, never>> = T extends readonly [infer First, ...infer Rest] ? (First extends IndirDef ? (Rest extends readonly IndirDef[] ? (ParseIndirsToObject<Rest, Names, {
+    [K in keyof Agg | First['name']]: K extends First['name'] ? First : Agg[K];
+}>) : never) : never) : IndirectionMap<Names> & Agg;
+export type IndirectObjFromIndirDefs<Context, Names extends string, RuleDefs extends IndirectionMap<Names>> = {
+    [K in Names]: RuleDefs[K] extends IndirDef<Context, K, infer RET, infer ARGS> ? (context: Context, ...args: ARGS) => RET : never;
+};

package/lib/indirection-builder/helpers.js

@@ -0,0 +1,11 @@
+/**
+ * Converts a list of ruledefs to a record mapping a name to the corresponding ruledef.
+ */
+export function listToIndirectionMap(rules) {
+    const newRules = {};
+    for (const rule of rules) {
+        newRules[rule.name] = rule;
+    }
+    return newRules;
+}
+//# sourceMappingURL=helpers.js.map

package/lib/indirection-builder/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["helpers.ts"],"names":[],"mappings":"AAkBA;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAgC,KAAQ;IAC1E,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,CAAC;IACD,OAA+B,QAAQ,CAAC;AAC1C,CAAC","sourcesContent":["import type { ParseNamesFromList } from '../parser-builder/builderTypes';\n\nexport type IndirDef<\n  Context = any,\n  NameType extends string = string,\n  ReturnType = unknown,\n  ParamType extends any[] = any[],\n> = {\n  name: NameType;\n  fun: (def: IndirDefArg) => (c: Context, ...params: ParamType) => ReturnType;\n};\n\nexport type IndirDefArg = {\n  SUBRULE: <T, U extends any[]>(cstDef: IndirDef<any, any, T, U>, ...arg: U) => T;\n};\n\nexport type IndirectionMap<RuleNames extends string> = {[Key in RuleNames]: IndirDef<any, Key> };\n\n/**\n * Converts a list of ruledefs to a record mapping a name to the corresponding ruledef.\n */\nexport function listToIndirectionMap<T extends readonly IndirDef[]>(rules: T): ParseIndirsToObject<T> {\n  const newRules: Record<string, IndirDef> = {};\n  for (const rule of rules) {\n    newRules[rule.name] = rule;\n  }\n  return <ParseIndirsToObject<T>>newRules;\n}\n\n/**\n * Convert a list of IndirDefs to a Record with the name of the IndirDef as the key, matching the IndirectionMap type.\n */\nexport type ParseIndirsToObject<\n  T extends readonly IndirDef[],\n  Names extends string = ParseNamesFromList<T>,\n  Agg extends Record<string, IndirDef> = Record<never, never>,\n> = T extends readonly [infer First, ...infer Rest] ? (\n  First extends IndirDef ? (\n    Rest extends readonly IndirDef[] ? (\n      ParseIndirsToObject<Rest, Names, {[K in keyof Agg | First['name']]: K extends First['name'] ? First : Agg[K] }>\n    ) : never\n  ) : never\n) : IndirectionMap<Names> & Agg;\n\nexport type IndirectObjFromIndirDefs<Context, Names extends string, RuleDefs extends IndirectionMap<Names>> = {\n  [K in Names]: RuleDefs[K] extends IndirDef<Context, K, infer RET, infer ARGS> ?\n      (context: Context, ...args: ARGS) => RET : never\n};\n"]}

package/lib/lexer-builder/LexerBuilder.d.ts

@@ -0,0 +1,23 @@
+import type { ILexerConfig } from '@chevrotain/types';
+import type { TokenType } from 'chevrotain';
+import { Lexer } from 'chevrotain';
+import type { CheckOverlap, NamedToken } from '../utils';
+export declare class LexerBuilder<NAMES extends string = string> {
+    private readonly tokens;
+    static create<U extends LexerBuilder<T>, T extends string = never>(starter?: U): U;
+    private constructor();
+    merge<OtherNames extends string, OW extends string>(merge: LexerBuilder<OtherNames>, overwrite?: NamedToken<OW>[]): LexerBuilder<NAMES | OtherNames>;
+    add<Name extends string>(...token: CheckOverlap<Name, NAMES, NamedToken<Name>[]>): LexerBuilder<Name | NAMES>;
+    addBefore<Name extends string>(before: NamedToken<NAMES>, ...token: CheckOverlap<Name, NAMES, NamedToken<Name>[]>): LexerBuilder<NAMES | Name>;
+    private moveBeforeOrAfter;
+    /**
+     * @param before token to move rest before
+     * @param tokens tokens to move before the first token
+     */
+    moveBefore<Name extends string>(before: NamedToken<NAMES>, ...tokens: CheckOverlap<Name, NAMES, never, NamedToken<Name>[]>): LexerBuilder<NAMES>;
+    moveAfter<Name extends string>(after: NamedToken<NAMES>, ...tokens: CheckOverlap<Name, NAMES, never, NamedToken<Name>[]>): LexerBuilder<NAMES>;
+    addAfter<Name extends string>(after: NamedToken<NAMES>, ...token: CheckOverlap<Name, NAMES, never, NamedToken<Name>[]>): LexerBuilder<NAMES | Name>;
+    delete<Name extends NAMES>(...token: NamedToken<Name>[]): LexerBuilder<Exclude<NAMES, Name>>;
+    build(lexerConfig?: ILexerConfig): Lexer;
+    get tokenVocabulary(): readonly TokenType[];
+}

package/lib/lexer-builder/LexerBuilder.js

@@ -0,0 +1,96 @@
+import { Lexer } from 'chevrotain';
+export class LexerBuilder {
+    static create(starter) {
+        return new LexerBuilder(starter);
+    }
+    constructor(starter) {
+        this.tokens = starter?.tokens ? [...starter.tokens] : [];
+    }
+    merge(merge, overwrite = []) {
+        const extraTokens = merge.tokens.filter((token) => {
+            const overwriteToken = overwrite.find(t => t.name === token.name);
+            if (overwriteToken) {
+                return false;
+            }
+            const match = this.tokens.find(t => t.name === token.name);
+            if (match) {
+                if (match !== token) {
+                    throw new Error(`Token with name ${token.name} already exists. Implementation is different and no overwrite was provided.`);
+                }
+                return false;
+            }
+            return true;
+        });
+        this.tokens.push(...extraTokens);
+        return this;
+    }
+    add(...token) {
+        this.tokens.push(...token);
+        return this;
+    }
+    addBefore(before, ...token) {
+        const index = this.tokens.indexOf(before);
+        if (index === -1) {
+            throw new Error('Token not found');
+        }
+        this.tokens.splice(index, 0, ...token);
+        return this;
+    }
+    moveBeforeOrAfter(beforeOrAfter, before, ...tokens) {
+        const beforeIndex = this.tokens.indexOf(before) + (beforeOrAfter === 'before' ? 0 : 1);
+        if (beforeIndex === -1) {
+            throw new Error('BeforeToken not found');
+        }
+        for (const token of tokens) {
+            const tokenIndex = this.tokens.indexOf(token);
+            if (tokenIndex === -1) {
+                throw new Error('Token not found');
+            }
+            this.tokens.splice(tokenIndex, 1);
+            this.tokens.splice(beforeIndex, 0, token);
+        }
+        return this;
+    }
+    /**
+     * @param before token to move rest before
+     * @param tokens tokens to move before the first token
+     */
+    moveBefore(before, ...tokens) {
+        return this.moveBeforeOrAfter('before', before, ...tokens);
+    }
+    moveAfter(after, ...tokens) {
+        return this.moveBeforeOrAfter('after', after, ...tokens);
+    }
+    addAfter(after, ...token) {
+        const index = this.tokens.indexOf(after);
+        if (index === -1) {
+            throw new Error('Token not found');
+        }
+        this.tokens.splice(index + 1, 0, ...token);
+        return this;
+    }
+    delete(...token) {
+        for (const t of token) {
+            const index = this.tokens.indexOf(t);
+            if (index === -1) {
+                throw new Error('Token not found');
+            }
+            this.tokens.splice(index, 1);
+        }
+        return this;
+    }
+    build(lexerConfig) {
+        return new Lexer(this.tokens, {
+            positionTracking: 'onlyStart',
+            recoveryEnabled: false,
+            ensureOptimizations: true,
+            // SafeMode: true,
+            // SkipValidations: true,
+            ...lexerConfig,
+        });
+    }
+    get tokenVocabulary() {
+        return this.tokens;
+    }
+}
+//# sourceMappingURL=LexerBuilder.js.map

package/lib/lexer-builder/LexerBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LexerBuilder.js","sourceRoot":"","sources":["LexerBuilder.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGnC,MAAM,OAAO,YAAY;IAGhB,MAAM,CAAC,MAAM,CAAsD,OAAW;QACnF,OAAW,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,YAAoB,OAA6B;QAC/C,IAAI,CAAC,MAAM,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAE,GAAG,OAAO,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,CAAC;IAEM,KAAK,CACV,KAA+B,EAC/B,YAA8B,EAAE;QAGhC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;YAChD,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;oBACpB,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,IAAI,6EAA6E,CAAC,CAAC;gBAC9H,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,GAAG,CAAsB,GAAG,KAAoD;QAErF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,SAAS,CACd,MAAyB,EACzB,GAAG,KAAoD;QAEvD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,iBAAiB,CACvB,aAAiC,EACjC,MAAyB,EACzB,GAAG,MAA4D;QAE/D,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,WAAW,KAAK,CAAC,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;OAGG;IACI,UAAU,CACf,MAAyB,EACzB,GAAG,MAA4D;QAE/D,OAAO,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC;IAC7D,CAAC;IAEM,SAAS,CACd,KAAwB,EACxB,GAAG,MAA4D;QAE/D,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,CAAC;IAC3D,CAAC;IAEM,QAAQ,CACb,KAAwB,EACxB,GAAG,KAA2D;QAE9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,MAAM,CAAqB,GAAG,KAAyB;QAC5D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACjB,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,KAAK,CAAC,WAA0B;QACrC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE;YAC5B,gBAAgB,EAAE,WAAW;YAC7B,eAAe,EAAE,KAAK;YACtB,mBAAmB,EAAE,IAAI;YACzB,kBAAkB;YAClB,yBAAyB;YACzB,GAAG,WAAW;SACf,CAAC,CAAC;IACL,CAAC;IAED,IAAW,eAAe;QACxB,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;CACF","sourcesContent":["import type { ILexerConfig } from '@chevrotain/types';\nimport type { TokenType } from 'chevrotain';\nimport { Lexer } from 'chevrotain';\nimport type { CheckOverlap, NamedToken } from '../utils';\n\nexport class LexerBuilder<NAMES extends string = string> {\n  private readonly tokens: TokenType[];\n\n  public static create<U extends LexerBuilder<T>, T extends string = never>(starter?: U): U {\n    return <U> new LexerBuilder(starter);\n  }\n\n  private constructor(starter?: LexerBuilder<NAMES>) {\n    this.tokens = starter?.tokens ? [ ...starter.tokens ] : [];\n  }\n\n  public merge<OtherNames extends string, OW extends string>(\n    merge: LexerBuilder<OtherNames>,\n    overwrite: NamedToken<OW>[] = [],\n  ):\n    LexerBuilder<NAMES | OtherNames> {\n    const extraTokens = merge.tokens.filter((token) => {\n      const overwriteToken = overwrite.find(t => t.name === token.name);\n      if (overwriteToken) {\n        return false;\n      }\n      const match = this.tokens.find(t => t.name === token.name);\n      if (match) {\n        if (match !== token) {\n          throw new Error(`Token with name ${token.name} already exists. Implementation is different and no overwrite was provided.`);\n        }\n        return false;\n      }\n      return true;\n    });\n    this.tokens.push(...extraTokens);\n    return this;\n  }\n\n  public add<Name extends string>(...token: CheckOverlap<Name, NAMES, NamedToken<Name>[]>):\n  LexerBuilder<Name | NAMES> {\n    this.tokens.push(...token);\n    return this;\n  }\n\n  public addBefore<Name extends string>(\n    before: NamedToken<NAMES>,\n    ...token: CheckOverlap<Name, NAMES, NamedToken<Name>[]>\n  ): LexerBuilder<NAMES | Name> {\n    const index = this.tokens.indexOf(before);\n    if (index === -1) {\n      throw new Error('Token not found');\n    }\n    this.tokens.splice(index, 0, ...token);\n    return this;\n  }\n\n  private moveBeforeOrAfter<Name extends string>(\n    beforeOrAfter: 'before' | 'after',\n    before: NamedToken<NAMES>,\n    ...tokens: CheckOverlap<Name, NAMES, never, NamedToken<Name>[]>\n  ): LexerBuilder<NAMES> {\n    const beforeIndex = this.tokens.indexOf(before) + (beforeOrAfter === 'before' ? 0 : 1);\n    if (beforeIndex === -1) {\n      throw new Error('BeforeToken not found');\n    }\n    for (const token of tokens) {\n      const tokenIndex = this.tokens.indexOf(token);\n      if (tokenIndex === -1) {\n        throw new Error('Token not found');\n      }\n      this.tokens.splice(tokenIndex, 1);\n      this.tokens.splice(beforeIndex, 0, token);\n    }\n    return this;\n  }\n\n  /**\n   * @param before token to move rest before\n   * @param tokens tokens to move before the first token\n   */\n  public moveBefore<Name extends string>(\n    before: NamedToken<NAMES>,\n    ...tokens: CheckOverlap<Name, NAMES, never, NamedToken<Name>[]>\n  ): LexerBuilder<NAMES> {\n    return this.moveBeforeOrAfter('before', before, ...tokens);\n  }\n\n  public moveAfter<Name extends string>(\n    after: NamedToken<NAMES>,\n    ...tokens: CheckOverlap<Name, NAMES, never, NamedToken<Name>[]>\n  ): LexerBuilder<NAMES> {\n    return this.moveBeforeOrAfter('after', after, ...tokens);\n  }\n\n  public addAfter<Name extends string>(\n    after: NamedToken<NAMES>,\n    ...token: CheckOverlap<Name, NAMES, never, NamedToken<Name>[]>\n  ): LexerBuilder<NAMES | Name> {\n    const index = this.tokens.indexOf(after);\n    if (index === -1) {\n      throw new Error('Token not found');\n    }\n    this.tokens.splice(index + 1, 0, ...token);\n    return this;\n  }\n\n  public delete<Name extends NAMES>(...token: NamedToken<Name>[]): LexerBuilder<Exclude<NAMES, Name>> {\n    for (const t of token) {\n      const index = this.tokens.indexOf(t);\n      if (index === -1) {\n        throw new Error('Token not found');\n      }\n      this.tokens.splice(index, 1);\n    }\n    return this;\n  }\n\n  public build(lexerConfig?: ILexerConfig): Lexer {\n    return new Lexer(this.tokens, {\n      positionTracking: 'onlyStart',\n      recoveryEnabled: false,\n      ensureOptimizations: true,\n      // SafeMode: true,\n      // SkipValidations: true,\n      ...lexerConfig,\n    });\n  }\n\n  public get tokenVocabulary(): readonly TokenType[] {\n    return this.tokens;\n  }\n}\n"]}

package/lib/nodeTypings.d.ts

@@ -0,0 +1,53 @@
+export interface Localized {
+    /**
+     * Location undefined means the node does have a string representation, but it was not clarified.
+     * This happens when an AST node is patched by a client of the lib.
+     */
+    loc: SourceLocation;
+}
+export interface Wrap<T> extends Localized {
+    val: T;
+}
+/**
+ * A AST node. Nodes are indexable by their types.
+ * When generating, the SUBRULES called should be located within the current location range.
+ */
+export interface Node extends Localized {
+    type: string;
+    subType?: string;
+}
+export interface SourceLocationBase {
+    sourceLocationType: string;
+}
+export interface SourceLocationSource extends SourceLocationBase {
+    sourceLocationType: 'source';
+    start: number;
+    end: number;
+}
+/**
+ * NoStringManifestation means the node does not have a string representation.
+ * For example the literal '5' has an integer type (which is an AST node),
+ * but the type does not have an associated string representation.
+ * When set to true, the node will not be printed, start and end are meaningless in this case.
+ */
+export interface SourceLocationNoMaterialize extends SourceLocationBase {
+    sourceLocationType: 'noMaterialize';
+}
+export interface SourceLocationStringReplace extends SourceLocationBase {
+    sourceLocationType: 'stringReplace';
+    newSource: string;
+    start: number;
+    end: number;
+}
+export interface SourceLocationNodeReplace extends SourceLocationBase {
+    sourceLocationType: 'nodeReplace';
+    start: number;
+    end: number;
+}
+/**
+ * Must have an ancestor of type {@link SourceLocationNodeReplace}
+ */
+export interface SourceLocationNodeAutoGenerate extends SourceLocationBase {
+    sourceLocationType: 'autoGenerate';
+}
+export type SourceLocation = SourceLocationSource | SourceLocationNoMaterialize | SourceLocationStringReplace | SourceLocationNodeReplace | SourceLocationNodeAutoGenerate;

package/lib/nodeTypings.js

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

package/lib/nodeTypings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodeTypings.js","sourceRoot":"","sources":["nodeTypings.ts"],"names":[],"mappings":"","sourcesContent":["export interface Localized {\n  /**\n   * Location undefined means the node does have a string representation, but it was not clarified.\n   * This happens when an AST node is patched by a client of the lib.\n   */\n  loc: SourceLocation;\n}\n\nexport interface Wrap<T> extends Localized {\n  val: T;\n}\n\n/**\n * A AST node. Nodes are indexable by their types.\n * When generating, the SUBRULES called should be located within the current location range.\n */\nexport interface Node extends Localized {\n  type: string;\n  subType?: string;\n}\n\nexport interface SourceLocationBase {\n  sourceLocationType: string;\n}\n\nexport interface SourceLocationSource extends SourceLocationBase {\n  sourceLocationType: 'source';\n  start: number;\n  end: number;\n}\n\n/**\n * NoStringManifestation means the node does not have a string representation.\n * For example the literal '5' has an integer type (which is an AST node),\n * but the type does not have an associated string representation.\n * When set to true, the node will not be printed, start and end are meaningless in this case.\n */\nexport interface SourceLocationNoMaterialize extends SourceLocationBase {\n  sourceLocationType: 'noMaterialize';\n}\n\nexport interface SourceLocationStringReplace extends SourceLocationBase {\n  sourceLocationType: 'stringReplace';\n  newSource: string;\n  start: number;\n  end: number;\n}\n\nexport interface SourceLocationNodeReplace extends SourceLocationBase {\n  sourceLocationType: 'nodeReplace';\n  start: number;\n  end: number;\n}\n/**\n * Must have an ancestor of type {@link SourceLocationNodeReplace}\n */\nexport interface SourceLocationNodeAutoGenerate extends SourceLocationBase {\n  sourceLocationType: 'autoGenerate';\n}\n\nexport type SourceLocation =\n  | SourceLocationSource\n  | SourceLocationNoMaterialize\n  | SourceLocationStringReplace\n  | SourceLocationNodeReplace\n  | SourceLocationNodeAutoGenerate;\n"]}

package/lib/parser-builder/builderTypes.d.ts

@@ -0,0 +1,26 @@
+import type { ParserMethod } from 'chevrotain';
+import type { ParserRule } from './ruleDefTypes';
+/**
+ * Get union-type of names used in list of ruledefs.
+ */
+export type ParseNamesFromList<T extends readonly {
+    name: string;
+}[]> = T[number]['name'];
+/**
+ * Convert a list of ruledefs to a record that maps each rule name to its definition.
+ */
+export type ParseRuleMap<RuleNames extends string> = {
+    [Key in RuleNames]: ParserRule<any, Key>;
+};
+/**
+ * Convert a list of RuleDefs to a Record with the name of the RuleDef as the key, matching the RuleDefMap type.
+ */
+export type ParseRulesToObject<T extends readonly ParserRule[], Names extends string = ParseNamesFromList<T>, Agg extends Record<string, ParserRule> = Record<never, never>> = T extends readonly [infer First, ...infer Rest] ? (First extends ParserRule ? (Rest extends readonly ParserRule[] ? (ParseRulesToObject<Rest, Names, {
+    [K in keyof Agg | First['name']]: K extends First['name'] ? First : Agg[K];
+}>) : never) : never) : ParseRuleMap<Names> & Agg;
+export type ParserFromRules<Context, Names extends string, RuleDefs extends ParseRuleMap<Names>> = {
+    [K in Names]: RuleDefs[K] extends ParserRule<Context, K, infer RET, infer ARGS> ? (input: string, context: Context, args: ARGS) => RET : never;
+};
+export type ParseMethodsFromRules<Context, Names extends string, RuleDefs extends ParseRuleMap<Names>> = {
+    [K in Names]: RuleDefs[K] extends ParserRule<Context, K, infer RET, infer ARGS> ? ParserMethod<[Context, ARGS], RET> : never;
+};

package/lib/parser-builder/builderTypes.js

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

package/lib/parser-builder/builderTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builderTypes.js","sourceRoot":"","sources":["builderTypes.ts"],"names":[],"mappings":"","sourcesContent":["import type { ParserMethod } from 'chevrotain';\nimport type { ParserRule } from './ruleDefTypes';\n\n/**\n * Get union-type of names used in list of ruledefs.\n */\nexport type ParseNamesFromList<T extends readonly { name: string }[]> = T[number]['name'];\n\n/**\n * Convert a list of ruledefs to a record that maps each rule name to its definition.\n */\nexport type ParseRuleMap<RuleNames extends string> = {[Key in RuleNames]: ParserRule<any, Key> };\n\n/**\n * Convert a list of RuleDefs to a Record with the name of the RuleDef as the key, matching the RuleDefMap type.\n */\nexport type ParseRulesToObject<\n  T extends readonly ParserRule[],\n  Names extends string = ParseNamesFromList<T>,\n  Agg extends Record<string, ParserRule> = Record<never, never>,\n> = T extends readonly [infer First, ...infer Rest] ? (\n  First extends ParserRule ? (\n    Rest extends readonly ParserRule[] ? (\n      ParseRulesToObject<Rest, Names, {[K in keyof Agg | First['name']]: K extends First['name'] ? First : Agg[K] }>\n    ) : never\n  ) : never\n) : ParseRuleMap<Names> & Agg;\n\nexport type ParserFromRules<Context, Names extends string, RuleDefs extends ParseRuleMap<Names>> = {\n  [K in Names]: RuleDefs[K] extends ParserRule<Context, K, infer RET, infer ARGS> ?\n      (input: string, context: Context, args: ARGS) => RET : never\n};\n\nexport type ParseMethodsFromRules<Context, Names extends string, RuleDefs extends ParseRuleMap<Names>> = {\n  [K in Names]: RuleDefs[K] extends ParserRule<Context, K, infer RET, infer ARGS> ?\n    ParserMethod<[Context, ARGS], RET> : never\n};\n"]}

package/lib/parser-builder/dynamicParser.d.ts

@@ -0,0 +1,9 @@
+import type { IParserConfig } from '@chevrotain/types';
+import { EmbeddedActionsParser, type TokenVocabulary } from 'chevrotain';
+import type { ParseRuleMap } from './builderTypes';
+export declare class DynamicParser<Context, Names extends string, RuleDefs extends ParseRuleMap<Names>> extends EmbeddedActionsParser {
+    private context;
+    setContext(context: Context): void;
+    constructor(rules: RuleDefs, tokenVocabulary: TokenVocabulary, config?: IParserConfig);
+    private constructSelfRef;
+}

package/lib/parser-builder/dynamicParser.js

@@ -0,0 +1,113 @@
+import { EmbeddedActionsParser } from 'chevrotain';
+export class DynamicParser extends EmbeddedActionsParser {
+    setContext(context) {
+        this.context = context;
+    }
+    constructor(rules, tokenVocabulary, config = {}) {
+        super(tokenVocabulary, {
+            // RecoveryEnabled: true,
+            maxLookahead: 2,
+            // SkipValidations: true,
+            ...config,
+        });
+        this.context = undefined;
+        const selfRef = this.constructSelfRef();
+        const implArgs = {
+            ...selfRef,
+            cache: new WeakMap(),
+        };
+        for (const rule of Object.values(rules)) {
+            // Function implementation itself - this function is called AFTER lexing
+            this[rule.name] = this.RULE(rule.name, rule.impl(implArgs));
+        }
+        this.performSelfAnalysis();
+    }
+    constructSelfRef() {
+        const subRuleImpl = (chevrotainSubrule) => ((cstDef, arg) => chevrotainSubrule(this[cstDef.name], { ARGS: [this.context, arg] }));
+        return {
+            CONSUME: (tokenType, option) => this.CONSUME(tokenType, option),
+            CONSUME1: (tokenType, option) => this.CONSUME1(tokenType, option),
+            CONSUME2: (tokenType, option) => this.CONSUME2(tokenType, option),
+            CONSUME3: (tokenType, option) => this.CONSUME3(tokenType, option),
+            CONSUME4: (tokenType, option) => this.CONSUME4(tokenType, option),
+            CONSUME5: (tokenType, option) => this.CONSUME5(tokenType, option),
+            CONSUME6: (tokenType, option) => this.CONSUME6(tokenType, option),
+            CONSUME7: (tokenType, option) => this.CONSUME7(tokenType, option),
+            CONSUME8: (tokenType, option) => this.CONSUME8(tokenType, option),
+            CONSUME9: (tokenType, option) => this.CONSUME9(tokenType, option),
+            OPTION: actionORMethodDef => this.OPTION(actionORMethodDef),
+            OPTION1: actionORMethodDef => this.OPTION1(actionORMethodDef),
+            OPTION2: actionORMethodDef => this.OPTION2(actionORMethodDef),
+            OPTION3: actionORMethodDef => this.OPTION3(actionORMethodDef),
+            OPTION4: actionORMethodDef => this.OPTION4(actionORMethodDef),
+            OPTION5: actionORMethodDef => this.OPTION5(actionORMethodDef),
+            OPTION6: actionORMethodDef => this.OPTION6(actionORMethodDef),
+            OPTION7: actionORMethodDef => this.OPTION7(actionORMethodDef),
+            OPTION8: actionORMethodDef => this.OPTION8(actionORMethodDef),
+            OPTION9: actionORMethodDef => this.OPTION9(actionORMethodDef),
+            OR: altsOrOpts => this.OR(altsOrOpts),
+            OR1: altsOrOpts => this.OR1(altsOrOpts),
+            OR2: altsOrOpts => this.OR2(altsOrOpts),
+            OR3: altsOrOpts => this.OR3(altsOrOpts),
+            OR4: altsOrOpts => this.OR4(altsOrOpts),
+            OR5: altsOrOpts => this.OR5(altsOrOpts),
+            OR6: altsOrOpts => this.OR6(altsOrOpts),
+            OR7: altsOrOpts => this.OR7(altsOrOpts),
+            OR8: altsOrOpts => this.OR8(altsOrOpts),
+            OR9: altsOrOpts => this.OR9(altsOrOpts),
+            MANY: actionORMethodDef => this.MANY(actionORMethodDef),
+            MANY1: actionORMethodDef => this.MANY1(actionORMethodDef),
+            MANY2: actionORMethodDef => this.MANY2(actionORMethodDef),
+            MANY3: actionORMethodDef => this.MANY3(actionORMethodDef),
+            MANY4: actionORMethodDef => this.MANY4(actionORMethodDef),
+            MANY5: actionORMethodDef => this.MANY5(actionORMethodDef),
+            MANY6: actionORMethodDef => this.MANY6(actionORMethodDef),
+            MANY7: actionORMethodDef => this.MANY7(actionORMethodDef),
+            MANY8: actionORMethodDef => this.MANY8(actionORMethodDef),
+            MANY9: actionORMethodDef => this.MANY9(actionORMethodDef),
+            MANY_SEP: options => this.MANY_SEP(options),
+            MANY_SEP1: options => this.MANY_SEP1(options),
+            MANY_SEP2: options => this.MANY_SEP2(options),
+            MANY_SEP3: options => this.MANY_SEP3(options),
+            MANY_SEP4: options => this.MANY_SEP4(options),
+            MANY_SEP5: options => this.MANY_SEP5(options),
+            MANY_SEP6: options => this.MANY_SEP6(options),
+            MANY_SEP7: options => this.MANY_SEP7(options),
+            MANY_SEP8: options => this.MANY_SEP8(options),
+            MANY_SEP9: options => this.MANY_SEP9(options),
+            AT_LEAST_ONE: actionORMethodDef => this.AT_LEAST_ONE(actionORMethodDef),
+            AT_LEAST_ONE1: actionORMethodDef => this.AT_LEAST_ONE1(actionORMethodDef),
+            AT_LEAST_ONE2: actionORMethodDef => this.AT_LEAST_ONE2(actionORMethodDef),
+            AT_LEAST_ONE3: actionORMethodDef => this.AT_LEAST_ONE3(actionORMethodDef),
+            AT_LEAST_ONE4: actionORMethodDef => this.AT_LEAST_ONE4(actionORMethodDef),
+            AT_LEAST_ONE5: actionORMethodDef => this.AT_LEAST_ONE5(actionORMethodDef),
+            AT_LEAST_ONE6: actionORMethodDef => this.AT_LEAST_ONE6(actionORMethodDef),
+            AT_LEAST_ONE7: actionORMethodDef => this.AT_LEAST_ONE7(actionORMethodDef),
+            AT_LEAST_ONE8: actionORMethodDef => this.AT_LEAST_ONE8(actionORMethodDef),
+            AT_LEAST_ONE9: actionORMethodDef => this.AT_LEAST_ONE9(actionORMethodDef),
+            AT_LEAST_ONE_SEP: options => this.AT_LEAST_ONE_SEP(options),
+            AT_LEAST_ONE_SEP1: options => this.AT_LEAST_ONE_SEP1(options),
+            AT_LEAST_ONE_SEP2: options => this.AT_LEAST_ONE_SEP2(options),
+            AT_LEAST_ONE_SEP3: options => this.AT_LEAST_ONE_SEP3(options),
+            AT_LEAST_ONE_SEP4: options => this.AT_LEAST_ONE_SEP4(options),
+            AT_LEAST_ONE_SEP5: options => this.AT_LEAST_ONE_SEP5(options),
+            AT_LEAST_ONE_SEP6: options => this.AT_LEAST_ONE_SEP6(options),
+            AT_LEAST_ONE_SEP7: options => this.AT_LEAST_ONE_SEP7(options),
+            AT_LEAST_ONE_SEP8: options => this.AT_LEAST_ONE_SEP8(options),
+            AT_LEAST_ONE_SEP9: options => this.AT_LEAST_ONE_SEP9(options),
+            ACTION: func => this.ACTION(func),
+            BACKTRACK: (cstDef, ...args) => this.BACKTRACK(this[cstDef.name], { ARGS: args }),
+            SUBRULE: subRuleImpl((rule, args) => this.SUBRULE(rule, args)),
+            SUBRULE1: subRuleImpl((rule, args) => this.SUBRULE1(rule, args)),
+            SUBRULE2: subRuleImpl((rule, args) => this.SUBRULE2(rule, args)),
+            SUBRULE3: subRuleImpl((rule, args) => this.SUBRULE3(rule, args)),
+            SUBRULE4: subRuleImpl((rule, args) => this.SUBRULE4(rule, args)),
+            SUBRULE5: subRuleImpl((rule, args) => this.SUBRULE5(rule, args)),
+            SUBRULE6: subRuleImpl((rule, args) => this.SUBRULE6(rule, args)),
+            SUBRULE7: subRuleImpl((rule, args) => this.SUBRULE7(rule, args)),
+            SUBRULE8: subRuleImpl((rule, args) => this.SUBRULE8(rule, args)),
+            SUBRULE9: subRuleImpl((rule, args) => this.SUBRULE9(rule, args)),
+        };
+    }
+}
+//# sourceMappingURL=dynamicParser.js.map