packtory 0.0.7 → 0.0.9

package/dead-code-eliminator/cross-bundle/cross-bundle-seeds.js

@@ -0,0 +1,126 @@
+import { Node as TsMorphNode } from 'ts-morph';
+import { resolvePublicModuleSourceFilePath } from "../../package-surface/modules.js";
+import { bindingId } from "../reachability/reachability.js";
+function indexBundles(inputs) {
+    const map = new Map();
+    for (const input of inputs) {
+        const bindingsByFilePath = new Map(input.fileBindings.map((file) => {
+            return [file.sourceFilePath, file];
+        }));
+        map.set(input.bundle.name, { bundle: input.bundle, bindingsByFilePath });
+    }
+    return map;
+}
+function tryResolveAgainstBundle(indexedBundle, specifier) {
+    const sourceFilePath = resolvePublicModuleSourceFilePath(indexedBundle.bundle, specifier);
+    if (sourceFilePath === undefined) {
+        return undefined;
+    }
+    return { bundleName: indexedBundle.bundle.name, sourceFilePath, indexedBundle };
+}
+function resolveCrossBundleTarget(specifier, indexed) {
+    if (specifier === undefined) {
+        return undefined;
+    }
+    for (const info of indexed.values()) {
+        const resolved = tryResolveAgainstBundle(info, specifier);
+        if (resolved !== undefined) {
+            return resolved;
+        }
+    }
+    return undefined;
+}
+function recordSeed(seeds, bundleName, seed) {
+    const existing = seeds.get(bundleName) ?? new Set();
+    existing.add(seed);
+    seeds.set(bundleName, existing);
+}
+function seedAllBindings(seeds, target) {
+    const fileBindings = target.indexedBundle.bindingsByFilePath.get(target.sourceFilePath);
+    if (fileBindings === undefined) {
+        return;
+    }
+    for (const binding of fileBindings.bindings) {
+        recordSeed(seeds, target.bundleName, bindingId(target.sourceFilePath, binding.name));
+    }
+}
+function localNameOfNamedImport(namedImport) {
+    return namedImport.getAliasNode()?.getText() ?? namedImport.getName();
+}
+function isLocalBindingReachable(context, localName) {
+    return context.localReachable.has(bindingId(context.sourceFilePath, localName));
+}
+function recordDefaultImportSeed(importDeclaration, target, context) {
+    const defaultImport = importDeclaration.getDefaultImport();
+    if (defaultImport === undefined) {
+        return;
+    }
+    if (!isLocalBindingReachable(context, defaultImport.getText())) {
+        return;
+    }
+    recordSeed(context.seeds, target.bundleName, bindingId(target.sourceFilePath, 'default'));
+}
+function recordNamedImportSeeds(importDeclaration, target, context) {
+    for (const namedImport of importDeclaration.getNamedImports()) {
+        if (isLocalBindingReachable(context, localNameOfNamedImport(namedImport))) {
+            recordSeed(context.seeds, target.bundleName, bindingId(target.sourceFilePath, namedImport.getName()));
+        }
+    }
+}
+function processImportDeclaration(importDeclaration, context) {
+    const target = resolveCrossBundleTarget(importDeclaration.getModuleSpecifierValue(), context.indexed);
+    if (target === undefined) {
+        return;
+    }
+    const namespaceImport = importDeclaration.getNamespaceImport();
+    if (namespaceImport !== undefined) {
+        if (isLocalBindingReachable(context, namespaceImport.getText())) {
+            seedAllBindings(context.seeds, target);
+        }
+        return;
+    }
+    recordDefaultImportSeed(importDeclaration, target, context);
+    recordNamedImportSeeds(importDeclaration, target, context);
+}
+function recordNamedReExportSeeds(exportDeclaration, target, seeds) {
+    for (const namedExport of exportDeclaration.getNamedExports()) {
+        recordSeed(seeds, target.bundleName, bindingId(target.sourceFilePath, namedExport.getName()));
+    }
+}
+function processExportDeclaration(exportDeclaration, context) {
+    const target = resolveCrossBundleTarget(exportDeclaration.getModuleSpecifierValue(), context.indexed);
+    if (target === undefined) {
+        return;
+    }
+    if (exportDeclaration.isNamespaceExport()) {
+        seedAllBindings(context.seeds, target);
+        return;
+    }
+    recordNamedReExportSeeds(exportDeclaration, target, context.seeds);
+}
+function walkCrossBundleStatements(sourceFile, context) {
+    for (const statement of sourceFile.getStatements()) {
+        if (TsMorphNode.isImportDeclaration(statement)) {
+            processImportDeclaration(statement, context);
+        }
+        else if (TsMorphNode.isExportDeclaration(statement)) {
+            processExportDeclaration(statement, context);
+        }
+    }
+}
+export function buildCrossBundleSeeds(inputs) {
+    const indexed = indexBundles(inputs);
+    const seeds = new Map();
+    for (const input of inputs) {
+        for (const sourceFile of input.sourceFiles) {
+            walkCrossBundleStatements(sourceFile, {
+                indexed,
+                seeds,
+                sourceFilePath: sourceFile.getFilePath(),
+                localReachable: input.localReachable
+            });
+        }
+    }
+    return seeds;
+}
+//# sourceMappingURL=cross-bundle-seeds.js.map

