blob: b06123ed62dd3f1322cd2cf342583f7710182eda [file] [log] [blame]
Manuel Klimek3f001342012-05-23 16:29:20 +00001//===- 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
Eric Liu40ef2fb2016-08-01 10:16:37 +000010#include "ReplacementTest.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000011#include "RewriterTestContext.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000012#include "clang/AST/ASTConsumer.h"
Chandler Carruth320d9662012-12-04 09:45:34 +000013#include "clang/AST/ASTContext.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000014#include "clang/AST/DeclCXX.h"
15#include "clang/AST/DeclGroup.h"
16#include "clang/AST/RecursiveASTVisitor.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000017#include "clang/Basic/Diagnostic.h"
Douglas Gregor275e8832012-10-23 22:55:10 +000018#include "clang/Basic/DiagnosticOptions.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000019#include "clang/Basic/FileManager.h"
20#include "clang/Basic/LangOptions.h"
21#include "clang/Basic/SourceManager.h"
Eric Liu4c1ef97a2016-03-29 16:31:53 +000022#include "clang/Format/Format.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000023#include "clang/Frontend/CompilerInstance.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000024#include "clang/Frontend/FrontendAction.h"
25#include "clang/Frontend/TextDiagnosticPrinter.h"
Ted Kremenekcdf81492012-09-01 05:09:24 +000026#include "clang/Rewrite/Core/Rewriter.h"
Chandler Carruth320d9662012-12-04 09:45:34 +000027#include "clang/Tooling/Refactoring.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000028#include "clang/Tooling/Tooling.h"
29#include "llvm/ADT/SmallString.h"
Manuel Klimek3f001342012-05-23 16:29:20 +000030#include "gtest/gtest.h"
31
32namespace clang {
33namespace tooling {
34
Manuel Klimek3f001342012-05-23 16:29:20 +000035TEST_F(ReplacementTest, CanDeleteAllText) {
36 FileID ID = Context.createInMemoryFile("input.cpp", "text");
37 SourceLocation Location = Context.getLocation(ID, 1, 1);
38 Replacement Replace(createReplacement(Location, 4, ""));
39 EXPECT_TRUE(Replace.apply(Context.Rewrite));
40 EXPECT_EQ("", Context.getRewrittenText(ID));
41}
42
43TEST_F(ReplacementTest, CanDeleteAllTextInTextWithNewlines) {
44 FileID ID = Context.createInMemoryFile("input.cpp", "line1\nline2\nline3");
45 SourceLocation Location = Context.getLocation(ID, 1, 1);
46 Replacement Replace(createReplacement(Location, 17, ""));
47 EXPECT_TRUE(Replace.apply(Context.Rewrite));
48 EXPECT_EQ("", Context.getRewrittenText(ID));
49}
50
51TEST_F(ReplacementTest, CanAddText) {
52 FileID ID = Context.createInMemoryFile("input.cpp", "");
53 SourceLocation Location = Context.getLocation(ID, 1, 1);
54 Replacement Replace(createReplacement(Location, 0, "result"));
55 EXPECT_TRUE(Replace.apply(Context.Rewrite));
56 EXPECT_EQ("result", Context.getRewrittenText(ID));
57}
58
59TEST_F(ReplacementTest, CanReplaceTextAtPosition) {
60 FileID ID = Context.createInMemoryFile("input.cpp",
61 "line1\nline2\nline3\nline4");
62 SourceLocation Location = Context.getLocation(ID, 2, 3);
63 Replacement Replace(createReplacement(Location, 12, "x"));
64 EXPECT_TRUE(Replace.apply(Context.Rewrite));
65 EXPECT_EQ("line1\nlixne4", Context.getRewrittenText(ID));
66}
67
68TEST_F(ReplacementTest, CanReplaceTextAtPositionMultipleTimes) {
69 FileID ID = Context.createInMemoryFile("input.cpp",
70 "line1\nline2\nline3\nline4");
71 SourceLocation Location1 = Context.getLocation(ID, 2, 3);
72 Replacement Replace1(createReplacement(Location1, 12, "x\ny\n"));
73 EXPECT_TRUE(Replace1.apply(Context.Rewrite));
74 EXPECT_EQ("line1\nlix\ny\nne4", Context.getRewrittenText(ID));
75
76 // Since the original source has not been modified, the (4, 4) points to the
77 // 'e' in the original content.
78 SourceLocation Location2 = Context.getLocation(ID, 4, 4);
79 Replacement Replace2(createReplacement(Location2, 1, "f"));
80 EXPECT_TRUE(Replace2.apply(Context.Rewrite));
81 EXPECT_EQ("line1\nlix\ny\nnf4", Context.getRewrittenText(ID));
82}
83
84TEST_F(ReplacementTest, ApplyFailsForNonExistentLocation) {
85 Replacement Replace("nonexistent-file.cpp", 0, 1, "");
86 EXPECT_FALSE(Replace.apply(Context.Rewrite));
87}
88
89TEST_F(ReplacementTest, CanRetrivePath) {
90 Replacement Replace("/path/to/file.cpp", 0, 1, "");
91 EXPECT_EQ("/path/to/file.cpp", Replace.getFilePath());
92}
93
94TEST_F(ReplacementTest, ReturnsInvalidPath) {
95 Replacement Replace1(Context.Sources, SourceLocation(), 0, "");
96 EXPECT_TRUE(Replace1.getFilePath().empty());
97
98 Replacement Replace2;
99 EXPECT_TRUE(Replace2.getFilePath().empty());
100}
101
Eric Liu40ef2fb2016-08-01 10:16:37 +0000102TEST_F(ReplacementTest, FailAddReplacements) {
103 Replacements Replaces;
104 auto Err = Replaces.add(Replacement("x.cc", 0, 10, "3"));
105 EXPECT_TRUE(!Err);
106 llvm::consumeError(std::move(Err));
107 Err = Replaces.add(Replacement("x.cc", 0, 2, ""));
108 EXPECT_TRUE((bool)Err);
109 llvm::consumeError(std::move(Err));
110 Err = Replaces.add(Replacement("x.cc", 2, 2, ""));
111 EXPECT_TRUE((bool)Err);
112 llvm::consumeError(std::move(Err));
113 Err = Replaces.add(Replacement("y.cc", 20, 2, ""));
114 EXPECT_TRUE((bool)Err);
115 llvm::consumeError(std::move(Err));
116}
117
Manuel Klimekdcb910b2016-08-03 14:12:17 +0000118TEST_F(ReplacementTest, FailAddOverlappingInsertions) {
119 Replacements Replaces;
120 // Test adding an insertion at the offset of an existing replacement.
121 auto Err = Replaces.add(Replacement("x.cc", 10, 3, "replace"));
122 EXPECT_TRUE(!Err);
123 llvm::consumeError(std::move(Err));
124 Err = Replaces.add(Replacement("x.cc", 10, 0, "insert"));
125 EXPECT_TRUE((bool)Err);
126 llvm::consumeError(std::move(Err));
127
128 Replaces.clear();
129 // Test overlap with an existing insertion.
130 Err = Replaces.add(Replacement("x.cc", 10, 0, "insert"));
131 EXPECT_TRUE(!Err);
132 llvm::consumeError(std::move(Err));
133 Err = Replaces.add(Replacement("x.cc", 10, 3, "replace"));
134 EXPECT_TRUE((bool)Err);
135 llvm::consumeError(std::move(Err));
136}
137
138TEST_F(ReplacementTest, FailAddRegression) {
139 Replacements Replaces;
140 // Create two replacements, where the second one is an insertion of the empty
141 // string exactly at the end of the first one.
142 auto Err = Replaces.add(Replacement("x.cc", 0, 10, "1"));
143 EXPECT_TRUE(!Err);
144 llvm::consumeError(std::move(Err));
145 Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
146 EXPECT_TRUE(!Err);
147 llvm::consumeError(std::move(Err));
148
149 // Make sure we find the overlap with the first entry when inserting a
150 // replacement that ends exactly at the seam of the existing replacements.
151 Err = Replaces.add(Replacement("x.cc", 5, 5, "fail"));
152 EXPECT_TRUE((bool)Err);
153 llvm::consumeError(std::move(Err));
154
155 Err = Replaces.add(Replacement("x.cc", 10, 0, ""));
156 EXPECT_TRUE((bool)Err);
157 llvm::consumeError(std::move(Err));
158}
159
Manuel Klimek3f001342012-05-23 16:29:20 +0000160TEST_F(ReplacementTest, CanApplyReplacements) {
161 FileID ID = Context.createInMemoryFile("input.cpp",
162 "line1\nline2\nline3\nline4");
Eric Liu40ef2fb2016-08-01 10:16:37 +0000163 Replacements Replaces =
164 toReplacements({Replacement(Context.Sources,
165 Context.getLocation(ID, 2, 1), 5, "replaced"),
166 Replacement(Context.Sources,
167 Context.getLocation(ID, 3, 1), 5, "other")});
Edwin Vane349e1c12013-08-13 17:38:19 +0000168 EXPECT_TRUE(applyAllReplacements(Replaces, Context.Rewrite));
169 EXPECT_EQ("line1\nreplaced\nother\nline4", Context.getRewrittenText(ID));
170}
171
Manuel Klimek3f001342012-05-23 16:29:20 +0000172TEST_F(ReplacementTest, SkipsDuplicateReplacements) {
173 FileID ID = Context.createInMemoryFile("input.cpp",
174 "line1\nline2\nline3\nline4");
Eric Liu40ef2fb2016-08-01 10:16:37 +0000175 auto Replaces = toReplacements({Replacement(
176 Context.Sources, Context.getLocation(ID, 2, 1), 5, "replaced")});
177
178 auto Err = Replaces.add(Replacement(
179 Context.Sources, Context.getLocation(ID, 2, 1), 5, "replaced"));
180 EXPECT_TRUE((bool)Err);
181 llvm::consumeError(std::move(Err));
182
183 Err = Replaces.add(Replacement(Context.Sources, Context.getLocation(ID, 2, 1),
184 5, "replaced"));
185 EXPECT_TRUE((bool)Err);
186 llvm::consumeError(std::move(Err));
187
Manuel Klimek3f001342012-05-23 16:29:20 +0000188 EXPECT_TRUE(applyAllReplacements(Replaces, Context.Rewrite));
189 EXPECT_EQ("line1\nreplaced\nline3\nline4", Context.getRewrittenText(ID));
190}
191
Eric Liu40ef2fb2016-08-01 10:16:37 +0000192TEST_F(ReplacementTest, InvalidSourceLocationFailsApplyAll) {
193 Replacements Replaces =
194 toReplacements({Replacement(Context.Sources, SourceLocation(), 5, "2")});
195
Manuel Klimek3f001342012-05-23 16:29:20 +0000196 EXPECT_FALSE(applyAllReplacements(Replaces, Context.Rewrite));
Manuel Klimek3f001342012-05-23 16:29:20 +0000197}
198
Eric Liu4c1ef97a2016-03-29 16:31:53 +0000199TEST_F(ReplacementTest, MultipleFilesReplaceAndFormat) {
200 // Column limit is 20.
201 std::string Code1 = "Long *a =\n"
202 " new Long();\n"
203 "long x = 1;";
204 std::string Expected1 = "auto a = new Long();\n"
205 "long x =\n"
206 " 12345678901;";
207 std::string Code2 = "int x = 123;\n"
208 "int y = 0;";
209 std::string Expected2 = "int x =\n"
210 " 1234567890123;\n"
211 "int y = 10;";
Eric Liu40ef2fb2016-08-01 10:16:37 +0000212 StringRef File1 = "format_1.cpp";
213 StringRef File2 = "format_2.cpp";
214 FileID ID1 = Context.createInMemoryFile(File1, Code1);
215 FileID ID2 = Context.createInMemoryFile(File2, Code2);
Eric Liu4c1ef97a2016-03-29 16:31:53 +0000216
Eric Liu4c1ef97a2016-03-29 16:31:53 +0000217 // Scrambled the order of replacements.
Eric Liu40ef2fb2016-08-01 10:16:37 +0000218 std::map<std::string, Replacements> FileToReplaces;
219 FileToReplaces[File1] = toReplacements(
220 {tooling::Replacement(Context.Sources, Context.getLocation(ID1, 1, 1), 6,
221 "auto "),
222 tooling::Replacement(Context.Sources, Context.getLocation(ID1, 3, 10), 1,
223 "12345678901")});
224 FileToReplaces[File2] = toReplacements(
225 {tooling::Replacement(Context.Sources, Context.getLocation(ID2, 1, 12), 0,
226 "4567890123"),
227 tooling::Replacement(Context.Sources, Context.getLocation(ID2, 2, 9), 1,
228 "10")});
229 EXPECT_TRUE(
230 formatAndApplyAllReplacements(FileToReplaces, Context.Rewrite,
231 "{BasedOnStyle: LLVM, ColumnLimit: 20}"));
Eric Liu4c1ef97a2016-03-29 16:31:53 +0000232 EXPECT_EQ(Expected1, Context.getRewrittenText(ID1));
233 EXPECT_EQ(Expected2, Context.getRewrittenText(ID2));
234}
235
Daniel Jasper2a250b82013-05-21 12:21:39 +0000236TEST(ShiftedCodePositionTest, FindsNewCodePosition) {
Eric Liu40ef2fb2016-08-01 10:16:37 +0000237 Replacements Replaces =
238 toReplacements({Replacement("", 0, 1, ""), Replacement("", 4, 3, " ")});
Daniel Jasper2a250b82013-05-21 12:21:39 +0000239 // Assume ' int i;' is turned into 'int i;' and cursor is located at '|'.
Eric Liu40ef2fb2016-08-01 10:16:37 +0000240 EXPECT_EQ(0u, Replaces.getShiftedCodePosition(0)); // |int i;
241 EXPECT_EQ(0u, Replaces.getShiftedCodePosition(1)); // |nt i;
242 EXPECT_EQ(1u, Replaces.getShiftedCodePosition(2)); // i|t i;
243 EXPECT_EQ(2u, Replaces.getShiftedCodePosition(3)); // in| i;
244 EXPECT_EQ(3u, Replaces.getShiftedCodePosition(4)); // int| i;
245 EXPECT_EQ(3u, Replaces.getShiftedCodePosition(5)); // int | i;
246 EXPECT_EQ(3u, Replaces.getShiftedCodePosition(6)); // int |i;
247 EXPECT_EQ(4u, Replaces.getShiftedCodePosition(7)); // int |;
248 EXPECT_EQ(5u, Replaces.getShiftedCodePosition(8)); // int i|
Edwin Vane18e503c2013-08-27 15:44:26 +0000249}
250
Daniel Jasper2a250b82013-05-21 12:21:39 +0000251TEST(ShiftedCodePositionTest, FindsNewCodePositionWithInserts) {
Eric Liu40ef2fb2016-08-01 10:16:37 +0000252 Replacements Replaces = toReplacements({Replacement("", 4, 0, "\"\n\"")});
Daniel Jasper2a250b82013-05-21 12:21:39 +0000253 // Assume '"12345678"' is turned into '"1234"\n"5678"'.
Eric Liu40ef2fb2016-08-01 10:16:37 +0000254 EXPECT_EQ(3u, Replaces.getShiftedCodePosition(3)); // "123|5678"
255 EXPECT_EQ(7u, Replaces.getShiftedCodePosition(4)); // "1234|678"
256 EXPECT_EQ(8u, Replaces.getShiftedCodePosition(5)); // "12345|78"
Daniel Jasper3fed9452015-11-23 08:33:48 +0000257}
258
259TEST(ShiftedCodePositionTest, FindsNewCodePositionInReplacedText) {
Daniel Jasper3fed9452015-11-23 08:33:48 +0000260 // Replace the first four characters with "abcd".
Eric Liu40ef2fb2016-08-01 10:16:37 +0000261 auto Replaces = toReplacements({Replacement("", 0, 4, "abcd")});
Daniel Jasper3fed9452015-11-23 08:33:48 +0000262 for (unsigned i = 0; i < 3; ++i)
Eric Liu40ef2fb2016-08-01 10:16:37 +0000263 EXPECT_EQ(i, Replaces.getShiftedCodePosition(i));
264}
265
266TEST(ShiftedCodePositionTest, NoReplacementText) {
267 Replacements Replaces = toReplacements({Replacement("", 0, 42, "")});
268 EXPECT_EQ(0u, Replaces.getShiftedCodePosition(0));
269 EXPECT_EQ(0u, Replaces.getShiftedCodePosition(39));
270 EXPECT_EQ(3u, Replaces.getShiftedCodePosition(45));
271 EXPECT_EQ(0u, Replaces.getShiftedCodePosition(42));
Daniel Jasper2a250b82013-05-21 12:21:39 +0000272}
273
Manuel Klimek3f001342012-05-23 16:29:20 +0000274class FlushRewrittenFilesTest : public ::testing::Test {
Rafael Espindola641c6a12013-06-26 15:01:50 +0000275public:
276 FlushRewrittenFilesTest() {}
Manuel Klimek3f001342012-05-23 16:29:20 +0000277
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000278 ~FlushRewrittenFilesTest() override {
Rafael Espindola641c6a12013-06-26 15:01:50 +0000279 for (llvm::StringMap<std::string>::iterator I = TemporaryFiles.begin(),
280 E = TemporaryFiles.end();
281 I != E; ++I) {
282 llvm::StringRef Name = I->second;
Rafael Espindolac0809172014-06-12 14:02:15 +0000283 std::error_code EC = llvm::sys::fs::remove(Name);
Rafael Espindola641c6a12013-06-26 15:01:50 +0000284 (void)EC;
285 assert(!EC);
286 }
Manuel Klimek3f001342012-05-23 16:29:20 +0000287 }
288
289 FileID createFile(llvm::StringRef Name, llvm::StringRef Content) {
Rafael Espindola641c6a12013-06-26 15:01:50 +0000290 SmallString<1024> Path;
291 int FD;
Rafael Espindolac0809172014-06-12 14:02:15 +0000292 std::error_code EC = llvm::sys::fs::createTemporaryFile(Name, "", FD, Path);
Rafael Espindola641c6a12013-06-26 15:01:50 +0000293 assert(!EC);
294 (void)EC;
295
296 llvm::raw_fd_ostream OutStream(FD, true);
Manuel Klimek3f001342012-05-23 16:29:20 +0000297 OutStream << Content;
298 OutStream.close();
299 const FileEntry *File = Context.Files.getFile(Path);
Craig Topper416fa342014-06-08 08:38:12 +0000300 assert(File != nullptr);
Rafael Espindola641c6a12013-06-26 15:01:50 +0000301
David Blaikie13156b62014-11-19 03:06:06 +0000302 StringRef Found =
303 TemporaryFiles.insert(std::make_pair(Name, Path.str())).first->second;
Rafael Espindola641c6a12013-06-26 15:01:50 +0000304 assert(Found == Path);
305 (void)Found;
Manuel Klimek3f001342012-05-23 16:29:20 +0000306 return Context.Sources.createFileID(File, SourceLocation(), SrcMgr::C_User);
307 }
308
309 std::string getFileContentFromDisk(llvm::StringRef Name) {
Rafael Espindola641c6a12013-06-26 15:01:50 +0000310 std::string Path = TemporaryFiles.lookup(Name);
311 assert(!Path.empty());
Manuel Klimek3f001342012-05-23 16:29:20 +0000312 // We need to read directly from the FileManager without relaying through
313 // a FileEntry, as otherwise we'd read through an already opened file
314 // descriptor, which might not see the changes made.
315 // FIXME: Figure out whether there is a way to get the SourceManger to
316 // reopen the file.
Benjamin Kramera8857962014-10-26 22:44:13 +0000317 auto FileBuffer = Context.Files.getBufferForFile(Path);
318 return (*FileBuffer)->getBuffer();
Manuel Klimek3f001342012-05-23 16:29:20 +0000319 }
320
Rafael Espindola641c6a12013-06-26 15:01:50 +0000321 llvm::StringMap<std::string> TemporaryFiles;
Manuel Klimek3f001342012-05-23 16:29:20 +0000322 RewriterTestContext Context;
323};
324
325TEST_F(FlushRewrittenFilesTest, StoresChangesOnDisk) {
326 FileID ID = createFile("input.cpp", "line1\nline2\nline3\nline4");
Eric Liu40ef2fb2016-08-01 10:16:37 +0000327 Replacements Replaces = toReplacements({Replacement(
328 Context.Sources, Context.getLocation(ID, 2, 1), 5, "replaced")});
Manuel Klimek3f001342012-05-23 16:29:20 +0000329 EXPECT_TRUE(applyAllReplacements(Replaces, Context.Rewrite));
330 EXPECT_FALSE(Context.Rewrite.overwriteChangedFiles());
331 EXPECT_EQ("line1\nreplaced\nline3\nline4",
332 getFileContentFromDisk("input.cpp"));
333}
334
335namespace {
336template <typename T>
337class TestVisitor : public clang::RecursiveASTVisitor<T> {
338public:
339 bool runOver(StringRef Code) {
340 return runToolOnCode(new TestAction(this), Code);
341 }
342
343protected:
344 clang::SourceManager *SM;
Manuel Klimek94a89232015-06-03 13:10:41 +0000345 clang::ASTContext *Context;
Manuel Klimek3f001342012-05-23 16:29:20 +0000346
347private:
348 class FindConsumer : public clang::ASTConsumer {
349 public:
350 FindConsumer(TestVisitor *Visitor) : Visitor(Visitor) {}
351
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000352 void HandleTranslationUnit(clang::ASTContext &Context) override {
Manuel Klimek3f001342012-05-23 16:29:20 +0000353 Visitor->TraverseDecl(Context.getTranslationUnitDecl());
354 }
355
356 private:
357 TestVisitor *Visitor;
358 };
359
360 class TestAction : public clang::ASTFrontendAction {
361 public:
362 TestAction(TestVisitor *Visitor) : Visitor(Visitor) {}
363
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000364 std::unique_ptr<clang::ASTConsumer>
David Blaikie6beb6aa2014-08-10 19:56:51 +0000365 CreateASTConsumer(clang::CompilerInstance &compiler,
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000366 llvm::StringRef dummy) override {
Manuel Klimek3f001342012-05-23 16:29:20 +0000367 Visitor->SM = &compiler.getSourceManager();
Manuel Klimek94a89232015-06-03 13:10:41 +0000368 Visitor->Context = &compiler.getASTContext();
Manuel Klimek3f001342012-05-23 16:29:20 +0000369 /// TestConsumer will be deleted by the framework calling us.
David Blaikie6beb6aa2014-08-10 19:56:51 +0000370 return llvm::make_unique<FindConsumer>(Visitor);
Manuel Klimek3f001342012-05-23 16:29:20 +0000371 }
372
373 private:
374 TestVisitor *Visitor;
375 };
376};
377} // end namespace
378
379void expectReplacementAt(const Replacement &Replace,
380 StringRef File, unsigned Offset, unsigned Length) {
381 ASSERT_TRUE(Replace.isApplicable());
382 EXPECT_EQ(File, Replace.getFilePath());
383 EXPECT_EQ(Offset, Replace.getOffset());
384 EXPECT_EQ(Length, Replace.getLength());
385}
386
387class ClassDeclXVisitor : public TestVisitor<ClassDeclXVisitor> {
388public:
389 bool VisitCXXRecordDecl(CXXRecordDecl *Record) {
390 if (Record->getName() == "X") {
391 Replace = Replacement(*SM, Record, "");
392 }
393 return true;
394 }
395 Replacement Replace;
396};
397
398TEST(Replacement, CanBeConstructedFromNode) {
399 ClassDeclXVisitor ClassDeclX;
400 EXPECT_TRUE(ClassDeclX.runOver(" class X;"));
401 expectReplacementAt(ClassDeclX.Replace, "input.cc", 5, 7);
402}
403
404TEST(Replacement, ReplacesAtSpellingLocation) {
405 ClassDeclXVisitor ClassDeclX;
406 EXPECT_TRUE(ClassDeclX.runOver("#define A(Y) Y\nA(class X);"));
407 expectReplacementAt(ClassDeclX.Replace, "input.cc", 17, 7);
408}
409
410class CallToFVisitor : public TestVisitor<CallToFVisitor> {
411public:
412 bool VisitCallExpr(CallExpr *Call) {
413 if (Call->getDirectCallee()->getName() == "F") {
414 Replace = Replacement(*SM, Call, "");
415 }
416 return true;
417 }
418 Replacement Replace;
419};
420
421TEST(Replacement, FunctionCall) {
422 CallToFVisitor CallToF;
423 EXPECT_TRUE(CallToF.runOver("void F(); void G() { F(); }"));
424 expectReplacementAt(CallToF.Replace, "input.cc", 21, 3);
425}
426
427TEST(Replacement, TemplatedFunctionCall) {
428 CallToFVisitor CallToF;
429 EXPECT_TRUE(CallToF.runOver(
430 "template <typename T> void F(); void G() { F<int>(); }"));
431 expectReplacementAt(CallToF.Replace, "input.cc", 43, 8);
432}
433
Manuel Klimek94a89232015-06-03 13:10:41 +0000434class NestedNameSpecifierAVisitor
435 : public TestVisitor<NestedNameSpecifierAVisitor> {
436public:
437 bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNSLoc) {
438 if (NNSLoc.getNestedNameSpecifier()) {
439 if (const NamespaceDecl* NS = NNSLoc.getNestedNameSpecifier()->getAsNamespace()) {
440 if (NS->getName() == "a") {
441 Replace = Replacement(*SM, &NNSLoc, "", Context->getLangOpts());
442 }
443 }
444 }
445 return TestVisitor<NestedNameSpecifierAVisitor>::TraverseNestedNameSpecifierLoc(
446 NNSLoc);
447 }
448 Replacement Replace;
449};
450
451TEST(Replacement, ColonColon) {
452 NestedNameSpecifierAVisitor VisitNNSA;
453 EXPECT_TRUE(VisitNNSA.runOver("namespace a { void f() { ::a::f(); } }"));
454 expectReplacementAt(VisitNNSA.Replace, "input.cc", 25, 5);
455}
456
Manuel Klimekdce23472013-07-19 12:12:36 +0000457TEST(Range, overlaps) {
458 EXPECT_TRUE(Range(10, 10).overlapsWith(Range(0, 11)));
459 EXPECT_TRUE(Range(0, 11).overlapsWith(Range(10, 10)));
460 EXPECT_FALSE(Range(10, 10).overlapsWith(Range(0, 10)));
461 EXPECT_FALSE(Range(0, 10).overlapsWith(Range(10, 10)));
462 EXPECT_TRUE(Range(0, 10).overlapsWith(Range(2, 6)));
Edwin Vanec5148482013-08-13 18:11:16 +0000463 EXPECT_TRUE(Range(2, 6).overlapsWith(Range(0, 10)));
Manuel Klimekdce23472013-07-19 12:12:36 +0000464}
465
466TEST(Range, contains) {
467 EXPECT_TRUE(Range(0, 10).contains(Range(0, 10)));
468 EXPECT_TRUE(Range(0, 10).contains(Range(2, 6)));
469 EXPECT_FALSE(Range(2, 6).contains(Range(0, 10)));
470 EXPECT_FALSE(Range(0, 10).contains(Range(0, 11)));
471}
472
Manuel Klimekb12e5a52016-03-01 12:37:30 +0000473TEST(Range, CalculateRangesOfReplacements) {
474 // Before: aaaabbbbbbz
475 // After : bbbbbbzzzzzzoooooooooooooooo
Eric Liu40ef2fb2016-08-01 10:16:37 +0000476 Replacements Replaces = toReplacements(
477 {Replacement("foo", 0, 4, ""), Replacement("foo", 10, 1, "zzzzzz"),
478 Replacement("foo", 11, 0, "oooooooooooooooo")});
Manuel Klimekb12e5a52016-03-01 12:37:30 +0000479
Eric Liu40ef2fb2016-08-01 10:16:37 +0000480 std::vector<Range> Ranges = Replaces.getAffectedRanges();
Manuel Klimekb12e5a52016-03-01 12:37:30 +0000481
Eric Liu8b636db2016-06-21 17:56:31 +0000482 EXPECT_EQ(2ul, Ranges.size());
Manuel Klimekb12e5a52016-03-01 12:37:30 +0000483 EXPECT_TRUE(Ranges[0].getOffset() == 0);
484 EXPECT_TRUE(Ranges[0].getLength() == 0);
485 EXPECT_TRUE(Ranges[1].getOffset() == 6);
Eric Liu8b636db2016-06-21 17:56:31 +0000486 EXPECT_TRUE(Ranges[1].getLength() == 22);
487}
488
489TEST(Range, RangesAfterReplacements) {
490 std::vector<Range> Ranges = {Range(5, 2), Range(10, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000491 Replacements Replaces = toReplacements({Replacement("foo", 0, 2, "1234")});
Eric Liu8b636db2016-06-21 17:56:31 +0000492 std::vector<Range> Expected = {Range(0, 4), Range(7, 2), Range(12, 5)};
493 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
494}
495
496TEST(Range, RangesBeforeReplacements) {
497 std::vector<Range> Ranges = {Range(5, 2), Range(10, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000498 Replacements Replaces = toReplacements({Replacement("foo", 20, 2, "1234")});
Eric Liu8b636db2016-06-21 17:56:31 +0000499 std::vector<Range> Expected = {Range(5, 2), Range(10, 5), Range(20, 4)};
500 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
501}
502
503TEST(Range, NotAffectedByReplacements) {
504 std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(10, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000505 Replacements Replaces = toReplacements({Replacement("foo", 3, 2, "12"),
506 Replacement("foo", 12, 2, "12"),
507 Replacement("foo", 20, 5, "")});
Eric Liu8b636db2016-06-21 17:56:31 +0000508 std::vector<Range> Expected = {Range(0, 2), Range(3, 4), Range(10, 5),
509 Range(20, 0)};
510 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
511}
512
513TEST(Range, RangesWithNonOverlappingReplacements) {
514 std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(10, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000515 Replacements Replaces = toReplacements({Replacement("foo", 3, 1, ""),
516 Replacement("foo", 6, 1, "123"),
517 Replacement("foo", 20, 2, "12345")});
Eric Liu8b636db2016-06-21 17:56:31 +0000518 std::vector<Range> Expected = {Range(0, 2), Range(3, 0), Range(4, 4),
519 Range(11, 5), Range(21, 5)};
520 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
521}
522
523TEST(Range, RangesWithOverlappingReplacements) {
524 std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(15, 5),
525 Range(30, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000526 Replacements Replaces = toReplacements(
527 {Replacement("foo", 1, 3, ""), Replacement("foo", 6, 1, "123"),
528 Replacement("foo", 13, 3, "1"), Replacement("foo", 25, 15, "")});
Eric Liu8b636db2016-06-21 17:56:31 +0000529 std::vector<Range> Expected = {Range(0, 1), Range(2, 4), Range(12, 5),
530 Range(22, 0)};
531 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
532}
533
534TEST(Range, MergeIntoOneRange) {
535 std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(15, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000536 Replacements Replaces =
537 toReplacements({Replacement("foo", 1, 15, "1234567890")});
Eric Liu8b636db2016-06-21 17:56:31 +0000538 std::vector<Range> Expected = {Range(0, 15)};
539 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
540}
541
542TEST(Range, ReplacementsStartingAtRangeOffsets) {
543 std::vector<Range> Ranges = {Range(0, 2), Range(5, 5), Range(15, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000544 Replacements Replaces = toReplacements(
545 {Replacement("foo", 0, 2, "12"), Replacement("foo", 5, 1, "123"),
546 Replacement("foo", 7, 4, "12345"), Replacement("foo", 15, 10, "12")});
Eric Liu8b636db2016-06-21 17:56:31 +0000547 std::vector<Range> Expected = {Range(0, 2), Range(5, 9), Range(18, 2)};
548 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
549}
550
551TEST(Range, ReplacementsEndingAtRangeEnds) {
552 std::vector<Range> Ranges = {Range(0, 2), Range(5, 2), Range(15, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000553 Replacements Replaces = toReplacements(
554 {Replacement("foo", 6, 1, "123"), Replacement("foo", 17, 3, "12")});
Eric Liu8b636db2016-06-21 17:56:31 +0000555 std::vector<Range> Expected = {Range(0, 2), Range(5, 4), Range(17, 4)};
556 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
557}
558
559TEST(Range, AjacentReplacements) {
560 std::vector<Range> Ranges = {Range(0, 0), Range(15, 5)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000561 Replacements Replaces = toReplacements(
562 {Replacement("foo", 1, 2, "123"), Replacement("foo", 12, 3, "1234")});
Eric Liu8b636db2016-06-21 17:56:31 +0000563 std::vector<Range> Expected = {Range(0, 0), Range(1, 3), Range(13, 9)};
564 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
565}
566
567TEST(Range, MergeRangesAfterReplacements) {
568 std::vector<Range> Ranges = {Range(8, 0), Range(5, 2), Range(9, 0), Range(0, 1)};
Eric Liu40ef2fb2016-08-01 10:16:37 +0000569 Replacements Replaces = toReplacements({Replacement("foo", 1, 3, ""),
570 Replacement("foo", 7, 0, "12"),
571 Replacement("foo", 9, 2, "")});
572 std::vector<Range> Expected = {Range(0, 1), Range(2, 4), Range(7, 0),
573 Range(8, 0)};
Eric Liu8b636db2016-06-21 17:56:31 +0000574 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
Manuel Klimekb12e5a52016-03-01 12:37:30 +0000575}
576
Eric Liu40ef2fb2016-08-01 10:16:37 +0000577TEST(Range, ConflictingRangesBeforeReplacements) {
578 std::vector<Range> Ranges = {Range(8, 3), Range(5, 4), Range(9, 1)};
579 Replacements Replaces = toReplacements({Replacement("foo", 1, 3, "")});
580 std::vector<Range> Expected = {Range(1, 0), Range(2, 6)};
581 EXPECT_EQ(Expected, calculateRangesAfterReplacements(Replaces, Ranges));
Edwin Vane938f6882013-08-08 13:31:14 +0000582}
583
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000584class MergeReplacementsTest : public ::testing::Test {
585protected:
586 void mergeAndTestRewrite(StringRef Code, StringRef Intermediate,
587 StringRef Result, const Replacements &First,
588 const Replacements &Second) {
589 // These are mainly to verify the test itself and make it easier to read.
Eric Liu4f8d9942016-07-11 13:53:12 +0000590 auto AfterFirst = applyAllReplacements(Code, First);
591 EXPECT_TRUE(static_cast<bool>(AfterFirst));
592 auto InSequenceRewrite = applyAllReplacements(*AfterFirst, Second);
593 EXPECT_TRUE(static_cast<bool>(InSequenceRewrite));
594 EXPECT_EQ(Intermediate, *AfterFirst);
595 EXPECT_EQ(Result, *InSequenceRewrite);
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000596
Eric Liu40ef2fb2016-08-01 10:16:37 +0000597 tooling::Replacements Merged = First.merge(Second);
Eric Liu4f8d9942016-07-11 13:53:12 +0000598 auto MergedRewrite = applyAllReplacements(Code, Merged);
599 EXPECT_TRUE(static_cast<bool>(MergedRewrite));
600 EXPECT_EQ(*InSequenceRewrite, *MergedRewrite);
601 if (*InSequenceRewrite != *MergedRewrite)
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000602 for (tooling::Replacement M : Merged)
603 llvm::errs() << M.getOffset() << " " << M.getLength() << " "
604 << M.getReplacementText() << "\n";
605 }
606 void mergeAndTestRewrite(StringRef Code, const Replacements &First,
607 const Replacements &Second) {
Eric Liu4f8d9942016-07-11 13:53:12 +0000608 auto AfterFirst = applyAllReplacements(Code, First);
609 EXPECT_TRUE(static_cast<bool>(AfterFirst));
610 auto InSequenceRewrite = applyAllReplacements(*AfterFirst, Second);
Eric Liu40ef2fb2016-08-01 10:16:37 +0000611 tooling::Replacements Merged = First.merge(Second);
Eric Liu4f8d9942016-07-11 13:53:12 +0000612 auto MergedRewrite = applyAllReplacements(Code, Merged);
613 EXPECT_TRUE(static_cast<bool>(MergedRewrite));
614 EXPECT_EQ(*InSequenceRewrite, *MergedRewrite);
615 if (*InSequenceRewrite != *MergedRewrite)
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000616 for (tooling::Replacement M : Merged)
617 llvm::errs() << M.getOffset() << " " << M.getLength() << " "
618 << M.getReplacementText() << "\n";
619 }
620};
621
622TEST_F(MergeReplacementsTest, Offsets) {
623 mergeAndTestRewrite("aaa", "aabab", "cacabab",
Eric Liu40ef2fb2016-08-01 10:16:37 +0000624 toReplacements({{"", 2, 0, "b"}, {"", 3, 0, "b"}}),
625 toReplacements({{"", 0, 0, "c"}, {"", 1, 0, "c"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000626 mergeAndTestRewrite("aaa", "babaa", "babacac",
Eric Liu40ef2fb2016-08-01 10:16:37 +0000627 toReplacements({{"", 0, 0, "b"}, {"", 1, 0, "b"}}),
628 toReplacements({{"", 4, 0, "c"}, {"", 5, 0, "c"}}));
629 mergeAndTestRewrite("aaaa", "aaa", "aac", toReplacements({{"", 1, 1, ""}}),
630 toReplacements({{"", 2, 1, "c"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000631
632 mergeAndTestRewrite("aa", "bbabba", "bbabcba",
Eric Liu40ef2fb2016-08-01 10:16:37 +0000633 toReplacements({{"", 0, 0, "bb"}, {"", 1, 0, "bb"}}),
634 toReplacements({{"", 4, 0, "c"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000635}
636
637TEST_F(MergeReplacementsTest, Concatenations) {
638 // Basic concatenations. It is important to merge these into a single
639 // replacement to ensure the correct order.
Eric Liu40ef2fb2016-08-01 10:16:37 +0000640 {
641 auto First = toReplacements({{"", 0, 0, "a"}});
642 auto Second = toReplacements({{"", 1, 0, "b"}});
643 EXPECT_EQ(toReplacements({{"", 0, 0, "ab"}}), First.merge(Second));
644 }
645 {
646 auto First = toReplacements({{"", 0, 0, "a"}});
647 auto Second = toReplacements({{"", 0, 0, "b"}});
648 EXPECT_EQ(toReplacements({{"", 0, 0, "ba"}}), First.merge(Second));
649 }
650 mergeAndTestRewrite("", "a", "ab", toReplacements({{"", 0, 0, "a"}}),
651 toReplacements({{"", 1, 0, "b"}}));
652 mergeAndTestRewrite("", "a", "ba", toReplacements({{"", 0, 0, "a"}}),
653 toReplacements({{"", 0, 0, "b"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000654}
655
656TEST_F(MergeReplacementsTest, NotChangingLengths) {
Eric Liu40ef2fb2016-08-01 10:16:37 +0000657 mergeAndTestRewrite("aaaa", "abba", "acca",
658 toReplacements({{"", 1, 2, "bb"}}),
659 toReplacements({{"", 1, 2, "cc"}}));
660 mergeAndTestRewrite("aaaa", "abba", "abcc",
661 toReplacements({{"", 1, 2, "bb"}}),
662 toReplacements({{"", 2, 2, "cc"}}));
663 mergeAndTestRewrite("aaaa", "abba", "ccba",
664 toReplacements({{"", 1, 2, "bb"}}),
665 toReplacements({{"", 0, 2, "cc"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000666 mergeAndTestRewrite("aaaaaa", "abbdda", "abccda",
Eric Liu40ef2fb2016-08-01 10:16:37 +0000667 toReplacements({{"", 1, 2, "bb"}, {"", 3, 2, "dd"}}),
668 toReplacements({{"", 2, 2, "cc"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000669}
670
671TEST_F(MergeReplacementsTest, OverlappingRanges) {
672 mergeAndTestRewrite("aaa", "bbd", "bcbcd",
Eric Liu40ef2fb2016-08-01 10:16:37 +0000673 toReplacements({{"", 0, 1, "bb"}, {"", 1, 2, "d"}}),
674 toReplacements({{"", 1, 0, "c"}, {"", 2, 0, "c"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000675
Eric Liu40ef2fb2016-08-01 10:16:37 +0000676 mergeAndTestRewrite("aaaa", "aabbaa", "acccca",
677 toReplacements({{"", 2, 0, "bb"}}),
678 toReplacements({{"", 1, 4, "cccc"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000679 mergeAndTestRewrite("aaaa", "aababa", "acccca",
Eric Liu40ef2fb2016-08-01 10:16:37 +0000680 toReplacements({{"", 2, 0, "b"}, {"", 3, 0, "b"}}),
681 toReplacements({{"", 1, 4, "cccc"}}));
682 mergeAndTestRewrite("aaaaaa", "abbbba", "abba",
683 toReplacements({{"", 1, 4, "bbbb"}}),
684 toReplacements({{"", 2, 2, ""}}));
685 mergeAndTestRewrite("aaaa", "aa", "cc",
686 toReplacements({{"", 1, 1, ""}, {"", 2, 1, ""}}),
687 toReplacements({{"", 0, 2, "cc"}}));
688 mergeAndTestRewrite("aa", "abbba", "abcbcba",
689 toReplacements({{"", 1, 0, "bbb"}}),
690 toReplacements({{"", 2, 0, "c"}, {"", 3, 0, "c"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000691
Eric Liu40ef2fb2016-08-01 10:16:37 +0000692 mergeAndTestRewrite(
693 "aaa", "abbab", "ccdd",
694 toReplacements({{"", 0, 1, ""}, {"", 2, 0, "bb"}, {"", 3, 0, "b"}}),
695 toReplacements({{"", 0, 2, "cc"}, {"", 2, 3, "dd"}}));
696 mergeAndTestRewrite(
697 "aa", "babbab", "ccdd",
698 toReplacements({{"", 0, 0, "b"}, {"", 1, 0, "bb"}, {"", 2, 0, "b"}}),
699 toReplacements({{"", 0, 3, "cc"}, {"", 3, 3, "dd"}}));
Daniel Jasperd89ae9d2015-09-23 08:30:47 +0000700}
701
Manuel Klimek3f001342012-05-23 16:29:20 +0000702} // end namespace tooling
703} // end namespace clang