regex-inspector 1.0.1

package/dist/ast.d.ts

@@ -0,0 +1,108 @@
+/** A single literal character, stored as its Unicode code point. */
+export type CharNode = {
+    kind: "char";
+    /** Unicode code point. */
+    value: number;
+};
+/** A position anchor: ^, $, \b, \B. */
+export type PositionNode = {
+    kind: "position";
+    value: "^" | "$" | "b" | "B";
+};
+/** A Unicode property escape: \p{...} or \P{...}. */
+export type UnicodePropertyNode = {
+    kind: "unicode_property";
+    /** The property name (e.g. "L", "Script=Latin"). */
+    property: string;
+    /** True for \P{...}, false for \p{...}. */
+    negated: boolean;
+};
+/** A backreference to a capturing group by index. */
+export type BackreferenceNode = {
+    kind: "backreference";
+    /** 1-based capturing group index. */
+    index: number;
+};
+/** A character range inside a character class: `a-z`. */
+export type RangeMember = {
+    kind: "range";
+    /** Inclusive start code point. */
+    from: number;
+    /** Inclusive end code point. */
+    to: number;
+};
+/** A single character inside a character class. */
+export type CharMember = {
+    kind: "char";
+    /** Unicode code point. */
+    value: number;
+};
+/** A v-mode string literal inside a character class: `\q{abc|def}`. */
+export type StringMemberNode = {
+    kind: "string_member";
+    /** Alternatives separated by `|` inside `\q{...}`. Each inner array is a string of code points. */
+    strings: number[][];
+    /** True for `\P{...}` style negation? No. `\q` has no negated form. Kept for uniform SetMember handling. */
+    negated: boolean;
+};
+/** A v-mode set operation: `[a-z--[ab]]` (subtract) or `[a-z&&[ab]]` (intersect). */
+export type SetOpNode = {
+    kind: "set_op";
+    /** "subtract" for `--`, "intersect" for `&&`. */
+    operator: "subtract" | "intersect";
+    left: SetMember;
+    right: SetMember;
+};
+/** A member of a character class set. */
+export type SetMember = CharMember | RangeMember | CharSetNode | UnicodePropertyNode | StringMemberNode | SetOpNode;
+/** A character class: `[...]` or `[^...]`. */
+export type CharSetNode = {
+    kind: "charset";
+    /** True for `[^...]`, false for `[...]`. */
+    negated: boolean;
+    /** The tokens inside the class. */
+    members: SetMember[];
+};
+/** A quantifier (repetition) wrapping a child token. */
+export type RepetitionNode = {
+    kind: "repetition";
+    /** Minimum repetitions. */
+    min: number;
+    /** Maximum repetitions; `Infinity` for unbounded. */
+    max: number;
+    /** True for greedy, false for lazy. */
+    greedy: boolean;
+    /** The token being repeated. */
+    child: Token;
+};
+/** A group: `(...)`, `(?:...)`, `(?=...)`, `(?<name>...)`, etc. */
+export type GroupNode = {
+    kind: "group";
+    /** True for capturing groups `(...)` and `(?<name>...)`. */
+    capturing: boolean;
+    /** Alternatives separated by `|`. A linear group has one branch. */
+    branches: Token[][];
+    /** Positive lookahead `(?=...)`. */
+    lookahead?: boolean;
+    /** Negative lookahead `(?!...)`. */
+    negatedLookahead?: boolean;
+    /** Positive lookbehind `(?<=...)`. */
+    lookbehind?: boolean;
+    /** Negative lookbehind `(?<!...)`. */
+    negatedLookbehind?: boolean;
+    /** Named capture group name (from `(?<name>...)`). */
+    name?: string;
+    /** Modifier flags string (from `(?ims-ims:...)` or `(?i)`). */
+    modifiers?: string;
+};
+/** The root node of a regex pattern. */
+export type RootNode = {
+    kind: "root";
+    /** Alternatives separated by top-level `|`. A linear pattern has one branch. */
+    branches: Token[][];
+};
+/** Any AST node that can appear inside a branch (root or group). */
+export type Token = CharNode | PositionNode | UnicodePropertyNode | BackreferenceNode | CharSetNode | RepetitionNode | GroupNode;
+/** All AST node types. */
+export type Node = RootNode | Token;
+//# sourceMappingURL=ast.d.ts.map