package/dead-code-eliminator/cross-bundle/cross-bundle-seeds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-bundle-seeds.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/cross-bundle/cross-bundle-seeds.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,WAAW,EAAmE,MAAM,UAAU,CAAC;AAEhH,OAAO,EAAE,iCAAiC,EAAE,MAAM,kCAAkC,CAAC;AACrF,OAAO,EAAE,SAAS,EAAqB,MAAM,iCAAiC,CAAC;AA6B/E,SAAS,YAAY,CAAC,MAAmC;IACrD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAC9B,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC5B,OAAO,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC,CACL,CAAC;QACF,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,aAA4B,EAAE,SAAiB;IAC5E,MAAM,cAAc,GAAG,iCAAiC,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC1F,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,wBAAwB,CAC7B,SAA6B,EAC7B,OAA2C;IAE3C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC1D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,QAAQ,CAAC;QACpB,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CAAC,KAA+B,EAAE,UAAkB,EAAE,IAAY;IACjF,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IAC5D,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnB,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,eAAe,CAAC,KAA+B,EAAE,MAAsB;IAC5E,MAAM,YAAY,GAAG,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACxF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;IACX,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC1C,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACzF,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,WAAqE;IACjG,OAAO,WAAW,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAoB,EAAE,SAAiB;IACpE,OAAO,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,uBAAuB,CAC5B,iBAAoC,EACpC,MAAsB,EACtB,OAAoB;IAEpB,MAAM,aAAa,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,CAAC;IAC3D,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;IACX,CAAC;IACD,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC7D,OAAO;IACX,CAAC;IACD,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,sBAAsB,CAC3B,iBAAoC,EACpC,MAAsB,EACtB,OAAoB;IAEpB,KAAK,MAAM,WAAW,IAAI,iBAAiB,CAAC,eAAe,EAAE,EAAE,CAAC;QAC5D,IAAI,uBAAuB,CAAC,OAAO,EAAE,sBAAsB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;YACxE,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC1G,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,iBAAoC,EAAE,OAAoB;IACxF,MAAM,MAAM,GAAG,wBAAwB,CAAC,iBAAiB,CAAC,uBAAuB,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACtG,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO;IACX,CAAC;IACD,MAAM,eAAe,GAAG,iBAAiB,CAAC,kBAAkB,EAAE,CAAC;IAC/D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,uBAAuB,CAAC,OAAO,EAAE,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;YAC9D,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO;IACX,CAAC;IACD,uBAAuB,CAAC,iBAAiB,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5D,sBAAsB,CAAC,iBAAiB,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,wBAAwB,CAC7B,iBAAoC,EACpC,MAAsB,EACtB,KAA+B;IAE/B,KAAK,MAAM,WAAW,IAAI,iBAAiB,CAAC,eAAe,EAAE,EAAE,CAAC;QAC5D,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAClG,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,iBAAoC,EAAE,OAAoB;IACxF,MAAM,MAAM,GAAG,wBAAwB,CAAC,iBAAiB,CAAC,uBAAuB,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACtG,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO;IACX,CAAC;IACD,IAAI,iBAAiB,CAAC,iBAAiB,EAAE,EAAE,CAAC;QACxC,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,OAAO;IACX,CAAC;IACD,wBAAwB,CAAC,iBAAiB,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,yBAAyB,CAAC,UAAgC,EAAE,OAAoB;IACrF,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,aAAa,EAAE,EAAE,CAAC;QACjD,IAAI,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACpD,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;IACL,CAAC;AACL,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAmC;IACrE,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACzC,yBAAyB,CAAC,UAAU,EAAE;gBAClC,OAAO;gBACP,KAAK;gBACL,cAAc,EAAE,UAAU,CAAC,WAAW,EAAE;gBACxC,cAAc,EAAE,KAAK,CAAC,cAAc;aACvC,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dead-code-eliminator/elimination-emitter.js

