xref: /freebsd-src/contrib/llvm-project/clang/lib/Tooling/Refactoring/Rename/RenamingAction.cpp (revision e25152834cdf3b353892835a4f3b157e066a8ed4)
10b57cec5SDimitry Andric //===--- RenamingAction.cpp - Clang refactoring library -------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric ///
90b57cec5SDimitry Andric /// \file
100b57cec5SDimitry Andric /// Provides an action to rename every symbol at a point.
110b57cec5SDimitry Andric ///
120b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric 
140b57cec5SDimitry Andric #include "clang/Tooling/Refactoring/Rename/RenamingAction.h"
150b57cec5SDimitry Andric #include "clang/AST/ASTConsumer.h"
160b57cec5SDimitry Andric #include "clang/AST/ASTContext.h"
170b57cec5SDimitry Andric #include "clang/Basic/FileManager.h"
180b57cec5SDimitry Andric #include "clang/Frontend/CompilerInstance.h"
190b57cec5SDimitry Andric #include "clang/Frontend/FrontendAction.h"
200b57cec5SDimitry Andric #include "clang/Lex/Lexer.h"
210b57cec5SDimitry Andric #include "clang/Lex/Preprocessor.h"
220b57cec5SDimitry Andric #include "clang/Tooling/CommonOptionsParser.h"
230b57cec5SDimitry Andric #include "clang/Tooling/Refactoring.h"
240b57cec5SDimitry Andric #include "clang/Tooling/Refactoring/RefactoringAction.h"
250b57cec5SDimitry Andric #include "clang/Tooling/Refactoring/RefactoringDiagnostic.h"
260b57cec5SDimitry Andric #include "clang/Tooling/Refactoring/RefactoringOptions.h"
270b57cec5SDimitry Andric #include "clang/Tooling/Refactoring/Rename/SymbolName.h"
280b57cec5SDimitry Andric #include "clang/Tooling/Refactoring/Rename/USRFinder.h"
290b57cec5SDimitry Andric #include "clang/Tooling/Refactoring/Rename/USRFindingAction.h"
300b57cec5SDimitry Andric #include "clang/Tooling/Refactoring/Rename/USRLocFinder.h"
310b57cec5SDimitry Andric #include "clang/Tooling/Tooling.h"
320b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
330b57cec5SDimitry Andric #include "llvm/Support/Errc.h"
340b57cec5SDimitry Andric #include "llvm/Support/Error.h"
350b57cec5SDimitry Andric #include <string>
360b57cec5SDimitry Andric #include <vector>
370b57cec5SDimitry Andric 
380b57cec5SDimitry Andric using namespace llvm;
390b57cec5SDimitry Andric 
400b57cec5SDimitry Andric namespace clang {
410b57cec5SDimitry Andric namespace tooling {
420b57cec5SDimitry Andric 
430b57cec5SDimitry Andric namespace {
440b57cec5SDimitry Andric 
450b57cec5SDimitry Andric Expected<SymbolOccurrences>
findSymbolOccurrences(const NamedDecl * ND,RefactoringRuleContext & Context)460b57cec5SDimitry Andric findSymbolOccurrences(const NamedDecl *ND, RefactoringRuleContext &Context) {
470b57cec5SDimitry Andric   std::vector<std::string> USRs =
480b57cec5SDimitry Andric       getUSRsForDeclaration(ND, Context.getASTContext());
490b57cec5SDimitry Andric   std::string PrevName = ND->getNameAsString();
500b57cec5SDimitry Andric   return getOccurrencesOfUSRs(USRs, PrevName,
510b57cec5SDimitry Andric                               Context.getASTContext().getTranslationUnitDecl());
520b57cec5SDimitry Andric }
530b57cec5SDimitry Andric 
540b57cec5SDimitry Andric } // end anonymous namespace
550b57cec5SDimitry Andric 
describe()560b57cec5SDimitry Andric const RefactoringDescriptor &RenameOccurrences::describe() {
570b57cec5SDimitry Andric   static const RefactoringDescriptor Descriptor = {
580b57cec5SDimitry Andric       "local-rename",
590b57cec5SDimitry Andric       "Rename",
600b57cec5SDimitry Andric       "Finds and renames symbols in code with no indexer support",
610b57cec5SDimitry Andric   };
620b57cec5SDimitry Andric   return Descriptor;
630b57cec5SDimitry Andric }
640b57cec5SDimitry Andric 
650b57cec5SDimitry Andric Expected<RenameOccurrences>
initiate(RefactoringRuleContext & Context,SourceRange SelectionRange,std::string NewName)660b57cec5SDimitry Andric RenameOccurrences::initiate(RefactoringRuleContext &Context,
670b57cec5SDimitry Andric                             SourceRange SelectionRange, std::string NewName) {
680b57cec5SDimitry Andric   const NamedDecl *ND =
690b57cec5SDimitry Andric       getNamedDeclAt(Context.getASTContext(), SelectionRange.getBegin());
700b57cec5SDimitry Andric   if (!ND)
710b57cec5SDimitry Andric     return Context.createDiagnosticError(
720b57cec5SDimitry Andric         SelectionRange.getBegin(), diag::err_refactor_selection_no_symbol);
730b57cec5SDimitry Andric   return RenameOccurrences(getCanonicalSymbolDeclaration(ND),
740b57cec5SDimitry Andric                            std::move(NewName));
750b57cec5SDimitry Andric }
760b57cec5SDimitry Andric 
getRenameDecl() const770b57cec5SDimitry Andric const NamedDecl *RenameOccurrences::getRenameDecl() const { return ND; }
780b57cec5SDimitry Andric 
790b57cec5SDimitry Andric Expected<AtomicChanges>
createSourceReplacements(RefactoringRuleContext & Context)800b57cec5SDimitry Andric RenameOccurrences::createSourceReplacements(RefactoringRuleContext &Context) {
810b57cec5SDimitry Andric   Expected<SymbolOccurrences> Occurrences = findSymbolOccurrences(ND, Context);
820b57cec5SDimitry Andric   if (!Occurrences)
830b57cec5SDimitry Andric     return Occurrences.takeError();
840b57cec5SDimitry Andric   // FIXME: Verify that the new name is valid.
850b57cec5SDimitry Andric   SymbolName Name(NewName);
860b57cec5SDimitry Andric   return createRenameReplacements(
870b57cec5SDimitry Andric       *Occurrences, Context.getASTContext().getSourceManager(), Name);
880b57cec5SDimitry Andric }
890b57cec5SDimitry Andric 
900b57cec5SDimitry Andric Expected<QualifiedRenameRule>
initiate(RefactoringRuleContext & Context,std::string OldQualifiedName,std::string NewQualifiedName)910b57cec5SDimitry Andric QualifiedRenameRule::initiate(RefactoringRuleContext &Context,
920b57cec5SDimitry Andric                               std::string OldQualifiedName,
930b57cec5SDimitry Andric                               std::string NewQualifiedName) {
940b57cec5SDimitry Andric   const NamedDecl *ND =
950b57cec5SDimitry Andric       getNamedDeclFor(Context.getASTContext(), OldQualifiedName);
960b57cec5SDimitry Andric   if (!ND)
970b57cec5SDimitry Andric     return llvm::make_error<llvm::StringError>("Could not find symbol " +
980b57cec5SDimitry Andric                                                    OldQualifiedName,
990b57cec5SDimitry Andric                                                llvm::errc::invalid_argument);
1000b57cec5SDimitry Andric   return QualifiedRenameRule(ND, std::move(NewQualifiedName));
1010b57cec5SDimitry Andric }
1020b57cec5SDimitry Andric 
describe()1030b57cec5SDimitry Andric const RefactoringDescriptor &QualifiedRenameRule::describe() {
1040b57cec5SDimitry Andric   static const RefactoringDescriptor Descriptor = {
1050b57cec5SDimitry Andric       /*Name=*/"local-qualified-rename",
1060b57cec5SDimitry Andric       /*Title=*/"Qualified Rename",
1070b57cec5SDimitry Andric       /*Description=*/
1080b57cec5SDimitry Andric       R"(Finds and renames qualified symbols in code within a translation unit.
1090b57cec5SDimitry Andric It is used to move/rename a symbol to a new namespace/name:
1100b57cec5SDimitry Andric   * Supported symbols: classes, class members, functions, enums, and type alias.
1110b57cec5SDimitry Andric   * Renames all symbol occurrences from the old qualified name to the new
1120b57cec5SDimitry Andric     qualified name. All symbol references will be correctly qualified; For
1130b57cec5SDimitry Andric     symbol definitions, only name will be changed.
1140b57cec5SDimitry Andric For example, rename "A::Foo" to "B::Bar":
1150b57cec5SDimitry Andric   Old code:
1160b57cec5SDimitry Andric     namespace foo {
1170b57cec5SDimitry Andric     class A {};
1180b57cec5SDimitry Andric     }
1190b57cec5SDimitry Andric 
1200b57cec5SDimitry Andric     namespace bar {
1210b57cec5SDimitry Andric     void f(foo::A a) {}
1220b57cec5SDimitry Andric     }
1230b57cec5SDimitry Andric 
1240b57cec5SDimitry Andric   New code after rename:
1250b57cec5SDimitry Andric     namespace foo {
1260b57cec5SDimitry Andric     class B {};
1270b57cec5SDimitry Andric     }
1280b57cec5SDimitry Andric 
1290b57cec5SDimitry Andric     namespace bar {
1300b57cec5SDimitry Andric     void f(B b) {}
1310b57cec5SDimitry Andric     })"
1320b57cec5SDimitry Andric   };
1330b57cec5SDimitry Andric   return Descriptor;
1340b57cec5SDimitry Andric }
1350b57cec5SDimitry Andric 
1360b57cec5SDimitry Andric Expected<AtomicChanges>
createSourceReplacements(RefactoringRuleContext & Context)1370b57cec5SDimitry Andric QualifiedRenameRule::createSourceReplacements(RefactoringRuleContext &Context) {
1380b57cec5SDimitry Andric   auto USRs = getUSRsForDeclaration(ND, Context.getASTContext());
1390b57cec5SDimitry Andric   assert(!USRs.empty());
1400b57cec5SDimitry Andric   return tooling::createRenameAtomicChanges(
1410b57cec5SDimitry Andric       USRs, NewQualifiedName, Context.getASTContext().getTranslationUnitDecl());
1420b57cec5SDimitry Andric }
1430b57cec5SDimitry Andric 
1440b57cec5SDimitry Andric Expected<std::vector<AtomicChange>>
createRenameReplacements(const SymbolOccurrences & Occurrences,const SourceManager & SM,const SymbolName & NewName)1450b57cec5SDimitry Andric createRenameReplacements(const SymbolOccurrences &Occurrences,
1460b57cec5SDimitry Andric                          const SourceManager &SM, const SymbolName &NewName) {
1470b57cec5SDimitry Andric   // FIXME: A true local rename can use just one AtomicChange.
1480b57cec5SDimitry Andric   std::vector<AtomicChange> Changes;
1490b57cec5SDimitry Andric   for (const auto &Occurrence : Occurrences) {
1500b57cec5SDimitry Andric     ArrayRef<SourceRange> Ranges = Occurrence.getNameRanges();
1510b57cec5SDimitry Andric     assert(NewName.getNamePieces().size() == Ranges.size() &&
1520b57cec5SDimitry Andric            "Mismatching number of ranges and name pieces");
1530b57cec5SDimitry Andric     AtomicChange Change(SM, Ranges[0].getBegin());
1540b57cec5SDimitry Andric     for (const auto &Range : llvm::enumerate(Ranges)) {
1550b57cec5SDimitry Andric       auto Error =
1560b57cec5SDimitry Andric           Change.replace(SM, CharSourceRange::getCharRange(Range.value()),
1570b57cec5SDimitry Andric                          NewName.getNamePieces()[Range.index()]);
1580b57cec5SDimitry Andric       if (Error)
1590b57cec5SDimitry Andric         return std::move(Error);
1600b57cec5SDimitry Andric     }
1610b57cec5SDimitry Andric     Changes.push_back(std::move(Change));
1620b57cec5SDimitry Andric   }
1630b57cec5SDimitry Andric   return std::move(Changes);
1640b57cec5SDimitry Andric }
1650b57cec5SDimitry Andric 
1660b57cec5SDimitry Andric /// Takes each atomic change and inserts its replacements into the set of
1670b57cec5SDimitry Andric /// replacements that belong to the appropriate file.
convertChangesToFileReplacements(ArrayRef<AtomicChange> AtomicChanges,std::map<std::string,tooling::Replacements> * FileToReplaces)1680b57cec5SDimitry Andric static void convertChangesToFileReplacements(
1690b57cec5SDimitry Andric     ArrayRef<AtomicChange> AtomicChanges,
1700b57cec5SDimitry Andric     std::map<std::string, tooling::Replacements> *FileToReplaces) {
1710b57cec5SDimitry Andric   for (const auto &AtomicChange : AtomicChanges) {
1720b57cec5SDimitry Andric     for (const auto &Replace : AtomicChange.getReplacements()) {
173*5ffd83dbSDimitry Andric       llvm::Error Err =
174*5ffd83dbSDimitry Andric           (*FileToReplaces)[std::string(Replace.getFilePath())].add(Replace);
1750b57cec5SDimitry Andric       if (Err) {
1760b57cec5SDimitry Andric         llvm::errs() << "Renaming failed in " << Replace.getFilePath() << "! "
1770b57cec5SDimitry Andric                      << llvm::toString(std::move(Err)) << "\n";
1780b57cec5SDimitry Andric       }
1790b57cec5SDimitry Andric     }
1800b57cec5SDimitry Andric   }
1810b57cec5SDimitry Andric }
1820b57cec5SDimitry Andric 
1830b57cec5SDimitry Andric class RenamingASTConsumer : public ASTConsumer {
1840b57cec5SDimitry Andric public:
RenamingASTConsumer(const std::vector<std::string> & NewNames,const std::vector<std::string> & PrevNames,const std::vector<std::vector<std::string>> & USRList,std::map<std::string,tooling::Replacements> & FileToReplaces,bool PrintLocations)1850b57cec5SDimitry Andric   RenamingASTConsumer(
1860b57cec5SDimitry Andric       const std::vector<std::string> &NewNames,
1870b57cec5SDimitry Andric       const std::vector<std::string> &PrevNames,
1880b57cec5SDimitry Andric       const std::vector<std::vector<std::string>> &USRList,
1890b57cec5SDimitry Andric       std::map<std::string, tooling::Replacements> &FileToReplaces,
1900b57cec5SDimitry Andric       bool PrintLocations)
1910b57cec5SDimitry Andric       : NewNames(NewNames), PrevNames(PrevNames), USRList(USRList),
1920b57cec5SDimitry Andric         FileToReplaces(FileToReplaces), PrintLocations(PrintLocations) {}
1930b57cec5SDimitry Andric 
HandleTranslationUnit(ASTContext & Context)1940b57cec5SDimitry Andric   void HandleTranslationUnit(ASTContext &Context) override {
1950b57cec5SDimitry Andric     for (unsigned I = 0; I < NewNames.size(); ++I) {
1960b57cec5SDimitry Andric       // If the previous name was not found, ignore this rename request.
1970b57cec5SDimitry Andric       if (PrevNames[I].empty())
1980b57cec5SDimitry Andric         continue;
1990b57cec5SDimitry Andric 
2000b57cec5SDimitry Andric       HandleOneRename(Context, NewNames[I], PrevNames[I], USRList[I]);
2010b57cec5SDimitry Andric     }
2020b57cec5SDimitry Andric   }
2030b57cec5SDimitry Andric 
HandleOneRename(ASTContext & Context,const std::string & NewName,const std::string & PrevName,const std::vector<std::string> & USRs)2040b57cec5SDimitry Andric   void HandleOneRename(ASTContext &Context, const std::string &NewName,
2050b57cec5SDimitry Andric                        const std::string &PrevName,
2060b57cec5SDimitry Andric                        const std::vector<std::string> &USRs) {
2070b57cec5SDimitry Andric     const SourceManager &SourceMgr = Context.getSourceManager();
2080b57cec5SDimitry Andric 
2090b57cec5SDimitry Andric     SymbolOccurrences Occurrences = tooling::getOccurrencesOfUSRs(
2100b57cec5SDimitry Andric         USRs, PrevName, Context.getTranslationUnitDecl());
2110b57cec5SDimitry Andric     if (PrintLocations) {
2120b57cec5SDimitry Andric       for (const auto &Occurrence : Occurrences) {
2130b57cec5SDimitry Andric         FullSourceLoc FullLoc(Occurrence.getNameRanges()[0].getBegin(),
2140b57cec5SDimitry Andric                               SourceMgr);
2150b57cec5SDimitry Andric         errs() << "clang-rename: renamed at: " << SourceMgr.getFilename(FullLoc)
2160b57cec5SDimitry Andric                << ":" << FullLoc.getSpellingLineNumber() << ":"
2170b57cec5SDimitry Andric                << FullLoc.getSpellingColumnNumber() << "\n";
2180b57cec5SDimitry Andric       }
2190b57cec5SDimitry Andric     }
2200b57cec5SDimitry Andric     // FIXME: Support multi-piece names.
2210b57cec5SDimitry Andric     // FIXME: better error handling (propagate error out).
2220b57cec5SDimitry Andric     SymbolName NewNameRef(NewName);
2230b57cec5SDimitry Andric     Expected<std::vector<AtomicChange>> Change =
2240b57cec5SDimitry Andric         createRenameReplacements(Occurrences, SourceMgr, NewNameRef);
2250b57cec5SDimitry Andric     if (!Change) {
2260b57cec5SDimitry Andric       llvm::errs() << "Failed to create renaming replacements for '" << PrevName
2270b57cec5SDimitry Andric                    << "'! " << llvm::toString(Change.takeError()) << "\n";
2280b57cec5SDimitry Andric       return;
2290b57cec5SDimitry Andric     }
2300b57cec5SDimitry Andric     convertChangesToFileReplacements(*Change, &FileToReplaces);
2310b57cec5SDimitry Andric   }
2320b57cec5SDimitry Andric 
2330b57cec5SDimitry Andric private:
2340b57cec5SDimitry Andric   const std::vector<std::string> &NewNames, &PrevNames;
2350b57cec5SDimitry Andric   const std::vector<std::vector<std::string>> &USRList;
2360b57cec5SDimitry Andric   std::map<std::string, tooling::Replacements> &FileToReplaces;
2370b57cec5SDimitry Andric   bool PrintLocations;
2380b57cec5SDimitry Andric };
2390b57cec5SDimitry Andric 
2400b57cec5SDimitry Andric // A renamer to rename symbols which are identified by a give USRList to
2410b57cec5SDimitry Andric // new name.
2420b57cec5SDimitry Andric //
2430b57cec5SDimitry Andric // FIXME: Merge with the above RenamingASTConsumer.
2440b57cec5SDimitry Andric class USRSymbolRenamer : public ASTConsumer {
2450b57cec5SDimitry Andric public:
USRSymbolRenamer(const std::vector<std::string> & NewNames,const std::vector<std::vector<std::string>> & USRList,std::map<std::string,tooling::Replacements> & FileToReplaces)2460b57cec5SDimitry Andric   USRSymbolRenamer(const std::vector<std::string> &NewNames,
2470b57cec5SDimitry Andric                    const std::vector<std::vector<std::string>> &USRList,
2480b57cec5SDimitry Andric                    std::map<std::string, tooling::Replacements> &FileToReplaces)
2490b57cec5SDimitry Andric       : NewNames(NewNames), USRList(USRList), FileToReplaces(FileToReplaces) {
2500b57cec5SDimitry Andric     assert(USRList.size() == NewNames.size());
2510b57cec5SDimitry Andric   }
2520b57cec5SDimitry Andric 
HandleTranslationUnit(ASTContext & Context)2530b57cec5SDimitry Andric   void HandleTranslationUnit(ASTContext &Context) override {
2540b57cec5SDimitry Andric     for (unsigned I = 0; I < NewNames.size(); ++I) {
2550b57cec5SDimitry Andric       // FIXME: Apply AtomicChanges directly once the refactoring APIs are
2560b57cec5SDimitry Andric       // ready.
2570b57cec5SDimitry Andric       auto AtomicChanges = tooling::createRenameAtomicChanges(
2580b57cec5SDimitry Andric           USRList[I], NewNames[I], Context.getTranslationUnitDecl());
2590b57cec5SDimitry Andric       convertChangesToFileReplacements(AtomicChanges, &FileToReplaces);
2600b57cec5SDimitry Andric     }
2610b57cec5SDimitry Andric   }
2620b57cec5SDimitry Andric 
2630b57cec5SDimitry Andric private:
2640b57cec5SDimitry Andric   const std::vector<std::string> &NewNames;
2650b57cec5SDimitry Andric   const std::vector<std::vector<std::string>> &USRList;
2660b57cec5SDimitry Andric   std::map<std::string, tooling::Replacements> &FileToReplaces;
2670b57cec5SDimitry Andric };
2680b57cec5SDimitry Andric 
newASTConsumer()2690b57cec5SDimitry Andric std::unique_ptr<ASTConsumer> RenamingAction::newASTConsumer() {
270a7dea167SDimitry Andric   return std::make_unique<RenamingASTConsumer>(NewNames, PrevNames, USRList,
2710b57cec5SDimitry Andric                                                 FileToReplaces, PrintLocations);
2720b57cec5SDimitry Andric }
2730b57cec5SDimitry Andric 
newASTConsumer()2740b57cec5SDimitry Andric std::unique_ptr<ASTConsumer> QualifiedRenamingAction::newASTConsumer() {
275a7dea167SDimitry Andric   return std::make_unique<USRSymbolRenamer>(NewNames, USRList, FileToReplaces);
2760b57cec5SDimitry Andric }
2770b57cec5SDimitry Andric 
2780b57cec5SDimitry Andric } // end namespace tooling
2790b57cec5SDimitry Andric } // end namespace clang
280