@keithadler/frostjs 0.1.0

package/dist/extract/recognizers/storage.d.ts

@@ -0,0 +1,9 @@
+import { type Recognizer } from "./types.js";
+/**
+ * Client-side persistence: the storage globals (bare or via the global
+ * object), `document.cookie` read or written, and `navigator.storage`.
+ * Any reference counts, including `typeof localStorage`, because a
+ * feature check is still a reach for the capability.
+ */
+export declare const storage: Recognizer;
+//# sourceMappingURL=storage.d.ts.map

package/dist/extract/recognizers/storage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage.d.ts","sourceRoot":"","sources":["../../../src/extract/recognizers/storage.ts"],"names":[],"mappings":"AACA,OAAO,EAAS,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAWpD;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,UAmBrB,CAAC"}

package/dist/extract/recognizers/storage.js

@@ -0,0 +1,37 @@
+import { match } from "./types.js";
+import { asGlobalIn, asNamedGlobal, memberName } from "./resolve.js";
+/** Globals that are themselves storage handles. A Map, so prototype names never match. */
+const STORAGE_GLOBALS = new Map([
+    ["localStorage", "storage.local"],
+    ["sessionStorage", "storage.session"],
+    ["indexedDB", "storage.indexeddb"],
+    ["caches", "storage.cache"],
+]);
+/**
+ * Client-side persistence: the storage globals (bare or via the global
+ * object), `document.cookie` read or written, and `navigator.storage`.
+ * Any reference counts, including `typeof localStorage`, because a
+ * feature check is still a reach for the capability.
+ */
+export const storage = ({ node, binding }) => {
+    if (binding)
+        return null;
+    const n = node;
+    const g = asGlobalIn(n, new Set(STORAGE_GLOBALS.keys()));
+    if (g)
+        return match(STORAGE_GLOBALS.get(g.name), g.r, node);
+    if (n.type !== "MemberExpression")
+        return null;
+    const prop = memberName(n);
+    const obj = n["object"];
+    if (prop === "cookie") {
+        const r = asNamedGlobal(obj, "document");
+        return r ? match("storage.cookie", r, node) : null;
+    }
+    if (prop === "storage") {
+        const r = asNamedGlobal(obj, "navigator");
+        return r ? match("storage.navigator", r, node) : null;
+    }
+    return null;
+};
+//# sourceMappingURL=storage.js.map

package/dist/extract/recognizers/storage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage.js","sourceRoot":"","sources":["../../../src/extract/recognizers/storage.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAmB,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAErE,0FAA0F;AAC1F,MAAM,eAAe,GAAgC,IAAI,GAAG,CAAC;IAC3D,CAAC,cAAc,EAAE,eAAe,CAAC;IACjC,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IACrC,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAClC,CAAC,QAAQ,EAAE,eAAe,CAAC;CAC5B,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAe,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;IACvD,IAAI,OAAO;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,CAAC,GAAG,IAAe,CAAC;IAE1B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAE7D,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAY,CAAC;IACnC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACzC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/extract/recognizers/types.d.ts

@@ -0,0 +1,38 @@
+import type { AnyNode, Node } from "../ast.js";
+import type { Visit } from "../walk.js";
+import type { Confidence } from "../capability.js";
+/** A resolved reference to a global: the confidence, and the identifier node the resolution rests on. */
+export interface Resolved {
+    confidence: Confidence;
+    via: Node | null;
+}
+export interface Match {
+    /** Stable code, e.g. "storage.local". */
+    capability: string;
+    /** Resolved destination for network-like uses, else null. */
+    target: string | null;
+    confidence: Confidence;
+    /** The node the match is anchored on; the reported expression grows outward from here. */
+    node: Node;
+    /** The identifier the match rests on (`localStorage`, `window`...), or null if none. A local binding of it means no match. */
+    via: Node | null;
+}
+/**
+ * A recognizer sees every node with its ancestors and whether it sits in a
+ * binding position, and returns a Match or null. It pattern-matches on
+ * shape only; whether `via` is shadowed is decided afterwards from the
+ * scope annotations.
+ */
+export type Recognizer = (v: Visit) => Match | null;
+/** Build a Match from a resolved global reference. */
+export declare function match(capability: string, r: Resolved, node: Node, target?: string | null): Match;
+/** A Match that rests on no identifier (JSX syntax, dynamic import, a property write on any object). */
+export declare function plain(capability: string, node: Node, target?: string | null): Match;
+/**
+ * If `node` is the callee of its parent call (or `new`, when allowed),
+ * return the call's arguments; otherwise null.
+ */
+export declare function callArgs(node: Node, parent: AnyNode | undefined, allowNew?: boolean): AnyNode[] | null;
+/** The value of a string literal node, else null. Templates and folds are deliberately not accepted here. */
+export declare function stringValue(n: AnyNode | undefined): string | null;
+//# sourceMappingURL=types.d.ts.map

