@poe-platform/safe-bash 0.1.0

package/dist/safe-bash/commands/regex-execution/ere/limits.js

@@ -0,0 +1,87 @@
+import { setImmediate } from "node:timers/promises";
+import { EreProfileLimitError, EreUsageUnknownError } from "./errors.js";
+const resources = Object.freeze([
+    "patternBytes", "subjectBytes", "work", "states", "allocationUnits", "captureBytes", "captureSlots",
+]);
+function integer(value) {
+    if (!Number.isSafeInteger(value) || value < 0)
+        throw new TypeError("ERE bounds must be nonnegative safe integers");
+}
+function multiply(value, factor, ceiling) {
+    return value > Math.floor(ceiling / factor) ? ceiling : value * factor;
+}
+export function deriveEreLimits(bounds) {
+    integer(bounds.maxExpansionBytes);
+    integer(bounds.maxExpansionFields);
+    const bytes = bounds.maxExpansionBytes;
+    const fields = bounds.maxExpansionFields;
+    const byteUnits = multiply(bytes, 8, 4_000_000);
+    const fieldUnits = multiply(fields, 128, 4_000_000);
+    return Object.freeze({
+        patternBytes: Math.min(bytes, 65_536),
+        subjectBytes: Math.min(bytes, 1_048_576),
+        work: multiply(bytes, 32, 50_000_000),
+        states: multiply(fields, 8, 65_536),
+        allocationUnits: byteUnits >= 4_000_000 - fieldUnits ? 4_000_000 : byteUnits + fieldUnits,
+        captureBytes: bytes,
+        captureSlots: fields,
+    });
+}
+export class EreLedger {
+    limits;
+    #usage = {
+        patternBytes: 0, subjectBytes: 0, work: 0, states: 0, allocationUnits: 0, captureBytes: 0, captureSlots: 0,
+    };
+    #poison;
+    #lastYield = 0;
+    constructor(bounds, lowering = {}) {
+        const limits = { ...deriveEreLimits(bounds) };
+        for (const resource of Object.keys(lowering)) {
+            if (!resources.includes(resource))
+                throw new TypeError("unknown ERE limit");
+            const key = resource;
+            const value = lowering[key];
+            if (value === undefined)
+                throw new TypeError("undefined ERE limit");
+            integer(value);
+            if (value > limits[key])
+                throw new RangeError("ERE limits may only be lowered");
+            limits[key] = value;
+        }
+        this.limits = Object.freeze(limits);
+    }
+    get usage() { return Object.freeze({ ...this.#usage }); }
+    check(signal) {
+        if (signal?.aborted)
+            throw signal.reason;
+        if (this.#poison)
+            throw this.#poison;
+    }
+    charge(resource, amount, signal) {
+        this.check(signal);
+        integer(amount);
+        if (amount > this.limits[resource] - this.#usage[resource]) {
+            throw new EreProfileLimitError(resource, this.limits[resource]);
+        }
+        this.#usage[resource] += amount;
+    }
+    admitInput(resource, length, signal) {
+        this.check(signal);
+        integer(length);
+        if (length > this.limits[resource])
+            throw new EreProfileLimitError(resource, this.limits[resource]);
+        this.#usage[resource] = Math.max(this.#usage[resource], length);
+    }
+    async checkpoint(signal) {
+        this.check(signal);
+        if (this.#usage.work - this.#lastYield >= 256) {
+            this.#lastYield = this.#usage.work;
+            await setImmediate();
+            this.check(signal);
+        }
+    }
+    markUnknownUsage(reason) {
+        this.#poison ??= new EreUsageUnknownError(reason);
+    }
+}
+//# sourceMappingURL=limits.js.map

package/dist/safe-bash/commands/regex-execution/ere/limits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"limits.js","sourceRoot":"","sources":["../../../../src/commands/regex-execution/ere/limits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAGzE,MAAM,SAAS,GAA2B,MAAM,CAAC,MAAM,CAAC;IACtD,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,cAAc,EAAE,cAAc;CACpG,CAAC,CAAC;AAEH,SAAS,OAAO,CAAC,KAAa;IAC5B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;AACrH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe;IAC9D,OAAO,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAA0B;IACxD,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAClC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACzC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;QACrC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;QACxC,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,UAAU,CAAC;QACrC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC;QACnC,eAAe,EAAE,SAAS,IAAI,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,UAAU;QACzF,YAAY,EAAE,KAAK;QACnB,YAAY,EAAE,MAAM;KACrB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,OAAO,SAAS;IACX,MAAM,CAAY;IAC3B,MAAM,GAAgC;QACpC,YAAY,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC;KAC3G,CAAC;IACF,OAAO,CAAmC;IAC1C,UAAU,GAAG,CAAC,CAAC;IAEf,YAAY,MAA0B,EAAE,WAA+B,EAAE;QACvE,MAAM,MAAM,GAAG,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAuB,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,CAAC;YAC3F,MAAM,GAAG,GAAG,QAAuB,CAAC;YACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,SAAS;gBAAE,MAAM,IAAI,SAAS,CAAC,qBAAqB,CAAC,CAAC;YACpE,OAAO,CAAC,KAAK,CAAC,CAAC;YACf,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,gCAAgC,CAAC,CAAC;YAChF,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,KAAK,KAAe,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAEnE,KAAK,CAAC,MAAoB;QACxB,IAAI,MAAM,EAAE,OAAO;YAAE,MAAM,MAAM,CAAC,MAAM,CAAC;QACzC,IAAI,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,CAAC,OAAO,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,QAAqB,EAAE,MAAc,EAAE,MAAoB;QAChE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACnB,OAAO,CAAC,MAAM,CAAC,CAAC;QAChB,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC;IAClC,CAAC;IAED,UAAU,CAAC,QAAyC,EAAE,MAAc,EAAE,MAAoB;QACxF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACnB,OAAO,CAAC,MAAM,CAAC,CAAC;QAChB,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,MAAoB;QACnC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;YAC9C,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACnC,MAAM,YAAY,EAAE,CAAC;YACrB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,MAAe;QAC9B,IAAI,CAAC,OAAO,KAAK,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;CACF"}

package/dist/safe-bash/commands/regex-execution/ere/matcher.d.ts

@@ -0,0 +1,4 @@
+import { EreLedger } from "./limits.js";
+import type { EreProgram, EreResult } from "./types.js";
+export declare function matchEre(program: EreProgram, subject: string, ledger: EreLedger, signal?: AbortSignal): Promise<EreResult>;
+//# sourceMappingURL=matcher.d.ts.map

package/dist/safe-bash/commands/regex-execution/ere/matcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"matcher.d.ts","sourceRoot":"","sources":["../../../../src/commands/regex-execution/ere/matcher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,KAAK,EAAW,UAAU,EAAE,SAAS,EAAW,MAAM,YAAY,CAAC;AAyF1E,wBAAsB,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAmHhI"}

package/dist/safe-bash/commands/regex-execution/ere/matcher.js

@@ -0,0 +1,202 @@
+import { EreLedger } from "./limits.js";
+import { admitAscii, resolveEreProgram } from "./syntax.js";
+function spanOrder(left, right) {
+    if (left === null)
+        return right === null ? 0 : -1;
+    if (right === null)
+        return 1;
+    const length = left.end - left.start - (right.end - right.start);
+    return length === 0 ? right.start - left.start : length;
+}
+async function historyOrder(left, right, ledger, signal) {
+    const leftCount = left?.count ?? 0;
+    const rightCount = right?.count ?? 0;
+    for (let ordinal = 1; ordinal <= Math.min(leftCount, rightCount); ordinal++) {
+        ledger.charge("work", 1, signal);
+        await ledger.checkpoint(signal);
+        let leftEntry = left;
+        let rightEntry = right;
+        for (let remaining = leftCount; remaining > ordinal; remaining--) {
+            ledger.charge("work", 1, signal);
+            await ledger.checkpoint(signal);
+            leftEntry = leftEntry.previous;
+        }
+        for (let remaining = rightCount; remaining > ordinal; remaining--) {
+            ledger.charge("work", 1, signal);
+            await ledger.checkpoint(signal);
+            rightEntry = rightEntry.previous;
+        }
+        const compared = spanOrder(leftEntry.span, rightEntry.span);
+        if (compared !== 0)
+            return compared;
+    }
+    return leftCount - rightCount;
+}
+async function preferred(candidate, incumbent, ledger, signal) {
+    if (candidate.position !== incumbent.position)
+        return candidate.position > incumbent.position;
+    for (let group = 1; group < candidate.captures.length; group++) {
+        ledger.charge("work", 1, signal);
+        const compared = await historyOrder(candidate.histories[group], incumbent.histories[group], ledger, signal);
+        if (compared !== 0)
+            return compared > 0;
+    }
+    return false;
+}
+async function resetDescendants(node, previous, ledger, signal) {
+    ledger.charge("allocationUnits", previous.length + 3, signal);
+    const captures = previous.slice();
+    const pending = [node];
+    while (pending.length > 0) {
+        ledger.charge("work", 1, signal);
+        await ledger.checkpoint(signal);
+        const current = pending.pop();
+        if (current.kind === "group")
+            captures[current.index] = null;
+        if (current.kind === "group" || current.kind === "repeat") {
+            if (current.child.captured) {
+                ledger.charge("allocationUnits", 1, signal);
+                pending.push(current.child);
+            }
+        }
+        else if (current.kind === "sequence" || current.kind === "alternative") {
+            for (const child of current.children) {
+                ledger.charge("work", 1, signal);
+                await ledger.checkpoint(signal);
+                if (child.captured) {
+                    ledger.charge("allocationUnits", 1, signal);
+                    pending.push(child);
+                }
+            }
+        }
+    }
+    return captures;
+}
+export async function matchEre(program, subject, ledger, signal) {
+    ledger.check(signal);
+    const root = resolveEreProgram(program, ledger);
+    ledger.admitInput("subjectBytes", subject.length, signal);
+    await admitAscii(subject, ledger, signal);
+    const width = program.groups + 1;
+    ledger.charge("allocationUnits", width * 2 + 1, signal);
+    const emptyCaptures = Object.freeze(new Array(width).fill(null));
+    const emptyHistories = Object.freeze(new Array(width).fill(null));
+    const pending = [];
+    const task = (create) => {
+        ledger.charge("allocationUnits", 5, signal);
+        return create();
+    };
+    const push = (position, next, captures, histories) => {
+        ledger.charge("states", 1, signal);
+        ledger.charge("allocationUnits", 5, signal);
+        pending.push({ position, task: next, captures, histories });
+    };
+    for (let start = 0; start <= subject.length; start++) {
+        push(start, task(() => ({ kind: "node", node: root, next: null })), emptyCaptures, emptyHistories);
+        let best;
+        while (pending.length > 0) {
+            ledger.charge("work", 1, signal);
+            await ledger.checkpoint(signal);
+            const state = pending.pop();
+            const current = state.task;
+            if (current === null) {
+                if (!best || await preferred(state, best, ledger, signal))
+                    best = state;
+                continue;
+            }
+            if (current.kind === "close") {
+                ledger.charge("allocationUnits", width * 2 + 6, signal);
+                const span = Object.freeze({ start: current.start, end: state.position });
+                const captures = state.captures.slice();
+                captures[current.group] = span;
+                const histories = state.histories.slice();
+                const previous = histories[current.group];
+                histories[current.group] = { span, previous, count: (previous?.count ?? 0) + 1 };
+                push(state.position, current.next, captures, histories);
+                continue;
+            }
+            if (current.kind === "repeat") {
+                const { node, count } = current;
+                if (count >= node.min)
+                    push(state.position, current.next, state.captures, state.histories);
+                const noProgress = count > 0 && state.position === current.previous;
+                if (count < node.max && (!noProgress || count < node.min)) {
+                    const repeat = task(() => ({ kind: "repeat", node, count: count + 1, previous: state.position, next: current.next }));
+                    push(state.position, task(() => ({ kind: "node", node: node.child, next: repeat })), state.captures, state.histories);
+                }
+                continue;
+            }
+            const node = current.node;
+            switch (node.kind) {
+                case "empty":
+                    push(state.position, current.next, state.captures, state.histories);
+                    break;
+                case "start":
+                    if (state.position === 0)
+                        push(state.position, current.next, state.captures, state.histories);
+                    break;
+                case "end":
+                    if (state.position === subject.length)
+                        push(state.position, current.next, state.captures, state.histories);
+                    break;
+                case "dot":
+                case "literal":
+                case "set": {
+                    const code = subject.charCodeAt(state.position);
+                    if (state.position < subject.length && (node.kind === "dot" || node.kind === "literal" && node.code === code || node.kind === "set" && node.members[code])) {
+                        push(state.position + 1, current.next, state.captures, state.histories);
+                    }
+                    break;
+                }
+                case "sequence": {
+                    let next = current.next;
+                    for (let index = node.children.length - 1; index >= 0; index--) {
+                        ledger.charge("work", 1, signal);
+                        await ledger.checkpoint(signal);
+                        const following = next;
+                        next = task(() => ({ kind: "node", node: node.children[index], next: following }));
+                    }
+                    push(state.position, next, state.captures, state.histories);
+                    break;
+                }
+                case "alternative":
+                    for (let index = node.children.length - 1; index >= 0; index--) {
+                        ledger.charge("work", 1, signal);
+                        await ledger.checkpoint(signal);
+                        push(state.position, task(() => ({ kind: "node", node: node.children[index], next: current.next })), state.captures, state.histories);
+                    }
+                    break;
+                case "group": {
+                    const captures = node.child.captured ? await resetDescendants(node.child, state.captures, ledger, signal) : state.captures;
+                    const close = task(() => ({ kind: "close", group: node.index, start: state.position, next: current.next }));
+                    push(state.position, task(() => ({ kind: "node", node: node.child, next: close })), captures, state.histories);
+                    break;
+                }
+                case "repeat":
+                    push(state.position, task(() => ({ kind: "repeat", node, count: 0, previous: -1, next: current.next })), state.captures, state.histories);
+                    break;
+            }
+        }
+        if (best) {
+            ledger.charge("captureSlots", width, signal);
+            let bytes = best.position - start;
+            for (let group = 1; group < width; group++) {
+                ledger.charge("work", 1, signal);
+                const span = best.captures[group];
+                if (span)
+                    bytes += span.end - span.start;
+            }
+            ledger.charge("captureBytes", bytes, signal);
+            ledger.charge("allocationUnits", width * 2 + bytes + 4, signal);
+            const captures = best.captures.slice();
+            captures[0] = Object.freeze({ start, end: best.position });
+            const values = captures.map(span => span === null ? "" : subject.slice(span.start, span.end));
+            ledger.check(signal);
+            return Object.freeze({ matched: true, captures: Object.freeze(captures), values: Object.freeze(values) });
+        }
+    }
+    ledger.charge("allocationUnits", 3, signal);
+    ledger.check(signal);
+    return Object.freeze({ matched: false, captures: Object.freeze([]), values: Object.freeze([]) });
+}
+//# sourceMappingURL=matcher.js.map

package/dist/safe-bash/commands/regex-execution/ere/matcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"matcher.js","sourceRoot":"","sources":["../../../../src/commands/regex-execution/ere/matcher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAqB5D,SAAS,SAAS,CAAC,IAAoB,EAAE,KAAqB;IAC5D,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACjE,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1D,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,IAAoB,EAAE,KAAqB,EAAE,MAAiB,EAAE,MAAoB;IAC9G,MAAM,SAAS,GAAG,IAAI,EAAE,KAAK,IAAI,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC;IACrC,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC;QAC5E,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACjC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,SAAS,GAAG,IAAK,CAAC;QACtB,IAAI,UAAU,GAAG,KAAM,CAAC;QACxB,KAAK,IAAI,SAAS,GAAG,SAAS,EAAE,SAAS,GAAG,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACjC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAChC,SAAS,GAAG,SAAS,CAAC,QAAS,CAAC;QAClC,CAAC;QACD,KAAK,IAAI,SAAS,GAAG,UAAU,EAAE,SAAS,GAAG,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC;YAClE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACjC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAChC,UAAU,GAAG,UAAU,CAAC,QAAS,CAAC;QACpC,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC;IACtC,CAAC;IACD,OAAO,SAAS,GAAG,UAAU,CAAC;AAChC,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,SAAgB,EAAE,SAAgB,EAAE,MAAiB,EAAE,MAAoB;IAClG,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;IAC9F,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/D,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAE,EAAE,SAAS,CAAC,SAAS,CAAC,KAAK,CAAE,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9G,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO,QAAQ,GAAG,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,IAAa,EAAE,QAAqC,EAAE,MAAiB,EAAE,MAAoB;IAC3H,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC;IAClC,MAAM,OAAO,GAAc,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACjC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAC7D,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1D,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC3B,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC5C,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACzE,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gBACjC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBAChC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;oBACnB,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;oBAC5C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,OAAmB,EAAE,OAAe,EAAE,MAAiB,EAAE,MAAoB;IAC1G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrB,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1D,MAAM,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACjC,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,aAAa,GAAgC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAiB,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9G,MAAM,cAAc,GAAgC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAiB,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/G,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,MAAkB,EAAQ,EAAE;QACxC,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5C,OAAO,MAAM,EAAE,CAAC;IAClB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,IAAiB,EAAE,QAAqC,EAAE,SAAsC,EAAQ,EAAE;QACxI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5C,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;QACnG,IAAI,IAAuB,CAAC;QAC5B,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACjC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;YAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;YAC3B,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,IAAI,IAAI,MAAM,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;oBAAE,IAAI,GAAG,KAAK,CAAC;gBACxE,SAAS;YACX,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7B,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;gBACxD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACxC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;gBAC/B,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;gBAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC;gBAC3C,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjF,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACxD,SAAS;YACX,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;gBAChC,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG;oBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3F,MAAM,UAAU,GAAG,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC;gBACpE,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,UAAU,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;oBACtH,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;gBACxH,CAAC;gBACD,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YAC1B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,OAAO;oBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;oBAAC,MAAM;gBACzF,KAAK,OAAO;oBAAE,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC;wBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;oBAAC,MAAM;gBACnH,KAAK,KAAK;oBAAE,IAAI,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,MAAM;wBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;oBAAC,MAAM;gBAC9H,KAAK,KAAK,CAAC;gBACX,KAAK,SAAS,CAAC;gBACf,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;oBAChD,IAAI,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;wBAC3J,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;oBAC1E,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;oBACxB,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;wBAC/D,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;wBACjC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;wBAChC,MAAM,SAAS,GAAG,IAAI,CAAC;wBACvB,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;oBACtF,CAAC;oBACD,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;oBAC5D,MAAM;gBACR,CAAC;gBACD,KAAK,aAAa;oBAChB,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;wBAC/D,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;wBACjC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;wBAChC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;oBACzI,CAAC;oBACD,MAAM;gBACR,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;oBAC3H,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;oBAC5G,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;oBAC/G,MAAM;gBACR,CAAC;gBACD,KAAK,QAAQ;oBACX,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;oBAC1I,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7C,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;YAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gBACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,IAAI;oBAAE,KAAK,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YAC3C,CAAC;YACD,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,KAAK,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;YAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACvC,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5G,CAAC;IACH,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAW,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAW,CAAC,EAAE,CAAC,CAAC;AACrH,CAAC"}

package/dist/safe-bash/commands/regex-execution/ere/syntax.d.ts

@@ -0,0 +1,6 @@
+import { EreLedger } from "./limits.js";
+import type { EreFragment, EreNode, EreProgram } from "./types.js";
+export declare function admitAscii(text: string, ledger: EreLedger, signal?: AbortSignal): Promise<void>;
+export declare function compileEre(input: string | readonly EreFragment[], ledger: EreLedger, signal?: AbortSignal): Promise<EreProgram>;
+export declare function resolveEreProgram(program: EreProgram, ledger: EreLedger): EreNode;
+//# sourceMappingURL=syntax.d.ts.map

package/dist/safe-bash/commands/regex-execution/ere/syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.d.ts","sourceRoot":"","sources":["../../../../src/commands/regex-execution/ere/syntax.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA2BnE,wBAAsB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAOrG;AA4MD,wBAAsB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,WAAW,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAUrI;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAIjF"}

package/dist/safe-bash/commands/regex-execution/ere/syntax.js

@@ -0,0 +1,291 @@
+import { EreSyntaxError, EreUnsupportedError } from "./errors.js";
+import { EreLedger } from "./limits.js";
+const programs = new WeakMap();
+const special = "\\.^$[]()|*+?{}";
+const classes = new Set(["alnum", "alpha", "blank", "cntrl", "digit", "graph", "lower", "print", "punct", "space", "upper", "xdigit"]);
+function classMember(name, code) {
+    const upper = code >= 65 && code <= 90;
+    const lower = code >= 97 && code <= 122;
+    const digit = code >= 48 && code <= 57;
+    switch (name) {
+        case "alnum": return upper || lower || digit;
+        case "alpha": return upper || lower;
+        case "blank": return code === 9 || code === 32;
+        case "cntrl": return code < 32 || code === 127;
+        case "digit": return digit;
+        case "graph": return code >= 33 && code <= 126;
+        case "lower": return lower;
+        case "print": return code >= 32 && code <= 126;
+        case "punct": return code >= 33 && code <= 126 && !upper && !lower && !digit;
+        case "space": return code === 32 || code >= 9 && code <= 13;
+        case "upper": return upper;
+        case "xdigit": return digit || code >= 65 && code <= 70 || code >= 97 && code <= 102;
+        default: return false;
+    }
+}
+export async function admitAscii(text, ledger, signal) {
+    for (let offset = 0; offset < text.length; offset++) {
+        ledger.charge("work", 1, signal);
+        const code = text.charCodeAt(offset);
+        if (code === 0 || code > 127)
+            throw new EreUnsupportedError("only non-NUL ASCII in the C/POSIX profile", offset);
+        await ledger.checkpoint(signal);
+    }
+}
+async function flatten(input, ledger, signal) {
+    if (typeof input === "string") {
+        ledger.admitInput("patternBytes", input.length, signal);
+        await admitAscii(input, ledger, signal);
+        return { pattern: input, quoted: null };
+    }
+    let size = 0;
+    for (const fragment of input) {
+        if (typeof fragment.text !== "string" || typeof fragment.literal !== "boolean")
+            throw new TypeError("invalid ERE fragment");
+        ledger.charge("work", 1, signal);
+        await ledger.checkpoint(signal);
+        ledger.admitInput("patternBytes", fragment.text.length, signal);
+        await admitAscii(fragment.text, ledger, signal);
+        if (fragment.text.length > ledger.limits.patternBytes - size)
+            ledger.admitInput("patternBytes", ledger.limits.patternBytes + 1, signal);
+        size += fragment.text.length;
+        ledger.admitInput("patternBytes", size, signal);
+    }
+    ledger.charge("allocationUnits", size * 2 + input.length + 2, signal);
+    const output = [];
+    const quoted = [];
+    for (const fragment of input) {
+        for (let offset = 0; offset < fragment.text.length; offset++) {
+            ledger.charge("work", 1, signal);
+            await ledger.checkpoint(signal);
+            quoted.push(fragment.literal);
+        }
+        output.push(fragment.text);
+        await ledger.checkpoint(signal);
+    }
+    return { pattern: output.join(""), quoted: Object.freeze(quoted) };
+}
+class Parser {
+    pattern;
+    quoted;
+    ledger;
+    signal;
+    offset = 0;
+    groups = 0;
+    nodes = 0;
+    constructor(pattern, quoted, ledger, signal) {
+        this.pattern = pattern;
+        this.quoted = quoted;
+        this.ledger = ledger;
+        this.signal = signal;
+    }
+    at(character, offset = this.offset) { return !this.quoted?.[offset] && this.pattern[offset] === character; }
+    node(create) {
+        if (this.nodes >= 4096)
+            throw new EreUnsupportedError("4096-node grammar ceiling", this.offset);
+        this.ledger.charge("allocationUnits", 8, this.signal);
+        this.nodes++;
+        return Object.freeze(create());
+    }
+    async expression(depth) {
+        if (depth > 64)
+            throw new EreUnsupportedError("64-level grammar ceiling", this.offset);
+        this.ledger.charge("allocationUnits", 1, this.signal);
+        const alternatives = [];
+        while (true) {
+            const child = await this.sequence(depth);
+            this.ledger.charge("allocationUnits", 1, this.signal);
+            alternatives.push(child);
+            if (!this.at("|"))
+                break;
+            this.offset++;
+        }
+        if (alternatives.length === 1)
+            return alternatives[0];
+        this.ledger.charge("work", alternatives.length * 2, this.signal);
+        await this.ledger.checkpoint(this.signal);
+        return this.node(() => ({ kind: "alternative", children: Object.freeze(alternatives), nullable: alternatives.some(value => value.nullable), captured: alternatives.some(value => value.captured) }));
+    }
+    async sequence(depth) {
+        this.ledger.charge("allocationUnits", 1, this.signal);
+        const children = [];
+        while (this.offset < this.pattern.length && !this.at("|") && !this.at(")")) {
+            this.ledger.charge("work", 1, this.signal);
+            await this.ledger.checkpoint(this.signal);
+            let child = await this.atom(depth);
+            const operator = this.quoted?.[this.offset] ? undefined : this.pattern[this.offset];
+            if (operator === "*" || operator === "+" || operator === "?" || operator === "{") {
+                const begin = this.offset++;
+                let min = operator === "+" ? 1 : 0;
+                let max = operator === "?" ? 1 : Infinity;
+                if (operator === "{") {
+                    min = await this.count();
+                    max = min;
+                    if (this.at(",")) {
+                        this.offset++;
+                        max = this.at("}") ? Infinity : await this.count();
+                    }
+                    if (!this.at("}") || max < min)
+                        throw new EreSyntaxError("invalid interval", begin);
+                    this.offset++;
+                }
+                if (child.kind === "start" || child.kind === "end")
+                    throw new EreUnsupportedError("repeated anchor", begin);
+                if (child.nullable && child.captured && max > 1)
+                    throw new EreUnsupportedError("nullable captured repetition", begin);
+                const repeated = child;
+                child = this.node(() => ({ kind: "repeat", child: repeated, min, max, nullable: min === 0 || repeated.nullable, captured: repeated.captured }));
+                const next = this.quoted?.[this.offset] ? undefined : this.pattern[this.offset];
+                if (next === "*" || next === "+" || next === "?" || next === "{")
+                    throw new EreUnsupportedError("stacked repetition", this.offset);
+            }
+            this.ledger.charge("allocationUnits", 1, this.signal);
+            children.push(child);
+        }
+        if (children.length === 0)
+            return this.node(() => ({ kind: "empty", nullable: true, captured: false }));
+        if (children.length === 1)
+            return children[0];
+        this.ledger.charge("work", children.length * 2, this.signal);
+        await this.ledger.checkpoint(this.signal);
+        return this.node(() => ({ kind: "sequence", children: Object.freeze(children), nullable: children.every(value => value.nullable), captured: children.some(value => value.captured) }));
+    }
+    async count() {
+        const begin = this.offset;
+        let value = 0;
+        while (!this.quoted?.[this.offset] && this.pattern[this.offset] !== undefined && this.pattern[this.offset] >= "0" && this.pattern[this.offset] <= "9") {
+            this.ledger.charge("work", 1, this.signal);
+            await this.ledger.checkpoint(this.signal);
+            value = value * 10 + this.pattern.charCodeAt(this.offset++) - 48;
+            if (value > 255)
+                throw new EreUnsupportedError("interval counts exceed 255", begin);
+        }
+        if (begin === this.offset)
+            throw new EreSyntaxError("missing interval count", begin);
+        return value;
+    }
+    async atom(depth) {
+        const begin = this.offset;
+        const character = this.pattern[this.offset++];
+        if (this.quoted?.[begin])
+            return this.node(() => ({ kind: "literal", code: character.charCodeAt(0), nullable: false, captured: false }));
+        if (character === "(") {
+            if (this.at("?"))
+                throw new EreUnsupportedError("extended group syntax", begin);
+            if (this.groups >= 32)
+                throw new EreUnsupportedError("32-group grammar ceiling", begin);
+            const index = ++this.groups;
+            const child = await this.expression(depth + 1);
+            if (!this.at(")"))
+                throw new EreSyntaxError("unclosed group", begin);
+            this.offset++;
+            return this.node(() => ({ kind: "group", index, child, nullable: child.nullable, captured: true }));
+        }
+        if (character === "[")
+            return this.set(begin);
+        if (character === "\\") {
+            const escaped = this.pattern[this.offset++];
+            if (escaped === undefined)
+                throw new EreSyntaxError("trailing escape", begin);
+            if (!special.includes(escaped))
+                throw new EreUnsupportedError("backreference or escape extension", begin);
+            return this.node(() => ({ kind: "literal", code: escaped.charCodeAt(0), nullable: false, captured: false }));
+        }
+        if (character === "*" || character === "+" || character === "?" || character === "{")
+            throw new EreSyntaxError("repetition without operand", begin);
+        if (character === ".")
+            return this.node(() => ({ kind: "dot", nullable: false, captured: false }));
+        if (character === "^")
+            return this.node(() => ({ kind: "start", nullable: true, captured: false }));
+        if (character === "$")
+            return this.node(() => ({ kind: "end", nullable: true, captured: false }));
+        return this.node(() => ({ kind: "literal", code: character.charCodeAt(0), nullable: false, captured: false }));
+    }
+    async set(begin) {
+        this.ledger.charge("allocationUnits", 128, this.signal);
+        const members = new Array(128).fill(false);
+        const negate = this.at("^");
+        if (negate)
+            this.offset++;
+        let first = true;
+        while (this.offset < this.pattern.length) {
+            this.ledger.charge("work", 1, this.signal);
+            await this.ledger.checkpoint(this.signal);
+            if (this.at("]") && !first) {
+                this.offset++;
+                if (negate)
+                    for (let code = 1; code < 128; code++) {
+                        this.ledger.charge("work", 1, this.signal);
+                        await this.ledger.checkpoint(this.signal);
+                        members[code] = !members[code];
+                    }
+                return this.node(() => ({ kind: "set", members: Object.freeze(members), nullable: false, captured: false }));
+            }
+            first = false;
+            if (this.at("[") && (this.at(".", this.offset + 1) || this.at("=", this.offset + 1))) {
+                throw new EreUnsupportedError("collating or equivalence element", this.offset);
+            }
+            if (this.at("[") && this.at(":", this.offset + 1)) {
+                const classBegin = this.offset;
+                this.offset += 2;
+                let name = "";
+                while (this.offset < this.pattern.length && !this.at(":")) {
+                    this.ledger.charge("work", 1, this.signal);
+                    await this.ledger.checkpoint(this.signal);
+                    if (name.length >= 6)
+                        throw new EreSyntaxError("unknown character class", classBegin);
+                    name += this.pattern[this.offset++];
+                }
+                if (!this.at(":") || !this.at("]", this.offset + 1) || !classes.has(name))
+                    throw new EreSyntaxError("unknown character class", classBegin);
+                this.offset += 2;
+                for (let code = 1; code < 128; code++) {
+                    this.ledger.charge("work", 1, this.signal);
+                    await this.ledger.checkpoint(this.signal);
+                    if (classMember(name, code))
+                        members[code] = true;
+                }
+                if (this.at("-") && !this.at("]", this.offset + 1))
+                    throw new EreSyntaxError("class cannot be a range endpoint", this.offset);
+            }
+            else {
+                const lower = this.pattern.charCodeAt(this.offset++);
+                if (this.at("-") && !this.at("]", this.offset + 1) && this.pattern[this.offset + 1] !== undefined) {
+                    this.offset++;
+                    if (this.at("["))
+                        throw new EreSyntaxError("nonliteral range endpoint", this.offset);
+                    const upper = this.pattern.charCodeAt(this.offset++);
+                    if (lower > upper)
+                        throw new EreSyntaxError("descending range", this.offset - 3);
+                    for (let code = lower; code <= upper; code++) {
+                        this.ledger.charge("work", 1, this.signal);
+                        await this.ledger.checkpoint(this.signal);
+                        members[code] = true;
+                    }
+                }
+                else
+                    members[lower] = true;
+            }
+        }
+        throw new EreSyntaxError("unclosed bracket expression", begin);
+    }
+}
+export async function compileEre(input, ledger, signal) {
+    ledger.check(signal);
+    const { pattern, quoted } = await flatten(input, ledger, signal);
+    const parser = new Parser(pattern, quoted, ledger, signal);
+    const root = await parser.expression(0);
+    if (parser.offset !== pattern.length)
+        throw new EreSyntaxError("unmatched closing group", parser.offset);
+    ledger.charge("allocationUnits", 3, signal);
+    const program = Object.freeze({ pattern, groups: parser.groups });
+    programs.set(program, { root, ledger });
+    return program;
+}
+export function resolveEreProgram(program, ledger) {
+    const entry = programs.get(program);
+    if (!entry || entry.ledger !== ledger)
+        throw new TypeError("ERE program is not bound to this invocation ledger");
+    return entry.root;
+}
+//# sourceMappingURL=syntax.js.map