sh-ast 0.0.0 → 0.2.0

package/dist/normalize.js

@@ -0,0 +1,260 @@
+import { deepFreeze } from './deep-freeze.js';
+import { CHILD_TYPE_SCHEMA } from '../generated/child-type-schema.js';
+import { POSITION_FIELDS } from '../generated/position-fields.js';
+/**
+ * Frozen (including each per-type field record) so immutability of this
+ * shared, module-scoped table is a contract, not just a convention any
+ * importer happens to honor — mirrors {@link visitorKeys}'s freezing in
+ * `visitor-keys.ts`.
+ */
+const FROZEN_CHILD_TYPE_SCHEMA = deepFreeze(CHILD_TYPE_SCHEMA);
+/**
+ * Frozen (including each per-type field-name array), same rationale as
+ * {@link FROZEN_CHILD_TYPE_SCHEMA} above.
+ */
+const FROZEN_POSITION_FIELDS = deepFreeze(POSITION_FIELDS);
+/**
+ * `Pos`/`End` are synthesized top-level keys every raw node carries (see
+ * `shim/internal/nodeencode/encode.go`'s `posField`/`endField`) — never a
+ * literal Go struct field, so they're checked directly rather than through
+ * {@link FROZEN_POSITION_FIELDS} (which is keyed by node *type*, and these
+ * two keys are universal, not type-specific).
+ */
+const UNIVERSAL_POSITION_KEYS = new Set(['Pos', 'End']);
+/**
+ * Reports whether `key` on a raw node of type `type` holds a position
+ * (`syntax.Pos`) rather than child/scalar data — driving the "drop this
+ * field" decision `buildFields` below makes, in place of the bare-name
+ * `POS_KEYS` denylist this replaced (see issue #8, "replace the bare-name
+ * POS_KEYS denylist with generated per-(type,field) position data").
+ *
+ * Scoping the check per (type, key) — via the generated
+ * {@link FROZEN_POSITION_FIELDS} table, itself derived from mvdan/sh's own
+ * struct definitions by `tools/gen-visitor-keys` — is what closes the
+ * collision class a single global bare-name set could never close: mvdan/sh
+ * reuses field names across unrelated struct shapes. `Do` is both
+ * `WhileClause.DoPos Pos` (a position) and `ForClause.Do []*Stmt` (the loop
+ * body — real data, issue #2); `Dollar` is both `ParamExp.Dollar Pos` and
+ * `SglQuoted.Dollar`/`DblQuoted.Dollar bool` (the `$'...'`/`$"..."` ANSI-C
+ * quoting flag — real data, issue #3); `Select` (`ForClause.Select bool`),
+ * `Until` (`WhileClause.Until bool`), and `Unsigned`
+ * (`ArithmExp`/`ArithmCmd.Unsigned bool`) were never positions in *any*
+ * mvdan/sh v3.13.1 struct at all, yet the old bare-name denylist dropped
+ * them unconditionally regardless of node type.
+ */
+function isPositionField(type, key) {
+    if (UNIVERSAL_POSITION_KEYS.has(key))
+        return true;
+    return (FROZEN_POSITION_FIELDS[type] ?? []).includes(key);
+}
+function isJsonObject(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isRawPos(value) {
+    if (!isJsonObject(value))
+        return false;
+    const keys = Object.keys(value);
+    return (keys.length === 3 &&
+        typeof value.Offset === 'number' &&
+        typeof value.Line === 'number' &&
+        typeof value.Col === 'number');
+}
+function isRawNode(value) {
+    return isJsonObject(value) && isRawPos(value.Pos) && isRawPos(value.End);
+}
+/**
+ * Builds a byte-offset -> UTF-16-index lookup for `text`. mvdan/sh reports
+ * byte offsets; ESLint (and JavaScript strings generally) index by UTF-16
+ * code unit, so every position needs this conversion. Throws if asked to
+ * convert an offset that does not fall on a UTF-8 code-point boundary — an
+ * invariant every offset the parser emits must satisfy (see
+ * design/ARCHITECTURE.md's "Serialization contract").
+ *
+ * @internal
+ */
+export function makeByteToUtf16(text) {
+    const map = new Map();
+    let byte = 0;
+    map.set(0, 0);
+    for (let i = 0; i < text.length;) {
+        const codePoint = text.codePointAt(i);
+        // codePointAt(i) is always defined for i < text.length; this guards the
+        // type only (strict null checks require it, not a reachable branch).
+        if (codePoint === undefined)
+            break;
+        const units = codePoint > 0xffff ? 2 : 1;
+        const bytes = codePoint <= 0x7f ? 1 : codePoint <= 0x7ff ? 2 : codePoint <= 0xffff ? 3 : 4;
+        byte += bytes;
+        i += units;
+        map.set(byte, i);
+    }
+    return (byteOffset) => {
+        const value = map.get(byteOffset);
+        if (value === undefined) {
+            throw new Error(`byte offset ${String(byteOffset)} is not a UTF-8 code point boundary`);
+        }
+        return value;
+    };
+}
+/**
+ * The UTF-16 index of the start of each 1-based source line (`lineStarts[0]`
+ * is line 1's start, always `0`).
+ */
+function computeLineStarts(text) {
+    const lineStarts = [0];
+    for (let i = 0; i < text.length; i++) {
+        if (text[i] === '\n')
+            lineStarts.push(i + 1);
+    }
+    return lineStarts;
+}
+/**
+ * Converts a byte offset and the 1-based line mvdan/sh already computed for
+ * it into a 1-based, UTF-16-code-unit column — the same conversion
+ * `normalize` applies to every node's `loc.start`/`loc.end` below, extracted
+ * so a parse error's reported position (see `errors.ts`'s
+ * `ShParseErrorInfo`) can use the identical algorithm instead of the raw
+ * byte-counting column mvdan/sh itself reports. See design/ARCHITECTURE.md's
+ * "Byte→UTF-16 conversion".
+ *
+ * @internal
+ */
+export function toUtf16Column(text, byteOffset, line) {
+    const index = makeByteToUtf16(text)(byteOffset);
+    const lineStart = computeLineStarts(text)[line - 1] ?? 0;
+    return index - lineStart + 1;
+}
+/**
+ * Normalizes mvdan/sh's typedjson tree into the shape ESLint expects: every
+ * node gets `type`, `range` (UTF-16), `loc` (1-based, UTF-16 columns), and
+ * every other field copied over with its name lowercased. See
+ * design/ARCHITECTURE.md's "Normalized node shape".
+ *
+ * Three of mvdan/sh's struct types — `Slice`, `Replace`, `Expansion`, all
+ * reachable only via `ParamExp.Slice`/`.Repl`/`.Exp` — do not implement
+ * `syntax.Node` (no `Pos()`/`End()`), so typedjson never gives them a `Pos`/
+ * `End` pair, let alone a `Type` discriminator. They still hold real child
+ * nodes (`Slice.Offset`/`.Length`, `Replace.Orig`/`.With`,
+ * `Expansion.Word`), so dropping them would silently lose that subtree (see
+ * issue #13 — `${USER:-nobody}`'s `nobody` literal). This function
+ * synthesizes a `type`/`range`/`loc` for these from their own children's
+ * already-computed positions instead, via `walkSynthetic` below.
+ *
+ * @internal
+ */
+export function normalize(root, text) {
+    const toUtf16 = makeByteToUtf16(text);
+    const lineStarts = computeLineStarts(text);
+    const toLoc = (pos) => {
+        const index = toUtf16(pos.Offset);
+        const lineStart = lineStarts[pos.Line - 1] ?? 0;
+        const column = index - lineStart + 1;
+        return { line: pos.Line, column, index };
+    };
+    const startOf = (node) => ({
+        index: node.range[0],
+        line: node.loc.start.line,
+        column: node.loc.start.column,
+    });
+    const endOf = (node) => ({
+        index: node.range[1],
+        line: node.loc.end.line,
+        column: node.loc.end.column,
+    });
+    const earlier = (a, b) => (a.index <= b.index ? a : b);
+    const later = (a, b) => (a.index >= b.index ? a : b);
+    /**
+     * Builds `node`'s own lowercased field map, recursing into schema-declared
+     * children (real or synthetic). `fallback` is the nearest enclosing *real*
+     * node's start/end — used only if a synthetic child ends up with no
+     * positioned children of its own to derive a span from (see
+     * `walkSynthetic`).
+     */
+    function buildFields(node, type, fallback) {
+        const schema = FROZEN_CHILD_TYPE_SCHEMA[type] ?? {};
+        const out = {};
+        const children = [];
+        const resolve = (value, childType) => {
+            if (isRawNode(value)) {
+                const child = walkNode(value, childType);
+                children.push(child);
+                return child;
+            }
+            if (childType !== null && isJsonObject(value)) {
+                const child = walkSynthetic(value, childType, fallback);
+                children.push(child);
+                return child;
+            }
+            return value;
+        };
+        for (const [key, value] of Object.entries(node)) {
+            if (key === 'Type' || isPositionField(type, key))
+                continue;
+            const outKey = key.toLowerCase();
+            const childType = schema[key] ?? null;
+            if (Array.isArray(value)) {
+                out[outKey] = value.map((item) => resolve(item, childType));
+            }
+            else if (isRawNode(value) || (childType !== null && isJsonObject(value))) {
+                out[outKey] = resolve(value, childType);
+            }
+            else if (!isRawPos(value)) {
+                out[outKey] = value;
+            }
+        }
+        return { fields: out, children };
+    }
+    function walkNode(node, staticType) {
+        const rawType = node.Type;
+        const type = typeof rawType === 'string' ? rawType : staticType;
+        if (type === null) {
+            throw new Error(`node without resolvable type: ${JSON.stringify(node).slice(0, 120)}`);
+        }
+        if (!isRawPos(node.Pos) || !isRawPos(node.End)) {
+            throw new Error(`node of type ${type} is missing Pos/End`);
+        }
+        const start = toLoc(node.Pos);
+        const end = toLoc(node.End);
+        const { fields } = buildFields(node, type, { start, end });
+        return {
+            type,
+            range: [start.index, end.index],
+            loc: {
+                start: { line: start.line, column: start.column },
+                end: { line: end.line, column: end.column },
+            },
+            ...fields,
+        };
+    }
+    /**
+     * Normalizes a struct-typed field's value that has no `Pos`/`End` of its
+     * own — one of mvdan/sh's three non-`Node` "auxiliary" structs (`Slice`,
+     * `Replace`, `Expansion`). Its `range`/`loc` are synthesized from the
+     * union of its own children's already-computed spans (the exact source
+     * span its children cover — e.g. a `Replace`'s span is `Orig`'s start
+     * through `With`'s end, which for `${var/foo/bar}` is exactly `foo/bar`).
+     * Falls back to the nearest enclosing real node's span only when there
+     * are no positioned children at all to derive one from — e.g.
+     * `Expansion.Word` is nil (omitted from typedjson's output entirely, via
+     * `omitempty`) for an empty default like `${a:-}`.
+     */
+    function walkSynthetic(node, type, fallback) {
+        const { fields, children } = buildFields(node, type, fallback);
+        const start = children.length > 0 ? children.map(startOf).reduce(earlier) : fallback.start;
+        const end = children.length > 0 ? children.map(endOf).reduce(later) : fallback.end;
+        return {
+            type,
+            range: [start.index, end.index],
+            loc: {
+                start: { line: start.line, column: start.column },
+                end: { line: end.line, column: end.column },
+            },
+            ...fields,
+        };
+    }
+    if (!isRawNode(root)) {
+        throw new Error('normalize: root value is not a node (missing Pos/End)');
+    }
+    return walkNode(root, 'File');
+}
+//# sourceMappingURL=normalize.js.map

package/dist/normalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../src/normalize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGlE;;;;;GAKG;AACH,MAAM,wBAAwB,GAC5B,UAAU,CAAC,iBAAiB,CAAC,CAAC;AAEhC;;;GAGG;AACH,MAAM,sBAAsB,GAC1B,UAAU,CAAC,eAAe,CAAC,CAAC;AAsB9B;;;;;;GAMG;AACH,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE7E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAS,eAAe,CAAC,IAAY,EAAE,GAAW;IAChD,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,YAAY,CAAC,KAAgB;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAgB;IAChC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAChC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,CAC9B,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAgB;IACjC,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACtC,wEAAwE;QACxE,qEAAqE;QACrE,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM;QACnC,MAAM,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,IAAI,IAAI,KAAK,CAAC;QACd,CAAC,IAAI,KAAK,CAAC;QACX,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,UAAkB,EAAU,EAAE;QACpC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,eAAe,MAAM,CAAC,UAAU,CAAC,qCAAqC,CAAC,CAAC;QAC1F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;AACJ,CAAC;AAMD;;;GAGG;AACH,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,UAAU,GAAa,CAAC,CAAC,CAAC,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,UAAkB,EAAE,IAAY;IAC1E,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACzD,OAAO,KAAK,GAAG,SAAS,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,SAAS,CAAC,IAAe,EAAE,IAAY;IACrD,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAE3C,MAAM,KAAK,GAAG,CAAC,GAAW,EAAW,EAAE;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,KAAK,GAAG,SAAS,GAAG,CAAC,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC3C,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC;QAC1C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI;QACzB,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM;KAC9B,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC;QACxC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI;QACvB,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM;KAC5B,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAShF;;;;;;OAMG;IACH,SAAS,WAAW,CAClB,IAAgB,EAChB,IAAY,EACZ,QAA0C;QAE1C,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACpD,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,MAAM,OAAO,GAAG,CAAC,KAAgB,EAAE,SAAwB,EAAsB,EAAE;YACjF,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBACzC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,SAAS,KAAK,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9C,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBACxD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,GAAG,KAAK,MAAM,IAAI,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,SAAS;YAC3D,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;YACtC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;YAC9D,CAAC;iBAAM,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC3E,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;YACtB,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IACnC,CAAC;IAED,SAAS,QAAQ,CAAC,IAAgB,EAAE,UAAyB;QAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QAChE,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,qBAAqB,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3D,OAAO;YACL,IAAI;YACJ,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;YAC/B,GAAG,EAAE;gBACH,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;gBACjD,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;aAC5C;YACD,GAAG,MAAM;SACV,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;OAWG;IACH,SAAS,aAAa,CACpB,IAAgB,EAChB,IAAY,EACZ,QAA0C;QAE1C,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC3F,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QACnF,OAAO;YACL,IAAI;YACJ,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;YAC/B,GAAG,EAAE;gBACH,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;gBACjD,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;aAC5C;YACD,GAAG,MAAM;SACV,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAChC,CAAC"}

package/dist/parse-depth-guard.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Throws {@link ShParseMaxDepthError} if `text`'s conservatively-estimated
+ * structural nesting depth (see {@link estimateMaxNestingDepth}) exceeds
+ * {@link MAX_PARSE_NESTING_DEPTH} — called by {@link parseSync} *before* it
+ * ever hands `text` to the WASM shim, so pathological input never reaches
+ * (and never risks crashing) the shared WASM instance in the first place.
+ *
+ * @internal
+ */
+export declare function assertParseDepthWithinLimit(text: string): void;
+//# sourceMappingURL=parse-depth-guard.d.ts.map

package/dist/parse-depth-guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-depth-guard.d.ts","sourceRoot":"","sources":["../src/parse-depth-guard.ts"],"names":[],"mappings":"AAgnBA;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAK9D"}