package/dist/extract/recognizers/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/extract/recognizers/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,yGAAyG;AACzG,MAAM,WAAW,QAAQ;IACvB,UAAU,EAAE,UAAU,CAAC;IACvB,GAAG,EAAE,IAAI,GAAG,IAAI,CAAC;CAClB;AAED,MAAM,WAAW,KAAK;IACpB,yCAAyC;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,6DAA6D;IAC7D,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;IACvB,0FAA0F;IAC1F,IAAI,EAAE,IAAI,CAAC;IACX,8HAA8H;IAC9H,GAAG,EAAE,IAAI,GAAG,IAAI,CAAC;CAClB;AAED;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,GAAG,IAAI,CAAC;AAEpD,sDAAsD;AACtD,wBAAgB,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW,GAAG,KAAK,CAEtG;AAED,wGAAwG;AACxG,wBAAgB,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW,GAAG,KAAK,CAEzF;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,GAAG,SAAS,EAAE,QAAQ,UAAQ,GAAG,OAAO,EAAE,GAAG,IAAI,CAMpG;AAED,6GAA6G;AAC7G,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAEjE"}

package/dist/extract/recognizers/types.js

@@ -0,0 +1,25 @@
+/** Build a Match from a resolved global reference. */
+export function match(capability, r, node, target = null) {
+    return { capability, target, confidence: r.confidence, via: r.via, node };
+}
+/** A Match that rests on no identifier (JSX syntax, dynamic import, a property write on any object). */
+export function plain(capability, node, target = null) {
+    return { capability, target, confidence: "certain", via: null, node };
+}
+/**
+ * If `node` is the callee of its parent call (or `new`, when allowed),
+ * return the call's arguments; otherwise null.
+ */
+export function callArgs(node, parent, allowNew = false) {
+    if (!parent || parent["callee"] !== node)
+        return null;
+    if (parent.type === "CallExpression" || (allowNew && parent.type === "NewExpression")) {
+        return parent["arguments"];
+    }
+    return null;
+}
+/** The value of a string literal node, else null. Templates and folds are deliberately not accepted here. */
+export function stringValue(n) {
+    return n?.type === "Literal" && typeof n["value"] === "string" ? n["value"] : null;
+}
+//# sourceMappingURL=types.js.map

package/dist/extract/recognizers/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/extract/recognizers/types.ts"],"names":[],"mappings":"AA8BA,sDAAsD;AACtD,MAAM,UAAU,KAAK,CAAC,UAAkB,EAAE,CAAW,EAAE,IAAU,EAAE,SAAwB,IAAI;IAC7F,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;AAC5E,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,KAAK,CAAC,UAAkB,EAAE,IAAU,EAAE,SAAwB,IAAI;IAChF,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,MAA2B,EAAE,QAAQ,GAAG,KAAK;IAChF,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,CAAC;QACtF,OAAO,MAAM,CAAC,WAAW,CAAc,CAAC;IAC1C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,WAAW,CAAC,CAAsB;IAChD,OAAO,CAAC,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrF,CAAC"}

package/dist/extract/recognizers/worker.d.ts

@@ -0,0 +1,11 @@
+import { type Recognizer } from "./types.js";
+/**
+ * Code that runs off the main thread or intercepts requests: Worker and
+ * SharedWorker (bare or via the global object, target from the script
+ * URL), navigator.serviceWorker.register, and worklet addModule. A service
+ * worker has the largest blast radius of anything here: once registered it
+ * sees every future request from the origin. Reading serviceWorker state
+ * is not a use.
+ */
+export declare const worker: Recognizer;
+//# sourceMappingURL=worker.d.ts.map

package/dist/extract/recognizers/worker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker.d.ts","sourceRoot":"","sources":["../../../src/extract/recognizers/worker.ts"],"names":[],"mappings":"AACA,OAAO,EAAmB,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAW9D;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,EAAE,UAoBpB,CAAC"}

package/dist/extract/recognizers/worker.js