package/dist/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAIA,oEAAoE;AACpE,MAAM,MAAM,QAAQ,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,uCAAuC;AACvC,MAAM,MAAM,YAAY,GAAG;IAC1B,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;CAC7B,CAAC;AAEF,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG;IACjC,IAAI,EAAE,kBAAkB,CAAC;IACzB,oDAAoD;IACpD,QAAQ,EAAE,MAAM,CAAC;IACjB,2CAA2C;IAC3C,OAAO,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,qDAAqD;AACrD,MAAM,MAAM,iBAAiB,GAAG;IAC/B,IAAI,EAAE,eAAe,CAAC;IACtB,qCAAqC;IACrC,KAAK,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,yDAAyD;AACzD,MAAM,MAAM,WAAW,GAAG;IACzB,IAAI,EAAE,OAAO,CAAC;IACd,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,gCAAgC;IAChC,EAAE,EAAE,MAAM,CAAC;CACX,CAAC;AAEF,mDAAmD;AACnD,MAAM,MAAM,UAAU,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,uEAAuE;AACvE,MAAM,MAAM,gBAAgB,GAAG;IAC9B,IAAI,EAAE,eAAe,CAAC;IACtB,mGAAmG;IACnG,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC;IACpB,4GAA4G;IAC5G,OAAO,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,qFAAqF;AACrF,MAAM,MAAM,SAAS,GAAG;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,iDAAiD;IACjD,QAAQ,EAAE,UAAU,GAAG,WAAW,CAAC;IACnC,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,SAAS,CAAC;CACjB,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,SAAS,GAClB,UAAU,GACV,WAAW,GACX,WAAW,GACX,mBAAmB,GACnB,gBAAgB,GAChB,SAAS,CAAC;AAEb,8CAA8C;AAC9C,MAAM,MAAM,WAAW,GAAG;IACzB,IAAI,EAAE,SAAS,CAAC;IAChB,4CAA4C;IAC5C,OAAO,EAAE,OAAO,CAAC;IACjB,mCAAmC;IACnC,OAAO,EAAE,SAAS,EAAE,CAAC;CACrB,CAAC;AAEF,wDAAwD;AACxD,MAAM,MAAM,cAAc,GAAG;IAC5B,IAAI,EAAE,YAAY,CAAC;IACnB,2BAA2B;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,qDAAqD;IACrD,GAAG,EAAE,MAAM,CAAC;IACZ,uCAAuC;IACvC,MAAM,EAAE,OAAO,CAAC;IAChB,gCAAgC;IAChC,KAAK,EAAE,KAAK,CAAC;CACb,CAAC;AAEF,mEAAmE;AACnE,MAAM,MAAM,SAAS,GAAG;IACvB,IAAI,EAAE,OAAO,CAAC;IACd,4DAA4D;IAC5D,SAAS,EAAE,OAAO,CAAC;IACnB,oEAAoE;IACpE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;IACpB,oCAAoC;IACpC,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,oCAAoC;IACpC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,sCAAsC;IACtC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sCAAsC;IACtC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,sDAAsD;IACtD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,SAAS,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,wCAAwC;AACxC,MAAM,MAAM,QAAQ,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;CACpB,CAAC;AAEF,oEAAoE;AACpE,MAAM,MAAM,KAAK,GACd,QAAQ,GACR,YAAY,GACZ,mBAAmB,GACnB,iBAAiB,GACjB,WAAW,GACX,cAAc,GACd,SAAS,CAAC;AAEb,0BAA0B;AAC1B,MAAM,MAAM,IAAI,GAAG,QAAQ,GAAG,KAAK,CAAC"}

package/dist/ast.js

@@ -0,0 +1,5 @@
+// ── AST Node Types ─────────────────────────────────────────────────────────
+// All nodes use a `kind` string discriminant instead of numeric enums for
+// better debuggability, JSON serialization, and IDE autocompletion.
+export {};
+//# sourceMappingURL=ast.js.map

package/dist/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,0EAA0E;AAC1E,oEAAoE"}

package/dist/fix.d.ts

@@ -0,0 +1,12 @@
+import type { Node } from "./ast.js";
+export type FixResult = {
+    safe: boolean;
+    fixed: string | null;
+    original: string;
+    semanticChange: boolean;
+};
+export type FixOptions = {
+    limit?: number;
+};
+export declare function fixRegex(pattern: string | Node, opts?: FixOptions): FixResult;
+//# sourceMappingURL=fix.d.ts.map

package/dist/fix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix.d.ts","sourceRoot":"","sources":["../src/fix.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAa,IAAI,EAAyB,MAAM,UAAU,CAAC;AAMvE,MAAM,MAAM,SAAS,GAAG;IACvB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACxB,KAAK,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAkHF,wBAAgB,QAAQ,CACvB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,IAAI,GAAE,UAAe,GACnB,SAAS,CAqEX"}

package/dist/fix.js