@@ -0,0 +1,53 @@
+function buildFileDecisions(original, analyzed) {
+    const analyzedBySourcePath = new Map(analyzed.contents.map((entry) => {
+        return [entry.fileDescription.sourceFilePath, entry];
+    }));
+    return original.contents.map((entry) => {
+        const emitted = analyzedBySourcePath.get(entry.fileDescription.sourceFilePath);
+        const sourceBytes = Buffer.byteLength(entry.fileDescription.content);
+        if (emitted === undefined) {
+            return {
+                path: entry.fileDescription.sourceFilePath,
+                decision: 'eliminated',
+                reason: 'not-emitted-after-analysis',
+                sourceBytes
+            };
+        }
+        const outputBytes = Buffer.byteLength(emitted.fileDescription.content);
+        if (entry.fileDescription.content !== emitted.fileDescription.content) {
+            return {
+                path: entry.fileDescription.sourceFilePath,
+                decision: 'transformed',
+                reason: 'rewritten-after-analysis',
+                sourceBytes,
+                outputBytes
+            };
+        }
+        return {
+            path: entry.fileDescription.sourceFilePath,
+            decision: 'kept',
+            reason: 'reachable',
+            sourceBytes
+        };
+    });
+}
+export function maybeEmitElimination(broadcaster, originalBundles, analyzed) {
+    if (!broadcaster.hasSubscribers('eliminationCompleted')) {
+        return;
+    }
+    broadcaster.emit('eliminationCompleted', {
+        perBundle: analyzed.map((bundle, index) => {
+            const originalBundle = originalBundles[index];
+            if (originalBundle === undefined) {
+                throw new Error(`Original bundle missing for analyzed bundle "${bundle.name}"`);
+            }
+            return {
+                packageName: bundle.name,
+                files: buildFileDecisions(originalBundle, bundle),
+                droppedSymbols: [],
+                seeds: []
+            };
+        })
+    });
+}
+//# sourceMappingURL=elimination-emitter.js.map

package/dead-code-eliminator/elimination-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"elimination-emitter.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/elimination-emitter.ts"],"names":[],"mappings":"AAIA,SAAS,kBAAkB,CAAC,QAAsB,EAAE,QAAwB;IACxE,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAChC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5B,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,cAAc,EAAE,KAAK,CAAU,CAAC;IAClE,CAAC,CAAC,CACL,CAAC;IACF,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAgB,EAAE;QACjD,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QAC/E,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO;gBACH,IAAI,EAAE,KAAK,CAAC,eAAe,CAAC,cAAc;gBAC1C,QAAQ,EAAE,YAAY;gBACtB,MAAM,EAAE,4BAA4B;gBACpC,WAAW;aACd,CAAC;QACN,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,eAAe,CAAC,OAAO,KAAK,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;YACpE,OAAO;gBACH,IAAI,EAAE,KAAK,CAAC,eAAe,CAAC,cAAc;gBAC1C,QAAQ,EAAE,aAAa;gBACvB,MAAM,EAAE,0BAA0B;gBAClC,WAAW;gBACX,WAAW;aACd,CAAC;QACN,CAAC;QACD,OAAO;YACH,IAAI,EAAE,KAAK,CAAC,eAAe,CAAC,cAAc;YAC1C,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,WAAW;YACnB,WAAW;SACd,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,WAAsC,EACtC,eAAwC,EACxC,QAAmC;IAEnC,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACtD,OAAO;IACX,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,sBAAsB,EAAE;QACrC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YACtC,MAAM,cAAc,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,gDAAgD,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;YACpF,CAAC;YACD,OAAO;gBACH,WAAW,EAAE,MAAM,CAAC,IAAI;gBACxB,KAAK,EAAE,kBAAkB,CAAC,cAAc,EAAE,MAAM,CAAC;gBACjD,cAAc,EAAE,EAAE;gBAClB,KAAK,EAAE,EAAE;aACZ,CAAC;QACN,CAAC,CAAC;KACL,CAAC,CAAC;AACP,CAAC"}

package/dead-code-eliminator/eliminator.js