@@ -0,0 +1,41 @@
+import { callArgs, match } from "./types.js";
+import { asGlobalIn, asNamedGlobal, memberName } from "./resolve.js";
+import { resolveTargetOf } from "../target.js";
+const WORKER_GLOBALS = new Map([
+    ["Worker", "worker.dedicated"],
+    ["SharedWorker", "worker.shared"],
+]);
+const WORKER_NAMES = new Set(WORKER_GLOBALS.keys());
+const WORKLETS = new Set(["paintWorklet", "audioWorklet", "animationWorklet", "layoutWorklet"]);
+/**
+ * Code that runs off the main thread or intercepts requests: Worker and
+ * SharedWorker (bare or via the global object, target from the script
+ * URL), navigator.serviceWorker.register, and worklet addModule. A service
+ * worker has the largest blast radius of anything here: once registered it
+ * sees every future request from the origin. Reading serviceWorker state
+ * is not a use.
+ */
+export const worker = ({ node, ancestors, binding }) => {
+    if (binding)
+        return null;
+    const n = node;
+    const args = callArgs(node, ancestors[0], true);
+    const firstArg = () => resolveTargetOf(args?.[0]);
+    const g = asGlobalIn(n, WORKER_NAMES);
+    if (g)
+        return match(WORKER_GLOBALS.get(g.name), g.r, node, args ? firstArg() : null);
+    if (n.type !== "MemberExpression" || !args)
+        return null;
+    const prop = memberName(n);
+    const obj = n["object"];
+    if (prop === "register" && obj.type === "MemberExpression" && memberName(obj) === "serviceWorker") {
+        const r = asNamedGlobal(obj["object"], "navigator");
+        if (r)
+            return match("worker.service", r, node, firstArg());
+    }
+    if (prop === "addModule" && obj.type === "MemberExpression" && WORKLETS.has(memberName(obj) ?? "")) {
+        return { capability: "worker.worklet", target: firstArg(), confidence: "certain", via: null, node };
+    }
+    return null;
+};
+//# sourceMappingURL=worker.js.map

package/dist/extract/recognizers/worker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker.js","sourceRoot":"","sources":["../../../src/extract/recognizers/worker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAmB,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IAC9B,CAAC,cAAc,EAAE,eAAe,CAAC;CAClC,CAAC,CAAC;AACH,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;AACzE,MAAM,QAAQ,GAAwB,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,eAAe,CAAC,CAAC,CAAC;AAErH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAe,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE;IACjE,IAAI,OAAO;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,CAAC,GAAG,IAAe,CAAC;IAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAwB,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,GAAkB,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjE,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IACtC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEtF,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAY,CAAC;IACnC,IAAI,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,EAAE,CAAC;QAClG,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAY,EAAE,WAAW,CAAC,CAAC;QAC/D,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,gBAAgB,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACnG,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACtG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/extract/scope.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Lexical scope analysis. Answers one question for every identifier in
+ * reference position: does it resolve to a local binding, or is it free
+ * (and therefore a reference to a global)? Also folds `const k = "..."`
+ * so that `window[k]` can be recognized.
+ *
+ * Hoisting is honored: `var` and function declarations bind for their
+ * whole function, `let`/`const`/`class` for their whole block, regardless
+ * of where the reference sits. A reference inside `with` is unresolvable
+ * and is reported as ambiguous.
+ */
+import { type Node } from "./ast.js";
+export interface ScopeInfo {
+    /** Reference-position identifiers that resolve to no local binding. */
+    free: ReadonlySet<Node>;
+    /** Reference-position identifiers inside a `with` block. */
+    ambiguous: ReadonlySet<Node>;
+    /** Reference-position identifiers bound by `const x = "literal"`, with the literal. */
+    constants: ReadonlyMap<Node, string>;
+}
+/** Resolve every reference-position identifier in the program; see the module comment. */
+export declare function analyzeScopes(program: Node): ScopeInfo;
+//# sourceMappingURL=scope.d.ts.map

package/dist/extract/scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../src/extract/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAwB,KAAK,IAAI,EAAE,MAAM,UAAU,CAAC;AAG3D,MAAM,WAAW,SAAS;IACxB,uEAAuE;IACvE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IACxB,4DAA4D;IAC5D,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IAC7B,uFAAuF;IACvF,SAAS,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;CACtC;AA+CD,0FAA0F;AAC1F,wBAAgB,aAAa,CAAC,OAAO,EAAE,IAAI,GAAG,SAAS,CA8OtD"}