@@ -0,0 +1,169 @@
+import { analyze } from "./analyze.js";
+import { generate } from "./generator.js";
+import { tokenize } from "./parser.js";
+// ── AST utilities ─────────────────────────────────────────────────────────
+function cloneNode(node) {
+    return JSON.parse(JSON.stringify(node), (_key, value) => {
+        if (value === null && _key === "max")
+            return Infinity;
+        return value;
+    });
+}
+function hasDeepRepetition(node, depth, maxDepth) {
+    if (node.kind === "repetition") {
+        depth++;
+        if (depth > maxDepth)
+            return true;
+        return hasDeepRepetition(node.child, depth, maxDepth);
+    }
+    if (node.kind === "group") {
+        for (const branch of node.branches) {
+            for (const child of branch) {
+                if (hasDeepRepetition(child, depth, maxDepth))
+                    return true;
+            }
+        }
+    }
+    return false;
+}
+// ── Fix strategies ────────────────────────────────────────────────────────
+/**
+ * Collapses same-character alternatives inside a quantifier.
+ * (a|aa|aaa)+ → a+
+ */
+function fixAlternationReDoS(repNode) {
+    const group = findGroupWithAlternatives(repNode.child);
+    if (!group)
+        return null;
+    let allSameChar = true;
+    let firstChar = null;
+    for (const branch of group.branches) {
+        for (const token of branch) {
+            if (token.kind === "char") {
+                if (firstChar === null)
+                    firstChar = token.value;
+                if (token.value !== firstChar)
+                    allSameChar = false;
+            }
+            else {
+                allSameChar = false;
+                break;
+            }
+        }
+        if (!allSameChar)
+            break;
+    }
+    if (allSameChar && firstChar !== null) {
+        return {
+            kind: "repetition",
+            min: repNode.min,
+            max: repNode.max,
+            greedy: repNode.greedy,
+            child: { kind: "char", value: firstChar },
+        };
+    }
+    return null;
+}
+function findGroupWithAlternatives(node) {
+    if (node.kind === "group" && node.branches.length >= 2)
+        return node;
+    if (node.kind === "group") {
+        for (const branch of node.branches) {
+            for (const child of branch) {
+                const found = findGroupWithAlternatives(child);
+                if (found)
+                    return found;
+            }
+        }
+    }
+    if (node.kind === "repetition")
+        return findGroupWithAlternatives(node.child);
+    return null;
+}
+// ── Recursive fixer ───────────────────────────────────────────────────────
+function fixNode(node, limit) {
+    if (node.kind === "repetition") {
+        // Strip outer quantifier if nested repetition detected
+        if (hasDeepRepetition(node.child, 1, 1)) {
+            return fixNode(node.child, limit);
+        }
+        // Collapse same-character alternatives
+        const altFix = fixAlternationReDoS(node);
+        if (altFix)
+            return altFix;
+        const result = cloneNode(node);
+        result.child = fixNode(result.child, limit);
+        return result;
+    }
+    if (node.kind === "group") {
+        const result = cloneNode(node);
+        result.branches = result.branches.map((branch) => branch.map((child) => fixNode(child, limit)));
+        return result;
+    }
+    return node;
+}
+// ── Public API ────────────────────────────────────────────────────────────
+export function fixRegex(pattern, opts = {}) {
+    const limit = opts.limit ?? 25;
+    const source = typeof pattern === "string" ? pattern : generate(pattern);
+    let ast;
+    try {
+        ast = typeof pattern === "string" ? tokenize(pattern) : pattern;
+    }
+    catch {
+        return {
+            safe: false,
+            fixed: null,
+            original: source,
+            semanticChange: false,
+        };
+    }
+    const analysis = analyze(ast, { limit });
+    if (analysis.safe) {
+        return {
+            safe: true,
+            fixed: null,
+            original: source,
+            semanticChange: false,
+        };
+    }
+    const fixedAst = cloneNode(ast);
+    if (fixedAst.kind === "root") {
+        fixedAst.branches = fixedAst.branches.map((branch) => branch.map((child) => fixNode(child, limit)));
+    }
+    let fixed;
+    try {
+        fixed = generate(fixedAst);
+    }
+    catch {
+        return {
+            safe: false,
+            fixed: null,
+            original: source,
+            semanticChange: false,
+        };
+    }
+    let verifyAst;
+    try {
+        verifyAst = tokenize(fixed);
+    }
+    catch {
+        return {
+            safe: false,
+            fixed: null,
+            original: source,
+            semanticChange: false,
+        };
+    }
+    const verifyResult = analyze(verifyAst, { limit });
+    if (!verifyResult.safe) {
+        return {
+            safe: false,
+            fixed: null,
+            original: source,
+            semanticChange: false,
+        };
+    }
+    return { safe: true, fixed, original: source, semanticChange: true };
+}
+//# sourceMappingURL=fix.js.map