@@ -0,0 +1,141 @@
+import { createEmptyFileAnalysis } from "./analyzed-bundle.js";
+import { maybeEmitElimination } from "./elimination-emitter.js";
+import { buildCrossBundleSeeds } from "./cross-bundle/cross-bundle-seeds.js";
+import { loadBundle } from "./load-bundle.js";
+import { bindingId } from "./reachability/reachability.js";
+import { classifySideEffects } from "./side-effect-classifier.js";
+import { computeSideEffectsField } from "./side-effects-field.js";
+import { applyRemovalPlan } from "./transform/declaration-remover.js";
+import { recomposeSourceMap } from "./transform/source-map-composer.js";
+function allBindingNamesFor(loaded) {
+    const names = new Set();
+    for (const binding of loaded.bindings) {
+        names.add(binding.name);
+    }
+    return names;
+}
+function reachableBindingsFor(loaded, reachable) {
+    const { sourceFilePath } = loaded.resource.fileDescription;
+    const surviving = new Set();
+    for (const binding of loaded.bindings) {
+        if (reachable.has(bindingId(sourceFilePath, binding.name))) {
+            surviving.add(binding.name);
+        }
+    }
+    return surviving;
+}
+function transformSourceFile(sourceFile, surviving) {
+    const result = applyRemovalPlan(sourceFile, { survivingNames: surviving });
+    return { transformedCode: sourceFile.getFullText(), atoms: result.atoms };
+}
+function analyzeCodeFile(loaded, context) {
+    const sideEffectStatements = classifySideEffects(loaded.sourceFile);
+    const reachableBindings = reachableBindingsFor(loaded, context.reachable);
+    const shouldTransform = context.transformationsEnabled && sideEffectStatements.length === 0;
+    const survivingBindings = shouldTransform ? reachableBindings : allBindingNamesFor(loaded);
+    return {
+        analysis: { survivingBindings, sideEffectStatements, sideEffectImports: new Set() },
+        reachableBindings,
+        shouldTransform
+    };
+}
+const noTransforms = [];
+function buildAnalyzedResource(loaded, context) {
+    if (loaded.sourceFile === undefined) {
+        return { resource: { ...loaded.resource, analysis: createEmptyFileAnalysis() }, transforms: noTransforms };
+    }
+    const { analysis, reachableBindings, shouldTransform } = analyzeCodeFile(loaded, context);
+    if (!shouldTransform) {
+        return { resource: { ...loaded.resource, analysis }, transforms: noTransforms };
+    }
+    const originalCode = loaded.resource.fileDescription.content;
+    const { transformedCode, atoms } = transformSourceFile(loaded.sourceFile, reachableBindings);
+    if (transformedCode === originalCode) {
+        return { resource: { ...loaded.resource, analysis }, transforms: noTransforms };
+    }
+    return {
+        resource: {
+            ...loaded.resource,
+            fileDescription: { ...loaded.resource.fileDescription, content: transformedCode },
+            analysis
+        },
+        transforms: [{ originalCode, transformedCode, atoms }]
+    };
+}
+function crossBundleInputFrom(loaded) {
+    const sourceFiles = [];
+    for (const entry of loaded.loaded) {
+        if (entry.sourceFile !== undefined) {
+            sourceFiles.push(entry.sourceFile);
+        }
+    }
+    return {
+        bundle: loaded.input.bundle,
+        sourceFiles,
+        fileBindings: loaded.fileBindings,
+        localReachable: loaded.reachability.localReachable
+    };
+}
+function recomposePairedSourceMaps(contents, transformsByMapPath) {
+    return contents.map((resource) => {
+        const transform = transformsByMapPath.get(resource.fileDescription.targetFilePath);
+        if (transform === undefined) {
+            return resource;
+        }
+        const recomposed = recomposeSourceMap({
+            originalMap: resource.fileDescription.content,
+            originalCode: transform.originalCode,
+            transformedCode: transform.transformedCode,
+            atoms: transform.atoms
+        });
+        return {
+            ...resource,
+            fileDescription: { ...resource.fileDescription, content: recomposed }
+        };
+    });
+}
+function buildMapPathTransformIndex(outputs) {
+    return new Map(outputs.flatMap((output) => {
+        return output.transforms.map((transform) => {
+            return [`${output.resource.fileDescription.targetFilePath}.map`, transform];
+        });
+    }));
+}
+function analyzeBundleWithSeeds(loaded, externalSeeds) {
+    const context = {
+        reachable: loaded.reachability.expandWith(externalSeeds),
+        transformationsEnabled: loaded.input.transformationsEnabled
+    };
+    const outputs = loaded.loaded.map((entry) => {
+        return buildAnalyzedResource(entry, context);
+    });
+    const transformsByMapPath = buildMapPathTransformIndex(outputs);
+    const contents = outputs.map((output) => {
+        return output.resource;
+    });
+    const finalContents = recomposePairedSourceMaps(contents, transformsByMapPath);
+    return {
+        ...loaded.input.bundle,
+        contents: finalContents,
+        sideEffectsField: computeSideEffectsField(finalContents)
+    };
+}
+export function createDeadCodeEliminator(dependencies) {
+    const { createProject, progressBroadcaster } = dependencies;
+    return {
+        async eliminate(inputs) {
+            const loadedBundles = inputs.map((input) => {
+                return loadBundle(createProject, input);
+            });
+            const seedMap = buildCrossBundleSeeds(loadedBundles.map(crossBundleInputFrom));
+            const analyzed = loadedBundles.map((loaded) => {
+                return analyzeBundleWithSeeds(loaded, seedMap.get(loaded.input.bundle.name));
+            });
+            maybeEmitElimination(progressBroadcaster, inputs.map((input) => {
+                return input.bundle;
+            }), analyzed);
+            return analyzed;
+        }
+    };
+}
+//# sourceMappingURL=eliminator.js.map