package/dist/extract/scope.js

@@ -0,0 +1,299 @@
+/**
+ * Lexical scope analysis. Answers one question for every identifier in
+ * reference position: does it resolve to a local binding, or is it free
+ * (and therefore a reference to a global)? Also folds `const k = "..."`
+ * so that `window[k]` can be recognized.
+ *
+ * Hoisting is honored: `var` and function declarations bind for their
+ * whole function, `let`/`const`/`class` for their whole block, regardless
+ * of where the reference sits. A reference inside `with` is unresolvable
+ * and is reported as ambiguous.
+ */
+import { isNode } from "./ast.js";
+import { isTypeOnly } from "./typescript.js";
+class Scope {
+    parent;
+    isFunction;
+    names = new Map();
+    constructor(parent, isFunction) {
+        this.parent = parent;
+        this.isFunction = isFunction;
+    }
+    declare(name, binding) {
+        // A name declared twice in one scope is never folded: the second
+        // declaration replaces the first with no initializer.
+        if (!this.names.has(name))
+            this.names.set(name, binding);
+        else
+            this.names.set(name, { kind: binding.kind, init: null });
+    }
+    nearestFunction() {
+        let s = this;
+        while (!s.isFunction && s.parent)
+            s = s.parent;
+        return s;
+    }
+    resolve(name) {
+        let s = this;
+        while (s) {
+            const b = s.names.get(name);
+            if (b)
+                return b;
+            s = s.parent;
+        }
+        return null;
+    }
+}
+/** Resolve every reference-position identifier in the program; see the module comment. */
+export function analyzeScopes(program) {
+    const refs = [];
+    const root = new Scope(null, true);
+    const visit = (node, scope, ambiguous) => {
+        if (isTypeOnly(node))
+            return;
+        switch (node.type) {
+            case "Identifier":
+                refs.push({ node, scope, ambiguous });
+                return;
+            case "TSEnumDeclaration": {
+                scope.declare(node["id"]["name"], { kind: "let", init: null });
+                const body = node["body"];
+                for (const m of (body["members"] ?? [])) {
+                    const init = m["initializer"];
+                    if (init)
+                        visit(init, scope, ambiguous);
+                }
+                return;
+            }
+            case "TSModuleDeclaration": {
+                const id = node["id"];
+                if (id.type === "Identifier")
+                    scope.declare(id["name"], { kind: "let", init: null });
+                const body = node["body"];
+                if (body)
+                    visitChildren(body, new Scope(scope, true), ambiguous);
+                return;
+            }
+            case "JSXIdentifier":
+            case "JSXText":
+            case "JSXMemberExpression":
+            case "JSXNamespacedName":
+                return;
+            case "JSXAttribute":
+                if (isNode(node["value"]))
+                    visit(node["value"], scope, ambiguous);
+                return;
+            case "FunctionDeclaration": {
+                const id = node["id"];
+                if (id)
+                    scope.nearestFunction().declare(id["name"], { kind: "function", init: null });
+                visitFunction(node, new Scope(scope, true), ambiguous);
+                return;
+            }
+            case "FunctionExpression": {
+                const fn = new Scope(scope, true);
+                const id = node["id"];
+                if (id)
+                    fn.declare(id["name"], { kind: "function", init: null });
+                visitFunction(node, fn, ambiguous);
+                return;
+            }
+            case "ArrowFunctionExpression":
+                visitFunction(node, new Scope(scope, true), ambiguous);
+                return;
+            case "ClassDeclaration": {
+                const id = node["id"];
+                if (id)
+                    scope.declare(id["name"], { kind: "class", init: null });
+                visitClass(node, scope, ambiguous);
+                return;
+            }
+            case "ClassExpression": {
+                const inner = new Scope(scope, false);
+                const id = node["id"];
+                if (id)
+                    inner.declare(id["name"], { kind: "class", init: null });
+                visitClass(node, inner, ambiguous);
+                return;
+            }
+            case "BlockStatement":
+            case "SwitchStatement":
+                visitChildren(node, new Scope(scope, false), ambiguous, ["discriminant"]);
+                return;
+            case "StaticBlock":
+                visitChildren(node, new Scope(scope, true), ambiguous);
+                return;
+            case "ForStatement":
+            case "ForInStatement":
+            case "ForOfStatement":
+                visitChildren(node, new Scope(scope, false), ambiguous);
+                return;
+            case "CatchClause": {
+                const inner = new Scope(scope, false);
+                const param = node["param"];
+                if (param)
+                    declarePattern(param, inner, "catch", null, ambiguous);
+                visit(node["body"], inner, ambiguous);
+                return;
+            }
+            case "VariableDeclaration": {
+                const kind = node["kind"];
+                const target = kind === "var" ? scope.nearestFunction() : scope;
+                const bkind = kind === "var" ? "var" : kind === "const" ? "const" : "let";
+                for (const d of node["declarations"]) {
+                    const init = d["init"];
+                    declarePattern(d["id"], target, bkind, init, ambiguous);
+                    if (init)
+                        visit(init, scope, ambiguous);
+                }
+                return;
+            }
+            case "ImportDeclaration":
+                for (const s of node["specifiers"]) {
+                    if (isTypeOnly(s))
+                        continue;
+                    root.declare(s["local"]["name"], { kind: "import", init: null });
+                }
+                return;
+            case "ExportSpecifier":
+                visit(node["local"], scope, ambiguous);
+                return;
+            case "ExportAllDeclaration":
+                return;
+            case "WithStatement":
+                visit(node["object"], scope, ambiguous);
+                visit(node["body"], scope, true);
+                return;
+            case "MemberExpression":
+                visit(node["object"], scope, ambiguous);
+                if (node["computed"] === true)
+                    visit(node["property"], scope, ambiguous);
+                return;
+            case "Property":
+            case "MethodDefinition":
+            case "PropertyDefinition":
+            case "AccessorProperty":
+                visitDecorators(node, scope, ambiguous);
+                if (node["computed"] === true)
+                    visit(node["key"], scope, ambiguous);
+                if (isNode(node["value"]))
+                    visit(node["value"], scope, ambiguous);
+                return;
+            case "LabeledStatement":
+                visit(node["body"], scope, ambiguous);
+                return;
+            case "BreakStatement":
+            case "ContinueStatement":
+                return;
+            case "MetaProperty":
+                return;
+            default:
+                visitChildren(node, scope, ambiguous);
+        }
+    };
+    const visitChildren = (node, scope, ambiguous, first = []) => {
+        const keys = [...first, ...Object.keys(node).filter((k) => !first.includes(k))];
+        for (const key of keys) {
+            if (key === "type" || key === "start" || key === "end")
+                continue;
+            const value = node[key];
+            if (Array.isArray(value)) {
+                for (const item of value)
+                    if (isNode(item))
+                        visit(item, scope, ambiguous);
+            }
+            else if (isNode(value)) {
+                visit(value, scope, ambiguous);
+            }
+        }
+    };
+    const visitFunction = (node, fn, ambiguous) => {
+        for (const p of node["params"])
+            declarePattern(p, fn, "param", null, ambiguous);
+        const body = node["body"];
+        // The body block shares the function scope so params and body locals can clash correctly.
+        if (body.type === "BlockStatement")
+            visitChildren(body, fn, ambiguous);
+        else
+            visit(body, fn, ambiguous);
+    };
+    const visitDecorators = (node, scope, ambiguous) => {
+        for (const d of (node["decorators"] ?? []))
+            visit(d["expression"], scope, ambiguous);
+    };
+    const visitClass = (node, scope, ambiguous) => {
+        visitDecorators(node, scope, ambiguous);
+        const sup = node["superClass"];
+        if (sup)
+            visit(sup, scope, ambiguous);
+        visit(node["body"], scope, ambiguous);
+    };
+    /** Declare every identifier in a binding pattern; default values are expressions. */
+    const declarePattern = (p, scope, kind, init, ambiguous) => {
+        switch (p.type) {
+            case "Identifier":
+                visitDecorators(p, scope, ambiguous);
+                scope.declare(p["name"], { kind, init });
+                return;
+            case "ObjectPattern":
+                for (const prop of p["properties"]) {
+                    if (prop.type === "RestElement")
+                        declarePattern(prop["argument"], scope, kind, null, ambiguous);
+                    else {
+                        if (prop["computed"] === true)
+                            visit(prop["key"], scope, ambiguous);
+                        declarePattern(prop["value"], scope, kind, null, ambiguous);
+                    }
+                }
+                return;
+            case "ArrayPattern":
+                for (const el of p["elements"])
+                    if (el)
+                        declarePattern(el, scope, kind, null, ambiguous);
+                return;
+            case "AssignmentPattern":
+                declarePattern(p["left"], scope, kind, null, ambiguous);
+                visit(p["right"], scope, ambiguous);
+                return;
+            case "RestElement":
+                declarePattern(p["argument"], scope, kind, null, ambiguous);
+                return;
+            case "TSParameterProperty":
+                visitDecorators(p, scope, ambiguous);
+                declarePattern(p["parameter"], scope, kind, null, ambiguous);
+                return;
+            default:
+                visitChildren(p, scope, ambiguous);
+        }
+    };
+    visitChildren(program, root, false);
+    const free = new Set();
+    const ambiguous = new Set();
+    const constants = new Map();
+    for (const ref of refs) {
+        if (ref.ambiguous) {
+            ambiguous.add(ref.node);
+            continue;
+        }
+        const b = ref.scope.resolve(ref.node["name"]);
+        if (b === null) {
+            free.add(ref.node);
+        }
+        else if (b.kind === "const" && b.init) {
+            const v = stringLiteral(b.init);
+            if (v !== null)
+                constants.set(ref.node, v);
+        }
+    }
+    return { free, ambiguous, constants };
+}
+/** The value of a string literal or expression-free template, else null. */
+function stringLiteral(n) {
+    if (n.type === "Literal" && typeof n["value"] === "string")
+        return n["value"];
+    if (n.type === "TemplateLiteral" && n["expressions"].length === 0) {
+        return n["quasis"][0]?.["value"]?.cooked ?? null;
+    }
+    return null;
+}
+//# sourceMappingURL=scope.js.map