package/dist/fix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix.js","sourceRoot":"","sources":["../src/fix.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAevC,6EAA6E;AAE7E,SAAS,SAAS,CAAyB,IAAO;IACjD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACvD,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,QAAQ,CAAC;QACtD,OAAO,KAAK,CAAC;IACd,CAAC,CAAM,CAAC;AACT,CAAC;AAED,SAAS,iBAAiB,CACzB,IAAW,EACX,KAAa,EACb,QAAgB;IAEhB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,KAAK,EAAE,CAAC;QACR,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO,IAAI,CAAC;QAClC,OAAO,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC5B,IAAI,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC5D,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,6EAA6E;AAE7E;;;GAGG;AACH,SAAS,mBAAmB,CAAC,OAAuB;IACnD,MAAM,KAAK,GAAG,yBAAyB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,IAAI,WAAW,GAAG,IAAI,CAAC;IACvB,IAAI,SAAS,GAAkB,IAAI,CAAC;IAEpC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3B,IAAI,SAAS,KAAK,IAAI;oBAAE,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC;gBAChD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;oBAAE,WAAW,GAAG,KAAK,CAAC;YACpD,CAAC;iBAAM,CAAC;gBACP,WAAW,GAAG,KAAK,CAAC;gBACpB,MAAM;YACP,CAAC;QACF,CAAC;QACD,IAAI,CAAC,WAAW;YAAE,MAAM;IACzB,CAAC;IAED,IAAI,WAAW,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvC,OAAO;YACN,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE;SACzC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAW;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC5B,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;gBAC/C,IAAI,KAAK;oBAAE,OAAO,KAAK,CAAC;YACzB,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7E,OAAO,IAAI,CAAC;AACb,CAAC;AAED,6EAA6E;AAE7E,SAAS,OAAO,CAAC,IAAW,EAAE,KAAa;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,uDAAuD;QACvD,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACzC,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnC,CAAC;QACD,uCAAuC;QACvC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAC5C,CAAC;QACF,OAAO,MAAM,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACb,CAAC;AAED,6EAA6E;AAE7E,MAAM,UAAU,QAAQ,CACvB,OAAsB,EACtB,OAAmB,EAAE;IAErB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAC/B,MAAM,MAAM,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAEzE,IAAI,GAAS,CAAC;IACd,IAAI,CAAC;QACJ,GAAG,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACR,OAAO;YACN,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,MAAM;YAChB,cAAc,EAAE,KAAK;SACrB,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACzC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QACnB,OAAO;YACN,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,MAAM;YAChB,cAAc,EAAE,KAAK;SACrB,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,QAAQ,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACpD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAC5C,CAAC;IACH,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACJ,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACR,OAAO;YACN,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,MAAM;YAChB,cAAc,EAAE,KAAK;SACrB,CAAC;IACH,CAAC;IAED,IAAI,SAAe,CAAC;IACpB,IAAI,CAAC;QACJ,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACR,OAAO;YACN,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,MAAM;YAChB,cAAc,EAAE,KAAK;SACrB,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAEnD,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACxB,OAAO;YACN,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,MAAM;YAChB,cAAc,EAAE,KAAK;SACrB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;AACtE,CAAC"}

package/dist/generator.d.ts

@@ -0,0 +1,7 @@
+import type { Node } from "./ast.js";
+/**
+ * Reconstructs a regex pattern string from an AST node.
+ * This is the inverse of `tokenize()`.
+ */
+export declare function generate(node: Node): string;
+//# sourceMappingURL=generator.d.ts.map

package/dist/generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../src/generator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAe,IAAI,EAAoB,MAAM,UAAU,CAAC;AAgMpE;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAK3C"}

package/dist/generator.js

