@openrewrite/rewrite 8.91.1 → 8.91.3

package/dist/javascript/add-import.js

@@ -1,13 +1,28 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.AddImport = exports.ImportStyle = void 0;
-exports.maybeAddImport = maybeAddImport;
+exports.RebindImport = exports.AddImport = exports.ImportStyle = void 0;
+exports.bindImport = bindImport;
+exports.memberName = memberName;
+exports.moduleScopeBindings = moduleScopeBindings;
+exports.hasEsmSyntax = hasEsmSyntax;
+exports.isCommonJs = isCommonJs;
+exports.requiredModuleOfDeclaration = requiredModuleOfDeclaration;
+exports.requiredModuleOf = requiredModuleOf;
+exports.takenNames = takenNames;
+exports.nameTaken = nameTaken;
+exports.moduleNameOf = moduleNameOf;
+exports.existingImportBinding = existingImportBinding;
 const visitor_1 = require("./visitor");
 const java_1 = require("../java");
 const tree_1 = require("./tree");
 const uuid_1 = require("../uuid");
 const markers_1 = require("../markers");
 const style_1 = require("./style");
+const scope_1 = require("./scope");
+const mutative_1 = require("mutative");
+const type_visitor_1 = require("../java/type-visitor");
+const format_1 = require("./format");
+const prettier_format_1 = require("./format/prettier-format");
 var ImportStyle;
 (function (ImportStyle) {
     ImportStyle[ImportStyle["ES6Named"] = 0] = "ES6Named";
@@ -15,7 +30,13 @@ var ImportStyle;
     ImportStyle[ImportStyle["ES6Default"] = 2] = "ES6Default";
     ImportStyle[ImportStyle["CommonJS"] = 3] = "CommonJS"; // const x = require('module')
 })(ImportStyle || (exports.ImportStyle = ImportStyle = {}));