package/dead-code-eliminator/eliminator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eliminator.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/eliminator.ts"],"names":[],"mappings":"AACA,OAAO,EACH,uBAAuB,EAK1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAyB,MAAM,sCAAsC,CAAC;AACpG,OAAO,EACH,UAAU,EAKb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAqB,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAIxE,SAAS,kBAAkB,CAAC,MAA0B;IAClD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAA0B,EAAE,SAA8B;IACpF,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC;IAC3D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAOD,SAAS,mBAAmB,CAAC,UAAsB,EAAE,SAA8B;IAC/E,MAAM,MAAM,GAAG,gBAAgB,CAAC,UAAU,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3E,OAAO,EAAE,eAAe,EAAE,UAAU,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AAC9E,CAAC;AAaD,SAAS,eAAe,CAAC,MAA0B,EAAE,OAAwB;IACzE,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACpE,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1E,MAAM,eAAe,GAAG,OAAO,CAAC,sBAAsB,IAAI,oBAAoB,CAAC,MAAM,KAAK,CAAC,CAAC;IAC5F,MAAM,iBAAiB,GAAG,eAAe,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3F,OAAO;QACH,QAAQ,EAAE,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,IAAI,GAAG,EAAU,EAAE;QAC3F,iBAAiB;QACjB,eAAe;KAClB,CAAC;AACN,CAAC;AAaD,MAAM,YAAY,GAA+B,EAAE,CAAC;AAEpD,SAAS,qBAAqB,CAAC,MAAsB,EAAE,OAAwB;IAC3E,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,uBAAuB,EAAE,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC;IAC/G,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,eAAe,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1F,IAAI,CAAC,eAAe,EAAE,CAAC;QACnB,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC;IACpF,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC;IAC7D,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,GAAG,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAC7F,IAAI,eAAe,KAAK,YAAY,EAAE,CAAC;QACnC,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC;IACpF,CAAC;IACD,OAAO;QACH,QAAQ,EAAE;YACN,GAAG,MAAM,CAAC,QAAQ;YAClB,eAAe,EAAE,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,OAAO,EAAE,eAAe,EAAE;YACjF,QAAQ;SACX;QACD,UAAU,EAAE,CAAC,EAAE,YAAY,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;KACzD,CAAC;AACN,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAoB;IAC9C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IACD,OAAO;QACH,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;QAC3B,WAAW;QACX,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,cAAc,EAAE,MAAM,CAAC,YAAY,CAAC,cAAc;KACrD,CAAC;AACN,CAAC;AAED,SAAS,yBAAyB,CAC9B,QAA2C,EAC3C,mBAAyD;IAEzD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC7B,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QACnF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,QAAQ,CAAC;QACpB,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC;YAClC,WAAW,EAAE,QAAQ,CAAC,eAAe,CAAC,OAAO;YAC7C,YAAY,EAAE,SAAS,CAAC,YAAY;YACpC,eAAe,EAAE,SAAS,CAAC,eAAe;YAC1C,KAAK,EAAE,SAAS,CAAC,KAAK;SACzB,CAAC,CAAC;QACH,OAAO;YACH,GAAG,QAAQ;YACX,eAAe,EAAE,EAAE,GAAG,QAAQ,CAAC,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE;SACxE,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,0BAA0B,CAAC,OAA+B;IAC/D,OAAO,IAAI,GAAG,CACV,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QACvB,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YACvC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,MAAM,EAAE,SAAS,CAAU,CAAC;QACzF,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CACL,CAAC;AACN,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAoB,EAAE,aAA8C;IAChG,MAAM,OAAO,GAAoB;QAC7B,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,aAAa,CAAC;QACxD,sBAAsB,EAAE,MAAM,CAAC,KAAK,CAAC,sBAAsB;KAC9D,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACxC,OAAO,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IACH,MAAM,mBAAmB,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACpC,OAAO,MAAM,CAAC,QAAQ,CAAC;IAC3B,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,yBAAyB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC/E,OAAO;QACH,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM;QACtB,QAAQ,EAAE,aAAa;QACvB,gBAAgB,EAAE,uBAAuB,CAAC,aAAa,CAAC;KAC3D,CAAC;AACN,CAAC;AAOD,MAAM,UAAU,wBAAwB,CAAC,YAA4C;IACjF,MAAM,EAAE,aAAa,EAAE,mBAAmB,EAAE,GAAG,YAAY,CAAC;IAC5D,OAAO;QACH,KAAK,CAAC,SAAS,CAAC,MAAM;YAClB,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACvC,OAAO,UAAU,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,qBAAqB,CAAC,aAAa,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAC/E,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC1C,OAAO,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC;YACH,oBAAoB,CAChB,mBAAmB,EACnB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACjB,OAAO,KAAK,CAAC,MAAM,CAAC;YACxB,CAAC,CAAC,EACF,QAAQ,CACX,CAAC;YACF,OAAO,QAAQ,CAAC;QACpB,CAAC;KACJ,CAAC;AACN,CAAC"}

package/dead-code-eliminator/load-bundle.js