@@ -0,0 +1,191 @@
+import { DIGITS_LOOKUP, LINE_TERMINATORS_LOOKUP, WHITESPACE_LOOKUP, WORD_CHARS_LOOKUP, } from "./preset.js";
+// ── Character escaping ────────────────────────────────────────────────────
+/**
+ * Returns the string representation of a code point for use inside a
+ * character class, escaping ^, \, ], and - as needed.
+ */
+function setChar(cp) {
+    if (cp === 94)
+        return "\\^";
+    if (cp === 92)
+        return "\\\\";
+    if (cp === 93)
+        return "\\]";
+    if (cp === 45)
+        return "\\-";
+    return String.fromCodePoint(cp);
+}
+// Characters that must be escaped outside a character class.
+// [ must be escaped because bare [ starts a new char class.
+// { } must be escaped because bare { starts a quantifier.
+// ] is safe: bare ] outside a class is always literal.
+const METACHAR_REGEX = /[[\\{}$^.|?*+()]/;
+/**
+ * Returns the string representation of a code point for use outside a
+ * character class, escaping special regex metacharacters.
+ */
+function literalChar(cp) {
+    const ch = String.fromCodePoint(cp);
+    if (METACHAR_REGEX.test(ch))
+        return `\\${ch}`;
+    return ch;
+}
+// ── Set comparison ────────────────────────────────────────────────────────
+/**
+ * Checks if a character set matches a predefined lookup for shorthand
+ * optimization (e.g., output \d instead of [0-9]).
+ */
+function matchesLookup(members, lookup) {
+    if (members.length !== lookup.size)
+        return false;
+    for (const m of members) {
+        if (m.kind !== "char" && m.kind !== "range")
+            return false; // nested set or unicode property
+        const key = m.kind === "char" ? String(m.value) : `${m.from}-${m.to}`;
+        if (!lookup.entries.has(key))
+            return false;
+    }
+    return true;
+}
+// ── Set member rendering ──────────────────────────────────────────────────
+function renderSetMember(m, _nested) {
+    switch (m.kind) {
+        case "char":
+            return setChar(m.value);
+        case "range":
+            return `${setChar(m.from)}-${setChar(m.to)}`;
+        case "unicode_property":
+            return `\\${m.negated ? "P" : "p"}{${m.property}}`;
+        case "charset":
+            return renderCharSet(m, _nested);
+        case "string_member": {
+            if (m.strings.length === 0)
+                return "";
+            const parts = m.strings.map((s) => s.map((cp) => String.fromCodePoint(cp)).join(""));
+            return `\\q{${parts.join("|")}}`;
+        }
+        case "set_op": {
+            const renderOp = (op) => {
+                // Only bare chars can appear without brackets in v-mode.
+                // Ranges, charsets, and nested set ops need wrapping.
+                const needsBrackets = op.kind !== "char" && op.kind !== "string_member";
+                if (!needsBrackets)
+                    return renderSetMember(op, true);
+                const inner = renderSetMember(op, true);
+                return `[${inner}]`;
+            };
+            return `${renderOp(m.left)}${m.operator === "subtract" ? "--" : "&&"}${renderOp(m.right)}`;
+        }
+        default:
+            throw new Error(`Unknown set member kind: ${m.kind}`);
+    }
+}
+/**
+ * Reconstructs a character class node into its regex string representation.
+ */
+function renderCharSet(set, nested = false) {
+    const { members, negated } = set;
+    // Shorthand detection: if a set exactly matches a predefined set,
+    // output the shorthand escape instead of the expanded form.
+    if (!nested && matchesLookup(members, DIGITS_LOOKUP)) {
+        return negated ? "\\D" : "\\d";
+    }
+    if (!nested && matchesLookup(members, WORD_CHARS_LOOKUP)) {
+        return negated ? "\\W" : "\\w";
+    }
+    if (!nested && matchesLookup(members, WHITESPACE_LOOKUP)) {
+        return negated ? "\\S" : "\\s";
+    }
+    if (!nested && negated && matchesLookup(members, LINE_TERMINATORS_LOOKUP)) {
+        return ".";
+    }
+    const content = members
+        .map((m) => renderSetMember(m, true))
+        .join("");
+    const body = `${negated ? "^" : ""}${content}`;
+    return nested ? body : `[${body}]`;
+}
+// ── Token rendering ───────────────────────────────────────────────────────
+function renderBranch(tokens) {
+    return tokens.map(renderToken).join("");
+}
+function renderBranches(branches) {
+    return branches.map((b) => renderBranch(b)).join("|");
+}
+function renderToken(token) {
+    switch (token.kind) {
+        case "char":
+            return literalChar(token.value);
+        case "position":
+            if (token.value === "^" || token.value === "$") {
+                return token.value;
+            }
+            return `\\${token.value}`;
+        case "backreference":
+            return `\\${token.index}`;
+        case "unicode_property":
+            return `\\${token.negated ? "P" : "p"}{${token.property}}`;
+        case "charset":
+            return renderCharSet(token);
+        case "repetition": {
+            const { min, max, greedy, child } = token;
+            let suffix;
+            if (min === 0 && max === 1)
+                suffix = "?";
+            else if (min === 1 && max === Infinity)
+                suffix = "+";
+            else if (min === 0 && max === Infinity)
+                suffix = "*";
+            else if (max === Infinity)
+                suffix = `{${min},}`;
+            else if (min === max)
+                suffix = `{${min}}`;
+            else
+                suffix = `{${min},${max}}`;
+            return `${renderToken(child)}${suffix}${greedy ? "" : "?"}`;
+        }
+        case "group": {
+            let prefix;
+            if (token.modifiers) {
+                const hasContent = token.branches.some((b) => b.length > 0);
+                prefix = `?${token.modifiers}${hasContent ? ":" : ""}`;
+            }
+            else if (token.lookbehind) {
+                prefix = "?<=";
+            }
+            else if (token.negatedLookbehind) {
+                prefix = "?<!";
+            }
+            else if (token.lookahead) {
+                prefix = "?=";
+            }
+            else if (token.negatedLookahead) {
+                prefix = "?!";
+            }
+            else if (token.name) {
+                prefix = `?<${token.name}>`;
+            }
+            else if (!token.capturing) {
+                prefix = "?:";
+            }
+            else {
+                prefix = "";
+            }
+            return `(${prefix}${renderBranches(token.branches)})`;
+        }
+        default:
+            throw new Error(`Unknown token kind: ${token.kind}`);
+    }
+}
+// ── Public API ────────────────────────────────────────────────────────────
+/**
+ * Reconstructs a regex pattern string from an AST node.
+ * This is the inverse of `tokenize()`.
+ */
+export function generate(node) {
+    if (node.kind === "root") {
+        return renderBranches(node.branches);
+    }
+    return renderToken(node);
+}
+//# sourceMappingURL=generator.js.map

package/dist/generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../src/generator.ts"],"names":[],"mappings":"AACA,OAAO,EACN,aAAa,EACb,uBAAuB,EAEvB,iBAAiB,EACjB,iBAAiB,GACjB,MAAM,aAAa,CAAC;AAErB,6EAA6E;AAE7E;;;GAGG;AACH,SAAS,OAAO,CAAC,EAAU;IAC1B,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,MAAM,CAAC;IAC7B,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,OAAO,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;AACjC,CAAC;AAED,6DAA6D;AAC7D,4DAA4D;AAC5D,0DAA0D;AAC1D,uDAAuD;AACvD,MAAM,cAAc,GAAG,kBAAkB,CAAC;AAE1C;;;GAGG;AACH,SAAS,WAAW,CAAC,EAAU;IAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,EAAE,EAAE,CAAC;IAC9C,OAAO,EAAE,CAAC;AACX,CAAC;AAED,6EAA6E;AAE7E;;;GAGG;AACH,SAAS,aAAa,CAAC,OAAoB,EAAE,MAAiB;IAC7D,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC,CAAC,iCAAiC;QAC5F,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;QACtE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,6EAA6E;AAE7E,SAAS,eAAe,CAAC,CAAY,EAAE,OAAgB;IACtD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM;YACV,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,OAAO;YACX,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9C,KAAK,kBAAkB;YACtB,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC;QACpD,KAAK,SAAS;YACb,OAAO,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAClC,KAAK,eAAe,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAChD,CAAC;YACF,OAAO,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAClC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,QAAQ,GAAG,CAAC,EAAa,EAAU,EAAE;gBAC1C,yDAAyD;gBACzD,sDAAsD;gBACtD,MAAM,aAAa,GAAG,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;gBACxE,IAAI,CAAC,aAAa;oBAAE,OAAO,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACrD,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACxC,OAAO,IAAI,KAAK,GAAG,CAAC;YACrB,CAAC,CAAC;YACF,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5F,CAAC;QACD;YACC,MAAM,IAAI,KAAK,CACd,4BAA6B,CAAsB,CAAC,IAAI,EAAE,CAC1D,CAAC;IACJ,CAAC;AACF,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,GAAgB,EAAE,MAAM,GAAG,KAAK;IACtD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IAEjC,kEAAkE;IAClE,4DAA4D;IAC5D,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC;QACtD,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC;QAC1D,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC;QAC1D,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,IAAI,aAAa,CAAC,OAAO,EAAE,uBAAuB,CAAC,EAAE,CAAC;QAC3E,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,MAAM,OAAO,GAAG,OAAO;SACrB,GAAG,CAAC,CAAC,CAAY,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;SAC/C,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,MAAM,IAAI,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/C,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;AACpC,CAAC;AAED,6EAA6E;AAE7E,SAAS,YAAY,CAAC,MAAe;IACpC,OAAO,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,cAAc,CAAC,QAAmB;IAC1C,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,KAAY;IAChC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACV,OAAO,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAEjC,KAAK,UAAU;YACd,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAChD,OAAO,KAAK,CAAC,KAAK,CAAC;YACpB,CAAC;YACD,OAAO,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;QAE3B,KAAK,eAAe;YACnB,OAAO,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;QAE3B,KAAK,kBAAkB;YACtB,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC;QAE5D,KAAK,SAAS;YACb,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;QAE7B,KAAK,YAAY,CAAC,CAAC,CAAC;YACnB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;YAC1C,IAAI,MAAc,CAAC;YACnB,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;gBAAE,MAAM,GAAG,GAAG,CAAC;iBACpC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,QAAQ;gBAAE,MAAM,GAAG,GAAG,CAAC;iBAChD,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,QAAQ;gBAAE,MAAM,GAAG,GAAG,CAAC;iBAChD,IAAI,GAAG,KAAK,QAAQ;gBAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;iBAC3C,IAAI,GAAG,KAAK,GAAG;gBAAE,MAAM,GAAG,IAAI,GAAG,GAAG,CAAC;;gBACrC,MAAM,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,CAAC;YAChC,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC7D,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,IAAI,MAAc,CAAC;YACnB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACrB,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC5D,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACxD,CAAC;iBAAM,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBAC7B,MAAM,GAAG,KAAK,CAAC;YAChB,CAAC;iBAAM,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;gBACpC,MAAM,GAAG,KAAK,CAAC;YAChB,CAAC;iBAAM,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBAC5B,MAAM,GAAG,IAAI,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBACnC,MAAM,GAAG,IAAI,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACvB,MAAM,GAAG,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC;YAC7B,CAAC;iBAAM,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;gBAC7B,MAAM,GAAG,IAAI,CAAC;YACf,CAAC;iBAAM,CAAC;gBACP,MAAM,GAAG,EAAE,CAAC;YACb,CAAC;YACD,OAAO,IAAI,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QACvD,CAAC;QAED;YACC,MAAM,IAAI,KAAK,CAAC,uBAAwB,KAAe,CAAC,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;AACF,CAAC;AAED,6EAA6E;AAE7E;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAU;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,23 @@
+export { analyze } from "./analyze.js";
+export { fixRegex } from "./fix.js";
+export { generate } from "./generator.js";
+export { tokenize as parse } from "./parser.js";
+export type { AnalysisResult, AnalyzeOptions, Severity, } from "./analyze.js";
+export type { BackreferenceNode, CharMember, CharNode, CharSetNode, GroupNode, Node, PositionNode, RangeMember, RepetitionNode, RootNode, SetMember, SetOpNode, StringMemberNode, Token, UnicodePropertyNode, } from "./ast.js";
+export type { FixOptions, FixResult, } from "./fix.js";
+import type { AnalysisResult, AnalyzeOptions } from "./analyze.js";
+import type { FixOptions, FixResult } from "./fix.js";
+/**
+ * Parses a regex pattern and returns a full ReDoS analysis including
+ * severity level, reasons, and a suggested fix if unsafe.
+ *
+ * Accepts strings, RegExp objects, or any value coercible to string.
+ */
+export declare function inspect(pattern: string | RegExp | unknown, opts?: AnalyzeOptions): AnalysisResult;
+/**
+ * Attempts to automatically fix a ReDoS-vulnerable regex pattern.
+ *
+ * Accepts strings, RegExp objects, or any value coercible to string.
+ */
+export declare function fix(pattern: string | RegExp | unknown, opts?: FixOptions): FixResult;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,QAAQ,IAAI,KAAK,EAAE,MAAM,aAAa,CAAC;AAIhD,YAAY,EACX,cAAc,EACd,cAAc,EACd,QAAQ,GACR,MAAM,cAAc,CAAC;AACtB,YAAY,EACX,iBAAiB,EACjB,UAAU,EACV,QAAQ,EACR,WAAW,EACX,SAAS,EACT,IAAI,EACJ,YAAY,EACZ,WAAW,EACX,cAAc,EACd,QAAQ,EACR,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,KAAK,EACL,mBAAmB,GACnB,MAAM,UAAU,CAAC;AAElB,YAAY,EACX,UAAU,EACV,SAAS,GACT,MAAM,UAAU,CAAC;AAIlB,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnE,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAqBtD;;;;;GAKG;AACH,wBAAgB,OAAO,CACtB,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAClC,IAAI,CAAC,EAAE,cAAc,GACnB,cAAc,CA4BhB;AAED;;;;GAIG;AACH,wBAAgB,GAAG,CAClB,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAClC,IAAI,CAAC,EAAE,UAAU,GACf,SAAS,CAGX"}

package/dist/index.js

@@ -0,0 +1,78 @@
+// ── Public API ────────────────────────────────────────────────────────────
+//
+// regex-inspector: Parse, reconstruct, and analyze regex patterns for ReDoS.
+//
+// Usage:
+//   import { parse, generate, inspect, fix } from 'regex-inspector';
+//
+//   const ast = parse('(a+)+y');
+//   const result = inspect(ast);
+//   const fixed = fix('(a+)+');
+//   const str = generate(ast);
+// ── Core exports ─────────────────────────────────────────────────────────
+export { analyze } from "./analyze.js";
+export { fixRegex } from "./fix.js";
+export { generate } from "./generator.js";
+export { tokenize as parse } from "./parser.js";
+import { analyze } from "./analyze.js";
+import { fixRegex as fixImpl } from "./fix.js";
+import { tokenize } from "./parser.js";
+/**
+ * Coerces any input to a string: RegExp → .source, else → String().
+ * Uses cross-realm-safe detection via Object.prototype.toString
+ * instead of instanceof, which fails across iframes/vm contexts.
+ */
+function coerceToString(input) {
+    if (input !== null &&
+        input !== undefined &&
+        Object.prototype.toString.call(input) === "[object RegExp]") {
+        return input.source;
+    }
+    if (typeof input === "string")
+        return input;
+    return String(input);
+}
+/**
+ * Parses a regex pattern and returns a full ReDoS analysis including
+ * severity level, reasons, and a suggested fix if unsafe.
+ *
+ * Accepts strings, RegExp objects, or any value coercible to string.
+ */
+export function inspect(pattern, opts) {
+    try {
+        const source = coerceToString(pattern);
+        const ast = tokenize(source);
+        const result = analyze(ast, opts);
+        if (!result.safe) {
+            const fixResult = fixImpl(ast, { limit: opts?.limit });
+            if (fixResult.fixed) {
+                result.fix = fixResult.fixed;
+            }
+        }
+        return result;
+    }
+    catch (err) {
+        return {
+            safe: false,
+            severity: "high",
+            reasons: [`Invalid regex syntax: ${err.message}`],
+            starHeight: 0,
+            repCount: 0,
+            hasAlternationReDoS: false,
+            hasSequentialOverlap: false,
+            anchored: false,
+            hasStaticSuffix: false,
+            fix: null,
+        };
+    }
+}
+/**
+ * Attempts to automatically fix a ReDoS-vulnerable regex pattern.
+ *
+ * Accepts strings, RegExp objects, or any value coercible to string.
+ */
+export function fix(pattern, opts) {
+    const source = coerceToString(pattern);
+    return fixImpl(source, opts);
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,EAAE;AACF,6EAA6E;AAC7E,EAAE;AACF,SAAS;AACT,qEAAqE;AACrE,EAAE;AACF,iCAAiC;AACjC,iCAAiC;AACjC,gCAAgC;AAChC,+BAA+B;AAE/B,4EAA4E;AAE5E,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,QAAQ,IAAI,KAAK,EAAE,MAAM,aAAa,CAAC;AAmChD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAAE,QAAQ,IAAI,OAAO,EAAE,MAAM,UAAU,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC;;;;GAIG;AACH,SAAS,cAAc,CAAC,KAAc;IACrC,IACC,KAAK,KAAK,IAAI;QACd,KAAK,KAAK,SAAS;QACnB,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,iBAAiB,EAC1D,CAAC;QACF,OAAQ,KAAgB,CAAC,MAAM,CAAC;IACjC,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CACtB,OAAkC,EAClC,IAAqB;IAErB,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAElC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAClB,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACvD,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC;YAC9B,CAAC;QACF,CAAC;QAED,OAAO,MAAM,CAAC;IACf,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACd,OAAO;YACN,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,CAAC,yBAA0B,GAAa,CAAC,OAAO,EAAE,CAAC;YAC5D,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE,CAAC;YACX,mBAAmB,EAAE,KAAK;YAC1B,oBAAoB,EAAE,KAAK;YAC3B,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,KAAK;YACtB,GAAG,EAAE,IAAI;SACT,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,GAAG,CAClB,OAAkC,EAClC,IAAiB;IAEjB,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACvC,OAAO,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAC9B,CAAC"}

package/dist/parser.d.ts

@@ -0,0 +1,3 @@
+import type { RootNode } from "./ast.js";
+export declare function tokenize(pattern: string): RootNode;
+//# sourceMappingURL=parser.d.ts.map

package/dist/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIX,QAAQ,EAGR,MAAM,UAAU,CAAC;AA0GlB,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CA4tBlD"}