package/dist/extract/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/extract/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,MAAM,EAA2B,MAAM,UAAU,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAmB7C,MAAM,KAAK;IAGE;IACA;IAHF,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,YACW,MAAoB,EACpB,UAAmB;QADnB,WAAM,GAAN,MAAM,CAAc;QACpB,eAAU,GAAV,UAAU,CAAS;IAC3B,CAAC;IAEJ,OAAO,CAAC,IAAY,EAAE,OAAgB;QACpC,iEAAiE;QACjE,sDAAsD;QACtD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;;YACpD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,eAAe;QACb,IAAI,CAAC,GAAU,IAAI,CAAC;QACpB,OAAO,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM;YAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;QAC/C,OAAO,CAAC,CAAC;IACX,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,IAAI,CAAC,GAAiB,IAAI,CAAC;QAC3B,OAAO,CAAC,EAAE,CAAC;YACT,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC;YAChB,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAQD,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,OAAa;IACzC,MAAM,IAAI,GAAU,EAAE,CAAC;IACvB,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAEnC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,KAAY,EAAE,SAAkB,EAAQ,EAAE;QACtE,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO;QAC7B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;gBACtC,OAAO;YAET,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,KAAK,CAAC,OAAO,CAAE,IAAI,CAAC,IAAI,CAAa,CAAC,MAAM,CAAW,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBACtF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAY,CAAC;gBACrC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAc,EAAE,CAAC;oBACrD,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAA+B,CAAC;oBAC5D,IAAI,IAAI;wBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAC1C,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAY,CAAC;gBACjC,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY;oBAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAW,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC/F,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAmB,CAAC;gBAC5C,IAAI,IAAI;oBAAE,aAAa,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;gBACjE,OAAO;YACT,CAAC;YACD,KAAK,eAAe,CAAC;YACrB,KAAK,SAAS,CAAC;YACf,KAAK,qBAAqB,CAAC;YAC3B,KAAK,mBAAmB;gBACtB,OAAO;YACT,KAAK,cAAc;gBACjB,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAClE,OAAO;YAET,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAmB,CAAC;gBACxC,IAAI,EAAE;oBAAE,KAAK,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAW,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAChG,aAAa,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;gBACvD,OAAO;YACT,CAAC;YACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAClC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAmB,CAAC;gBACxC,IAAI,EAAE;oBAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAW,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3E,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;gBACnC,OAAO;YACT,CAAC;YACD,KAAK,yBAAyB;gBAC5B,aAAa,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;gBACvD,OAAO;YAET,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAmB,CAAC;gBACxC,IAAI,EAAE;oBAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3E,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACnC,OAAO;YACT,CAAC;YACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACtC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAmB,CAAC;gBACxC,IAAI,EAAE;oBAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3E,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACnC,OAAO;YACT,CAAC;YAED,KAAK,gBAAgB,CAAC;YACtB,KAAK,iBAAiB;gBACpB,aAAa,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC1E,OAAO;YACT,KAAK,aAAa;gBAChB,aAAa,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;gBACvD,OAAO;YACT,KAAK,cAAc,CAAC;YACpB,KAAK,gBAAgB,CAAC;YACtB,KAAK,gBAAgB;gBACnB,aAAa,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;gBACxD,OAAO;YAET,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACtC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAmB,CAAC;gBAC9C,IAAI,KAAK;oBAAE,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAClE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACjD,OAAO;YACT,CAAC;YAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAW,CAAC;gBACpC,MAAM,MAAM,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;gBAChE,MAAM,KAAK,GAAgB,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;gBACvF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,cAAc,CAAc,EAAE,CAAC;oBAClD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAmB,CAAC;oBACzC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAY,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;oBACnE,IAAI,IAAI;wBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAC1C,CAAC;gBACD,OAAO;YACT,CAAC;YAED,KAAK,mBAAmB;gBACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,CAAc,EAAE,CAAC;oBAChD,IAAI,UAAU,CAAC,CAAC,CAAC;wBAAE,SAAS;oBAC5B,IAAI,CAAC,OAAO,CAAE,CAAC,CAAC,OAAO,CAAa,CAAC,MAAM,CAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1F,CAAC;gBACD,OAAO;YACT,KAAK,iBAAiB;gBACpB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAClD,OAAO;YACT,KAAK,sBAAsB;gBACzB,OAAO;YAET,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACnD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAY,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC5C,OAAO;YAET,KAAK,kBAAkB;gBACrB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACnD,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACpF,OAAO;YAET,KAAK,UAAU,CAAC;YAChB,KAAK,kBAAkB,CAAC;YACxB,KAAK,oBAAoB,CAAC;YAC1B,KAAK,kBAAkB;gBACrB,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACxC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAC/E,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAClE,OAAO;YAET,KAAK,kBAAkB;gBACrB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACjD,OAAO;YACT,KAAK,gBAAgB,CAAC;YACtB,KAAK,mBAAmB;gBACtB,OAAO;YAET,KAAK,cAAc;gBACjB,OAAO;YAET;gBACE,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,IAAa,EAAE,KAAY,EAAE,SAAkB,EAAE,QAAkB,EAAE,EAAQ,EAAE;QACpG,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK;gBAAE,SAAS;YACjE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,MAAM,IAAI,IAAI,KAAK;oBAAE,IAAI,MAAM,CAAC,IAAI,CAAC;wBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YAC5E,CAAC;iBAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,IAAa,EAAE,EAAS,EAAE,SAAkB,EAAQ,EAAE;QAC3E,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAc;YAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7F,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAY,CAAC;QACrC,0FAA0F;QAC1F,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;;YAClE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;IAClC,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,CAAC,IAAa,EAAE,KAAY,EAAE,SAAkB,EAAQ,EAAE;QAChF,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAc;YAAE,KAAK,CAAC,CAAC,CAAC,YAAY,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC/G,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,CAAC,IAAa,EAAE,KAAY,EAAE,SAAkB,EAAQ,EAAE;QAC3E,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAmB,CAAC;QACjD,IAAI,GAAG;YAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC;IAEF,qFAAqF;IACrF,MAAM,cAAc,GAAG,CACrB,CAAU,EACV,KAAY,EACZ,IAAiB,EACjB,IAAoB,EACpB,SAAkB,EACZ,EAAE;QACR,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,YAAY;gBACf,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACrC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAW,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnD,OAAO;YACT,KAAK,eAAe;gBAClB,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,YAAY,CAAc,EAAE,CAAC;oBAChD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa;wBAAE,cAAc,CAAC,IAAI,CAAC,UAAU,CAAY,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;yBACtG,CAAC;wBACJ,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;4BAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;wBAC/E,cAAc,CAAC,IAAI,CAAC,OAAO,CAAY,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;oBACzE,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,KAAK,cAAc;gBACjB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,UAAU,CAAuB;oBAAE,IAAI,EAAE;wBAAE,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC/G,OAAO;YACT,KAAK,mBAAmB;gBACtB,cAAc,CAAC,CAAC,CAAC,MAAM,CAAY,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBACnE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAC/C,OAAO;YACT,KAAK,aAAa;gBAChB,cAAc,CAAC,CAAC,CAAC,UAAU,CAAY,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBACvE,OAAO;YACT,KAAK,qBAAqB;gBACxB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACrC,cAAc,CAAC,CAAC,CAAC,WAAW,CAAY,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBACxE,OAAO;YACT;gBACE,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC;IAEF,aAAa,CAAC,OAAkB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAQ,CAAC;IAC7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAQ,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAClB,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAW,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK,IAAI;gBAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AACxC,CAAC;AAED,4EAA4E;AAC5E,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;IAC9E,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAK,CAAC,CAAC,aAAa,CAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjF,OAAS,CAAC,CAAC,QAAQ,CAAe,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAqC,EAAE,MAAM,IAAI,IAAI,CAAC;IACvG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/extract/suppress.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Inline suppression:
+ *
+ *   // frostjs: ignore                      suppress every capability on this line
+ *   // frostjs: ignore[storage.local, net]  suppress the listed codes or families
+ *
+ * A comment applies to uses on its own line, or, when the comment is alone on
+ * its line, to uses starting on the next line.
+ */
+import type { ParsedFile } from "./ast.js";
+export interface Suppression {
+    /** A bare `frostjs: ignore`: every capability on the line. */
+    all: boolean;
+    /** Codes or families listed in brackets. */
+    codes: string[];
+}
+/** Line number -> suppression in force for uses starting on that line. */
+export declare function suppressions(parsed: ParsedFile): Map<number, Suppression>;
+/** True when the suppression covers the capability: exactly, or by its family (`storage` covers `storage.local`). */
+export declare function isSuppressed(s: Suppression | undefined, capability: string): boolean;
+//# sourceMappingURL=suppress.d.ts.map

