@scriptc/compiler 0.4.0 → 0.4.2

package/dist/frontend/npm-static-type-exports.d.ts

@@ -0,0 +1,52 @@
+import * as ts from "./ts7/syntax.js";
+/** A type-only declaration: its exported name, its name where it is
+ * declared, its type parameters' names and their JSDoc @template tag
+ * bodies, and what npmStaticDataShape needs to know. */
+export interface NpmStaticTypeDeclaration {
+    name: string;
+    declared: string;
+    params: readonly string[];
+    templates: readonly string[];
+    /** The declaration's own syntax describes behavior or a computed type:
+     * a method, call or construct signature, a function or constructor
+     * type, an accessor, `typeof`, `import("...")`, a conditional, mapped,
+     * indexed-access or `keyof` type, or a qualified type name. */
+    behavior: boolean;
+    /** The type names it refers to, its own type parameters excepted. */
+    references: readonly string[];
+}
+/** What a declaration file declares and re-exports, by exported name. */
+export interface NpmStaticDeclarationExports {
+    /** Exported interfaces, type aliases and enums, with their parameters. */
+    types: readonly NpmStaticTypeDeclaration[];
+    /** Exported classes, functions, variables and namespaces: names the
+     * JavaScript declares itself, or that are not type-only. */
+    values: readonly string[];
+    /** `export { local as exported } from "specifier"`, including a local
+     * `export { a }` of an imported name. */
+    named: readonly {
+        exported: string;
+        local: string;
+        specifier: string | null;
+    }[];
+    /** `export * from "specifier"`. */
+    stars: readonly string[];
+    /** Every interface, type alias and enum the file declares, by name. */
+    locals: ReadonlyMap<string, NpmStaticTypeDeclaration>;
+    /** The file's named imports: local name to imported name and specifier. */
+    imports: ReadonlyMap<string, {
+        local: string;
+        specifier: string;
+    }>;
+    /** Every class, function, namespace and variable the file declares. */
+    valueNames: ReadonlySet<string>;
+}
+/** The exports of one declaration file. */
+export declare function npmStaticDeclarationExports(sf: ts.SourceFile): NpmStaticDeclarationExports;
+/** The relative specifiers a declaration file names. */
+export declare function npmStaticDeclarationSpecifiers(sf: ts.SourceFile): string[];
+/** The declaration file's text with each relative specifier `rename`
+ * answers respelled (quoted with the original's quote). */
+export declare function npmStaticDeclarationCopy(sf: ts.SourceFile, rename: (specifier: string) => string | null): string;
+/** The JSDoc typedefs that re-export `types` from the copy at `specifier`. */
+export declare function npmStaticTypedefBlock(types: readonly NpmStaticTypeDeclaration[], specifier: string): string;

package/dist/frontend/npm-static-type-exports.js