@@ -0,0 +1,52 @@
+import { isCodeFile } from "../common/code-files.js";
+import { getPublicRootIds } from "../package-surface/modules.js";
+import { extractTopLevelBindings } from "./reachability/binding-extractor.js";
+import { buildReachabilityIndex } from "./reachability/reachability.js";
+function loadResource(project, resource) {
+    if (!isCodeFile(resource.fileDescription.targetFilePath)) {
+        return { resource };
+    }
+    const sourceFile = project.createSourceFile(resource.fileDescription.sourceFilePath, resource.fileDescription.content);
+    return { resource, sourceFile, bindings: extractTopLevelBindings(sourceFile) };
+}
+function buildFileBindings(loaded) {
+    const result = [];
+    for (const entry of loaded) {
+        if (entry.sourceFile !== undefined) {
+            result.push({
+                sourceFilePath: entry.resource.fileDescription.sourceFilePath,
+                sourceFile: entry.sourceFile,
+                bindings: entry.bindings
+            });
+        }
+    }
+    return result;
+}
+function publicRootFilePathsFor(bundle) {
+    const publicRootIds = getPublicRootIds(bundle);
+    const paths = new Set();
+    for (const rootId of publicRootIds) {
+        const root = bundle.roots[rootId];
+        if (root === undefined) {
+            throw new Error(`Bundle "${bundle.name}" is missing root "${rootId}" referenced by its public surface`);
+        }
+        paths.add(root.js.sourceFilePath);
+        if (root.declarationFile !== undefined) {
+            paths.add(root.declarationFile.sourceFilePath);
+        }
+    }
+    return paths;
+}
+export function loadBundle(createProject, input) {
+    const project = createProject();
+    const loaded = input.bundle.contents.map((resource) => {
+        return loadResource(project, resource);
+    });
+    const fileBindings = buildFileBindings(loaded);
+    const reachability = buildReachabilityIndex({
+        files: fileBindings,
+        entryPointFilePaths: publicRootFilePathsFor(input.bundle)
+    });
+    return { input, project, loaded, fileBindings, reachability };
+}
+//# sourceMappingURL=load-bundle.js.map

package/dead-code-eliminator/load-bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"load-bundle.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/load-bundle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE,OAAO,EAAE,uBAAuB,EAA0B,MAAM,qCAAqC,CAAC;AACtG,OAAO,EAAE,sBAAsB,EAA6C,MAAM,gCAAgC,CAAC;AAyBnH,SAAS,YAAY,CAAC,OAAgB,EAAE,QAA8B;IAClE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,QAAQ,EAAE,CAAC;IACxB,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CACvC,QAAQ,CAAC,eAAe,CAAC,cAAc,EACvC,QAAQ,CAAC,eAAe,CAAC,OAAO,CACnC,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;AACnF,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAiC;IACxD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC;gBACR,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc;gBAC7D,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;aAC3B,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAoB;IAChD,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,WAAW,MAAM,CAAC,IAAI,sBAAsB,MAAM,oCAAoC,CAAC,CAAC;QAC5G,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACrC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QACnD,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,aAA4B,EAAE,KAAuB;IAC5E,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAClD,OAAO,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,sBAAsB,CAAC;QACxC,KAAK,EAAE,YAAY;QACnB,mBAAmB,EAAE,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC;KAC5D,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC;AAClE,CAAC"}

package/dead-code-eliminator/reachability/binding-extractor.js

@@ -0,0 +1,88 @@
+import { Node as TsMorphNode } from 'ts-morph';
+function isNamedDeclaration(statement) {
+    return (TsMorphNode.isFunctionDeclaration(statement) ||
+        TsMorphNode.isClassDeclaration(statement) ||
+        TsMorphNode.isInterfaceDeclaration(statement) ||
+        TsMorphNode.isTypeAliasDeclaration(statement) ||
+        TsMorphNode.isEnumDeclaration(statement) ||
+        TsMorphNode.isModuleDeclaration(statement));
+}
+function bindingsFromNamedDeclaration(statement) {
+    const name = statement.getName();
+    if (name === undefined) {
+        return [];
+    }
+    const isExported = statement.isExported() || statement.isDefaultExport();
+    return [{ name, isExported, statement, declarationNode: statement }];
+}
+function bindingsFromVariableStatement(statement) {
+    const isExported = statement.isExported();
+    return statement.getDeclarations().map((declarator) => {
+        return { name: declarator.getName(), isExported, statement, declarationNode: declarator };
+    });
+}
+function localNameOfNamedImport(namedImport) {
+    return namedImport.getAliasNode()?.getText() ?? namedImport.getName();
+}
+function bindingsFromImportDeclaration(statement) {
+    const result = [];
+    const defaultImport = statement.getDefaultImport();
+    if (defaultImport !== undefined) {
+        result.push({
+            name: defaultImport.getText(),
+            isExported: false,
+            statement,
+            declarationNode: defaultImport.getParent()
+        });
+    }
+    const namespaceImport = statement.getNamespaceImport();
+    if (namespaceImport !== undefined) {
+        result.push({
+            name: namespaceImport.getText(),
+            isExported: false,
+            statement,
+            declarationNode: namespaceImport.getParent()
+        });
+    }
+    for (const namedImport of statement.getNamedImports()) {
+        result.push({
+            name: localNameOfNamedImport(namedImport),
+            isExported: false,
+            statement,
+            declarationNode: namedImport
+        });
+    }
+    return result;
+}
+function bindingsFromExportAssignment(statement) {
+    if (statement.isExportEquals()) {
+        return [];
+    }
+    return [
+        {
+            name: 'default',
+            isExported: true,
+            statement,
+            declarationNode: statement
+        }
+    ];
+}
+function bindingsFromStatement(statement) {
+    if (isNamedDeclaration(statement)) {
+        return bindingsFromNamedDeclaration(statement);
+    }
+    if (TsMorphNode.isVariableStatement(statement)) {
+        return bindingsFromVariableStatement(statement);
+    }
+    if (TsMorphNode.isImportDeclaration(statement)) {
+        return bindingsFromImportDeclaration(statement);
+    }
+    if (TsMorphNode.isExportAssignment(statement)) {
+        return bindingsFromExportAssignment(statement);
+    }
+    return [];
+}
+export function extractTopLevelBindings(sourceFile) {
+    return sourceFile.getStatements().flatMap(bindingsFromStatement);
+}
+//# sourceMappingURL=binding-extractor.js.map

