@tabnas/abnf 0.2.0

package/dist/compile.js

@@ -0,0 +1,341 @@
+"use strict";
+/* Copyright (c) 2026 Richard Rodger and other contributors, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AbnfActionError = exports.AbnfCompileError = void 0;
+exports.toRecognitionSpec = toRecognitionSpec;
+exports.toPureSpec = toPureSpec;
+exports.toJsonic = toJsonic;
+exports.attachActions = attachActions;
+exports.attachActionSlots = attachActionSlots;
+exports.markListing = markListing;
+exports.abnfCompile = abnfCompile;
+const parser_1 = require("@tabnas/parser");
+const converter_1 = require("./converter");
+// Hook fields whose string value is a `@`-ref into `spec.ref`. These
+// are the AST-building actions compilation mode drops.
+const REF_FIELDS = new Set(['a', 'bo', 'bc']);
+// Tree-building `$`-builtins (emitted with `builtins: true`). Pure
+// recognition mode drops these too; their per-alt config lives under
+// `k.node$` / `k.capture$`.
+const TREE_BUILTINS = new Set(['@node$', '@capture$', '@bubble$']);
+const TREE_CONFIG_KEYS = ['node$', 'capture$'];
+class AbnfCompileError extends Error {
+    constructor(message, rules) {
+        super(message);
+        this.name = 'AbnfCompileError';
+        this.rules = rules;
+    }
+}
+exports.AbnfCompileError = AbnfCompileError;
+// Deep clone that preserves RegExp instances (match-token matchers)
+// and drops every function-valued property.
+function cloneData(v) {
+    if (v instanceof RegExp)
+        return v;
+    if (Array.isArray(v))
+        return v.map(cloneData);
+    if (v && 'object' === typeof v) {
+        const o = {};
+        for (const k of Object.keys(v)) {
+            if ('function' === typeof v[k])
+                continue;
+            o[k] = cloneData(v[k]);
+        }
+        return o;
+    }
+    return v;
+}
+// Like `cloneData`, but also drops the AST-building hooks: `a`/`bo`/`bc`
+// fields that point at a dropped action (a `spec.ref` closure or a tree
+// `$`-builtin), and the now-orphaned `k.node$` / `k.capture$` config.
+// Control builtins (`@probe…$`) and structural fields are preserved.
+function cloneRecognition(v, isDropped) {
+    if (v instanceof RegExp)
+        return v;
+    if (Array.isArray(v))
+        return v.map((x) => cloneRecognition(x, isDropped));
+    if (v && 'object' === typeof v) {
+        const o = {};
+        for (const k of Object.keys(v)) {
+            const x = v[k];
+            if ('function' === typeof x)
+                continue;
+            if (REF_FIELDS.has(k) && 'string' === typeof x && isDropped(x))
+                continue;
+            if ('k' === k && x && 'object' === typeof x) {
+                const kc = cloneRecognition(x, isDropped);
+                for (const tk of TREE_CONFIG_KEYS)
+                    delete kc[tk];
+                if (0 === Object.keys(kc).length)
+                    continue;
+                o[k] = kc;
+                continue;
+            }
+            o[k] = cloneRecognition(x, isDropped);
+        }
+        return o;
+    }
+    return v;
+}
+// Find rules that reference the ref map from a field *other than* the
+// droppable AST hooks — i.e. control functions (probe `c:` guards and
+// dispatch actions). Their presence means the grammar can't be
+// represented purely structurally yet.
+function controlRefRules(spec, isRef) {
+    const offenders = new Set();
+    const scan = (o, rule) => {
+        if (Array.isArray(o)) {
+            o.forEach((x) => scan(x, rule));
+            return;
+        }
+        if (!o || 'object' !== typeof o)
+            return;
+        for (const k of Object.keys(o)) {
+            const x = o[k];
+            if (!REF_FIELDS.has(k) && 'string' === typeof x && isRef(x)) {
+                offenders.add(rule);
+            }
+            else {
+                scan(x, rule);
+            }
+        }
+    };
+    const rules = spec.rule ?? {};
+    for (const name of Object.keys(rules))
+        scan(rules[name], name);
+    return [...offenders].sort();
+}
+// Strip a converted spec down to a function-free recognition grammar.
+// Throws `AbnfCompileError` for grammars whose control logic is still
+// closures (i.e. a probe dispatcher converted without `builtins`).
+function toRecognitionSpec(spec) {
+    const ref = spec.ref ?? {};
+    const isRef = (s) => Object.prototype.hasOwnProperty.call(ref, s);
+    const offenders = controlRefRules(spec, isRef);
+    if (offenders.length > 0) {
+        throw new AbnfCompileError('abnf: grammar needs control functions (probe / unbounded ' +
+            'lookahead) and cannot be emitted as a pure recognition grammar; ' +
+            'recompile with `builtins: true`. Offending rule(s): ' +
+            offenders.join(', '), offenders);
+    }
+    const isDropped = (s) => isRef(s) || TREE_BUILTINS.has(s);
+    const out = cloneRecognition({ options: spec.options, rule: spec.rule }, isDropped);
+    // Declare the builtin config-schema version so the engine can refuse a
+    // grammar that needs a newer schema than it implements.
+    out.v = parser_1.BUILTIN_SCHEMA_VERSION;
+    return out;
+}
+// Reduce a spec to a pure-data, function-free grammar that *keeps* the
+// AST-building `$`-builtins (so the deserialized grammar builds the
+// full `{rule,src,kids}` tree). Requires `builtins: true` conversion —
+// throws if any closures remain in `spec.ref`.
+function toPureSpec(spec) {
+    const ref = spec.ref ?? {};
+    const closures = Object.keys(ref);
+    if (closures.length > 0) {
+        throw new AbnfCompileError('abnf: spec still contains closures; convert with `builtins: true` ' +
+            'for pure-data output. Stray ref(s): ' + closures.slice(0, 3).join(', '), []);
+    }
+    const out = cloneData({ options: spec.options, rule: spec.rule });
+    out.v = parser_1.BUILTIN_SCHEMA_VERSION;
+    return out;
+}
+const IDENT = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
+// Serialise a (function-free) value as jsonic text. Relaxed by
+// default: bare identifier keys, single-quoted strings, newline-
+// separated entries. `strict: true` emits valid JSON (double quotes,
+// comma-separated) for round-trip verification. RegExp instances are
+// emitted as `@/source/flags` strings (jsonic's `resolveFuncRefs`
+// reconstructs them on load).
+function toJsonic(value, opts = {}) {
+    const strict = !!opts.strict;
+    const ind = opts.indent ?? 2;
+    const sep = strict ? ',\n' : '\n';
+    const pad = (n) => ' '.repeat(ind * n);
+    const quote = (s, ch) => ch + s
+        .replace(/\\/g, '\\\\')
+        .replace(new RegExp(ch, 'g'), '\\' + ch)
+        .replace(/\n/g, '\\n') + ch;
+    const dq = (s) => quote(s, '"');
+    const str = (s) => strict ? dq(s) : quote(s, "'");
+    const key = (k) => (!strict && IDENT.test(k)) ? k : dq(k);
+    const ser = (v, depth) => {
+        if (null === v || undefined === v)
+            return 'null';
+        if (v instanceof RegExp) {
+            // `@~/…/` carries the `eager$` matcher flag through serialisation;
+            // plain `@/…/` for ordinary regexes.
+            const sentinel = v.eager$ ? '@~/' : '@/';
+            return str(sentinel + v.source + '/' + v.flags);
+        }
+        const t = typeof v;
+        if ('number' === t || 'boolean' === t)
+            return String(v);
+        if ('string' === t)
+            return str(v);
+        if (Array.isArray(v)) {
+            if (0 === v.length)
+                return '[]';
+            const items = v.map((x) => pad(depth + 1) + ser(x, depth + 1));
+            return '[\n' + items.join(sep) + '\n' + pad(depth) + ']';
+        }
+        if ('object' === t) {
+            const keys = Object.keys(v);
+            if (0 === keys.length)
+                return '{}';
+            const items = keys.map((k) => pad(depth + 1) + key(k) + ': ' + ser(v[k], depth + 1));
+            return '{\n' + items.join(sep) + '\n' + pad(depth) + '}';
+        }
+        return 'null';
+    };
+    return ser(value, 0);
+}
+// ---- User semantic actions (the `m`-mark feature) -----------------
+class AbnfActionError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'AbnfActionError';
+    }
+}
+exports.AbnfActionError = AbnfActionError;
+const PHASES = new Set(['bo', 'ao', 'bc', 'ac']);
+// Compose a previous action (the compiler's own, run first) with the
+// user's, in attachment order — the synthetic wrapper from the design.
+function composeActions(prev, fns) {
+    const prevFn = 'function' === typeof prev ? prev : null;
+    return (r, ctx, alt) => {
+        if (prevFn)
+            prevFn(r, ctx, alt);
+        for (const fn of fns)
+            fn(r, ctx, alt);
+    };
+}
+// Collapse a function list into a single action (or pass one through).
+function seqActions(fns) {
+    return 1 === fns.length ? fns[0] : (r, ctx, alt) => {
+        for (const fn of fns)
+            fn(r, ctx, alt);
+    };
+}
+// Append an action ref/fn to an alt's `a`, producing the engine's
+// array-`a` form so the alt's own action runs first, then the new one.
+function appendAction(existing, added) {
+    if (null == existing)
+        return added;
+    return Array.isArray(existing) ? [...existing, added] : [existing, added];
+}
+function altListOf(field) {
+    return Array.isArray(field) ? field : (field && field.alts) || [];
+}
+// Resolve `@<rule>:<sel>` against the spec; return the matched alts (for
+// o:/c: selectors) or the rule-phase string (for bo/ao/bc/ac).
+function resolveTarget(spec, key) {
+    // `$` is reserved for engine builtins (the `@…$` namespace); a user
+    // action ref may not contain it. The engine enforces the same on
+    // spec.ref keys at load — fail early here with a clearer message.
+    if (key.includes('$')) {
+        throw new AbnfActionError(`abnf: '$' is reserved for engine builtins; user action ref ` +
+            `'${key}' may not contain '$'`);
+    }
+    const m = /^@([^:]+):(.+)$/.exec(key);
+    if (!m) {
+        throw new AbnfActionError(`abnf: malformed action ref '${key}' ` +
+            `(expected @rule:phase or @rule:o|c:mark)`);
+    }
+    const rule = m[1];
+    const sel = m[2];
+    const rules = (spec.rule ?? {});
+    if (!rules[rule]) {
+        throw new AbnfActionError(`abnf: action ref '${key}' targets unknown rule '${rule}'`);
+    }
+    if (PHASES.has(sel))
+        return { phase: sel };
+    const pm = /^([oc]):(.+)$/.exec(sel);
+    if (!pm)
+        throw new AbnfActionError(`abnf: malformed action ref '${key}'`);
+    const phase = 'o' === pm[1] ? 'open' : 'close';
+    const mark = pm[2];
+    const alts = altListOf(rules[rule][phase]).filter((a) => a && a.m === mark);
+    if (0 === alts.length) {
+        throw new AbnfActionError(`abnf: action ref '${key}' matches no ${phase} alt with mark ` +
+            `'${mark}' in rule '${rule}'`);
+    }
+    return { alts, rule };
+}
+// Attach user semantic actions to a spec, in place. Keys:
+// `@<rule>:<phase>` (bo/ao/bc/ac) or `@<rule>:o|c:<mark>`. Values: a
+// function or array of functions, run *after* the compiler's own action
+// in attachment order. Works in both closure and `builtins` mode — alt
+// actions are injected as the engine's array-`a` form (the alt's own
+// action, builtin or closure, runs first). Throws `AbnfActionError` for
+// a ref matching no rule / hook / marked alt.
+function attachActions(spec, actions) {
+    const ref = (spec.ref = spec.ref ?? {});
+    let counter = 0;
+    for (const key of Object.keys(actions)) {
+        const fns = [].concat(actions[key]);
+        const target = resolveTarget(spec, key);
+        if ('phase' in target) {
+            // Rule-phase hook: reuse the engine's `@<rule>-<phase>` fnref
+            // auto-install (fnref builds the key from the rule name, so a
+            // hyphenated ABNF rule name stays unambiguous).
+            const rule = /^@([^:]+):/.exec(key)[1];
+            const fkey = `@${rule}-${target.phase}`;
+            ref[fkey] = composeActions(ref[fkey], fns);
+            continue;
+        }
+        for (const alt of target.alts) {
+            const userRef = `@abnf_user${counter++}`;
+            ref[userRef] = seqActions(fns);
+            alt.a = appendAction(alt.a, userRef);
+        }
+    }
+    return spec;
+}
+// Declare user-action *slots* on a (pure-data) spec without supplying
+// functions: each `@<rule>:o|c:<mark>` ref name is injected into the
+// matched alt's array-`a`, to be resolved at load time from a
+// user-supplied ref map. Lets a serialized grammar carry user-action
+// hooks that the consumer binds by name. Throws on unknown targets.
+function attachActionSlots(spec, refNames) {
+    for (const name of refNames) {
+        const target = resolveTarget(spec, name);
+        if ('phase' in target) {
+            throw new AbnfActionError(`abnf: slot '${name}' is a rule-phase ref; slots are for ` +
+                `@rule:o|c:mark alt actions`);
+        }
+        for (const alt of target.alts)
+            alt.a = appendAction(alt.a, name);
+    }
+    return spec;
+}
+// Human-readable listing of the marks the compiler assigned, for
+// discoverability (CLI `--marks`).
+function markListing(spec) {
+    const lines = [];
+    const rules = spec.rule ?? {};
+    for (const rule of Object.keys(rules)) {
+        for (const [ph, sym] of [['open', 'o'], ['close', 'c']]) {
+            const f = rules[rule][ph];
+            const list = Array.isArray(f) ? f : (f && f.alts) || [];
+            for (const a of list) {
+                if (a && null != a.m) {
+                    const what = a.s ? `s:${a.s}` : a.p ? `p:${a.p}` : '(empty)';
+                    lines.push(`${rule}  ${sym}:${a.m}  ${what}`);
+                }
+            }
+        }
+    }
+    return lines.join('\n');
+}
+// Compile ABNF source into a pure-data tabnas grammar as jsonic text.
+// Always converts with `builtins: true` so probe dispatch and tree
+// building serialise as `@…$` builtin refs (no closures).
+function abnfCompile(src, opts = {}) {
+    const spec = (0, converter_1.abnf)(src, { start: opts.start, tag: opts.tag, builtins: true, marks: true });
+    const out = (false === opts.recognition)
+        ? toPureSpec(spec)
+        : toRecognitionSpec(spec);
+    return toJsonic(out, { strict: opts.strict, indent: opts.indent });
+}
+//# sourceMappingURL=compile.js.map

package/dist/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":";AAAA,2EAA2E;;;AAwH3E,8CAsBC;AAOD,gCAaC;AAcD,4BA4CC;AA6FD,sCA0BC;AAOD,8CAWC;AAID,kCAgBC;AAcD,kCAOC;AAxXD,2CAAuD;AAEvD,2CAAqE;AAGrE,qEAAqE;AACrE,uDAAuD;AACvD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;AAE7C,mEAAmE;AACnE,qEAAqE;AACrE,4BAA4B;AAC5B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAA;AAClE,MAAM,gBAAgB,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;AAG9C,MAAa,gBAAiB,SAAQ,KAAK;IAEzC,YAAY,OAAe,EAAE,KAAe;QAC1C,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAA;QAC9B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACpB,CAAC;CACF;AAPD,4CAOC;AAGD,oEAAoE;AACpE,4CAA4C;AAC5C,SAAS,SAAS,CAAC,CAAM;IACvB,IAAI,CAAC,YAAY,MAAM;QAAE,OAAO,CAAC,CAAA;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,CAAC,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAQ,EAAE,CAAA;QACjB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,IAAI,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAQ;YACxC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACxB,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,yEAAyE;AACzE,wEAAwE;AACxE,sEAAsE;AACtE,qEAAqE;AACrE,SAAS,gBAAgB,CAAC,CAAM,EAAE,SAAiC;IACjE,IAAI,CAAC,YAAY,MAAM;QAAE,OAAO,CAAC,CAAA;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA;IACzE,IAAI,CAAC,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAQ,EAAE,CAAA;QACjB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YACd,IAAI,UAAU,KAAK,OAAO,CAAC;gBAAE,SAAQ;YACrC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,KAAK,OAAO,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC;gBAAE,SAAQ;YACxE,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;gBAC5C,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;gBACzC,KAAK,MAAM,EAAE,IAAI,gBAAgB;oBAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAA;gBAChD,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM;oBAAE,SAAQ;gBAC1C,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAA;gBACT,SAAQ;YACV,CAAC;YACD,CAAC,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;QACvC,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAGD,sEAAsE;AACtE,sEAAsE;AACtE,+DAA+D;AAC/D,uCAAuC;AACvC,SAAS,eAAe,CACtB,IAAiB,EAAE,KAA6B;IAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,MAAM,IAAI,GAAG,CAAC,CAAM,EAAE,IAAY,EAAE,EAAE;QACpC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QACjE,IAAI,CAAC,CAAC,IAAI,QAAQ,KAAK,OAAO,CAAC;YAAE,OAAM;QACvC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YACd,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,KAAK,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACrB,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;YACf,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAA;IAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,IAAI,CAAE,KAAa,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IACvE,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,CAAA;AAC9B,CAAC;AAGD,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,SAAgB,iBAAiB,CAAC,IAAiB;IACjD,MAAM,GAAG,GAA6B,IAAY,CAAC,GAAG,IAAI,EAAE,CAAA;IAC5D,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IAEzE,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC9C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,gBAAgB,CACxB,2DAA2D;YAC3D,kEAAkE;YAClE,sDAAsD;YACtD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EACpB,SAAS,CACV,CAAA;IACH,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACjE,MAAM,GAAG,GAAG,gBAAgB,CAC1B,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,CAAgB,CAAA;IACvE,uEAAuE;IACvE,wDAAwD;IACxD,GAAG,CAAC,CAAC,GAAG,+BAAsB,CAAA;IAC9B,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,uEAAuE;AACvE,oEAAoE;AACpE,uEAAuE;AACvE,+CAA+C;AAC/C,SAAgB,UAAU,CAAC,IAAiB;IAC1C,MAAM,GAAG,GAA6B,IAAY,CAAC,GAAG,IAAI,EAAE,CAAA;IAC5D,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,gBAAgB,CACxB,oEAAoE;YACpE,sCAAsC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EACxE,EAAE,CACH,CAAA;IACH,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAgB,CAAA;IAChF,GAAG,CAAC,CAAC,GAAG,+BAAsB,CAAA;IAC9B,OAAO,GAAG,CAAA;AACZ,CAAC;AAKD,MAAM,KAAK,GAAG,4BAA4B,CAAA;AAG1C,+DAA+D;AAC/D,iEAAiE;AACjE,qEAAqE;AACrE,qEAAqE;AACrE,kEAAkE;AAClE,8BAA8B;AAC9B,SAAgB,QAAQ,CAAC,KAAU,EAAE,OAAsB,EAAE;IAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAA;IAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAA;IAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IACjC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;IAE9C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAU,EAAE,EAAE,CACtC,EAAE,GAAG,CAAC;SACH,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;SACtB,OAAO,CAAC,IAAI,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC;SACvC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,CAAA;IAE/B,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACvC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACzD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CACxB,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAExC,MAAM,GAAG,GAAG,CAAC,CAAM,EAAE,KAAa,EAAU,EAAE;QAC5C,IAAI,IAAI,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,MAAM,CAAA;QAChD,IAAI,CAAC,YAAY,MAAM,EAAE,CAAC;YACxB,mEAAmE;YACnE,qCAAqC;YACrC,MAAM,QAAQ,GAAI,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;YACjD,OAAO,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QACjD,CAAC;QACD,MAAM,CAAC,GAAG,OAAO,CAAC,CAAA;QAClB,IAAI,QAAQ,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;QACvD,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAA;YAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;YAC9D,OAAO,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAA;QAC1D,CAAC;QACD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAC3B,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAA;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CACpB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;YAC/D,OAAO,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAA;QAC1D,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IAED,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;AACtB,CAAC;AAGD,sEAAsE;AAEtE,MAAa,eAAgB,SAAQ,KAAK;IACxC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAA;IAC/B,CAAC;CACF;AALD,0CAKC;AAKD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;AAEhD,qEAAqE;AACrE,uEAAuE;AACvE,SAAS,cAAc,CAAC,IAAS,EAAE,GAAe;IAChD,MAAM,MAAM,GAAoB,UAAU,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACrB,IAAI,MAAM;YAAE,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;QAC/B,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;IACvC,CAAC,CAAA;AACH,CAAC;AAED,uEAAuE;AACvE,SAAS,UAAU,CAAC,GAAe;IACjC,OAAO,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACjD,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;IACvC,CAAC,CAAA;AACH,CAAC;AAED,kEAAkE;AAClE,uEAAuE;AACvE,SAAS,YAAY,CAAC,QAAa,EAAE,KAAU;IAC7C,IAAI,IAAI,IAAI,QAAQ;QAAE,OAAO,KAAK,CAAA;IAClC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AAC3E,CAAC;AAED,SAAS,SAAS,CAAC,KAAU;IAC3B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;AACnE,CAAC;AAED,yEAAyE;AACzE,+DAA+D;AAC/D,SAAS,aAAa,CACpB,IAAiB,EAAE,GAAW;IAE9B,oEAAoE;IACpE,iEAAiE;IACjE,kEAAkE;IAClE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,eAAe,CACvB,6DAA6D;YAC7D,IAAI,GAAG,uBAAuB,CAAC,CAAA;IACnC,CAAC;IACD,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACrC,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,eAAe,CACvB,+BAA+B,GAAG,IAAI;YACtC,0CAA0C,CAAC,CAAA;IAC/C,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAChB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAQ,CAAA;IACtC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,eAAe,CACvB,qBAAqB,GAAG,2BAA2B,IAAI,GAAG,CAAC,CAAA;IAC/D,CAAC;IACD,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAA;IAE1C,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACpC,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,eAAe,CAAC,+BAA+B,GAAG,GAAG,CAAC,CAAA;IACzE,MAAM,KAAK,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAA;IAC9C,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAA;IAClB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAA;IAC3E,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,IAAI,eAAe,CACvB,qBAAqB,GAAG,gBAAgB,KAAK,iBAAiB;YAC9D,IAAI,IAAI,cAAc,IAAI,GAAG,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;AACvB,CAAC;AAED,0DAA0D;AAC1D,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,qEAAqE;AACrE,wEAAwE;AACxE,8CAA8C;AAC9C,SAAgB,aAAa,CAAC,IAAiB,EAAE,OAAmB;IAClE,MAAM,GAAG,GACP,CAAE,IAAY,CAAC,GAAG,GAAI,IAAY,CAAC,GAAG,IAAI,EAAE,CAAC,CAAA;IAC/C,IAAI,OAAO,GAAG,CAAC,CAAA;IAEf,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,GAAG,GAAI,EAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAQ,CAAC,CAAA;QAC1D,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAEvC,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;YACtB,8DAA8D;YAC9D,8DAA8D;YAC9D,gDAAgD;YAChD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC,CAAC,CAAC,CAAA;YACvC,MAAM,IAAI,GAAG,IAAI,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAA;YACvC,GAAG,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;YAC1C,SAAQ;QACV,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,aAAa,OAAO,EAAE,EAAE,CAAA;YACxC,GAAG,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;YAC9B,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,sEAAsE;AACtE,qEAAqE;AACrE,8DAA8D;AAC9D,qEAAqE;AACrE,oEAAoE;AACpE,SAAgB,iBAAiB,CAAC,IAAiB,EAAE,QAAkB;IACrE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACxC,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;YACtB,MAAM,IAAI,eAAe,CACvB,eAAe,IAAI,uCAAuC;gBAC1D,4BAA4B,CAAC,CAAA;QACjC,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI;YAAE,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,iEAAiE;AACjE,mCAAmC;AACnC,SAAgB,WAAW,CAAC,IAAiB;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAA;IAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAU,EAAE,CAAC;YACjE,MAAM,CAAC,GAAI,KAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAA;YAClC,MAAM,IAAI,GAAU,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;YAC9D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;oBAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAA;gBAC/C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAWD,sEAAsE;AACtE,mEAAmE;AACnE,0DAA0D;AAC1D,SAAgB,WAAW,CAAC,GAAW,EAAE,OAA2B,EAAE;IACpE,MAAM,IAAI,GAAG,IAAA,gBAAW,EAAC,GAAG,EAC1B,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;IACpE,MAAM,GAAG,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,WAAW,CAAC;QACtC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;QAClB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAA;IAC3B,OAAO,QAAQ,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;AACpE,CAAC"}

package/dist/converter.d.ts

@@ -0,0 +1,84 @@
+import type { GrammarSpec, Rule } from '@tabnas/parser';
+export type AbnfConvertOptions = {
+    start?: string;
+    tag?: string;
+    builtins?: boolean;
+    marks?: boolean;
+};
+type AbnfElement = {
+    kind: 'term';
+    literal: string;
+    caseSensitive?: boolean;
+} | {
+    kind: 'ref';
+    name: string;
+} | {
+    kind: 'regex';
+    pattern: string;
+    flags: string;
+} | {
+    kind: 'opt';
+    inner: AbnfElement;
+} | {
+    kind: 'star';
+    inner: AbnfElement;
+} | {
+    kind: 'plus';
+    inner: AbnfElement;
+} | {
+    kind: 'rep';
+    min: number;
+    max: number;
+    inner: AbnfElement;
+} | {
+    kind: 'group';
+    alts: AbnfSequence[];
+};
+type AbnfSequence = AbnfElement[];
+type AbnfProduction = {
+    name: string;
+    alts: AbnfSequence[];
+    incremental?: boolean;
+    probeDispatch?: ProbeDispatchSpec;
+    probeHelper?: {
+        vocabElements: AbnfElement[];
+    };
+    nodeKind?: 'user' | 'core' | 'helper';
+};
+type ProbeDispatchSpec = {
+    probeRule: string;
+    disambiguator: AbnfElement;
+    withBranch: string;
+    noBranch: string;
+};
+type AbnfGrammar = {
+    productions: AbnfProduction[];
+    ambiguities?: AmbiguityReport[];
+};
+type AmbiguityReport = {
+    rule: string;
+    altIdx: number;
+    optIdx: number;
+    reason: string;
+    resolved: boolean;
+};
+declare const abnfRules: Record<string, {
+    bo?: (r: Rule) => void;
+    bc?: (r: Rule) => void;
+    open?: any[];
+    close?: any[];
+}>;
+declare function eliminateLeftRecursion(grammar: AbnfGrammar): AbnfGrammar;
+declare class AbnfParseError extends Error {
+    readonly line?: number;
+    readonly column?: number;
+    readonly cause?: unknown;
+    constructor(message: string, location?: {
+        line?: number;
+        column?: number;
+    }, cause?: unknown);
+}
+declare function parseAbnf(src: string): AbnfGrammar;
+declare function emitGrammarSpec(grammar: AbnfGrammar, opts?: AbnfConvertOptions): GrammarSpec;
+declare function abnf(src: string, opts?: AbnfConvertOptions): GrammarSpec;
+export { abnf, parseAbnf, emitGrammarSpec, eliminateLeftRecursion, abnfRules, AbnfParseError, };