RefactoringTest.cpp 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797
  1. //===- unittest/Tooling/RefactoringTest.cpp - Refactoring unit tests ------===//
  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. #include "ReplacementTest.h"
  10. #include "RewriterTestContext.h"
  11. #include "clang/AST/ASTConsumer.h"
  12. #include "clang/AST/ASTContext.h"
  13. #include "clang/AST/DeclCXX.h"
  14. #include "clang/AST/DeclGroup.h"
  15. #include "clang/AST/RecursiveASTVisitor.h"
  16. #include "clang/Basic/Diagnostic.h"
  17. #include "clang/Basic/DiagnosticOptions.h"
  18. #include "clang/Basic/FileManager.h"
  19. #include "clang/Basic/LangOptions.h"
  20. #include "clang/Basic/SourceManager.h"
  21. #include "clang/Format/Format.h"
  22. #include "clang/Frontend/CompilerInstance.h"
  23. #include "clang/Frontend/FrontendAction.h"
  24. #include "clang/Frontend/TextDiagnosticPrinter.h"
  25. #include "clang/Rewrite/Core/Rewriter.h"
  26. #include "clang/Tooling/Refactoring.h"
  27. #include "clang/Tooling/Tooling.h"
  28. #include "llvm/ADT/SmallString.h"
  29. #include "gtest/gtest.h"
  30. namespace clang {
  31. namespace tooling {
  32. TEST_F(ReplacementTest, CanDeleteAllText) {
  33. FileID ID = Context.createInMemoryFile("input.cpp", "text");
  34. SourceLocation Location = Context.getLocation(ID, 1, 1);
  35. Replacement Replace(createReplacement(Location, 4, ""));
  36. EXPECT_TRUE(Replace.apply(Context.Rewrite));
  37. EXPECT_EQ("", Context.getRewrittenText(ID));
  38. }
  39. TEST_F(ReplacementTest, CanDeleteAllTextInTextWithNewlines) {
  40. FileID ID = Context.createInMemoryFile("input.cpp", "line1\nline2\nline3");
  41. SourceLocation Location = Context.getLocation(ID, 1, 1);
  42. Replacement Replace(createReplacement(Location, 17, ""));
  43. EXPECT_TRUE(Replace.apply(Context.Rewrite));
  44. EXPECT_EQ("", Context.getRewrittenText(ID));
  45. }
  46. TEST_F(ReplacementTest, CanAddText) {
  47. FileID ID = Context.createInMemoryFile("input.cpp", "");
  48. SourceLocation Location = Context.getLocation(ID, 1, 1);
  49. Replacement Replace(createReplacement(Location, 0, "result"));
  50. EXPECT_TRUE(Replace.apply(Context.Rewrite));
  51. EXPECT_EQ("result", Context.getRewrittenText(ID));
  52. }
  53. TEST_F(ReplacementTest, CanReplaceTextAtPosition) {
  54. FileID ID = Context.createInMemoryFile("input.cpp",
  55. "line1\nline2\nline3\nline4");
  56. SourceLocation Location = Context.getLocation(ID, 2, 3);
  57. Replacement Replace(createReplacement(Location, 12, "x"));
  58. EXPECT_TRUE(Replace.apply(Context.Rewrite));
  59. EXPECT_EQ("line1\nlixne4", Context.getRewrittenText(ID));
  60. }
  61. TEST_F(ReplacementTest, CanReplaceTextAtPositionMultipleTimes) {
  62. FileID ID = Context.createInMemoryFile("input.cpp",
  63. "line1\nline2\nline3\nline4");
  64. SourceLocation Location1 = Context.getLocation(ID, 2, 3);
  65. Replacement Replace1(createReplacement(Location1, 12, "x\ny\n"));
  66. EXPECT_TRUE(Replace1.apply(Context.Rewrite));
  67. EXPECT_EQ("line1\nlix\ny\nne4", Context.getRewrittenText(ID));
  68. // Since the original source has not been modified, the (4, 4) points to the
  69. // 'e' in the original content.
  70. SourceLocation Location2 = Context.getLocation(ID, 4, 4);
  71. Replacement Replace2(createReplacement(Location2, 1, "f"));
  72. EXPECT_TRUE(Replace2.apply(Context.Rewrite));
  73. EXPECT_EQ("line1\nlix\ny\nnf4", Context.getRewrittenText(ID));
  74. }
  75. TEST_F(ReplacementTest, ApplyFailsForNonExistentLocation) {
  76. Replacement Replace("nonexistent-file.cpp", 0, 1, "");
  77. EXPECT_FALSE(Replace.apply(Context.Rewrite));
  78. }
  79. TEST_F(ReplacementTest, CanRetrivePath) {
  80. Replacement Replace("/path/to/file.cpp", 0, 1, "");
  81. EXPECT_EQ("/path/to/file.cpp", Replace.getFilePath());
  82. }
  83. TEST_F(ReplacementTest, ReturnsInvalidPath) {
  84. Replacement Replace1(Context.Sources, SourceLocation(), 0, "");
  85. EXPECT_TRUE(Replace1.getFilePath().empty());
  86. Replacement Replace2;
  87. EXPECT_TRUE(Replace2.getFilePath().empty());
  88. }
  89. TEST_F(ReplacementTest, FailAddReplacements) {
  90. Replacements Replaces;
  91. auto Err = Replaces.add(Replacement("x.cc", 0, 10, "3"));
  92. EXPECT_TRUE(!Err);
  93. llvm::consumeError(std::move(Err));
  94. Err = Replaces.add(Replacement("x.cc", 0, 2, ""));
  95. EXPECT_TRUE((bool)Err);
  96. llvm::consumeError(std::move(Err));
  97. Err = Replaces.add(Replacement("x.cc", 2, 2, ""));
  98. EXPECT_TRUE((bool)Err);
  99. llvm::consumeError(std::move(Err));
  100. Err = Replaces.add(Replacement("y.cc", 20, 2, ""));
  101. EXPECT_TRUE((bool)Err);
  102. llvm::consumeError(std::move(Err));
  103. }
  104. TEST_F(ReplacementTest, AddAdjacentInsertionAndReplacement) {
  105. Replacements Replaces;
  106. // Test adding an insertion at the offset of an existing replacement.
  107. auto Err = Replaces.add(Replacement("x.cc", 10, 3, "replace"));
  108. EXPECT_TRUE(!Err);
  109. llvm::consumeError(std::move(Err));
  110. Err = Replaces.add(Replacement("x.cc", 10, 0, "insert"));
  111. EXPECT_TRUE(!Err);
  112. llvm::consumeError(std::move(Err));
  113. EXPECT_EQ(Replaces.size(), 2u);
  114. Replaces.clear();
  115. // Test overlap with an existing insertion.
  116. Err = Replaces.add(Replacement("x.cc", 10, 0, "insert"));
  117. EXPECT_TRUE(!Err);
  118. llvm::consumeError(std::move(Err));
  119. Err = Replaces.add(Replacement("x.cc", 10, 3, "replace"));
  120. EXPECT_TRUE(!Err);
  121. llvm::consumeError(std::move(Err));
  122. EXPECT_EQ(Replaces.size(), 2u);
  123. }
  124. TEST_F(ReplacementTest, FailAddRegression) {
  125. Replacements Replaces;
  126. // Create two replacements, where the second one is an insertion of the empty
  127. // string exactly at the end of the first one.
  128. auto Err = Replaces.add(Replacement("x.cc", 0, 10, "1"));
  129. EXPECT_TRUE(!Err);
  130. llvm::consumeError(std::move(Err));
  131. Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
  132. EXPECT_TRUE(!Err);
  133. llvm::consumeError(std::move(Err));
  134. // Make sure we find the overlap with the first entry when inserting a
  135. // replacement that ends exactly at the seam of the existing replacements.
  136. Err = Replaces.add(Replacement("x.cc", 5, 5, "fail"));
  137. EXPECT_TRUE((bool)Err);
  138. llvm::consumeError(std::move(Err));
  139. Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
  140. EXPECT_TRUE((bool)Err);
  141. llvm::consumeError(std::move(Err));
  142. }
  143. TEST_F(ReplacementTest, InsertAtOffsetOfReplacement) {
  144. Replacements Replaces;
  145. auto Err = Replaces.add(Replacement("x.cc", 10, 2, ""));
  146. EXPECT_TRUE(!Err);
  147. llvm::consumeError(std::move(Err));
  148. Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
  149. EXPECT_TRUE(!Err);
  150. llvm::consumeError(std::move(Err));
  151. EXPECT_EQ(Replaces.size(), 2u);
  152. Replaces.clear();
  153. Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
  154. EXPECT_TRUE(!Err);
  155. llvm::consumeError(std::move(Err));
  156. Err = Replaces.add(Replacement("x.cc", 10, 2, ""));
  157. EXPECT_TRUE(!Err);
  158. llvm::consumeError(std::move(Err));
  159. EXPECT_EQ(Replaces.size(), 2u);
  160. }
  161. TEST_F(ReplacementTest, FailAddInsertAtOtherInsert) {
  162. Replacements Replaces;
  163. auto Err = Replaces.add(Replacement("x.cc", 10, 0, "a"));
  164. EXPECT_TRUE(!Err);
  165. llvm::consumeError(std::move(Err));
  166. Err = Replaces.add(Replacement("x.cc", 10, 0, "b"));
  167. EXPECT_TRUE((bool)Err);
  168. llvm::consumeError(std::move(Err));
  169. Replaces.clear();
  170. Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
  171. EXPECT_TRUE(!Err);
  172. llvm::consumeError(std::move(Err));
  173. Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
  174. EXPECT_TRUE((bool)Err);
  175. llvm::consumeError(std::move(Err));
  176. Replaces.clear();
  177. Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
  178. EXPECT_TRUE(!Err);
  179. llvm::consumeError(std::move(Err));
  180. Err = Replaces.add(Replacement("x.cc", 10, 3, ""));
  181. EXPECT_TRUE(!Err);
  182. llvm::consumeError(std::move(Err));
  183. Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
  184. EXPECT_TRUE((bool)Err);
  185. llvm::consumeError(std::move(Err));
  186. }
  187. TEST_F(ReplacementTest, InsertBetweenAdjacentReplacements) {
  188. Replacements Replaces;
  189. auto Err = Replaces.add(Replacement("x.cc", 10, 5, "a"));
  190. EXPECT_TRUE(!Err);
  191. llvm::consumeError(std::move(Err));
  192. Err = Replaces.add(Replacement("x.cc", 8, 2, "a"));
  193. EXPECT_TRUE(!Err);
  194. llvm::consumeError(std::move(Err));
  195. Err = Replaces.add(Replacement("x.cc", 10, 0, "b"));
  196. EXPECT_TRUE(!Err);
  197. llvm::consumeError(std::move(Err));
  198. }
  199. TEST_F(ReplacementTest, CanApplyReplacements) {
  200. FileID ID = Context.createInMemoryFile("input.cpp",
  201. "line1\nline2\nline3\nline4");
  202. Replacements Replaces =
  203. toReplacements({Replacement(Context.Sources,
  204. Context.getLocation(ID, 2, 1), 5, "replaced"),
  205. Replacement(Context.Sources,
  206. Context.getLocation(ID, 3, 1), 5, "other")});
  207. EXPECT_TRUE(applyAllReplacements(Replaces, Context.Rewrite));
  208. EXPECT_EQ("line1\nreplaced\nother\nline4", Context.getRewrittenText(ID));
  209. }
  210. // Verifies that replacement/deletion is applied before insertion at the same
  211. // offset.
  212. TEST_F(ReplacementTest, InsertAndDelete) {
  213. FileID ID = Context.createInMemoryFile("input.cpp",
  214. "line1\nline2\nline3\nline4");
  215. Replacements Replaces = toReplacements(
  216. {Replacement(Context.Sources, Context.getLocation(ID, 2, 1), 6, ""),
  217. Replacement(Context.Sources, Context.getLocation(ID, 2, 1), 0,
  218. "other\n")});
  219. EXPECT_TRUE(applyAllReplacements(Replaces, Context.Rewrite));
  220. EXPECT_EQ("line1\nother\nline3\nline4", Context.getRewrittenText(ID));
  221. }
  222. TEST_F(ReplacementTest, AdjacentReplacements) {
  223. FileID ID = Context.createInMemoryFile("input.cpp",
  224. "ab");
  225. Replacements Replaces = toReplacements(
  226. {Replacement(Context.Sources, Context.getLocation(ID, 1, 1), 1, "x"),
  227. Replacement(Context.Sources, Context.getLocation(ID, 1, 2), 1, "y")});
  228. EXPECT_TRUE(applyAllReplacements(Replaces, Context.Rewrite));
  229. EXPECT_EQ("xy", Context.getRewrittenText(ID));
  230. }
  231. TEST_F(ReplacementTest, SkipsDuplicateReplacements) {
  232. FileID ID = Context.createInMemoryFile("input.cpp",
  233. "line1\nline2\nline3\nline4");
  234. auto Replaces = toReplacements({Replacement(
  235. Context.Sources, Context.getLocation(ID, 2, 1), 5, "replaced")});
  236. auto Err = Replaces.add(Replacement(
  237. Context.Sources, Context.getLocation(ID, 2, 1), 5, "replaced"));
  238. EXPECT_TRUE((bool)Err);
  239. llvm::consumeError(std::move(Err));
  240. Err = Replaces.add(Replacement(Context.Sources, Context.getLocation(ID, 2, 1),
  241. 5, "replaced"));
  242. EXPECT_TRUE((bool)Err);
  243. llvm::consumeError(std::move(Err));
  244. EXPECT_TRUE(applyAllReplacements(Replaces, Context.Rewrite));
  245. EXPECT_EQ("line1\nreplaced\nline3\nline4", Context.getRewrittenText(ID));
  246. }
  247. TEST_F(ReplacementTest, InvalidSourceLocationFailsApplyAll) {
  248. Replacements Replaces =
  249. toReplacements({Replacement(Context.Sources, SourceLocation(), 5, "2")});
  250. EXPECT_FALSE(applyAllReplacements(Replaces, Context.Rewrite));
  251. }
  252. TEST_F(ReplacementTest, MultipleFilesReplaceAndFormat) {
  253. // Column limit is 20.
  254. std::string Code1 = "Long *a =\n"
  255. " new Long();\n"
  256. "long x = 1;";
  257. std::string Expected1 = "auto a = new Long();\n"
  258. "long x =\n"
  259. " 12345678901;";
  260. std::string Code2 = "int x = 123;\n"
  261. "int y = 0;";
  262. std::string Expected2 = "int x =\n"
  263. " 1234567890123;\n"
  264. "int y = 10;";
  265. StringRef File1 = "format_1.cpp";
  266. StringRef File2 = "format_2.cpp";
  267. FileID ID1 = Context.createInMemoryFile(File1, Code1);
  268. FileID ID2 = Context.createInMemoryFile(File2, Code2);
  269. // Scrambled the order of replacements.
  270. std::map<std::string, Replacements> FileToReplaces;
  271. FileToReplaces[File1] = toReplacements(
  272. {tooling::Replacement(Context.Sources, Context.getLocation(ID1, 1, 1), 6,
  273. "auto "),
  274. tooling::Replacement(Context.Sources, Context.getLocation(ID1, 3, 10), 1,
  275. "12345678901")});
  276. FileToReplaces[File2] = toReplacements(
  277. {tooling::Replacement(Context.Sources, Context.getLocation(ID2, 1, 12), 0,
  278. "4567890123"),
  279. tooling::Replacement(Context.Sources, Context.getLocation(ID2, 2, 9), 1,
  280. "10")});
  281. EXPECT_TRUE(
  282. formatAndApplyAllReplacements(FileToReplaces, Context.Rewrite,
  283. "{BasedOnStyle: LLVM, ColumnLimit: 20}"));
  284. EXPECT_EQ(Expected1, Context.getRewrittenText(ID1));
  285. EXPECT_EQ(Expected2, Context.getRewrittenText(ID2));
  286. }
  287. TEST(ShiftedCodePositionTest, FindsNewCodePosition) {
  288. Replacements Replaces =
  289. toReplacements({Replacement("", 0, 1, ""), Replacement("", 4, 3, " ")});
  290. // Assume ' int i;' is turned into 'int i;' and cursor is located at '|'.
  291. EXPECT_EQ(0u, Replaces.getShiftedCodePosition(0)); // |int i;
  292. EXPECT_EQ(0u, Replaces.getShiftedCodePosition(1)); // |nt i;
  293. EXPECT_EQ(1u, Replaces.getShiftedCodePosition(2)); // i|t i;
  294. EXPECT_EQ(2u, Replaces.getShiftedCodePosition(3)); // in| i;
  295. EXPECT_EQ(3u, Replaces.getShiftedCodePosition(4)); // int| i;
  296. EXPECT_EQ(3u, Replaces.getShiftedCodePosition(5)); // int | i;
  297. EXPECT_EQ(3u, Replaces.getShiftedCodePosition(6)); // int |i;
  298. EXPECT_EQ(4u, Replaces.getShiftedCodePosition(7)); // int |;
  299. EXPECT_EQ(5u, Replaces.getShiftedCodePosition(8)); // int i|
  300. }
  301. TEST(ShiftedCodePositionTest, FindsNewCodePositionWithInserts) {
  302. Replacements Replaces = toReplacements({Replacement("", 4, 0, "\"\n\"")});
  303. // Assume '"12345678"' is turned into '"1234"\n"5678"'.
  304. EXPECT_EQ(3u, Replaces.getShiftedCodePosition(3)); // "123|5678"
  305. EXPECT_EQ(7u, Replaces.getShiftedCodePosition(4)); // "1234|678"
  306. EXPECT_EQ(8u, Replaces.getShiftedCodePosition(5)); // "12345|78"
  307. }
  308. TEST(ShiftedCodePositionTest, FindsNewCodePositionInReplacedText) {
  309. // Replace the first four characters with "abcd".
  310. auto Replaces = toReplacements({Replacement("", 0, 4, "abcd")});
  311. for (unsigned i = 0; i < 3; ++i)
  312. EXPECT_EQ(i, Replaces.getShiftedCodePosition(i));
  313. }
  314. TEST(ShiftedCodePositionTest, NoReplacementText) {
  315. Replacements Replaces = toReplacements({Replacement("", 0, 42, "")});
  316. EXPECT_EQ(0u, Replaces.getShiftedCodePosition(0));
  317. EXPECT_EQ(0u, Replaces.getShiftedCodePosition(39));
  318. EXPECT_EQ(3u, Replaces.getShiftedCodePosition(45));
  319. EXPECT_EQ(0u, Replaces.getShiftedCodePosition(42));
  320. }
  321. class FlushRewrittenFilesTest : public ::testing::Test {
  322. public:
  323. FlushRewrittenFilesTest() {}
  324. ~FlushRewrittenFilesTest() override {
  325. for (llvm::StringMap<std::string>::iterator I = TemporaryFiles.begin(),
  326. E = TemporaryFiles.end();
  327. I != E; ++I) {
  328. llvm::StringRef Name = I->second;
  329. std::error_code EC = llvm::sys::fs::remove(Name);
  330. (void)EC;
  331. assert(!EC);
  332. }
  333. }
  334. FileID createFile(llvm::StringRef Name, llvm::StringRef Content) {
  335. SmallString<1024> Path;
  336. int FD;
  337. std::error_code EC = llvm::sys::fs::createTemporaryFile(Name, "", FD, Path);
  338. assert(!EC);
  339. (void)EC;
  340. llvm::raw_fd_ostream OutStream(FD, true);
  341. OutStream << Content;
  342. OutStream.close();
  343. const FileEntry *File = Context.Files.getFile(Path);
  344. assert(File != nullptr);
  345. StringRef Found =
  346. TemporaryFiles.insert(std::make_pair(Name, Path.str())).first->second;
  347. assert(Found == Path);
  348. (void)Found;
  349. return Context.Sources.createFileID(File, SourceLocation(), SrcMgr::C_User);
  350. }
  351. std::string getFileContentFromDisk(llvm::StringRef Name) {
  352. std::string Path = TemporaryFiles.lookup(Name);
  353. assert(!Path.empty());
  354. // We need to read directly from the FileManager without relaying through
  355. // a FileEntry, as otherwise we'd read through an already opened file
  356. // descriptor, which might not see the changes made.
  357. // FIXME: Figure out whether there is a way to get the SourceManger to
  358. // reopen the file.
  359. auto FileBuffer = Context.Files.getBufferForFile(Path);
  360. return (*FileBuffer)->getBuffer();
  361. }
  362. llvm::StringMap<std::string> TemporaryFiles;
  363. RewriterTestContext Context;
  364. };
  365. TEST_F(FlushRewrittenFilesTest, StoresChangesOnDisk) {
  366. FileID ID = createFile("input.cpp", "line1\nline2\nline3\nline4");
  367. Replacements Replaces = toReplacements({Replacement(
  368. Context.Sources, Context.getLocation(ID, 2, 1), 5, "replaced")});
  369. EXPECT_TRUE(applyAllReplacements(Replaces, Context.Rewrite));
  370. EXPECT_FALSE(Context.Rewrite.overwriteChangedFiles());
  371. EXPECT_EQ("line1\nreplaced\nline3\nline4",
  372. getFileContentFromDisk("input.cpp"));
  373. }
  374. namespace {
  375. template <typename T>
  376. class TestVisitor : public clang::RecursiveASTVisitor<T> {
  377. public:
  378. bool runOver(StringRef Code) {
  379. return runToolOnCode(new TestAction(this), Code);
  380. }
  381. protected:
  382. clang::SourceManager *SM;
  383. clang::ASTContext *Context;
  384. private:
  385. class FindConsumer : public clang::ASTConsumer {
  386. public:
  387. FindConsumer(TestVisitor *Visitor) : Visitor(Visitor) {}
  388. void HandleTranslationUnit(clang::ASTContext &Context) override {
  389. Visitor->TraverseDecl(Context.getTranslationUnitDecl());
  390. }
  391. private:
  392. TestVisitor *Visitor;
  393. };
  394. class TestAction : public clang::ASTFrontendAction {
  395. public:
  396. TestAction(TestVisitor *Visitor) : Visitor(Visitor) {}
  397. std::unique_ptr<clang::ASTConsumer>
  398. CreateASTConsumer(clang::CompilerInstance &compiler,
  399. llvm::StringRef dummy) override {
  400. Visitor->SM = &compiler.getSourceManager();
  401. Visitor->Context = &compiler.getASTContext();
  402. /// TestConsumer will be deleted by the framework calling us.
  403. return llvm::make_unique<FindConsumer>(Visitor);
  404. }
  405. private:
  406. TestVisitor *Visitor;
  407. };
  408. };
  409. } // end namespace
  410. void expectReplacementAt(const Replacement &Replace,
  411. StringRef File, unsigned Offset, unsigned Length) {
  412. ASSERT_TRUE(Replace.isApplicable());
  413. EXPECT_EQ(File, Replace.getFilePath());
  414. EXPECT_EQ(Offset, Replace.getOffset());
  415. EXPECT_EQ(Length, Replace.getLength());
  416. }
  417. class ClassDeclXVisitor : public TestVisitor<ClassDeclXVisitor> {
  418. public:
  419. bool VisitCXXRecordDecl(CXXRecordDecl *Record) {
  420. if (Record->getName() == "X") {
  421. Replace = Replacement(*SM, Record, "");
  422. }
  423. return true;
  424. }
  425. Replacement Replace;
  426. };
  427. TEST(Replacement, CanBeConstructedFromNode) {
  428. ClassDeclXVisitor ClassDeclX;
  429. EXPECT_TRUE(ClassDeclX.runOver(" class X;"));
  430. expectReplacementAt(ClassDeclX.Replace, "input.cc", 5, 7);
  431. }
  432. TEST(Replacement, ReplacesAtSpellingLocation) {
  433. ClassDeclXVisitor ClassDeclX;
  434. EXPECT_TRUE(ClassDeclX.runOver("#define A(Y) Y\nA(class X);"));
  435. expectReplacementAt(ClassDeclX.Replace, "input.cc", 17, 7);
  436. }
  437. class CallToFVisitor : public TestVisitor<CallToFVisitor> {
  438. public:
  439. bool VisitCallExpr(CallExpr *Call) {
  440. if (Call->getDirectCallee()->getName() == "F") {
  441. Replace = Replacement(*SM, Call, "");
  442. }
  443. return true;
  444. }
  445. Replacement Replace;
  446. };
  447. TEST(Replacement, FunctionCall) {
  448. CallToFVisitor CallToF;
  449. EXPECT_TRUE(CallToF.runOver("void F(); void G() { F(); }"));
  450. expectReplacementAt(CallToF.Replace, "input.cc", 21, 3);
  451. }
  452. TEST(Replacement, TemplatedFunctionCall) {
  453. CallToFVisitor CallToF;
  454. EXPECT_TRUE(CallToF.runOver(
  455. "template <typename T> void F(); void G() { F<int>(); }"));
  456. expectReplacementAt(CallToF.Replace, "input.cc", 43, 8);
  457. }
  458. class NestedNameSpecifierAVisitor
  459. : public TestVisitor<NestedNameSpecifierAVisitor> {
  460. public:
  461. bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNSLoc) {
  462. if (NNSLoc.getNestedNameSpecifier()) {
  463. if (const NamespaceDecl* NS = NNSLoc.getNestedNameSpecifier()->getAsNamespace()) {
  464. if (NS->getName() == "a") {
  465. Replace = Replacement(*SM, &NNSLoc, "", Context->getLangOpts());
  466. }
  467. }
  468. }
  469. return TestVisitor<NestedNameSpecifierAVisitor>::TraverseNestedNameSpecifierLoc(
  470. NNSLoc);
  471. }
  472. Replacement Replace;
  473. };
  474. TEST(Replacement, ColonColon) {
  475. NestedNameSpecifierAVisitor VisitNNSA;
  476. EXPECT_TRUE(VisitNNSA.runOver("namespace a { void f() { ::a::f(); } }"));
  477. expectReplacementAt(VisitNNSA.Replace, "input.cc", 25, 5);
  478. }
  479. TEST(Range, overlaps) {
  480. EXPECT_TRUE(Range(10, 10).overlapsWith(Range(0, 11)));
  481. EXPECT_TRUE(Range(0, 11).overlapsWith(Range(10, 10)));
  482. EXPECT_FALSE(Range(10, 10).overlapsWith(Range(0, 10)));
  483. EXPECT_FALSE(Range(0, 10).overlapsWith(Range(10, 10)));
  484. EXPECT_TRUE(Range(0, 10).overlapsWith(Range(2, 6)));
  485. EXPECT_TRUE(Range(2, 6).overlapsWith(Range(0, 10)));
  486. }
  487. TEST(Range, contains) {
  488. EXPECT_TRUE(Range(0, 10).contains(Range(0, 10)));
  489. EXPECT_TRUE(Range(0, 10).contains(Range(2, 6)));
  490. EXPECT_FALSE(Range(2, 6).contains(Range(0, 10)));
  491. EXPECT_FALSE(Range(0, 10).contains(Range(0, 11)));
  492. }
  493. TEST(Range, CalculateRangesOfReplacements) {
  494. // Before: aaaabbbbbbz
  495. // After : bbbbbbzzzzzzoooooooooooooooo
  496. Replacements Replaces = toReplacements(
  497. {Replacement("foo", 0, 4, ""), Replacement("foo", 10, 1, "zzzzzz"),
  498. Replacement("foo", 11, 0, "oooooooooooooooo")});
  499. std::vector<Range> Ranges = Replaces.getAffectedRanges();
  500. EXPECT_EQ(2ul, Ranges.size());
  501. EXPECT_TRUE(Ranges[0].getOffset() == 0);
  502. EXPECT_TRUE(Ranges[0].getLength() == 0);
  503. EXPECT_TRUE(Ranges[1].getOffset() == 6);
  504. EXPECT_TRUE(Ranges[1].getLength() == 22);
  505. }
  506. TEST(Range, RangesAfterEmptyReplacements) {
  507. std::vector<Range> Ranges = {Range(5, 6), Range(10, 5)};
  508. Replacements Replaces;
  509. std::vector<Range> Expected = {Range(5, 10)};
  510. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  511. }
  512. TEST(Range, RangesAfterReplacements) {
  513. std::vector<Range> Ranges = {Range(5, 2), Range(10, 5)};
  514. Replacements Replaces = toReplacements({Replacement("foo", 0, 2, "1234")});
  515. std::vector<Range> Expected = {Range(0, 4), Range(7, 2), Range(12, 5)};
  516. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  517. }
  518. TEST(Range, RangesBeforeReplacements) {
  519. std::vector<Range> Ranges = {Range(5, 2), Range(10, 5)};
  520. Replacements Replaces = toReplacements({Replacement("foo", 20, 2, "1234")});
  521. std::vector<Range> Expected = {Range(5, 2), Range(10, 5), Range(20, 4)};
  522. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  523. }
  524. TEST(Range, NotAffectedByReplacements) {
  525. std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(10, 5)};
  526. Replacements Replaces = toReplacements({Replacement("foo", 3, 2, "12"),
  527. Replacement("foo", 12, 2, "12"),
  528. Replacement("foo", 20, 5, "")});
  529. std::vector<Range> Expected = {Range(0, 2), Range(3, 4), Range(10, 5),
  530. Range(20, 0)};
  531. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  532. }
  533. TEST(Range, RangesWithNonOverlappingReplacements) {
  534. std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(10, 5)};
  535. Replacements Replaces = toReplacements({Replacement("foo", 3, 1, ""),
  536. Replacement("foo", 6, 1, "123"),
  537. Replacement("foo", 20, 2, "12345")});
  538. std::vector<Range> Expected = {Range(0, 2), Range(3, 0), Range(4, 4),
  539. Range(11, 5), Range(21, 5)};
  540. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  541. }
  542. TEST(Range, RangesWithOverlappingReplacements) {
  543. std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(15, 5),
  544. Range(30, 5)};
  545. Replacements Replaces = toReplacements(
  546. {Replacement("foo", 1, 3, ""), Replacement("foo", 6, 1, "123"),
  547. Replacement("foo", 13, 3, "1"), Replacement("foo", 25, 15, "")});
  548. std::vector<Range> Expected = {Range(0, 1), Range(2, 4), Range(12, 5),
  549. Range(22, 0)};
  550. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  551. }
  552. TEST(Range, MergeIntoOneRange) {
  553. std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(15, 5)};
  554. Replacements Replaces =
  555. toReplacements({Replacement("foo", 1, 15, "1234567890")});
  556. std::vector<Range> Expected = {Range(0, 15)};
  557. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  558. }
  559. TEST(Range, ReplacementsStartingAtRangeOffsets) {
  560. std::vector<Range> Ranges = {Range(0, 2), Range(5, 5), Range(15, 5)};
  561. Replacements Replaces = toReplacements(
  562. {Replacement("foo", 0, 2, "12"), Replacement("foo", 5, 1, "123"),
  563. Replacement("foo", 7, 4, "12345"), Replacement("foo", 15, 10, "12")});
  564. std::vector<Range> Expected = {Range(0, 2), Range(5, 9), Range(18, 2)};
  565. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  566. }
  567. TEST(Range, ReplacementsEndingAtRangeEnds) {
  568. std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(15, 5)};
  569. Replacements Replaces = toReplacements(
  570. {Replacement("foo", 6, 1, "123"), Replacement("foo", 17, 3, "12")});
  571. std::vector<Range> Expected = {Range(0, 2), Range(5, 4), Range(17, 4)};
  572. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  573. }
  574. TEST(Range, AjacentReplacements) {
  575. std::vector<Range> Ranges = {Range(0, 0), Range(15, 5)};
  576. Replacements Replaces = toReplacements(
  577. {Replacement("foo", 1, 2, "123"), Replacement("foo", 12, 3, "1234")});
  578. std::vector<Range> Expected = {Range(0, 0), Range(1, 3), Range(13, 9)};
  579. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  580. }
  581. TEST(Range, MergeRangesAfterReplacements) {
  582. std::vector<Range> Ranges = {Range(8, 0), Range(5, 2), Range(9, 0), Range(0, 1)};
  583. Replacements Replaces = toReplacements({Replacement("foo", 1, 3, ""),
  584. Replacement("foo", 7, 0, "12"),
  585. Replacement("foo", 9, 2, "")});
  586. std::vector<Range> Expected = {Range(0, 1), Range(2, 4), Range(7, 0),
  587. Range(8, 0)};
  588. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  589. }
  590. TEST(Range, ConflictingRangesBeforeReplacements) {
  591. std::vector<Range> Ranges = {Range(8, 3), Range(5, 4), Range(9, 1)};
  592. Replacements Replaces = toReplacements({Replacement("foo", 1, 3, "")});
  593. std::vector<Range> Expected = {Range(1, 0), Range(2, 6)};
  594. EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
  595. }
  596. class MergeReplacementsTest : public ::testing::Test {
  597. protected:
  598. void mergeAndTestRewrite(StringRef Code, StringRef Intermediate,
  599. StringRef Result, const Replacements &First,
  600. const Replacements &Second) {
  601. // These are mainly to verify the test itself and make it easier to read.
  602. auto AfterFirst = applyAllReplacements(Code, First);
  603. EXPECT_TRUE(static_cast<bool>(AfterFirst));
  604. auto InSequenceRewrite = applyAllReplacements(*AfterFirst, Second);
  605. EXPECT_TRUE(static_cast<bool>(InSequenceRewrite));
  606. EXPECT_EQ(Intermediate, *AfterFirst);
  607. EXPECT_EQ(Result, *InSequenceRewrite);
  608. tooling::Replacements Merged = First.merge(Second);
  609. auto MergedRewrite = applyAllReplacements(Code, Merged);
  610. EXPECT_TRUE(static_cast<bool>(MergedRewrite));
  611. EXPECT_EQ(*InSequenceRewrite, *MergedRewrite);
  612. if (*InSequenceRewrite != *MergedRewrite)
  613. for (tooling::Replacement M : Merged)
  614. llvm::errs() << M.getOffset() << " " << M.getLength() << " "
  615. << M.getReplacementText() << "\n";
  616. }
  617. void mergeAndTestRewrite(StringRef Code, const Replacements &First,
  618. const Replacements &Second) {
  619. auto AfterFirst = applyAllReplacements(Code, First);
  620. EXPECT_TRUE(static_cast<bool>(AfterFirst));
  621. auto InSequenceRewrite = applyAllReplacements(*AfterFirst, Second);
  622. tooling::Replacements Merged = First.merge(Second);
  623. auto MergedRewrite = applyAllReplacements(Code, Merged);
  624. EXPECT_TRUE(static_cast<bool>(MergedRewrite));
  625. EXPECT_EQ(*InSequenceRewrite, *MergedRewrite);
  626. if (*InSequenceRewrite != *MergedRewrite)
  627. for (tooling::Replacement M : Merged)
  628. llvm::errs() << M.getOffset() << " " << M.getLength() << " "
  629. << M.getReplacementText() << "\n";
  630. }
  631. };
  632. TEST_F(MergeReplacementsTest, Offsets) {
  633. mergeAndTestRewrite("aaa", "aabab", "cacabab",
  634. toReplacements({{"", 2, 0, "b"}, {"", 3, 0, "b"}}),
  635. toReplacements({{"", 0, 0, "c"}, {"", 1, 0, "c"}}));
  636. mergeAndTestRewrite("aaa", "babaa", "babacac",
  637. toReplacements({{"", 0, 0, "b"}, {"", 1, 0, "b"}}),
  638. toReplacements({{"", 4, 0, "c"}, {"", 5, 0, "c"}}));
  639. mergeAndTestRewrite("aaaa", "aaa", "aac", toReplacements({{"", 1, 1, ""}}),
  640. toReplacements({{"", 2, 1, "c"}}));
  641. mergeAndTestRewrite("aa", "bbabba", "bbabcba",
  642. toReplacements({{"", 0, 0, "bb"}, {"", 1, 0, "bb"}}),
  643. toReplacements({{"", 4, 0, "c"}}));
  644. }
  645. TEST_F(MergeReplacementsTest, Concatenations) {
  646. // Basic concatenations. It is important to merge these into a single
  647. // replacement to ensure the correct order.
  648. {
  649. auto First = toReplacements({{"", 0, 0, "a"}});
  650. auto Second = toReplacements({{"", 1, 0, "b"}});
  651. EXPECT_EQ(toReplacements({{"", 0, 0, "ab"}}), First.merge(Second));
  652. }
  653. {
  654. auto First = toReplacements({{"", 0, 0, "a"}});
  655. auto Second = toReplacements({{"", 0, 0, "b"}});
  656. EXPECT_EQ(toReplacements({{"", 0, 0, "ba"}}), First.merge(Second));
  657. }
  658. mergeAndTestRewrite("", "a", "ab", toReplacements({{"", 0, 0, "a"}}),
  659. toReplacements({{"", 1, 0, "b"}}));
  660. mergeAndTestRewrite("", "a", "ba", toReplacements({{"", 0, 0, "a"}}),
  661. toReplacements({{"", 0, 0, "b"}}));
  662. }
  663. TEST_F(MergeReplacementsTest, NotChangingLengths) {
  664. mergeAndTestRewrite("aaaa", "abba", "acca",
  665. toReplacements({{"", 1, 2, "bb"}}),
  666. toReplacements({{"", 1, 2, "cc"}}));
  667. mergeAndTestRewrite("aaaa", "abba", "abcc",
  668. toReplacements({{"", 1, 2, "bb"}}),
  669. toReplacements({{"", 2, 2, "cc"}}));
  670. mergeAndTestRewrite("aaaa", "abba", "ccba",
  671. toReplacements({{"", 1, 2, "bb"}}),
  672. toReplacements({{"", 0, 2, "cc"}}));
  673. mergeAndTestRewrite("aaaaaa", "abbdda", "abccda",
  674. toReplacements({{"", 1, 2, "bb"}, {"", 3, 2, "dd"}}),
  675. toReplacements({{"", 2, 2, "cc"}}));
  676. }
  677. TEST_F(MergeReplacementsTest, OverlappingRanges) {
  678. mergeAndTestRewrite("aaa", "bbd", "bcbcd",
  679. toReplacements({{"", 0, 1, "bb"}, {"", 1, 2, "d"}}),
  680. toReplacements({{"", 1, 0, "c"}, {"", 2, 0, "c"}}));
  681. mergeAndTestRewrite("aaaa", "aabbaa", "acccca",
  682. toReplacements({{"", 2, 0, "bb"}}),
  683. toReplacements({{"", 1, 4, "cccc"}}));
  684. mergeAndTestRewrite("aaaa", "aababa", "acccca",
  685. toReplacements({{"", 2, 0, "b"}, {"", 3, 0, "b"}}),
  686. toReplacements({{"", 1, 4, "cccc"}}));
  687. mergeAndTestRewrite("aaaaaa", "abbbba", "abba",
  688. toReplacements({{"", 1, 4, "bbbb"}}),
  689. toReplacements({{"", 2, 2, ""}}));
  690. mergeAndTestRewrite("aaaa", "aa", "cc",
  691. toReplacements({{"", 1, 1, ""}, {"", 2, 1, ""}}),
  692. toReplacements({{"", 0, 2, "cc"}}));
  693. mergeAndTestRewrite("aa", "abbba", "abcbcba",
  694. toReplacements({{"", 1, 0, "bbb"}}),
  695. toReplacements({{"", 2, 0, "c"}, {"", 3, 0, "c"}}));
  696. mergeAndTestRewrite(
  697. "aaa", "abbab", "ccdd",
  698. toReplacements({{"", 0, 1, ""}, {"", 2, 0, "bb"}, {"", 3, 0, "b"}}),
  699. toReplacements({{"", 0, 2, "cc"}, {"", 2, 3, "dd"}}));
  700. mergeAndTestRewrite(
  701. "aa", "babbab", "ccdd",
  702. toReplacements({{"", 0, 0, "b"}, {"", 1, 0, "bb"}, {"", 2, 0, "b"}}),
  703. toReplacements({{"", 0, 3, "cc"}, {"", 3, 3, "dd"}}));
  704. }
  705. } // end namespace tooling
  706. } // end namespace clang