package/dist/extract/suppress.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"suppress.d.ts","sourceRoot":"","sources":["../../src/extract/suppress.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAG3C,MAAM,WAAW,WAAW;IAC1B,8DAA8D;IAC9D,GAAG,EAAE,OAAO,CAAC;IACb,4CAA4C;IAC5C,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAID,0EAA0E;AAC1E,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAgBzE;AAcD,qHAAqH;AACrH,wBAAgB,YAAY,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAIpF"}

package/dist/extract/suppress.js

@@ -0,0 +1,42 @@
+import { positionAt } from "./ast.js";
+const MARKER = /^\s*frostjs:\s*ignore(?:\[([^\]]*)\])?\s*$/;
+/** Line number -> suppression in force for uses starting on that line. */
+export function suppressions(parsed) {
+    const out = new Map();
+    for (const c of parsed.comments) {
+        const m = MARKER.exec(c.value);
+        if (!m)
+            continue;
+        const spec = m[1] === undefined ? { all: true, codes: [] } : { all: false, codes: splitCodes(m[1]) };
+        const { line } = positionAt(parsed.lines, c.start);
+        // Does anything other than whitespace precede the comment on its line?
+        const lineStart = parsed.lines[line - 1];
+        const alone = parsed.source.slice(lineStart, c.start).trim() === "";
+        const endLine = positionAt(parsed.lines, c.end).line;
+        const rest = parsed.source.slice(c.end, parsed.lines[endLine] ?? parsed.source.length).trim();
+        out.set(line, merge(out.get(line), spec));
+        if (alone && rest === "")
+            out.set(endLine + 1, merge(out.get(endLine + 1), spec));
+    }
+    return out;
+}
+function splitCodes(s) {
+    return s
+        .split(",")
+        .map((c) => c.trim())
+        .filter(Boolean);
+}
+function merge(a, b) {
+    if (!a)
+        return b;
+    return { all: a.all || b.all, codes: [...a.codes, ...b.codes] };
+}
+/** True when the suppression covers the capability: exactly, or by its family (`storage` covers `storage.local`). */
+export function isSuppressed(s, capability) {
+    if (!s)
+        return false;
+    if (s.all)
+        return true;
+    return s.codes.some((c) => c === capability || capability.startsWith(c + "."));
+}
+//# sourceMappingURL=suppress.js.map

package/dist/extract/suppress.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"suppress.js","sourceRoot":"","sources":["../../src/extract/suppress.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAStC,MAAM,MAAM,GAAG,4CAA4C,CAAC;AAE5D,0EAA0E;AAC1E,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAgB,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClH,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACnD,uEAAuE;QACvE,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACpE,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QACrD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9F,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C,IAAI,KAAK,IAAI,IAAI,KAAK,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,CAAC;SACL,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,KAAK,CAAC,CAA0B,EAAE,CAAc;IACvD,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IACjB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,YAAY,CAAC,CAA0B,EAAE,UAAkB;IACzE,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;AACjF,CAAC"}