package/dead-code-eliminator/reachability/binding-extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-extractor.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/reachability/binding-extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,IAAI,IAAI,WAAW,EAYtB,MAAM,UAAU,CAAC;AAiBlB,SAAS,kBAAkB,CAAC,SAAoB;IAC5C,OAAO,CACH,WAAW,CAAC,qBAAqB,CAAC,SAAS,CAAC;QAC5C,WAAW,CAAC,kBAAkB,CAAC,SAAS,CAAC;QACzC,WAAW,CAAC,sBAAsB,CAAC,SAAS,CAAC;QAC7C,WAAW,CAAC,sBAAsB,CAAC,SAAS,CAAC;QAC7C,WAAW,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACxC,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAC7C,CAAC;AACN,CAAC;AAED,SAAS,4BAA4B,CAAC,SAAoC;IACtE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,EAAE,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,EAAE,IAAI,SAAS,CAAC,eAAe,EAAE,CAAC;IACzE,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,6BAA6B,CAAC,SAA4B;IAC/D,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,EAAE,CAAC;IAC1C,OAAO,SAAS,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QAClD,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;IAC9F,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,sBAAsB,CAAC,WAAqE;IACjG,OAAO,WAAW,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,6BAA6B,CAAC,SAA4B;IAC/D,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,SAAS,CAAC,gBAAgB,EAAE,CAAC;IACnD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,aAAa,CAAC,OAAO,EAAE;YAC7B,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,eAAe,EAAE,aAAa,CAAC,SAAS,EAAE;SAC7C,CAAC,CAAC;IACP,CAAC;IACD,MAAM,eAAe,GAAG,SAAS,CAAC,kBAAkB,EAAE,CAAC;IACvD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,eAAe,CAAC,OAAO,EAAE;YAC/B,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,eAAe,EAAE,eAAe,CAAC,SAAS,EAAE;SAC/C,CAAC,CAAC;IACP,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,EAAE,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,sBAAsB,CAAC,WAAW,CAAC;YACzC,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,eAAe,EAAE,WAAW;SAC/B,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,4BAA4B,CAAC,SAA2B;IAC7D,IAAI,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAC;IACd,CAAC;IACD,OAAO;QACH;YACI,IAAI,EAAE,SAAS;YACf,UAAU,EAAE,IAAI;YAChB,SAAS;YACT,eAAe,EAAE,SAAS;SAC7B;KACJ,CAAC;AACN,CAAC;AAED,SAAS,qBAAqB,CAAC,SAAoB;IAC/C,IAAI,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,OAAO,4BAA4B,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,OAAO,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,OAAO,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,WAAW,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,OAAO,4BAA4B,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,EAAE,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,UAAgC;IACpE,OAAO,UAAU,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;AACrE,CAAC"}

package/dead-code-eliminator/reachability/impure-statements.js

@@ -0,0 +1,12 @@
+import { Node as TsMorphNode } from 'ts-morph';
+import { classifySideEffects } from "../side-effect-classifier.js";
+export function collectImpureStatements(sourceFile) {
+    const impureLines = new Set();
+    for (const statement of classifySideEffects(sourceFile)) {
+        impureLines.add(statement.line);
+    }
+    return sourceFile.getStatements().filter((statement) => {
+        return impureLines.has(statement.getStartLineNumber()) && !TsMorphNode.isImportDeclaration(statement);
+    });
+}
+//# sourceMappingURL=impure-statements.js.map

package/dead-code-eliminator/reachability/impure-statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impure-statements.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/reachability/impure-statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,WAAW,EAAmC,MAAM,UAAU,CAAC;AAChF,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEnE,MAAM,UAAU,uBAAuB,CAAC,UAAgC;IACpE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;QACtD,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,UAAU,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE;QACnD,OAAO,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC1G,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dead-code-eliminator/reachability/reachability.js