-function maybeAddImport(visitor, options) {
+/**
+ * Ensures an import for `options.module` exists, queuing an `AddImport` edit where none already
+ * serves the request. `maybeBind`'s ESM/CommonJS lane is this function; its own JSDoc carries the
+ * return-value contract. `refuseCreate` answers `undefined` instead of queuing a new import,
+ * without affecting whether an existing binding answers the request first.
+ */
+function bindImport(visitor, options, refuseCreate) {
     var _a, _b;
     validate(options);
     const module = moduleNameOf(options.module);
@@ -38,34 +59,48 @@ function maybeAddImport(visitor, options) {
         }
     }
     if (sideEffectOnly) {
+        if (refuseCreate) {
+            return undefined;
+        }
         visitor.afterVisit.push(new AddImport(options));
         return undefined;
     }
     // A pinned alias is the whole answer, so the file has no say and nothing below needs to read it.
     if (options.alias) {
+        if (refuseCreate) {
+            return undefined;
+        }
         visitor.afterVisit.push(new AddImport(options, options.alias));
         return options.alias;
     }
     const derived = derivedName(options);
-    const cu = compilationUnitOf(visitor);
+    const cursor = (0, scope_1.cursorOf)(visitor);
+    const cu = cursor && (0, scope_1.compilationUnitOf)(cursor);
     if (!cu) {
+        if (refuseCreate) {
+            return undefined;
+        }
         visitor.afterVisit.push(new AddImport(options, derived));
         return derived;
     }
-    const bindings = bindingsInScope(cu, cursorOf(visitor));
-    // An import already serving this request answers it; queuing one would, on the next cycle,
-    // derive a suffixed name from the binding this call just added. A caller that named a preference
-    // takes whatever comes back; one that did not assumes the name it derived, so a binding under
-    // any other name would leave the references it emits unbound.
-    for (const binding of bindings) {
+    // An import already serving this request answers it, under whatever name the file gave it —
+    // only a pinned alias, returned above, asks for a binding of its own. Queuing a second import
+    // would, on the next cycle, derive a suffixed name from the binding this call just added.
+    const scope = (0, scope_1.scopeOf)(cursor);
+    for (const binding of moduleScopeBindings(cu)) {
         if (binding.module === module && binding.member === memberName(options.member) &&
-            binding.typeOnly === typeOnly &&
-            (options.preferredName !== undefined || anyNameAnswers(options) ||
-                binding.name === derived)) {
+            binding.typeOnly === typeOnly && scope.declaringScope(binding.name) === cu) {
             return binding.name;
         }
     }
-    const name = deconflict(derived, takenNames(bindings, visitor));
+    if (refuseCreate) {
+        return undefined;
+    }
+    // Only the module scope answers for a name, but any scope in the file occupies one. The queue
+    // gives every later request for this module the name chosen here, so it has to clear the scopes
+    // those references will sit in, which are not known yet.
+    const taken = takenNames((0, scope_1.namesDeclaredIn)(cu), visitor);
+    const name = (0, scope_1.deconflict)(derived, candidate => taken.has(candidate));
     visitor.afterVisit.push(new AddImport(options, name));
     return name;
 }
@@ -115,108 +150,86 @@ function derivedName(options) {
 function memberName(member) {
     return member === 'default' ? undefined : member;
 }
-function cursorOf(visitor) {
-    return visitor.cursor;
-}
-function compilationUnitOf(visitor) {
-    var _a;
-    // `cursor` is protected on `TreeVisitor`, and the `maybeAddImport`/`maybeRemoveImport`
-    // API is free functions, so reaching it takes a cast.
-    return (_a = cursorOf(visitor)) === null || _a === void 0 ? void 0 : _a.firstEnclosing((v) => (v === null || v === void 0 ? void 0 : v.kind) === tree_1.JS.Kind.CompilationUnit);
-}
-/** Every name in scope at `cursor`: what the file binds, and what each block enclosing it declares. */
-function bindingsInScope(cu, cursor) {
-    const bindings = statementBindings(cu.statements);
-    // A local shadows an import for the code the template lands in, so a name a block declares is
-    // taken there even though the module never answers for it.
-    for (let c = cursor; c && c.value !== cu; c = c.parent) {
-        for (const name of scopeNames(c.value)) {
-            bindings.push({ name });
-        }
-    }
-    return bindings;
-}
-/** The names a scope introduces directly: a block's declarations, or a function's parameters. */
-function scopeNames(scope) {
-    const node = scope;
-    if ((node === null || node === void 0 ? void 0 : node.kind) === java_1.J.Kind.Block) {
-        return statementBindings(node.statements).map(binding => binding.name);
-    }
-    if ((node === null || node === void 0 ? void 0 : node.kind) === java_1.J.Kind.MethodDeclaration) {
-        return node.parameters.elements
-            .flatMap(param => {
-            var _a;
-            return ((_a = param.element) === null || _a === void 0 ? void 0 : _a.kind) === java_1.J.Kind.VariableDeclarations
-                ? param.element.variables.flatMap(v => { var _a; return patternNames((_a = v.element) === null || _a === void 0 ? void 0 : _a.name); })
-                : patternNames(param.element);
-        })
-            .map(bound => bound.name);
-    }
-    if ((node === null || node === void 0 ? void 0 : node.kind) === java_1.J.Kind.Lambda) {
-        return node.parameters.parameters
-            .flatMap(param => {
-            var _a;
-            return ((_a = param.element) === null || _a === void 0 ? void 0 : _a.kind) === java_1.J.Kind.VariableDeclarations
-                ? param.element.variables.flatMap(v => { var _a; return patternNames((_a = v.element) === null || _a === void 0 ? void 0 : _a.name); })
-                : patternNames(param.element);
-        })
-            .map(bound => bound.name);
-    }
-    return [];
-}
-/** Imports are top-level statements and so is anything that can shadow one, so a flat scan sees every name. */
-function statementBindings(statements) {
-    var _a;
+/** What the file's imports and `require`s bind at module scope, and the module each name comes from. */
+function moduleScopeBindings(cu) {
     const bindings = [];
-    const declaredBy = (name) => {
-        for (const bound of patternNames(name)) {
-            bindings.push({ name: bound.name });
-        }
-    };
     const declaredByVariables = (varDecl) => {
-        var _a, _b, _c, _d;
+        var _a, _b, _c;
         for (const variable of varDecl.variables) {
             const required = requiredModule((_b = (_a = variable.element) === null || _a === void 0 ? void 0 : _a.initializer) === null || _b === void 0 ? void 0 : _b.element);
             if (required !== undefined) {
                 bindings.push(...requireBindings((_c = variable.element) === null || _c === void 0 ? void 0 : _c.name, required));
             }
-            else {
-                declaredBy((_d = variable.element) === null || _d === void 0 ? void 0 : _d.name);
-            }
         }
     };
-    for (const stmt of statements) {
+    for (const stmt of cu.statements) {
         const statement = stmt.element;
-        switch (statement === null || statement === void 0 ? void 0 : statement.kind) {
-            case tree_1.JS.Kind.Import:
-                bindings.push(...importBindings(statement));
-                break;
-            case java_1.J.Kind.VariableDeclarations:
-                declaredByVariables(statement);
-                break;
-            case tree_1.JS.Kind.ScopedVariableDeclarations:
-                for (const variable of statement.variables) {
-                    if (((_a = variable.element) === null || _a === void 0 ? void 0 : _a.kind) === java_1.J.Kind.VariableDeclarations) {
-                        declaredByVariables(variable.element);
-                    }
-                }
-                break;
-            case java_1.J.Kind.MethodDeclaration:
-                declaredBy(statement.name);
-                break;
-            case java_1.J.Kind.ClassDeclaration:
-                declaredBy(statement.name);
-                break;
-            case tree_1.JS.Kind.NamespaceDeclaration:
-                declaredBy(statement.name.element);
-                break;
-            case tree_1.JS.Kind.TypeDeclaration:
-                declaredBy(statement.name.element);
-                break;
+        if ((statement === null || statement === void 0 ? void 0 : statement.kind) === tree_1.JS.Kind.Import) {
+            bindings.push(...importBindings(statement));
+            continue;
+        }
+        for (const declaration of (0, scope_1.declarationsOf)(statement)) {
+            declaredByVariables(declaration);
         }
     }
     return bindings;
 }
+/** Whether a top-level statement already marks the file as a module: an import or any export form. */
+function hasEsmSyntax(cu) {
+    return cu.statements.some(stmt => {
+        var _a;
+        const element = stmt.element;
+        // `export {a, b}`, `export * from` and `export default` are their own statement kinds;
+        // `export class`/`function`/`const` instead carry `export` as a modifier on the
+        // declaration itself, the same way TypeScript's own AST models it.
+        const modifiers = element === null || element === void 0 ? void 0 : element.modifiers;
+        return (element === null || element === void 0 ? void 0 : element.kind) === tree_1.JS.Kind.Import ||
+            (element === null || element === void 0 ? void 0 : element.kind) === tree_1.JS.Kind.ExportDeclaration ||
+            (element === null || element === void 0 ? void 0 : element.kind) === tree_1.JS.Kind.ExportAssignment ||
+            ((_a = modifiers === null || modifiers === void 0 ? void 0 : modifiers.some(m => m.keyword === "export")) !== null && _a !== void 0 ? _a : false);
+    }) || hasTopLevelAwait(cu);
+}
+/**
+ * Whether a statement holds an `await` outside any function of its own — legal only at module
+ * top level, unlike an `await` inside an `async function`, which says nothing about the file.
+ */
+function hasTopLevelAwait(cu) {
+    let found = false;
+    (0, scope_1.walk)(cu.statements, node => {
+        if (found) {
+            return false;
+        }
+        if (node.kind === tree_1.JS.Kind.Await) {
+            found = true;
+            return false;
+        }
+        return node.kind !== java_1.J.Kind.MethodDeclaration && node.kind !== java_1.J.Kind.Lambda;
+    });
+    return found;
+}
+/** Whether the file binds its modules with `require`, which decides whether a create is possible. */
+function isCommonJs(cu) {
+    if (cu.sourcePath.endsWith(".cjs") || cu.sourcePath.endsWith(".cts")) {
+        return true;
+    }
+    // Node treats these as ES modules regardless of what they contain, the same way
+    // `determineImportStyle` reads them as ES6-preferring; `.js`/`.ts`/`.tsx` stay ambiguous and
+    // fall through to the statements below.
+    if (cu.sourcePath.endsWith(".mjs") || cu.sourcePath.endsWith(".mts")) {
+        return false;
+    }
+    if (hasEsmSyntax(cu)) {
+        return false;
+    }
+    return cu.statements.some(stmt => (0, scope_1.declarationsOf)(stmt.element).some(d => requiredModuleOfDeclaration(d) !== undefined));
+}
+/** The module a `const X = require('m')` declaration names, for the one variable it declares. */
+function requiredModuleOfDeclaration(declaration) {
+    var _a, _b;
+    return declaration.variables.length === 1
+        ? requiredModule((_b = (_a = declaration.variables[0].element) === null || _a === void 0 ? void 0 : _a.initializer) === null || _b === void 0 ? void 0 : _b.element)
+        : undefined;
+}
 /** The module a `require('...')` initializer names, `undefined` for an initializer that is anything else. */
 function requiredModule(initializer) {
     return (initializer === null || initializer === void 0 ? void 0 : initializer.kind) === java_1.J.Kind.MethodInvocation
@@ -243,59 +256,13 @@ function requiredModuleOf(methodInv) {
         ? moduleNameOf(argument)
         : undefined;
 }
-/**
- * Every name a binding pattern introduces. `member` is the property a name takes its value from,
- * and only a name bound directly by the pattern has one — anything deeper reads a property of a
- * property, so it occupies its name without binding a member of the module.
- */
-function patternNames(pattern) {
-    var _a, _b, _c;
-    if ((pattern === null || pattern === void 0 ? void 0 : pattern.kind) === java_1.J.Kind.Identifier) {
-        return [{ name: pattern.simpleName }];
-    }
-    // An array pattern binds by position, so its elements name no member of what they destructure.
-    if ((pattern === null || pattern === void 0 ? void 0 : pattern.kind) === tree_1.JS.Kind.ArrayBindingPattern) {
-        return pattern.elements.elements
-            .flatMap(elem => {
-            var _a;
-            return ((_a = elem.element) === null || _a === void 0 ? void 0 : _a.kind) === tree_1.JS.Kind.BindingElement
-                ? patternNames(elem.element.name)
-                : patternNames(elem.element);
-        })
-            .map(bound => ({ name: bound.name }));
-    }
-    if ((pattern === null || pattern === void 0 ? void 0 : pattern.kind) !== tree_1.JS.Kind.ObjectBindingPattern) {
-        return [];
-    }
-    const names = [];
-    for (const elem of pattern.bindings.elements) {
-        if (((_a = elem.element) === null || _a === void 0 ? void 0 : _a.kind) !== tree_1.JS.Kind.BindingElement) {
-            continue;
-        }
-        const bindingElem = elem.element;
-        if (((_b = bindingElem.name) === null || _b === void 0 ? void 0 : _b.kind) === java_1.J.Kind.Identifier) {
-            const name = bindingElem.name.simpleName;
-            const propertyName = (_c = bindingElem.propertyName) === null || _c === void 0 ? void 0 : _c.element;
-            names.push({
-                name,
-                member: (propertyName === null || propertyName === void 0 ? void 0 : propertyName.kind) === java_1.J.Kind.Identifier
-                    ? propertyName.simpleName
-                    : name
-            });
-        }
-        else {
-            names.push(...patternNames(bindingElem.name).map(bound => ({ name: bound.name })));
-        }
-    }
-    return names;
-}
 /** A `require` binds a module the way an import does, so the pool records it the same way. */
 function requireBindings(pattern, module) {
     // A whole-module require binds no member, exactly as a default import does.
     if ((pattern === null || pattern === void 0 ? void 0 : pattern.kind) === java_1.J.Kind.Identifier) {
         return [{ name: pattern.simpleName, module, member: undefined, typeOnly: false }];
     }
-    return patternNames(pattern).map(bound => bound.member === undefined
+    return (0, scope_1.bindingNames)(pattern).map(bound => bound.member === undefined
         ? { name: bound.name }
         : { name: bound.name, module, member: bound.member, typeOnly: false });
 }
@@ -352,31 +319,23 @@ function importBindings(jsImport) {
     return bindings;
 }
 /**
- * Names the file binds, plus those pending `AddImport`s on the `afterVisit` queue have claimed. A
- * queued `RemoveImport` does not free one: it removes only what the file leaves unused, and binding
- * a name it keeps is an error, where an unnecessary suffix merely reads oddly.
+ * `names`, plus those pending `AddImport`s on the `afterVisit` queue have claimed. A queued
+ * `RemoveImport` does not free one: it removes only what the file leaves unused, and binding a name
+ * it keeps is an error, where an unnecessary suffix merely reads oddly.
  */
-function takenNames(bindings, visitor) {
-    const taken = new Set();
+function takenNames(names, visitor) {
+    const taken = new Set(names);
     for (const v of visitor.afterVisit || []) {
         if (v instanceof AddImport && v.bindingName) {
             taken.add(v.bindingName);
         }
     }
-    for (const binding of bindings) {
-        taken.add(binding.name);
-    }
     return taken;
 }
-function deconflict(derived, taken) {
-    if (!taken.has(derived)) {
-        return derived;
-    }
-    let suffix = 1;
-    while (taken.has(`${derived}_${suffix}`)) {
-        suffix++;
-    }
-    return `${derived}_${suffix}`;
+/** As {@link takenNames}, for a caller asking about one name rather than probing repeatedly. */
+function nameTaken(name, names, visitor) {
+    return names.has(name) ||
+        (visitor.afterVisit || []).some(v => v instanceof AddImport && v.bindingName === name);
 }
 /**
  * The parser lifts surrogate pairs out of `valueSource` into `unicodeEscapes` and, when it does,
@@ -479,8 +438,8 @@ async function detectQuote(cu) {
     if (specifierQuote) {
         return specifierQuote;
     }
-    const prettier = (0, style_1.getStyle)(style_1.StyleKind.PrettierStyle, cu);
-    if ((prettier === null || prettier === void 0 ? void 0 : prettier.kind) === style_1.StyleKind.PrettierStyle && !prettier.ignored) {
+    const prettier = (0, prettier_format_1.getPrettierStyle)(cu);
+    if (prettier && !prettier.ignored) {
         const singleQuote = prettier.config.singleQuote;
         if (typeof singleQuote === 'boolean') {
             return singleQuote ? "'" : '"';
@@ -488,6 +447,32 @@ async function detectQuote(cu) {
     }
     return double > single ? '"' : "'";
 }
+/**
+ * Lays out the import statement `AddImport` wrote, so that the file's own style — a Prettier
+ * configuration's brace spacing and print width, say — reaches it.
+ */
+async function formatImport(cu, id, p) {
+    return await new class extends visitor_1.JavaScriptVisitor {
+        async visitImportDeclaration(jsImport, p) {
+            return jsImport.id === id ? await (0, format_1.autoFormat)(jsImport, p, undefined, this.cursor.parent) : jsImport;
+        }
+    }().visit(cu, p);
+}
+/**
+ * As {@link formatImport}, for an import that gained specifiers. Short of a Prettier configuration
+ * deciding the whole line, the statement's own text says more about its spacing than a
+ * repository-wide style does, and the merge reads it directly.
+ */
+async function formatMergedImport(cu, id, p) {
+    var _a;
+    return ((_a = (0, prettier_format_1.getPrettierStyle)(cu)) === null || _a === void 0 ? void 0 : _a.ignored) === false ? formatImport(cu, id, p) : cu;
+}
+/**
+ * Adds the import {@link AddImportOptions} describes, under the name derived there. An import
+ * already in the file answers where it binds that same name, or where the request expressed no
+ * preference at all. Reuse under some other name belongs to {@link bindImport}, whose caller
+ * learns which name came back; a recipe driving this visitor is stuck with the one it derived.
+ */
 class AddImport extends visitor_1.JavaScriptVisitor {
     constructor(options, bindingName) {
         var _a, _b, _c;
@@ -689,17 +674,18 @@ class AddImport extends visitor_1.JavaScriptVisitor {
                 return mergedCu;
             }
         }
-        // Add the import using the appropriate style
-        if (importStyle === ImportStyle.CommonJS) {
-            // TODO: Implement CommonJS require creation
-            // For now, fall back to ES6 imports
-            // return this.addCommonJSRequire(compilationUnit, p);
+        // TODO: create a `require` here. Until then the request goes unserved, since `import` would
+        // make a file that binds its modules with `require` an ES module and change how everything
+        // in it loads — `maybeBind` refuses it for the same reason. An explicit ES6 `style`
+        // overrides, which is how a caller converting the file to ESM asks for one.
+        if (importStyle === ImportStyle.CommonJS && isCommonJs(compilationUnit)) {
+            return compilationUnit;
         }
         // Add ES6 import (handles ES6Named, ES6Namespace, ES6Default)
-        return this.produceJavaScript(compilationUnit, p, async (draft) => {
-            // Find the position to insert the import
-            const insertionIndex = this.findImportInsertionIndex(compilationUnit);
-            const newImport = await this.createImportStatement(compilationUnit, insertionIndex, p);
+        // Find the position to insert the import
+        const insertionIndex = this.findImportInsertionIndex(compilationUnit);
+        const newImport = await this.createImportStatement(compilationUnit, insertionIndex, p);
+        const withImport = await this.produceJavaScript(compilationUnit, p, async (draft) => {
             // Insert the import at the appropriate position
             // Create semicolon marker for the import statement
             const semicolonMarkers = (0, markers_1.markers)({
@@ -746,6 +732,7 @@ class AddImport extends visitor_1.JavaScriptVisitor {
                 }
             }
         });
+        return formatImport(withImport, newImport.id, p);
     }
     /**
      * Try to merge the new member into an existing import from the same module
@@ -781,7 +768,7 @@ class AddImport extends visitor_1.JavaScriptVisitor {
                         continue;
                     }
                     // We found a matching import with named bindings - merge into it
-                    return this.produceJavaScript(compilationUnit, p, async (draft) => {
+                    return formatMergedImport(await this.produceJavaScript(compilationUnit, p, async (draft) => {
                         var _a, _b, _c;
                         const namedImports = importClause.namedBindings;
                         const existingElements = namedImports.elements.elements;
@@ -841,12 +828,12 @@ class AddImport extends visitor_1.JavaScriptVisitor {
                         });
                         // Replace the statement in the compilation unit
                         draft.statements = compilationUnit.statements.map((s, idx) => idx === i ? Object.assign(Object.assign({}, s), { element: updatedImport }) : s);
-                    });
+                    }), jsImport.id, p);
                 }
                 // Case 2: Default import without named bindings - add named bindings
                 // Transform: import React from 'react' -> import React, { useState } from 'react'
                 if (importClause.name && !importClause.namedBindings) {
-                    return this.produceJavaScript(compilationUnit, p, async (draft) => {
+                    return formatMergedImport(await this.produceJavaScript(compilationUnit, p, async (draft) => {
                         const newSpecifier = this.createImportSpecifier();
                         // Get the spaces style for brace spacing
                         const spacesStyle = (0, style_1.getStyle)(style_1.StyleKind.SpacesStyle, compilationUnit);
@@ -882,7 +869,7 @@ class AddImport extends visitor_1.JavaScriptVisitor {
                         });
                         // Replace the statement in the compilation unit
                         draft.statements = compilationUnit.statements.map((s, idx) => idx === i ? Object.assign(Object.assign({}, s), { element: updatedImport }) : s);
-                    });
+                    }), jsImport.id, p);
                 }
             }
         }
@@ -1184,10 +1171,8 @@ class AddImport extends visitor_1.JavaScriptVisitor {
         var _a;
         // Determine the appropriate prefix (spacing before the import)
         const prefix = this.determineImportPrefix(compilationUnit, insertionIndex);
-        // Create the module specifier
-        // For side-effect imports, use emptySpace since space comes from LeftPadded.before
-        // For regular imports with import clause, use emptySpace since space comes from LeftPadded.before
-        // However, the printer expects the space after 'from' in the literal's prefix
+        // Whitespace throughout follows the parser's placement, so that formatting the result is a
+        // no-op where the file's style already agrees with it.
         // Note: value is the unquoted module name; valueSource and unicodeEscapes are its printed form
         let valueSource = this.moduleValueSource;
         if (valueSource === undefined) {
@@ -1197,7 +1182,7 @@ class AddImport extends visitor_1.JavaScriptVisitor {
         const moduleSpecifier = {
             id: (0, uuid_1.randomId)(),
             kind: java_1.J.Kind.Literal,
-            prefix: this.sideEffectOnly ? java_1.emptySpace : java_1.singleSpace,
+            prefix: java_1.singleSpace,
             markers: markers_1.emptyMarkers,
             value: this.module,
             valueSource,
@@ -1234,7 +1219,7 @@ class AddImport extends visitor_1.JavaScriptVisitor {
             const namespaceBinding = {
                 id: (0, uuid_1.randomId)(),
                 kind: tree_1.JS.Kind.Alias,
-                prefix: java_1.singleSpace,
+                prefix: this.typeOnly ? java_1.singleSpace : java_1.emptySpace,
                 markers: markers_1.emptyMarkers,
                 propertyName: (0, java_1.rightPadded)(propertyName, java_1.singleSpace),
                 alias: aliasIdentifier
@@ -1242,7 +1227,7 @@ class AddImport extends visitor_1.JavaScriptVisitor {
             importClause = {
                 id: (0, uuid_1.randomId)(),
                 kind: tree_1.JS.Kind.ImportClause,
-                prefix: this.typeOnly ? java_1.singleSpace : java_1.emptySpace,
+                prefix: java_1.singleSpace,
                 markers: markers_1.emptyMarkers,
                 typeOnly: this.typeOnly,
                 name: undefined,
@@ -1255,7 +1240,7 @@ class AddImport extends visitor_1.JavaScriptVisitor {
             const defaultName = {
                 id: (0, uuid_1.randomId)(),
                 kind: java_1.J.Kind.Identifier,
-                prefix: java_1.singleSpace,
+                prefix: this.typeOnly ? java_1.singleSpace : java_1.emptySpace,
                 markers: markers_1.emptyMarkers,
                 annotations: [],
                 simpleName: this.bindingName,
@@ -1265,10 +1250,10 @@ class AddImport extends visitor_1.JavaScriptVisitor {
             importClause = {
                 id: (0, uuid_1.randomId)(),
                 kind: tree_1.JS.Kind.ImportClause,
-                prefix: this.typeOnly ? java_1.singleSpace : java_1.emptySpace,
+                prefix: java_1.singleSpace,
                 markers: markers_1.emptyMarkers,
                 typeOnly: this.typeOnly,
-                name: (0, java_1.rightPadded)(defaultName, java_1.emptySpace),
+                name: (0, java_1.rightPadded)(defaultName, java_1.singleSpace),
                 namedBindings: undefined
             };
         }
@@ -1284,11 +1269,11 @@ class AddImport extends visitor_1.JavaScriptVisitor {
             const namedImports = {
                 id: (0, uuid_1.randomId)(),
                 kind: tree_1.JS.Kind.NamedImports,
-                prefix: java_1.singleSpace,
+                prefix: java_1.emptySpace,
                 markers: markers_1.emptyMarkers,
                 elements: {
                     kind: java_1.J.Kind.Container,
-                    before: java_1.emptySpace,
+                    before: this.typeOnly ? java_1.singleSpace : java_1.emptySpace,
                     elements: [(0, java_1.rightPadded)(importSpecWithSpacing, braceSpace)],
                     markers: markers_1.emptyMarkers
                 }
@@ -1296,7 +1281,7 @@ class AddImport extends visitor_1.JavaScriptVisitor {
             importClause = {
                 id: (0, uuid_1.randomId)(),
                 kind: tree_1.JS.Kind.ImportClause,
-                prefix: this.typeOnly ? java_1.singleSpace : java_1.emptySpace,
+                prefix: java_1.singleSpace,
                 markers: markers_1.emptyMarkers,
                 typeOnly: this.typeOnly,
                 name: undefined,
@@ -1312,7 +1297,9 @@ class AddImport extends visitor_1.JavaScriptVisitor {
             importClause,
             moduleSpecifier: {
                 kind: java_1.J.Kind.LeftPadded,
-                before: java_1.singleSpace,
+                // Bindings end at `}`, so the space before `from` sits here; a default import's name
+                // and a side-effect import's literal carry their own
+                before: (importClause === null || importClause === void 0 ? void 0 : importClause.namedBindings) ? java_1.singleSpace : java_1.emptySpace,
                 element: moduleSpecifier,
                 markers: markers_1.emptyMarkers
             },
@@ -1431,4 +1418,506 @@ class AddImport extends visitor_1.JavaScriptVisitor {
     }
 }
 exports.AddImport = AddImport;
+/**
+ * The local name `jsImport` binds `member` of `module` to, or `undefined` where it binds
+ * something else. `'default'` and an absent `member` both mean the default import, matching
+ * {@link memberName}.
+ */
+function importBinds(jsImport, module, member) {
+    var _a, _b;
+    const specifier = (_a = jsImport.moduleSpecifier) === null || _a === void 0 ? void 0 : _a.element;
+    if ((specifier === null || specifier === void 0 ? void 0 : specifier.kind) !== java_1.J.Kind.Literal || specifier.value !== module) {
+        return undefined;
+    }
+    const importClause = jsImport.importClause;
+    if (!importClause) {
+        return undefined;
+    }
+    const key = memberName(member);
+    if (key === undefined) {
+        const nameElem = (_b = importClause.name) === null || _b === void 0 ? void 0 : _b.element;
+        return nameElem && (0, java_1.isIdentifier)(nameElem) ? nameElem.simpleName : undefined;
+    }
+    if (key === '*') {
+        const namedBindings = importClause.namedBindings;
+        return (namedBindings === null || namedBindings === void 0 ? void 0 : namedBindings.kind) === tree_1.JS.Kind.Alias && (0, java_1.isIdentifier)(namedBindings.alias)
+            ? namedBindings.alias.simpleName
+            : undefined;
+    }
+    const namedBindings = importClause.namedBindings;
+    if ((namedBindings === null || namedBindings === void 0 ? void 0 : namedBindings.kind) !== tree_1.JS.Kind.NamedImports) {
+        return undefined;
+    }
+    for (const elem of namedBindings.elements.elements) {
+        const specifierNode = elem.element.specifier;
+        if (!namedSpecifierImports(specifierNode, key)) {
+            continue;
+        }
+        if ((0, java_1.isIdentifier)(specifierNode)) {
+            return specifierNode.simpleName;
+        }
+        const alias = specifierNode.alias;
+        if ((0, java_1.isIdentifier)(alias)) {
+            return alias.simpleName;
+        }
+    }
+    return undefined;
+}
+/** Whether `specifier` imports the member `key`, under whatever local name it binds it to. */
+function namedSpecifierImports(specifier, key) {
+    if ((0, java_1.isIdentifier)(specifier)) {
+        return specifier.simpleName === key;
+    }
+    if (specifier.kind === tree_1.JS.Kind.Alias) {
+        const propertyName = specifier.propertyName.element;
+        return (0, java_1.isIdentifier)(propertyName) && propertyName.simpleName === key;
+    }
+    return false;
+}
+/** Whether the named specifier binding `key` carries its own inline `type`, as in `{type a, b}`. */
+function namedSpecifierIsTypeOnly(imp, key) {
+    var _a;
+    const namedBindings = (_a = imp.importClause) === null || _a === void 0 ? void 0 : _a.namedBindings;
+    if ((namedBindings === null || namedBindings === void 0 ? void 0 : namedBindings.kind) !== tree_1.JS.Kind.NamedImports) {
+        return false;
+    }
+    for (const elem of namedBindings.elements.elements) {
+        if (namedSpecifierImports(elem.element.specifier, key)) {
+            return elem.element.importType.element;
+        }
+    }
+    return false;
+}
+/** How many named specifiers `jsImport` carries, `0` for a default, namespace or side-effect import. */
+function namedImportCount(jsImport) {
+    var _a;
+    const namedBindings = (_a = jsImport.importClause) === null || _a === void 0 ? void 0 : _a.namedBindings;
+    return (namedBindings === null || namedBindings === void 0 ? void 0 : namedBindings.kind) === tree_1.JS.Kind.NamedImports ? namedBindings.elements.elements.length : 0;
+}
+/**
+ * Whether `jsImport`'s clause binds exactly one thing — a default, a namespace, or one named
+ * specifier. That is the only shape a module-only move can rewrite in place: whichever binding
+ * `importBinds` already matched is this one, so nothing else the clause carries goes along with it.
+ */
+function isOnlyMember(jsImport) {
+    var _a;
+    const importClause = jsImport.importClause;
+    if (!importClause) {
+        return false;
+    }
+    const hasDefault = importClause.name !== undefined;
+    const hasNamespace = ((_a = importClause.namedBindings) === null || _a === void 0 ? void 0 : _a.kind) === tree_1.JS.Kind.Alias;
+    return (hasDefault ? 1 : 0) + (hasNamespace ? 1 : 0) + namedImportCount(jsImport) === 1;
+}
+/**
+ * The existing binding for `member` of `module`, read from `cu`'s own import statements — what
+ * `maybeRebind` reads before committing to a `RebindImport` edit.
+ */
+function existingImportBinding(cu, module, member) {
+    for (const stmt of cu.statements) {
+        const element = stmt.element;
+        if ((element === null || element === void 0 ? void 0 : element.kind) !== tree_1.JS.Kind.Import) {
+            continue;
+        }
+        const localName = importBinds(element, module, member);
+        if (localName !== undefined) {
+            return {
+                localName,
+                onlyMemberOfStatement: isOnlyMember(element),
+                aliased: localName !== memberName(member)
+            };
+        }
+    }
+    return undefined;
+}
+/**
+ * The `member as local` specifier, for an import binding `member` under `local` or an export
+ * publishing `local`'s binding under that name. `local` itself becomes the alias, keeping the type
+ * attribution it holds, and the alias takes its prefix: that whitespace separates the specifier
+ * from a `type` keyword before it.
+ */
+function aliasing(local, member) {
+    const propertyName = {
+        id: (0, uuid_1.randomId)(),
+        kind: java_1.J.Kind.Identifier,
+        prefix: java_1.emptySpace,
+        markers: markers_1.emptyMarkers,
+        annotations: [],
+        simpleName: member,
+        type: undefined,
+        fieldType: undefined
+    };
+    return {
+        id: (0, uuid_1.randomId)(),
+        kind: tree_1.JS.Kind.Alias,
+        prefix: local.prefix,
+        markers: markers_1.emptyMarkers,
+        propertyName: (0, java_1.rightPadded)(propertyName, java_1.singleSpace),
+        alias: Object.assign(Object.assign({}, local), { prefix: java_1.singleSpace })
+    };
+}
+/**
+ * Drops the binding for `member` from `jsImport`'s clause — the default, the namespace alias, or
+ * one entry of the named list, whichever `member` names — keeping everything else the clause
+ * binds. `ElementRemovalFormatter` carries the dropped binding's prefix onto whatever prints
+ * next, the same way `RemoveImport` keeps formatting sane when trimming a list.
+ */
+function removeBinding(jsImport, member) {
+    var _a;
+    const importClause = jsImport.importClause;
+    if (!importClause) {
+        return jsImport;
+    }
+    const key = memberName(member);
+    if (key === undefined) {
+        if (!importClause.name) {
+            return jsImport;
+        }
+        const namedBindings = importClause.namedBindings;
+        if ((namedBindings === null || namedBindings === void 0 ? void 0 : namedBindings.kind) === tree_1.JS.Kind.NamedImports) {
+            // `NamedImports` keeps the space before its own `{` on the container's `before`,
+            // not on its own prefix, so the removed default's prefix has to land there instead.
+            const namedImports = namedBindings;
+            const updated = Object.assign(Object.assign({}, namedImports), { elements: Object.assign(Object.assign({}, namedImports.elements), { before: importClause.name.element.prefix }) });
+            return Object.assign(Object.assign({}, jsImport), { importClause: Object.assign(Object.assign({}, importClause), { name: undefined, namedBindings: updated }) });
+        }
+        if (namedBindings) {
+            const formatter = new java_1.ElementRemovalFormatter();
+            formatter.markRemoved(importClause.name.element);
+            return Object.assign(Object.assign({}, jsImport), { importClause: Object.assign(Object.assign({}, importClause), { name: undefined, namedBindings: formatter.processKept(namedBindings) }) });
+        }
+        return Object.assign(Object.assign({}, jsImport), { importClause: Object.assign(Object.assign({}, importClause), { name: undefined }) });
+    }
+    if (key === '*') {
+        return Object.assign(Object.assign({}, jsImport), { importClause: Object.assign(Object.assign({}, importClause), { namedBindings: undefined }) });
+    }
+    if (((_a = importClause.namedBindings) === null || _a === void 0 ? void 0 : _a.kind) !== tree_1.JS.Kind.NamedImports) {
+        return jsImport;
+    }
+    const namedImports = importClause.namedBindings;
+    const formatter = new java_1.ElementRemovalFormatter();
+    const kept = [];
+    for (const entry of namedImports.elements.elements) {
+        if (namedSpecifierImports(entry.element.specifier, key)) {
+            formatter.markRemoved(entry.element);
+        }
+        else {
+            kept.push(Object.assign(Object.assign({}, entry), { element: formatter.processKept(entry.element) }));
+        }
+    }
+    if (kept.length === 0) {
+        // An emptied brace list still prints, as `import D, {} from "m"`, so it goes with its
+        // last member; the caller drops the whole statement when no default remains either.
+        return Object.assign(Object.assign({}, jsImport), { importClause: Object.assign(Object.assign({}, importClause), { namedBindings: undefined }) });
+    }
+    const updatedNamedImports = Object.assign(Object.assign({}, namedImports), { elements: Object.assign(Object.assign({}, namedImports.elements), { elements: kept }) });
+    return Object.assign(Object.assign({}, jsImport), { importClause: Object.assign(Object.assign({}, importClause), { namedBindings: updatedNamedImports }) });
+}
+/**
+ * Moves the binding `from` names to `to`, binding it under `boundName`. In place when the
+ * statement that carries it binds nothing else — module and member specifier rewritten there
+ * directly; otherwise the old specifier drops and {@link bindImport} queues the replacement.
+ * A `boundName` of its own renames the binding, and the file's references to it follow.
+ *
+ * Not built on `RemoveImport`/`maybeUnbind`: those only drop a binding once nothing references
+ * it, but a rebind moves one that is still in use — removal here has to be unconditional.
+ */
+class RebindImport extends visitor_1.JavaScriptVisitor {
+    constructor(from, to, localName, boundName) {
+        super();
+        this.from = from;
+        this.to = to;
+        this.localName = localName;
+        this.boundName = boundName;
+        this.transformedInPlace = false;
+        this.typeOnly = false;
+        this.movedTypes = new MovedTypes(this.from, this.to);
+        /** Identifiers settled as references to the binding, so a parent need not settle it again. */
+        this.references = new Set();
+    }
+    get renaming() {
+        return this.boundName !== this.localName;
+    }
+    async visitJsCompilationUnit(cu, p) {
+        const visited = await super.visitJsCompilationUnit(cu, p);
+        if (!this.transformedInPlace) {
+            bindImport(this, {
+                module: this.to.module,
+                member: this.to.member,
+                alias: this.boundName,
+                typeOnly: this.typeOnly,
+                onlyIfReferenced: false
+            });
+        }
+        return visited;
+    }
+    async visitImportDeclaration(jsImport, p) {
+        var _a, _b;
+        const imp = await super.visitImportDeclaration(jsImport, p);
+        const key = memberName(this.from.member);
+        // One call moves one binding, and no two imports bind the same local name, so the name
+        // read from the matched statement is what picks it back out of the file.
+        if (importBinds(imp, this.from.module, this.from.member) !== this.localName) {
+            return imp;
+        }
+        // A moved named specifier's own inline `type` marks it type-only even where the clause
+        // it's leaving is not — the replacement needs the same answer to stay type-safe.
+        this.typeOnly = ((_b = (_a = imp.importClause) === null || _a === void 0 ? void 0 : _a.typeOnly) !== null && _b !== void 0 ? _b : false) ||
+            (key !== undefined && key !== '*' && namedSpecifierIsTypeOnly(imp, key));
+        if (!isOnlyMember(imp)) {
+            return removeBinding(imp, this.from.member);
+        }
+        this.transformedInPlace = true;
+        return (0, mutative_1.create)(imp, draft => {
+            var _a;
+            const literal = draft.moduleSpecifier.element;
+            literal.value = this.to.module;
+            const originalSource = literal.valueSource || `"${this.from.module}"`;
+            const quoteChar = originalSource.startsWith("'") ? "'" : '"';
+            literal.valueSource = `${quoteChar}${this.to.module}${quoteChar}`;
+            // A default or namespace import carries its local name on the clause itself; a named
+            // one states the member alongside it, in the specifier.
+            if (key === undefined || key === '*') {
+                if (this.boundName !== this.localName) {
+                    renameClauseBinding(draft.importClause, key, this.boundName);
+                }
+                return;
+            }
+            rewriteNamedSpecifier(draft.importClause, key, (_a = memberName(this.to.member)) !== null && _a !== void 0 ? _a : key, this.boundName);
+        });
+    }
+    async visitIdentifier(identifier, p) {
+        if (!this.referencesBinding(identifier)) {
+            return super.visitIdentifier(identifier, p);
+        }
+        this.references.add(identifier.id);
+        // The name follows the binding, and so does what the name is attributed to; an aliased
+        // binding keeps its name and still resolves somewhere new.
+        const type = await this.movedTypes.visit(identifier.type, undefined);
+        const fieldType = await this.movedTypes.visit(identifier.fieldType, undefined);
+        return !this.renaming && type === identifier.type && fieldType === identifier.fieldType
+            ? identifier
+            : Object.assign(Object.assign({}, identifier), { simpleName: this.boundName, type, fieldType });
+    }
+    async visitMethodInvocation(method, p) {
+        const m = await super.visitMethodInvocation(method, p);
+        if (!this.referencesMovedBinding(m.name)) {
+            return m;
+        }
+        const methodType = await this.movedTypes.visit(m.methodType, undefined);
+        return methodType === m.methodType ? m : Object.assign(Object.assign({}, m), { methodType });
+    }
+    async visitNewClass(newClass, p) {
+        const nc = await super.visitNewClass(newClass, p);
+        if (!this.referencesMovedBinding(nc.class)) {
+            return nc;
+        }
+        const type = await this.movedTypes.visit(nc.type, undefined);
+        const methodType = await this.movedTypes.visit(nc.methodType, undefined);
+        const constructorType = await this.movedTypes.visit(nc.constructorType, undefined);
+        return type === nc.type && methodType === nc.methodType && constructorType === nc.constructorType
+            ? nc
+            : Object.assign(Object.assign({}, nc), { type, methodType, constructorType });
+    }
+    async visitFunctionCall(functionCall, p) {
+        var _a;
+        const fc = await super.visitFunctionCall(functionCall, p);
+        if (!this.referencesMovedBinding((_a = fc.function) === null || _a === void 0 ? void 0 : _a.element)) {
+            return fc;
+        }
+        const methodType = await this.movedTypes.visit(fc.methodType, undefined);
+        return methodType === fc.methodType ? fc : Object.assign(Object.assign({}, fc), { methodType });
+    }
+    /**
+     * Whether `callee` is the identifier `visitIdentifier` settled as a reference to the binding.
+     * A rewrite keeps the identifier's id, so the one it settled is the one still standing here.
+     */
+    referencesMovedBinding(callee) {
+        return (callee === null || callee === void 0 ? void 0 : callee.kind) === java_1.J.Kind.Identifier && this.references.has(callee.id);
+    }
+    /**
+     * A decorator and the other type-name positions reach the tree through this hook, which the
+     * base visitor holds closed; a reference in one of them is a reference like any other.
+     */
+    async visitTypeName(nameTree, p) {
+        return await this.visit(nameTree, p);
+    }
+    /**
+     * An export specifier's own name is the module's public surface, which its consumers read and
+     * the rename leaves alone. See CLAUDE.md: Which name a rebind binds.
+     */
+    async visitExportSpecifier(exportSpecifier, p) {
+        if (!this.renaming) {
+            return super.visitExportSpecifier(exportSpecifier, p);
+        }
+        // `export {a} from "m"` names `m`'s member rather than anything this file binds.
+        const from = this.cursor.firstEnclosing((v) => (v === null || v === void 0 ? void 0 : v.kind) === tree_1.JS.Kind.ExportDeclaration);
+        if ((from === null || from === void 0 ? void 0 : from.moduleSpecifier) !== undefined) {
+            return exportSpecifier;
+        }
+        const specifier = exportSpecifier.specifier;
+        if (specifier.kind === java_1.J.Kind.Identifier && specifier.simpleName === this.localName) {
+            return Object.assign(Object.assign({}, exportSpecifier), { specifier: aliasing(specifier, this.boundName) });
+        }
+        if (specifier.kind === tree_1.JS.Kind.Alias) {
+            const alias = specifier;
+            const propertyName = alias.propertyName.element;
+            return propertyName.kind === java_1.J.Kind.Identifier && propertyName.simpleName === this.localName
+                ? Object.assign(Object.assign({}, exportSpecifier), { specifier: Object.assign(Object.assign({}, alias), { propertyName: Object.assign(Object.assign({}, alias.propertyName), { element: Object.assign(Object.assign({}, propertyName), { simpleName: this.boundName }) }) }) })
+                : exportSpecifier;
+        }
+        return super.visitExportSpecifier(exportSpecifier, p);
+    }
+    /**
+     * Whether the identifier at the cursor stands for the moved binding: the right name, in a
+     * position that references rather than declares, reaching the module scope that binds it.
+     */
+    referencesBinding(identifier) {
+        var _a;
+        return identifier.simpleName === this.localName &&
+            // The specifier binding the name is the one edit that is not a reference to it.
+            !this.cursor.firstEnclosing((v) => (v === null || v === void 0 ? void 0 : v.kind) === tree_1.JS.Kind.Import) &&
+            (0, scope_1.isValueReference)(this.cursor, identifier) &&
+            ((_a = (0, scope_1.scopeOf)(this.cursor).declaringScope(this.localName)) === null || _a === void 0 ? void 0 : _a.kind) === tree_1.JS.Kind.CompilationUnit;
+    }
+    /** A shorthand property's name slot is also the reference to the binding. */
+    async visitPropertyAssignment(propertyAssignment, p) {
+        var _a;
+        const name = propertyAssignment.name.element;
+        if (this.renaming && propertyAssignment.initializer === undefined &&
+            name.kind === java_1.J.Kind.Identifier && name.simpleName === this.localName &&
+            ((_a = (0, scope_1.scopeOf)(this.cursor).declaringScope(this.localName)) === null || _a === void 0 ? void 0 : _a.kind) === tree_1.JS.Kind.CompilationUnit) {
+            // The key names a property rather than the binding, so it carries no attribution,
+            // the same way `aliasing` builds a property name that stands for nothing.
+            return Object.assign(Object.assign({}, propertyAssignment), { name: Object.assign(Object.assign({}, propertyAssignment.name), { element: Object.assign(Object.assign({}, name), { type: undefined, fieldType: undefined }) }), assigmentToken: tree_1.JS.PropertyAssignment.Token.Colon, initializer: Object.assign(Object.assign({}, name), { prefix: java_1.singleSpace, simpleName: this.boundName }) });
+        }
+        return super.visitPropertyAssignment(propertyAssignment, p);
+    }
+}
+exports.RebindImport = RebindImport;
+/**
+ * Rewrites the attribution a move invalidates, onto the module and member it moved to. Applied at
+ * a reference to the moved binding. See CLAUDE.md: What a rebind's attribution follows.
+ */
+class MovedTypes extends type_visitor_1.TypeVisitor {
+    constructor(from, to) {
+        super();
+        this.onPath = new Set();
+        this.answered = new Map();
+        // Where no member is named the two keys coincide, and both name the module.
+        this.renamed = new Map([[from.module, to.module], [qualifiedName(from), qualifiedName(to)]]);
+        this.fromMember = declaredMember(from);
+        this.toMember = declaredMember(to);
+        this.toModule = to.module;
+    }
+    /**
+     * A type reached while it is still being visited is a cycle — a class holds a method whose
+     * declaring type is that class — and answers with itself, which is what ends the walk. Every
+     * reference to a binding shares one type, so a completed walk is remembered for the next.
+     */
+    async visit(type, p) {
+        if (type === undefined || this.onPath.has(type)) {
+            return type;
+        }
+        if (this.answered.has(type)) {
+            return this.answered.get(type);
+        }
+        this.onPath.add(type);
+        try {
+            const answer = await super.visit(type, p);
+            // Only the type a walk entered at is remembered: one reached inside it may have met
+            // a back edge, which answers with the type itself and so stands for the path it was on.
+            if (this.onPath.size === 1) {
+                this.answered.set(type, answer);
+            }
+            return answer;
+        }
+        finally {
+            this.onPath.delete(type);
+        }
+    }
+    async visitClass(aClass, p) {
+        const visited = await super.visitClass(aClass, p);
+        const moved = this.renamed.get(visited.fullyQualifiedName);
+        return moved === undefined || moved === visited.fullyQualifiedName
+            ? visited
+            : Object.assign(Object.assign({}, visited), { fullyQualifiedName: moved });
+    }
+    async visitMethod(method, p) {
+        const visited = await super.visitMethod(method, p);
+        return this.declaresMovedMember(visited.name, visited.declaringType)
+            ? Object.assign(Object.assign({}, visited), { name: this.toMember })
+            : visited;
+    }
+    async visitVariable(variable, p) {
+        const visited = await super.visitVariable(variable, p);
+        return this.declaresMovedMember(visited.name, visited.owner)
+            ? Object.assign(Object.assign({}, visited), { name: this.toMember })
+            : visited;
+    }
+    /**
+     * Whether `name`, declared on `owner`, is the member that moved. `owner` has already followed
+     * the move by the time this runs, so it is the module moved *to* that it has to name. A
+     * default or namespace binding declares no member, so there is no name for one to take.
+     */
+    declaresMovedMember(name, owner) {
+        return this.toMember !== undefined && name === this.fromMember && this.toMember !== this.fromMember &&
+            owner !== undefined && java_1.Type.isFullyQualified(owner) &&
+            java_1.Type.FullyQualified.getFullyQualifiedName(owner) === this.toModule;
+    }
+}
+/** A member's qualified name, or the module's own where no member is named. */
+function qualifiedName(binding) {
+    const key = memberName(binding.member);
+    return key === undefined || key === '*' ? binding.module : `${binding.module}.${key}`;
+}
+/** The member the module declares, where the binding names one: a whole module declares none. */
+function declaredMember(binding) {
+    const key = memberName(binding.member);
+    return key === undefined || key === '*' ? undefined : key;
+}
+/** Renames the identifier a default (`key` undefined) or namespace clause binds its module under. */
+function renameClauseBinding(importClause, key, boundName) {
+    var _a, _b;
+    const bound = key === undefined
+        ? (_a = importClause === null || importClause === void 0 ? void 0 : importClause.name) === null || _a === void 0 ? void 0 : _a.element
+        : (_b = importClause === null || importClause === void 0 ? void 0 : importClause.namedBindings) === null || _b === void 0 ? void 0 : _b.alias;
+    if ((bound === null || bound === void 0 ? void 0 : bound.kind) === java_1.J.Kind.Identifier) {
+        bound.simpleName = boundName;
+    }
+}
+/**
+ * Rewrites the specifier importing `key` to import `member` under `boundName` — a bare `{member}`
+ * where the two agree, since an alias saying the same thing is noise the source never had.
+ */
+function rewriteNamedSpecifier(importClause, key, member, boundName) {
+    var _a, _b;
+    if (((_a = importClause === null || importClause === void 0 ? void 0 : importClause.namedBindings) === null || _a === void 0 ? void 0 : _a.kind) !== tree_1.JS.Kind.NamedImports) {
+        return;
+    }
+    for (const elem of importClause.namedBindings.elements.elements) {
+        const specifier = elem.element;
+        const node = specifier.specifier;
+        if (!namedSpecifierImports(node, key)) {
+            continue;
+        }
+        const alias = node.kind === tree_1.JS.Kind.Alias ? node : undefined;
+        const local = ((_b = alias === null || alias === void 0 ? void 0 : alias.alias) !== null && _b !== void 0 ? _b : node);
+        if (local.kind !== java_1.J.Kind.Identifier) {
+            continue;
+        }
+        if (boundName === member) {
+            // An alias node holds the specifier's leading whitespace, so the bare identifier
+            // standing in for it takes that prefix.
+            specifier.specifier = Object.assign(Object.assign({}, local), { prefix: (alias !== null && alias !== void 0 ? alias : local).prefix, simpleName: member });
+        }
+        else if (alias) {
+            alias.propertyName.element.simpleName = member;
+            local.simpleName = boundName;
+        }
+        else {
+            specifier.specifier = aliasing(Object.assign(Object.assign({}, local), { simpleName: boundName }), member);
+        }
+    }
+}
 //# sourceMappingURL=add-import.js.map