@@ -0,0 +1,261 @@
+/* The type-only exports of an opted-in package's declaration files.
+ *
+ * An opted-in package compiles from its JavaScript, and the checker types
+ * the package from it: the package's shipped .d.ts is hidden from
+ * resolution (npmStaticFsShadow). Values keep their JavaScript types, but a
+ * type that exists only in the .d.ts (an interface, a type alias, an enum
+ * used as a type) has no declaration in the JavaScript, so a program's
+ * `import type { Options } from "pkg"` resolved to `any`. TypeScript and
+ * Node see the .d.ts types.
+ *
+ * The package's declaration files stay available as copies under another
+ * name (`<file>.scriptc-types.d.ts`, relative specifiers respelled to the
+ * copies), and the runtime entry gains a JSDoc typedef per type-only export
+ * that names the declaration in the copy:
+ *
+ *   / ** @template T @typedef {import("./main.scriptc-types").Box<T>} Box * /
+ *
+ * Classes and values keep the JavaScript's own declarations. */
+import * as ts from "./ts7/syntax.js";
+import { tokenStartOfNode } from "./ts7/node-functions.js";
+function isExported(node) {
+    const modifiers = node.modifiers?.nodes ?? [];
+    return modifiers.some((m) => m.kind === ts.SyntaxKind.ExportKeyword);
+}
+function templatesOf(sf, params) {
+    const text = (n) => sf.text.slice(tokenStartOfNode(n), n.end);
+    return params.map((p) => {
+        const name = p.name.text;
+        const constraint = p.constraint === undefined ? "" : `{${text(p.constraint)}} `;
+        return p.defaultType === undefined
+            ? `${constraint}${name}`
+            : `${constraint}[${name}=${text(p.defaultType)}]`;
+    });
+}
+/** Syntax kinds of a type that describes behavior or is computed. */
+const BEHAVIOR_KINDS = new Set([
+    ts.SyntaxKind.MethodSignature,
+    ts.SyntaxKind.CallSignature,
+    ts.SyntaxKind.ConstructSignature,
+    ts.SyntaxKind.FunctionType,
+    ts.SyntaxKind.ConstructorType,
+    ts.SyntaxKind.GetAccessor,
+    ts.SyntaxKind.SetAccessor,
+    ts.SyntaxKind.TypeQuery,
+    ts.SyntaxKind.ImportType,
+    ts.SyntaxKind.ConditionalType,
+    ts.SyntaxKind.MappedType,
+    ts.SyntaxKind.InferType,
+    ts.SyntaxKind.IndexedAccessType,
+    ts.SyntaxKind.ThisType,
+    ts.SyntaxKind.TypePredicate,
+    ts.SyntaxKind.TemplateLiteralType,
+]);
+/** The behavior flag and type references of an interface or type alias. */
+function shapeOf(decl, params) {
+    let behavior = false;
+    const references = new Set();
+    const refer = (name) => {
+        if (ts.isIdentifier(name)) {
+            if (!params.includes(name.text))
+                references.add(name.text);
+        }
+        else
+            behavior = true; // a qualified name: a namespace member
+    };
+    ts.walkPreorder(decl, (n) => {
+        if (behavior)
+            return "stop";
+        if (BEHAVIOR_KINDS.has(n.kind))
+            behavior = true;
+        else if (ts.isTypeOperatorNode(n) && n.operator === ts.SyntaxKind.KeyOfKeyword)
+            behavior = true;
+        else if (ts.isTypeReferenceNode(n))
+            refer(n.typeName);
+        else if (ts.isExpressionWithTypeArguments(n))
+            refer(n.expression);
+        return undefined;
+    });
+    return { behavior, references: [...references] };
+}
+/** The exports of one declaration file. */
+export function npmStaticDeclarationExports(sf) {
+    const types = [];
+    const values = [];
+    const named = [];
+    const stars = [];
+    const localTypes = new Map();
+    const localValues = new Set();
+    // `import { A as B } from "./x"`: local name B is A of "./x".
+    const imported = new Map();
+    for (const stmt of sf.statements.nodes) {
+        const exported = isExported(stmt);
+        if (ts.isImportDeclaration(stmt)) {
+            const bindings = stmt.importClause?.namedBindings;
+            if (ts.isStringLiteral(stmt.moduleSpecifier) && bindings && ts.isNamedImports(bindings)) {
+                for (const e of bindings.elements.nodes) {
+                    imported.set(e.name.text, {
+                        local: (e.propertyName ?? e.name).text,
+                        specifier: stmt.moduleSpecifier.text,
+                    });
+                }
+            }
+        }
+        else if (ts.isInterfaceDeclaration(stmt) || ts.isTypeAliasDeclaration(stmt)) {
+            const params = stmt.typeParameters?.nodes ?? [];
+            const paramNames = params.map((p) => p.name.text);
+            const shape = shapeOf(stmt, paramNames);
+            const merged = localTypes.get(stmt.name.text); // interface merging
+            const decl = {
+                name: stmt.name.text,
+                declared: stmt.name.text,
+                params: paramNames,
+                templates: templatesOf(sf, params),
+                behavior: shape.behavior || merged?.behavior === true,
+                references: [...shape.references, ...(merged?.references ?? [])],
+            };
+            localTypes.set(decl.name, decl);
+            if (exported && merged === undefined)
+                types.push(decl);
+        }
+        else if (ts.isEnumDeclaration(stmt)) {
+            const decl = {
+                name: stmt.name.text,
+                declared: stmt.name.text,
+                params: [],
+                templates: [],
+                behavior: false,
+                references: [],
+            };
+            localTypes.set(decl.name, decl);
+            if (exported)
+                types.push(decl);
+        }
+        else if (ts.isClassDeclaration(stmt) ||
+            ts.isFunctionDeclaration(stmt) ||
+            ts.isModuleDeclaration(stmt)) {
+            const name = stmt.name !== undefined && ts.isIdentifier(stmt.name) ? stmt.name.text : null;
+            if (name !== null) {
+                localValues.add(name);
+                if (exported)
+                    values.push(name);
+            }
+        }
+        else if (ts.isVariableStatement(stmt)) {
+            for (const d of stmt.declarationList.declarations.nodes) {
+                if (!ts.isIdentifier(d.name))
+                    continue;
+                localValues.add(d.name.text);
+                if (exported)
+                    values.push(d.name.text);
+            }
+        }
+        else if (ts.isExportDeclaration(stmt)) {
+            const specifier = stmt.moduleSpecifier !== undefined && ts.isStringLiteral(stmt.moduleSpecifier)
+                ? stmt.moduleSpecifier.text
+                : null;
+            const clause = stmt.exportClause;
+            if (clause === undefined) {
+                if (specifier !== null)
+                    stars.push(specifier);
+            }
+            else if (ts.isNamedExports(clause)) {
+                for (const e of clause.elements.nodes) {
+                    const exportedName = e.name.text;
+                    const local = (e.propertyName ?? e.name).text;
+                    named.push({ exported: exportedName, local, specifier });
+                }
+            }
+        }
+    }
+    // Local `export { a as b }`: of the file's own declarations, or of a
+    // name it imports (`import type { A } from "./a"; export { A }`), which
+    // resolves like `export { A } from "./a"`.
+    const resolvedNamed = [];
+    for (const n of named) {
+        if (n.specifier !== null) {
+            resolvedNamed.push(n);
+            continue;
+        }
+        const local = localTypes.get(n.local);
+        const from = imported.get(n.local);
+        if (local !== undefined)
+            types.push({ ...local, name: n.exported });
+        else if (localValues.has(n.local))
+            values.push(n.exported);
+        else if (from !== undefined)
+            resolvedNamed.push({ exported: n.exported, ...from });
+    }
+    // A merged interface's exported entry takes the merged flags.
+    const exportedTypes = [];
+    for (const t of types) {
+        const local = localTypes.get(t.declared);
+        if (local === undefined)
+            exportedTypes.push(t);
+        else
+            exportedTypes.push({ ...local, name: t.name });
+    }
+    return {
+        types: exportedTypes,
+        values,
+        named: resolvedNamed,
+        stars,
+        locals: localTypes,
+        imports: imported,
+        valueNames: localValues,
+    };
+}
+/** The relative module specifiers of a declaration file's imports, exports
+ * and `import("...")` types, with their spans. */
+function relativeSpecifiers(sf) {
+    const found = [];
+    const add = (literal) => {
+        if (literal === undefined || !ts.isStringLiteral(literal))
+            return;
+        if (!literal.text.startsWith("./") && !literal.text.startsWith("../"))
+            return;
+        found.push({ start: tokenStartOfNode(literal), end: literal.end, text: literal.text });
+    };
+    ts.walkPreorder(sf, (n) => {
+        if (ts.isImportDeclaration(n) || ts.isExportDeclaration(n))
+            add(n.moduleSpecifier);
+        else if (ts.isImportTypeNode(n) && ts.isLiteralTypeNode(n.argument))
+            add(n.argument.literal);
+        return undefined;
+    });
+    return found;
+}
+/** The relative specifiers a declaration file names. */
+export function npmStaticDeclarationSpecifiers(sf) {
+    return relativeSpecifiers(sf).map((s) => s.text);
+}
+/** The declaration file's text with each relative specifier `rename`
+ * answers respelled (quoted with the original's quote). */
+export function npmStaticDeclarationCopy(sf, rename) {
+    const spans = relativeSpecifiers(sf).sort((a, b) => a.start - b.start);
+    let text = "";
+    let at = 0;
+    for (const span of spans) {
+        const renamed = rename(span.text);
+        if (renamed === null)
+            continue;
+        const quote = sf.text[span.start] ?? '"';
+        text += sf.text.slice(at, span.start) + quote + renamed + quote;
+        at = span.end;
+    }
+    return text + sf.text.slice(at);
+}
+/** The JSDoc typedefs that re-export `types` from the copy at `specifier`. */
+export function npmStaticTypedefBlock(types, specifier) {
+    const lines = [];
+    for (const t of types) {
+        const args = t.params.length === 0 ? "" : `<${t.params.join(", ")}>`;
+        lines.push("/**");
+        for (const tag of t.templates)
+            lines.push(` * @template ${tag}`);
+        lines.push(` * @typedef {import(${JSON.stringify(specifier)}).${t.name}${args}} ${t.name}`);
+        lines.push(" */");
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=npm-static-type-exports.js.map

package/dist/frontend/npm-static-type-exports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-static-type-exports.js","sourceRoot":"","sources":["../../src/frontend/npm-static-type-exports.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;gEAiBgE;AAChE,OAAO,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAuC3D,SAAS,UAAU,CAAC,IAAa;IAC/B,MAAM,SAAS,GAAI,IAAsD,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC;IACjG,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,WAAW,CAAC,EAAiB,EAAE,MAA8C;IACpF,MAAM,IAAI,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACzB,MAAM,UAAU,GAAG,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;QAChF,OAAO,CAAC,CAAC,WAAW,KAAK,SAAS;YAChC,CAAC,CAAC,GAAG,UAAU,GAAG,IAAI,EAAE;YACxB,CAAC,CAAC,GAAG,UAAU,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,qEAAqE;AACrE,MAAM,cAAc,GAA+B,IAAI,GAAG,CAAC;IACzD,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,aAAa;IAC3B,EAAE,CAAC,UAAU,CAAC,kBAAkB;IAChC,EAAE,CAAC,UAAU,CAAC,YAAY;IAC1B,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,SAAS;IACvB,EAAE,CAAC,UAAU,CAAC,UAAU;IACxB,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,UAAU;IACxB,EAAE,CAAC,UAAU,CAAC,SAAS;IACvB,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,QAAQ;IACtB,EAAE,CAAC,UAAU,CAAC,aAAa;IAC3B,EAAE,CAAC,UAAU,CAAC,mBAAmB;CAClC,CAAC,CAAC;AAEH,2EAA2E;AAC3E,SAAS,OAAO,CACd,IAAuD,EACvD,MAAyB;IAEzB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC;;YAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,uCAAuC;IACjE,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC5B,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,QAAQ,GAAG,IAAI,CAAC;aAC3C,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,QAAQ,GAAG,IAAI,CAAC;aAC3F,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;aACjD,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,2BAA2B,CAAC,EAAiB;IAC3D,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAoE,EAAE,CAAC;IAClF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgD,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC;YAClD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,QAAQ,IAAI,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxF,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;oBACxC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;wBACxB,KAAK,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI;wBACtC,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI;qBACrC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,KAAK,IAAI,EAAE,CAAC;YAChD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB;YACnE,MAAM,IAAI,GAA6B;gBACrC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACxB,MAAM,EAAE,UAAU;gBAClB,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC;gBAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,MAAM,EAAE,QAAQ,KAAK,IAAI;gBACrD,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC;aACjE,CAAC;YACF,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAChC,IAAI,QAAQ,IAAI,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAA6B;gBACrC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACxB,MAAM,EAAE,EAAE;gBACV,SAAS,EAAE,EAAE;gBACb,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,EAAE;aACf,CAAC;YACF,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAChC,IAAI,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;aAAM,IACL,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAC5B,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3F,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACtB,IAAI,QAAQ;oBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;gBACxD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACvC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,QAAQ;oBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,SAAS,GACb,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;gBAC5E,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI;gBAC3B,CAAC,CAAC,IAAI,CAAC;YACX,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,SAAS,KAAK,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,CAAC;iBAAM,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;oBACtC,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;oBAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,qEAAqE;IACrE,wEAAwE;IACxE,2CAA2C;IAC3C,MAAM,aAAa,GAAiB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YACzB,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;aAC/D,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;aACtD,IAAI,IAAI,KAAK,SAAS;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,8DAA8D;IAC9D,MAAM,aAAa,GAA+B,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS;YAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAC1C,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,OAAO;QACL,KAAK,EAAE,aAAa;QACpB,MAAM;QACN,KAAK,EAAE,aAAa;QACpB,KAAK;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,QAAQ;QACjB,UAAU,EAAE,WAAW;KACxB,CAAC;AACJ,CAAC;AAED;kDACkD;AAClD,SAAS,kBAAkB,CAAC,EAAiB;IAC3C,MAAM,KAAK,GAAmD,EAAE,CAAC;IACjE,MAAM,GAAG,GAAG,CAAC,OAA4B,EAAQ,EAAE;QACjD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAAE,OAAO;QAClE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO;QAC9E,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACzF,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;QACxB,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;aAC9E,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7F,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,8BAA8B,CAAC,EAAiB;IAC9D,OAAO,kBAAkB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACnD,CAAC;AAED;2DAC2D;AAC3D,MAAM,UAAU,wBAAwB,CACtC,EAAiB,EACjB,MAA4C;IAE5C,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,OAAO,KAAK,IAAI;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;QACzC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,OAAO,GAAG,KAAK,CAAC;QAChE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,qBAAqB,CACnC,KAA0C,EAC1C,SAAiB;IAEjB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,GAAG,EAAE,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5F,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/frontend/npm-static-type-exports.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/npm-static-type-exports.test.js

@@ -0,0 +1,103 @@
+import { expect, test } from "vitest";
+import { nodeFrontendServices } from "./services-node.js";
+import { npmStaticDeclarationCopy, npmStaticDeclarationExports, npmStaticTypedefBlock, } from "./npm-static-type-exports.js";
+function parse(text) {
+    return nodeFrontendServices().parse("/pkg/lib/index.d.ts", text, "ts");
+}
+test("type-only exports are told from values and re-exports", () => {
+    const exports = npmStaticDeclarationExports(parse(`import type { Page } from "./paging";
+export * from "./paging";
+export { Entry as Item, Kind } from "./entries";
+export interface Options<T extends object = {}, U = string> { value: T; label: U }
+export type Mode = "a" | "b";
+export declare const enum Level { Low = 1 }
+export declare class Client { url: string }
+export declare function make(options: Options): Client;
+export declare const version: string;
+interface Hidden { x: number }
+export { Hidden as Visible };
+declare function helper(): void;
+export { helper };`));
+    expect(exports.types.map((t) => [t.name, t.params, t.templates])).toEqual([
+        ["Options", ["T", "U"], ["{object} [T={}]", "[U=string]"]],
+        ["Mode", [], []],
+        ["Level", [], []],
+        ["Visible", [], []],
+    ]);
+    expect(exports.values).toEqual(["Client", "make", "version", "helper"]);
+    expect(exports.named).toEqual([
+        { exported: "Item", local: "Entry", specifier: "./entries" },
+        { exported: "Kind", local: "Kind", specifier: "./entries" },
+    ]);
+    expect(exports.stars).toEqual(["./paging"]);
+});
+test("a local export of an imported name resolves like a re-export", () => {
+    const exports = npmStaticDeclarationExports(parse(`import type { Kind } from "./kinds";
+import { type Shape as Form, helper } from "./kinds";
+export { Kind, Form as Outline, helper };`));
+    expect(exports.types).toEqual([]);
+    expect(exports.named).toEqual([
+        { exported: "Kind", local: "Kind", specifier: "./kinds" },
+        { exported: "Outline", local: "Shape", specifier: "./kinds" },
+        { exported: "helper", local: "helper", specifier: "./kinds" },
+    ]);
+});
+test("each declaration records whether it describes behavior and what it references", () => {
+    const { locals } = npmStaticDeclarationExports(parse(`interface Row<T> { key: string; value: T; next?: Row<T>; tags: Tag[] }
+type Tag = "a" | "b";
+interface Counter { add(value: number): void }
+type Callback = (row: Row<string>) => void;
+type Keys = keyof Row<string>;
+interface Named extends Base { label: Label }`));
+    const shape = (name) => {
+        const d = locals.get(name);
+        return [d.behavior, [...d.references].sort()];
+    };
+    expect(shape("Row")).toEqual([false, ["Row", "Tag"]]);
+    expect(shape("Tag")).toEqual([false, []]);
+    expect(shape("Counter")).toEqual([true, []]);
+    expect(shape("Callback")[0]).toBe(true);
+    expect(shape("Keys")[0]).toBe(true);
+    expect(shape("Named")).toEqual([false, ["Base", "Label"]]);
+});
+test("a copy respells the relative specifiers it is told", () => {
+    const sf = parse(`import type { Page } from "./paging";
+export * from './entries';
+export type Box = import("./paging").Page<number>;
+export { readFile } from "fs";
+`);
+    const copy = npmStaticDeclarationCopy(sf, (s) => s === "./paging" ? "./paging.scriptc-types" : null);
+    expect(copy).toBe(`import type { Page } from "./paging.scriptc-types";
+export * from './entries';
+export type Box = import("./paging.scriptc-types").Page<number>;
+export { readFile } from "fs";
+`);
+});
+test("the typedef block re-exports each type with its parameters", () => {
+    expect(npmStaticTypedefBlock([
+        {
+            name: "Mode",
+            declared: "Mode",
+            params: [],
+            templates: [],
+            behavior: false,
+            references: [],
+        },
+        {
+            name: "Options",
+            declared: "Options",
+            params: ["T", "U"],
+            templates: ["{object} [T={}]", "[U=string]"],
+            behavior: false,
+            references: [],
+        },
+    ], "./index.scriptc-types")).toBe(`/**
+ * @typedef {import("./index.scriptc-types").Mode} Mode
+ */
+/**
+ * @template {object} [T={}]
+ * @template [U=string]
+ * @typedef {import("./index.scriptc-types").Options<T, U>} Options
+ */`);
+});
+//# sourceMappingURL=npm-static-type-exports.test.js.map

package/dist/frontend/npm-static-type-exports.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-static-type-exports.test.js","sourceRoot":"","sources":["../../src/frontend/npm-static-type-exports.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAEtC,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,oBAAoB,EAAE,CAAC,KAAK,CAAC,qBAAqB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,OAAO,GAAG,2BAA2B,CACzC,KAAK,CAAC;;;;;;;;;;;;mBAYS,CAAC,CACjB,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACxE,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAC,CAAC;QAC1D,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAChB,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC;QACjB,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC;KACpB,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;QAC5B,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE;QAC5D,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE;KAC5D,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,OAAO,GAAG,2BAA2B,CACzC,KAAK,CAAC;;0CAEgC,CAAC,CACxC,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;QAC5B,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE;QACzD,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE;QAC7D,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;KAC9D,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,EAAE,MAAM,EAAE,GAAG,2BAA2B,CAC5C,KAAK,CAAC;;;;;8CAKoC,CAAC,CAC5C,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE;QAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC5B,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,MAAM,EAAE,GAAG,KAAK,CAAC;;;;CAIlB,CAAC,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAC9C,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CACnD,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;;;;CAInB,CAAC,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,CACJ,qBAAqB,CACnB;QACE;YACE,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE;YACV,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,EAAE;SACf;QACD;YACE,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,SAAS;YACnB,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAClB,SAAS,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAC;YAC5C,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,EAAE;SACf;KACF,EACD,uBAAuB,CACxB,CACF,CAAC,IAAI,CAAC;;;;;;;IAOL,CAAC,CAAC;AACN,CAAC,CAAC,CAAC"}

package/dist/frontend/npm-static-umd.d.ts

@@ -0,0 +1,6 @@
+import * as ts from "./ts7/syntax.js";
+/** True when the text may hold a UMD wrapper (a cheap probe). */
+export declare function mayHoldUmdWrapper(source: string): boolean;
+/** The module text with a UMD wrapper's factory body at the top level, or
+ * null when the file is not one. */
+export declare function unwrapUmdFactory(sf: ts.SourceFile): string | null;

package/dist/frontend/npm-static-umd.js

@@ -0,0 +1,203 @@
+/* TypeScript's UMD module emit in a compiled package: the module body is a
+ * factory function that the wrapper calls with the CommonJS module's own
+ * `require` and `exports`.
+ *
+ *   (function (factory) {
+ *       if (typeof module === "object" && typeof module.exports === "object") {
+ *           var v = factory(require, exports);
+ *           if (v !== undefined) module.exports = v;
+ *       }
+ *       else if (typeof define === "function" && define.amd) {
+ *           define(["require", "exports", "./dep"], factory);
+ *       }
+ *   })(function (require, exports) {
+ *       "use strict";
+ *       const dep = require("./dep");
+ *       exports.f = f;
+ *   });
+ *
+ * Under Node the CommonJS branch runs: the factory body runs once with the
+ * module's `require` and `exports`, and a body without a `return` leaves
+ * `module.exports` as it was. That is the module's own body, so the wrapper
+ * is blanked out (line breaks kept, so positions stay) and the body runs at
+ * the module's top level, where its requires and export assignments are the
+ * module's own.
+ *
+ * Accepted: the wrapper is the file's only statement, the wrapper's body is
+ * exactly the emit above (so dropping it drops nothing else), the factory's
+ * parameters are exactly `require` and `exports`, and the body uses no
+ * `return` or `arguments` of its own. `this` in the body is the factory's
+ * receiver, not the module's: it may appear only in TypeScript's helper
+ * probes (`this && this.__importDefault`), which find no helper on either
+ * receiver. Any other shape keeps the original text. */
+import * as ts from "./ts7/syntax.js";
+import { tokenStartOfNode } from "./ts7/node-functions.js";
+import { applyEdits } from "./npm-static-bundled-chunks.js";
+/** True when the text may hold a UMD wrapper (a cheap probe). */
+export function mayHoldUmdWrapper(source) {
+    return source.includes("define.amd") && source.includes("(require, exports)");
+}
+/** The module text with a UMD wrapper's factory body at the top level, or
+ * null when the file is not one. */
+export function unwrapUmdFactory(sf) {
+    const stmts = sf.statements.nodes;
+    if (stmts.length !== 1)
+        return null;
+    const stmt = stmts[0];
+    if (!ts.isExpressionStatement(stmt) || !ts.isCallExpression(stmt.expression))
+        return null;
+    const call = stmt.expression;
+    if (call.arguments.nodes.length !== 1)
+        return null;
+    const wrapper = unparenthesized(call.expression);
+    const factory = call.arguments.nodes[0];
+    if (!ts.isFunctionExpression(wrapper) || !ts.isFunctionExpression(factory))
+        return null;
+    const wrapperParams = wrapper.parameters.nodes;
+    if (wrapperParams.length !== 1 || !isPlainParameter(wrapperParams[0]))
+        return null;
+    const factoryName = wrapperParams[0].name.text;
+    if (!isTypeScriptUmdWrapper(wrapper, factoryName))
+        return null;
+    const params = factory.parameters.nodes;
+    if (params.length !== 2 ||
+        !params.every(isPlainParameter) ||
+        params[0].name.text !== "require" ||
+        params[1].name.text !== "exports")
+        return null;
+    const body = factory.body;
+    if (body === undefined || !ownBodyKeepsModuleSemantics(body))
+        return null;
+    const open = tokenStartOfNode(body) + 1;
+    const close = body.end - 1;
+    return applyEdits(sf.text, 0, sf.text.length, [
+        { start: tokenStartOfNode(stmt), end: open, text: "" },
+        { start: close, end: stmt.end, text: "" },
+    ]);
+}
+function unparenthesized(e) {
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    return e;
+}
+/** A parameter that is a bare identifier: no default, rest or pattern. */
+function isPlainParameter(p) {
+    return ts.isIdentifier(p.name) && p.initializer === undefined && p.dotDotDotToken === undefined;
+}
+/** True when the wrapper body is exactly TypeScript's emit and nothing else:
+ * one `if` statement whose CommonJS branch holds only the factory call and
+ * the `module.exports` assignment, and whose `else`, when present, is only
+ * the AMD branch:
+ *
+ *   if (typeof module === "object" && typeof module.exports === "object") {
+ *       var v = factory(require, exports);
+ *       if (v !== undefined) module.exports = v;
+ *   }
+ *   else if (typeof define === "function" && define.amd) {
+ *       define([...], factory);
+ *   }
+ *
+ * Unwrapping drops the wrapper, so any other statement in it would be lost. */
+function isTypeScriptUmdWrapper(wrapper, factoryName) {
+    const stmts = wrapper.body?.statements.nodes ?? [];
+    if (stmts.length !== 1 || !ts.isIfStatement(stmts[0]))
+        return false;
+    const test = stmts[0];
+    const sf = ts.getSourceFileOfNode(wrapper);
+    const text = (n) => sf.text.slice(tokenStartOfNode(n), n.end).replace(/\s+/g, " ");
+    if (text(test.expression) !== 'typeof module === "object" && typeof module.exports === "object"')
+        return false;
+    const branch = test.thenStatement;
+    if (!ts.isBlock(branch) || branch.statements.nodes.length !== 2)
+        return false;
+    const [call, assign] = branch.statements.nodes;
+    if (!ts.isVariableStatement(call))
+        return false;
+    const declarations = call.declarationList.declarations.nodes;
+    const name = declarations.length === 1 ? declarations[0].name : undefined;
+    if (name === undefined || !ts.isIdentifier(name))
+        return false;
+    const result = name.text;
+    if (text(call) !== `var ${result} = ${factoryName}(require, exports);`)
+        return false;
+    if (text(assign) !== `if (${result} !== undefined) module.exports = ${result};`)
+        return false;
+    const amd = test.elseStatement;
+    if (amd === undefined)
+        return true;
+    if (!ts.isIfStatement(amd) || amd.elseStatement !== undefined)
+        return false;
+    if (text(amd.expression) !== 'typeof define === "function" && define.amd')
+        return false;
+    const define = ts.isBlock(amd.thenStatement) ? amd.thenStatement.statements.nodes : [];
+    if (define.length !== 1 || !ts.isExpressionStatement(define[0]))
+        return false;
+    const defineCall = define[0].expression;
+    if (!ts.isCallExpression(defineCall) || text(defineCall.expression) !== "define")
+        return false;
+    const last = defineCall.arguments.nodes.at(-1);
+    return last !== undefined && ts.isIdentifier(last) && last.text === factoryName;
+}
+/** True when the factory body behaves the same as the module's top level:
+ * no `return` or `arguments` of its own, and `this` only in TypeScript's
+ * helper probes. */
+function ownBodyKeepsModuleSemantics(body) {
+    let keeps = true;
+    ts.walkPreorder(body, (n) => {
+        if (!keeps)
+            return "stop";
+        // Nested functions have their own `return`, `arguments` and `this`;
+        // arrow functions only their own `return`.
+        if (ts.isFunctionDeclaration(n) ||
+            ts.isFunctionExpression(n) ||
+            ts.isMethodDeclaration(n) ||
+            ts.isGetAccessorDeclaration(n) ||
+            ts.isSetAccessorDeclaration(n) ||
+            ts.isConstructorDeclaration(n))
+            return "skip";
+        if (ts.isClassDeclaration(n) || ts.isClassExpression(n))
+            return "skip";
+        if (ts.isReturnStatement(n) && !insideArrow(n, body))
+            keeps = false;
+        else if (ts.isIdentifier(n) && n.text === "arguments")
+            keeps = false;
+        else if (n.kind === ts.SyntaxKind.ThisKeyword && !isHelperProbe(n))
+            keeps = false;
+        return undefined;
+    });
+    return keeps;
+}
+/** True when `node` sits inside an arrow function nested in `body`. */
+function insideArrow(node, body) {
+    for (let p = node.parent; p !== undefined && p !== body; p = p.parent)
+        if (ts.isArrowFunction(p))
+            return true;
+    return false;
+}
+/** `this` in TypeScript's helper probe `this && this.__name`: the left
+ * operand, or the receiver of the right operand's `__` member. */
+function isHelperProbe(node) {
+    const parent = node.parent;
+    if (parent === undefined)
+        return false;
+    const probe = ts.isBinaryExpression(parent) && parent.left === node
+        ? parent
+        : ts.isPropertyAccessExpression(parent) &&
+            parent.expression === node &&
+            ts.isIdentifier(parent.name) &&
+            parent.name.text.startsWith("__") &&
+            parent.parent !== undefined &&
+            ts.isBinaryExpression(parent.parent) &&
+            parent.parent.right === parent
+            ? parent.parent
+            : undefined;
+    if (probe === undefined || probe.operatorToken.kind !== ts.SyntaxKind.AmpersandAmpersandToken)
+        return false;
+    const right = probe.right;
+    return (probe.left.kind === ts.SyntaxKind.ThisKeyword &&
+        ts.isPropertyAccessExpression(right) &&
+        right.expression.kind === ts.SyntaxKind.ThisKeyword &&
+        ts.isIdentifier(right.name) &&
+        right.name.text.startsWith("__"));
+}
+//# sourceMappingURL=npm-static-umd.js.map