@@ -0,0 +1,141 @@
+import { SyntaxKind } from 'ts-morph';
+import { collectImpureStatements } from "./impure-statements.js";
+export function bindingId(filePath, name) {
+    return `${filePath}::${name}`;
+}
+function buildDeclarationNodeIndex(files) {
+    const index = new Map();
+    for (const file of files) {
+        for (const binding of file.bindings) {
+            index.set(binding.declarationNode, bindingId(file.sourceFilePath, binding.name));
+        }
+    }
+    return index;
+}
+function buildBindingsByFile(files) {
+    const map = new Map();
+    for (const file of files) {
+        const ids = new Set();
+        for (const binding of file.bindings) {
+            ids.add(bindingId(file.sourceFilePath, binding.name));
+        }
+        map.set(file.sourceFilePath, ids);
+    }
+    return map;
+}
+function buildNodeById(files) {
+    const map = new Map();
+    for (const file of files) {
+        for (const binding of file.bindings) {
+            map.set(bindingId(file.sourceFilePath, binding.name), binding.declarationNode);
+        }
+    }
+    return map;
+}
+function addDeclarationTargets(declarations, declarationIndex, targets) {
+    for (const declaration of declarations) {
+        const candidate = declarationIndex.get(declaration);
+        if (candidate !== undefined) {
+            targets.add(candidate);
+        }
+    }
+}
+function addSymbolTargets(symbol, declarationIndex, targets) {
+    addDeclarationTargets(symbol.getDeclarations(), declarationIndex, targets);
+    const aliased = symbol.getAliasedSymbol();
+    if (aliased !== undefined) {
+        addDeclarationTargets(aliased.getDeclarations(), declarationIndex, targets);
+    }
+}
+function collectIdentifierTargets(rootNode, declarationIndex) {
+    const targets = new Set();
+    for (const identifier of rootNode.getDescendantsOfKind(SyntaxKind.Identifier)) {
+        const symbol = identifier.getSymbol();
+        if (symbol !== undefined) {
+            addSymbolTargets(symbol, declarationIndex, targets);
+        }
+    }
+    return targets;
+}
+function assertTraversalIteration(remainingIterations) {
+    if (remainingIterations === 0) {
+        throw new Error('Reachability traversal exceeded the maximum iteration budget');
+    }
+}
+function createTraversalBudget(maximumIterations) {
+    return Array.from({ length: maximumIterations + 1 }, (_value, index) => {
+        return maximumIterations - index;
+    });
+}
+function getMaximumTraversalIterations(initialVisitedSize, seedCount, maximumNodeCount) {
+    return initialVisitedSize + seedCount + maximumNodeCount * maximumNodeCount;
+}
+function createTraversalState(initialVisited, seedList) {
+    const visited = new Set([...initialVisited, ...seedList]);
+    return { visited, queue: Array.from(visited) };
+}
+function enqueueUnvisitedNeighbors(current, expand, visited, queue) {
+    for (const neighbor of expand(current)) {
+        if (!visited.has(neighbor)) {
+            visited.add(neighbor);
+            queue.push(neighbor);
+        }
+    }
+}
+function bfsClosure(seeds, expand, initialVisited, maximumNodeCount) {
+    const seedList = Array.from(seeds);
+    const maximumIterations = getMaximumTraversalIterations(initialVisited.size, seedList.length, maximumNodeCount);
+    const traversalState = createTraversalState(initialVisited, seedList);
+    for (const remainingIterations of createTraversalBudget(maximumIterations)) {
+        const current = traversalState.queue.shift();
+        if (current === undefined) {
+            break;
+        }
+        assertTraversalIteration(remainingIterations);
+        enqueueUnvisitedNeighbors(current, expand, traversalState.visited, traversalState.queue);
+    }
+    return traversalState.visited;
+}
+function addStatementSeeds(statements, declarationIndex, seeds) {
+    for (const statement of statements) {
+        for (const target of collectIdentifierTargets(statement, declarationIndex)) {
+            seeds.add(target);
+        }
+    }
+}
+function gatherLocalSeeds(files, entryPointFilePaths, declarationIndex) {
+    const seeds = new Set();
+    for (const file of files) {
+        const isEntry = entryPointFilePaths.has(file.sourceFilePath);
+        for (const binding of file.bindings) {
+            if (isEntry && binding.isExported) {
+                seeds.add(bindingId(file.sourceFilePath, binding.name));
+            }
+        }
+        addStatementSeeds(collectImpureStatements(file.sourceFile), declarationIndex, seeds);
+    }
+    return seeds;
+}
+const emptyStringSet = new Set();
+export function buildReachabilityIndex(input) {
+    const declarationIndex = buildDeclarationNodeIndex(input.files);
+    const nodeById = buildNodeById(input.files);
+    const maximumNodeCount = nodeById.size;
+    const expand = (id) => {
+        const node = nodeById.get(id);
+        return node === undefined ? emptyStringSet : collectIdentifierTargets(node, declarationIndex);
+    };
+    const localSeeds = gatherLocalSeeds(input.files, input.entryPointFilePaths, declarationIndex);
+    const localReachable = bfsClosure(localSeeds, expand, emptyStringSet, maximumNodeCount);
+    return {
+        localReachable,
+        bindingIdsByFile: buildBindingsByFile(input.files),
+        expandWith(externalSeeds) {
+            if (externalSeeds === undefined || externalSeeds.size === 0) {
+                return localReachable;
+            }
+            return bfsClosure(externalSeeds, expand, localReachable, maximumNodeCount);
+        }
+    };
+}
+//# sourceMappingURL=reachability.js.map