blob: 2522f5390df20474a6c14ba5b4044c545093f1d3 [file] [log] [blame]
Haojian Wu357ef992016-09-21 13:18:19 +00001//===-- ClangMove.h - Clang move -----------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_MOVE_CLANGMOVE_H
11#define LLVM_CLANG_TOOLS_EXTRA_CLANG_MOVE_CLANGMOVE_H
12
Haojian Wu36265162017-01-03 09:00:51 +000013#include "HelperDeclRefGraph.h"
Haojian Wu357ef992016-09-21 13:18:19 +000014#include "clang/ASTMatchers/ASTMatchFinder.h"
15#include "clang/Frontend/FrontendAction.h"
16#include "clang/Tooling/Core/Replacement.h"
17#include "clang/Tooling/Tooling.h"
Haojian Wu2930be12016-11-08 19:55:13 +000018#include "llvm/ADT/SmallPtrSet.h"
Haojian Wu48ac3042016-11-23 10:04:19 +000019#include "llvm/ADT/StringMap.h"
Haojian Wu357ef992016-09-21 13:18:19 +000020#include <map>
Haojian Wu35ca9462016-11-14 14:15:44 +000021#include <memory>
Haojian Wu357ef992016-09-21 13:18:19 +000022#include <string>
23#include <vector>
24
25namespace clang {
26namespace move {
27
Haojian Wub15c8da2016-11-24 10:17:17 +000028// A reporter which collects and reports declarations in old header.
29class DeclarationReporter {
30public:
31 DeclarationReporter() = default;
32 ~DeclarationReporter() = default;
33
34 void reportDeclaration(llvm::StringRef DeclarationName,
35 llvm::StringRef Type) {
36 DeclarationList.emplace_back(DeclarationName, Type);
37 };
38
39 // A <DeclarationName, DeclarationKind> pair.
40 // The DeclarationName is a fully qualified name for the declaration, like
41 // A::B::Foo. The DeclarationKind is a string represents the kind of the
42 // declaration, currently only "Function" and "Class" are supported.
43 typedef std::pair<std::string, std::string> DeclarationPair;
44
45 const std::vector<DeclarationPair> getDeclarationList() const {
46 return DeclarationList;
47 }
48
49private:
50 std::vector<DeclarationPair> DeclarationList;
51};
52
53// Specify declarations being moved. It contains all information of the moved
54// declarations.
55struct MoveDefinitionSpec {
56 // The list of fully qualified names, e.g. Foo, a::Foo, b::Foo.
57 SmallVector<std::string, 4> Names;
58 // The file path of old header, can be relative path and absolute path.
59 std::string OldHeader;
60 // The file path of old cc, can be relative path and absolute path.
61 std::string OldCC;
62 // The file path of new header, can be relative path and absolute path.
63 std::string NewHeader;
64 // The file path of new cc, can be relative path and absolute path.
65 std::string NewCC;
66 // Whether old.h depends on new.h. If true, #include "new.h" will be added
67 // in old.h.
68 bool OldDependOnNew = false;
69 // Whether new.h depends on old.h. If true, #include "old.h" will be added
70 // in new.h.
71 bool NewDependOnOld = false;
72};
73
74// A Context which contains extra options which are used in ClangMoveTool.
75struct ClangMoveContext {
76 MoveDefinitionSpec Spec;
77 // The Key is file path, value is the replacements being applied to the file.
78 std::map<std::string, tooling::Replacements> &FileToReplacements;
79 // The original working directory where the local clang-move binary runs.
80 //
81 // clang-move will change its current working directory to the build
82 // directory when analyzing the source file. We save the original working
83 // directory in order to get the absolute file path for the fields in Spec.
84 std::string OriginalRunningDirectory;
85 // The name of a predefined code style.
86 std::string FallbackStyle;
87 // Whether dump all declarations in old header.
88 bool DumpDeclarations;
89};
90
91// This tool is used to move class/function definitions from the given source
Haojian Wu36265162017-01-03 09:00:51 +000092// files (old.h/cc) to new files (new.h/cc).
93// The goal of this tool is to make the new/old files as compilable as possible.
94//
95// When moving a symbol,all used helper declarations (e.g. static
96// functions/variables definitions in global/named namespace,
97// functions/variables/classes definitions in anonymous namespace) used by the
98// moved symbol in old.cc are moved to the new.cc. In addition, all
99// using-declarations in old.cc are also moved to new.cc; forward class
100// declarations in old.h are also moved to new.h.
101//
102// The remaining helper declarations which are unused by non-moved symbols in
103// old.cc will be removed.
Haojian Wu2930be12016-11-08 19:55:13 +0000104//
Haojian Wub15c8da2016-11-24 10:17:17 +0000105// Note: When all declarations in old header are being moved, all code in
Eric Liu47a42d52016-12-06 10:12:23 +0000106// old.h/cc will be moved, which means old.h/cc are empty. This ignores symbols
107// that are not supported (e.g. typedef and enum) so that we always move old
108// files to new files when all symbols produced from dump_decls are moved.
Haojian Wu357ef992016-09-21 13:18:19 +0000109class ClangMoveTool : public ast_matchers::MatchFinder::MatchCallback {
110public:
Haojian Wub15c8da2016-11-24 10:17:17 +0000111 ClangMoveTool(ClangMoveContext *const Context,
112 DeclarationReporter *const Reporter);
Haojian Wu357ef992016-09-21 13:18:19 +0000113
114 void registerMatchers(ast_matchers::MatchFinder *Finder);
115
116 void run(const ast_matchers::MatchFinder::MatchResult &Result) override;
117
118 void onEndOfTranslationUnit() override;
119
Haojian Wud2a6d7b2016-10-04 09:05:31 +0000120 /// Add #includes from old.h/cc files.
121 ///
122 /// \param IncludeHeader The name of the file being included, as written in
123 /// the source code.
124 /// \param IsAngled Whether the file name was enclosed in angle brackets.
125 /// \param SearchPath The search path which was used to find the IncludeHeader
126 /// in the file system. It can be a relative path or an absolute path.
127 /// \param FileName The name of file where the IncludeHeader comes from.
Haojian Wub15c8da2016-11-24 10:17:17 +0000128 /// \param IncludeFilenameRange The source range for the written file name in
129 /// #include (i.e. "old.h" for #include "old.h") in old.cc.
Haojian Wuef445b72016-10-04 10:40:52 +0000130 /// \param SM The SourceManager.
Mandeep Singh Grang7c7ea7d2016-11-08 07:50:19 +0000131 void addIncludes(llvm::StringRef IncludeHeader, bool IsAngled,
132 llvm::StringRef SearchPath, llvm::StringRef FileName,
Haojian Wu2930be12016-11-08 19:55:13 +0000133 clang::CharSourceRange IncludeFilenameRange,
Mandeep Singh Grang7c7ea7d2016-11-08 07:50:19 +0000134 const SourceManager &SM);
Haojian Wu357ef992016-09-21 13:18:19 +0000135
Haojian Wu08e402a2016-12-02 12:39:39 +0000136 std::vector<const NamedDecl *> &getMovedDecls() { return MovedDecls; }
Haojian Wu35ca9462016-11-14 14:15:44 +0000137
Haojian Wu48ac3042016-11-23 10:04:19 +0000138 /// Add declarations being removed from old.h/cc. For each declarations, the
139 /// method also records the mapping relationship between the corresponding
140 /// FilePath and its FileID.
Haojian Wu08e402a2016-12-02 12:39:39 +0000141 void addRemovedDecl(const NamedDecl *Decl);
Haojian Wu35ca9462016-11-14 14:15:44 +0000142
143 llvm::SmallPtrSet<const NamedDecl *, 8> &getUnremovedDeclsInOldHeader() {
144 return UnremovedDeclsInOldHeader;
145 }
146
Haojian Wu357ef992016-09-21 13:18:19 +0000147private:
Haojian Wu2930be12016-11-08 19:55:13 +0000148 // Make the Path absolute using the OrignalRunningDirectory if the Path is not
149 // an absolute path. An empty Path will result in an empty string.
150 std::string makeAbsolutePath(StringRef Path);
151
Haojian Wu08e402a2016-12-02 12:39:39 +0000152 void removeDeclsInOldFiles();
153 void moveDeclsToNewFiles();
Haojian Wu2930be12016-11-08 19:55:13 +0000154 void moveAll(SourceManager& SM, StringRef OldFile, StringRef NewFile);
Haojian Wu357ef992016-09-21 13:18:19 +0000155
Haojian Wu35ca9462016-11-14 14:15:44 +0000156 // Stores all MatchCallbacks created by this tool.
157 std::vector<std::unique_ptr<ast_matchers::MatchFinder::MatchCallback>>
158 MatchCallbacks;
Haojian Wu36265162017-01-03 09:00:51 +0000159 // Store all potential declarations (decls being moved, forward decls) that
160 // might need to move to new.h/cc. It includes all helper declarations
161 // (include unused ones) by default. The unused ones will be filtered out in
162 // the last stage. Saving in an AST-visited order.
Haojian Wu08e402a2016-12-02 12:39:39 +0000163 std::vector<const NamedDecl *> MovedDecls;
Haojian Wu357ef992016-09-21 13:18:19 +0000164 // The declarations that needs to be removed in old.cc/h.
Haojian Wu08e402a2016-12-02 12:39:39 +0000165 std::vector<const NamedDecl *> RemovedDecls;
Haojian Wu357ef992016-09-21 13:18:19 +0000166 // The #includes in old_header.h.
167 std::vector<std::string> HeaderIncludes;
168 // The #includes in old_cc.cc.
169 std::vector<std::string> CCIncludes;
Haojian Wu36265162017-01-03 09:00:51 +0000170 // Records all helper declarations (function/variable/class definitions in
171 // anonymous namespaces, static function/variable definitions in global/named
172 // namespaces) in old.cc. saving in an AST-visited order.
173 std::vector<const NamedDecl *> HelperDeclarations;
Haojian Wu2930be12016-11-08 19:55:13 +0000174 // The unmoved named declarations in old header.
175 llvm::SmallPtrSet<const NamedDecl*, 8> UnremovedDeclsInOldHeader;
176 /// The source range for the written file name in #include (i.e. "old.h" for
177 /// #include "old.h") in old.cc, including the enclosing quotes or angle
178 /// brackets.
179 clang::CharSourceRange OldHeaderIncludeRange;
Haojian Wu48ac3042016-11-23 10:04:19 +0000180 /// Mapping from FilePath to FileID, which can be used in post processes like
181 /// cleanup around replacements.
182 llvm::StringMap<FileID> FilePathToFileID;
Haojian Wub15c8da2016-11-24 10:17:17 +0000183 /// A context contains all running options. It is not owned.
184 ClangMoveContext *const Context;
185 /// A reporter to report all declarations from old header. It is not owned.
186 DeclarationReporter *const Reporter;
Haojian Wu36265162017-01-03 09:00:51 +0000187 /// Builder for helper declarations reference graph.
188 HelperDeclRGBuilder RGBuilder;
Haojian Wu357ef992016-09-21 13:18:19 +0000189};
190
191class ClangMoveAction : public clang::ASTFrontendAction {
192public:
Haojian Wub15c8da2016-11-24 10:17:17 +0000193 ClangMoveAction(ClangMoveContext *const Context,
194 DeclarationReporter *const Reporter)
195 : MoveTool(Context, Reporter) {
Haojian Wu357ef992016-09-21 13:18:19 +0000196 MoveTool.registerMatchers(&MatchFinder);
197 }
198
199 ~ClangMoveAction() override = default;
200
201 std::unique_ptr<clang::ASTConsumer>
202 CreateASTConsumer(clang::CompilerInstance &Compiler,
203 llvm::StringRef InFile) override;
204
205private:
206 ast_matchers::MatchFinder MatchFinder;
207 ClangMoveTool MoveTool;
208};
209
210class ClangMoveActionFactory : public tooling::FrontendActionFactory {
211public:
Haojian Wub15c8da2016-11-24 10:17:17 +0000212 ClangMoveActionFactory(ClangMoveContext *const Context,
213 DeclarationReporter *const Reporter = nullptr)
214 : Context(Context), Reporter(Reporter) {}
Haojian Wu357ef992016-09-21 13:18:19 +0000215
216 clang::FrontendAction *create() override {
Haojian Wub15c8da2016-11-24 10:17:17 +0000217 return new ClangMoveAction(Context, Reporter);
Haojian Wu357ef992016-09-21 13:18:19 +0000218 }
219
220private:
Haojian Wub15c8da2016-11-24 10:17:17 +0000221 // Not owned.
222 ClangMoveContext *const Context;
223 DeclarationReporter *const Reporter;
Haojian Wu357ef992016-09-21 13:18:19 +0000224};
225
226} // namespace move
227} // namespace clang
228
229#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_MOVE_CLANGMOVE_H