1cb3e6188SDaniel Jasper //===--- Replacement.cpp - Framework for clang refactoring tools ----------===//
2cb3e6188SDaniel Jasper //
3cb3e6188SDaniel Jasper //                     The LLVM Compiler Infrastructure
4cb3e6188SDaniel Jasper //
5cb3e6188SDaniel Jasper // This file is distributed under the University of Illinois Open Source
6cb3e6188SDaniel Jasper // License. See LICENSE.TXT for details.
7cb3e6188SDaniel Jasper //
8cb3e6188SDaniel Jasper //===----------------------------------------------------------------------===//
9cb3e6188SDaniel Jasper //
10cb3e6188SDaniel Jasper //  Implements classes to support/store refactorings.
11cb3e6188SDaniel Jasper //
12cb3e6188SDaniel Jasper //===----------------------------------------------------------------------===//
13cb3e6188SDaniel Jasper 
14b12e5a5cSManuel Klimek #include "clang/Tooling/Core/Replacement.h"
15b12e5a5cSManuel Klimek 
16cb3e6188SDaniel Jasper #include "clang/Basic/Diagnostic.h"
17cb3e6188SDaniel Jasper #include "clang/Basic/DiagnosticIDs.h"
18cb3e6188SDaniel Jasper #include "clang/Basic/DiagnosticOptions.h"
19cb3e6188SDaniel Jasper #include "clang/Basic/FileManager.h"
20cb3e6188SDaniel Jasper #include "clang/Basic/SourceManager.h"
21cb3e6188SDaniel Jasper #include "clang/Lex/Lexer.h"
22cb3e6188SDaniel Jasper #include "clang/Rewrite/Core/Rewriter.h"
23cb3e6188SDaniel Jasper #include "llvm/Support/FileSystem.h"
24cb3e6188SDaniel Jasper #include "llvm/Support/Path.h"
25cb3e6188SDaniel Jasper #include "llvm/Support/raw_os_ostream.h"
26cb3e6188SDaniel Jasper 
27cb3e6188SDaniel Jasper namespace clang {
28cb3e6188SDaniel Jasper namespace tooling {
29cb3e6188SDaniel Jasper 
30cb3e6188SDaniel Jasper static const char * const InvalidLocation = "";
31cb3e6188SDaniel Jasper 
32cb3e6188SDaniel Jasper Replacement::Replacement()
33cb3e6188SDaniel Jasper   : FilePath(InvalidLocation) {}
34cb3e6188SDaniel Jasper 
35cb3e6188SDaniel Jasper Replacement::Replacement(StringRef FilePath, unsigned Offset, unsigned Length,
36cb3e6188SDaniel Jasper                          StringRef ReplacementText)
37cb3e6188SDaniel Jasper     : FilePath(FilePath), ReplacementRange(Offset, Length),
38cb3e6188SDaniel Jasper       ReplacementText(ReplacementText) {}
39cb3e6188SDaniel Jasper 
40cb3e6188SDaniel Jasper Replacement::Replacement(const SourceManager &Sources, SourceLocation Start,
41cb3e6188SDaniel Jasper                          unsigned Length, StringRef ReplacementText) {
42cb3e6188SDaniel Jasper   setFromSourceLocation(Sources, Start, Length, ReplacementText);
43cb3e6188SDaniel Jasper }
44cb3e6188SDaniel Jasper 
45cb3e6188SDaniel Jasper Replacement::Replacement(const SourceManager &Sources,
46cb3e6188SDaniel Jasper                          const CharSourceRange &Range,
4794a89231SManuel Klimek                          StringRef ReplacementText,
4894a89231SManuel Klimek                          const LangOptions &LangOpts) {
4994a89231SManuel Klimek   setFromSourceRange(Sources, Range, ReplacementText, LangOpts);
50cb3e6188SDaniel Jasper }
51cb3e6188SDaniel Jasper 
52cb3e6188SDaniel Jasper bool Replacement::isApplicable() const {
53cb3e6188SDaniel Jasper   return FilePath != InvalidLocation;
54cb3e6188SDaniel Jasper }
55cb3e6188SDaniel Jasper 
56cb3e6188SDaniel Jasper bool Replacement::apply(Rewriter &Rewrite) const {
57cb3e6188SDaniel Jasper   SourceManager &SM = Rewrite.getSourceMgr();
58cb3e6188SDaniel Jasper   const FileEntry *Entry = SM.getFileManager().getFile(FilePath);
59cb3e6188SDaniel Jasper   if (!Entry)
60cb3e6188SDaniel Jasper     return false;
614c1ef97aSEric Liu 
624c1ef97aSEric Liu   FileID ID = SM.getOrCreateFileID(Entry, SrcMgr::C_User);
63cb3e6188SDaniel Jasper   const SourceLocation Start =
64cb3e6188SDaniel Jasper     SM.getLocForStartOfFile(ID).
65cb3e6188SDaniel Jasper     getLocWithOffset(ReplacementRange.getOffset());
66cb3e6188SDaniel Jasper   // ReplaceText returns false on success.
67cb3e6188SDaniel Jasper   // ReplaceText only fails if the source location is not a file location, in
68cb3e6188SDaniel Jasper   // which case we already returned false earlier.
69cb3e6188SDaniel Jasper   bool RewriteSucceeded = !Rewrite.ReplaceText(
70cb3e6188SDaniel Jasper       Start, ReplacementRange.getLength(), ReplacementText);
71cb3e6188SDaniel Jasper   assert(RewriteSucceeded);
72cb3e6188SDaniel Jasper   return RewriteSucceeded;
73cb3e6188SDaniel Jasper }
74cb3e6188SDaniel Jasper 
75cb3e6188SDaniel Jasper std::string Replacement::toString() const {
76b1223b1dSManuel Klimek   std::string Result;
77b1223b1dSManuel Klimek   llvm::raw_string_ostream Stream(Result);
78b1223b1dSManuel Klimek   Stream << FilePath << ": " << ReplacementRange.getOffset() << ":+"
79cb3e6188SDaniel Jasper          << ReplacementRange.getLength() << ":\"" << ReplacementText << "\"";
80b1223b1dSManuel Klimek   return Stream.str();
81cb3e6188SDaniel Jasper }
82cb3e6188SDaniel Jasper 
83cb3e6188SDaniel Jasper bool operator<(const Replacement &LHS, const Replacement &RHS) {
84cb3e6188SDaniel Jasper   if (LHS.getOffset() != RHS.getOffset())
85cb3e6188SDaniel Jasper     return LHS.getOffset() < RHS.getOffset();
860f291276SDaniel Jasper 
870f291276SDaniel Jasper   // Apply longer replacements first, specifically so that deletions are
880f291276SDaniel Jasper   // executed before insertions. It is (hopefully) never the intention to
890f291276SDaniel Jasper   // delete parts of newly inserted code.
90cb3e6188SDaniel Jasper   if (LHS.getLength() != RHS.getLength())
910f291276SDaniel Jasper     return LHS.getLength() > RHS.getLength();
920f291276SDaniel Jasper 
93cb3e6188SDaniel Jasper   if (LHS.getFilePath() != RHS.getFilePath())
94cb3e6188SDaniel Jasper     return LHS.getFilePath() < RHS.getFilePath();
95cb3e6188SDaniel Jasper   return LHS.getReplacementText() < RHS.getReplacementText();
96cb3e6188SDaniel Jasper }
97cb3e6188SDaniel Jasper 
98cb3e6188SDaniel Jasper bool operator==(const Replacement &LHS, const Replacement &RHS) {
99cb3e6188SDaniel Jasper   return LHS.getOffset() == RHS.getOffset() &&
100cb3e6188SDaniel Jasper          LHS.getLength() == RHS.getLength() &&
101cb3e6188SDaniel Jasper          LHS.getFilePath() == RHS.getFilePath() &&
102cb3e6188SDaniel Jasper          LHS.getReplacementText() == RHS.getReplacementText();
103cb3e6188SDaniel Jasper }
104cb3e6188SDaniel Jasper 
105cb3e6188SDaniel Jasper void Replacement::setFromSourceLocation(const SourceManager &Sources,
106cb3e6188SDaniel Jasper                                         SourceLocation Start, unsigned Length,
107cb3e6188SDaniel Jasper                                         StringRef ReplacementText) {
108cb3e6188SDaniel Jasper   const std::pair<FileID, unsigned> DecomposedLocation =
109cb3e6188SDaniel Jasper       Sources.getDecomposedLoc(Start);
110cb3e6188SDaniel Jasper   const FileEntry *Entry = Sources.getFileEntryForID(DecomposedLocation.first);
111cac8fc23SBenjamin Kramer   this->FilePath = Entry ? Entry->getName() : InvalidLocation;
112cb3e6188SDaniel Jasper   this->ReplacementRange = Range(DecomposedLocation.second, Length);
113cb3e6188SDaniel Jasper   this->ReplacementText = ReplacementText;
114cb3e6188SDaniel Jasper }
115cb3e6188SDaniel Jasper 
116cb3e6188SDaniel Jasper // FIXME: This should go into the Lexer, but we need to figure out how
117cb3e6188SDaniel Jasper // to handle ranges for refactoring in general first - there is no obvious
118cb3e6188SDaniel Jasper // good way how to integrate this into the Lexer yet.
119cb3e6188SDaniel Jasper static int getRangeSize(const SourceManager &Sources,
12094a89231SManuel Klimek                         const CharSourceRange &Range,
12194a89231SManuel Klimek                         const LangOptions &LangOpts) {
122cb3e6188SDaniel Jasper   SourceLocation SpellingBegin = Sources.getSpellingLoc(Range.getBegin());
123cb3e6188SDaniel Jasper   SourceLocation SpellingEnd = Sources.getSpellingLoc(Range.getEnd());
124cb3e6188SDaniel Jasper   std::pair<FileID, unsigned> Start = Sources.getDecomposedLoc(SpellingBegin);
125cb3e6188SDaniel Jasper   std::pair<FileID, unsigned> End = Sources.getDecomposedLoc(SpellingEnd);
126cb3e6188SDaniel Jasper   if (Start.first != End.first) return -1;
127cb3e6188SDaniel Jasper   if (Range.isTokenRange())
12894a89231SManuel Klimek     End.second += Lexer::MeasureTokenLength(SpellingEnd, Sources, LangOpts);
129cb3e6188SDaniel Jasper   return End.second - Start.second;
130cb3e6188SDaniel Jasper }
131cb3e6188SDaniel Jasper 
132cb3e6188SDaniel Jasper void Replacement::setFromSourceRange(const SourceManager &Sources,
133cb3e6188SDaniel Jasper                                      const CharSourceRange &Range,
13494a89231SManuel Klimek                                      StringRef ReplacementText,
13594a89231SManuel Klimek                                      const LangOptions &LangOpts) {
136cb3e6188SDaniel Jasper   setFromSourceLocation(Sources, Sources.getSpellingLoc(Range.getBegin()),
13794a89231SManuel Klimek                         getRangeSize(Sources, Range, LangOpts),
13894a89231SManuel Klimek                         ReplacementText);
139cb3e6188SDaniel Jasper }
140cb3e6188SDaniel Jasper 
1413fed9452SDaniel Jasper template <typename T>
1423fed9452SDaniel Jasper unsigned shiftedCodePositionInternal(const T &Replaces, unsigned Position) {
1433fed9452SDaniel Jasper   unsigned Offset = 0;
1443fed9452SDaniel Jasper   for (const auto& R : Replaces) {
1453fed9452SDaniel Jasper     if (R.getOffset() + R.getLength() <= Position) {
1463fed9452SDaniel Jasper       Offset += R.getReplacementText().size() - R.getLength();
1473fed9452SDaniel Jasper       continue;
148cb3e6188SDaniel Jasper     }
1493fed9452SDaniel Jasper     if (R.getOffset() < Position &&
1503fed9452SDaniel Jasper         R.getOffset() + R.getReplacementText().size() <= Position) {
1513fed9452SDaniel Jasper       Position = R.getOffset() + R.getReplacementText().size() - 1;
1523fed9452SDaniel Jasper     }
1533fed9452SDaniel Jasper     break;
1543fed9452SDaniel Jasper   }
1553fed9452SDaniel Jasper   return Position + Offset;
1563fed9452SDaniel Jasper }
1573fed9452SDaniel Jasper 
1583fed9452SDaniel Jasper unsigned shiftedCodePosition(const Replacements &Replaces, unsigned Position) {
1593fed9452SDaniel Jasper   return shiftedCodePositionInternal(Replaces, Position);
160cb3e6188SDaniel Jasper }
161cb3e6188SDaniel Jasper 
162cb3e6188SDaniel Jasper // FIXME: Remove this function when Replacements is implemented as std::vector
163cb3e6188SDaniel Jasper // instead of std::set.
164cb3e6188SDaniel Jasper unsigned shiftedCodePosition(const std::vector<Replacement> &Replaces,
165cb3e6188SDaniel Jasper                              unsigned Position) {
1663fed9452SDaniel Jasper   return shiftedCodePositionInternal(Replaces, Position);
167cb3e6188SDaniel Jasper }
168cb3e6188SDaniel Jasper 
169cb3e6188SDaniel Jasper void deduplicate(std::vector<Replacement> &Replaces,
170cb3e6188SDaniel Jasper                  std::vector<Range> &Conflicts) {
171cb3e6188SDaniel Jasper   if (Replaces.empty())
172cb3e6188SDaniel Jasper     return;
173cb3e6188SDaniel Jasper 
174cb3e6188SDaniel Jasper   auto LessNoPath = [](const Replacement &LHS, const Replacement &RHS) {
175cb3e6188SDaniel Jasper     if (LHS.getOffset() != RHS.getOffset())
176cb3e6188SDaniel Jasper       return LHS.getOffset() < RHS.getOffset();
177cb3e6188SDaniel Jasper     if (LHS.getLength() != RHS.getLength())
178cb3e6188SDaniel Jasper       return LHS.getLength() < RHS.getLength();
179cb3e6188SDaniel Jasper     return LHS.getReplacementText() < RHS.getReplacementText();
180cb3e6188SDaniel Jasper   };
181cb3e6188SDaniel Jasper 
182cb3e6188SDaniel Jasper   auto EqualNoPath = [](const Replacement &LHS, const Replacement &RHS) {
183cb3e6188SDaniel Jasper     return LHS.getOffset() == RHS.getOffset() &&
184cb3e6188SDaniel Jasper            LHS.getLength() == RHS.getLength() &&
185cb3e6188SDaniel Jasper            LHS.getReplacementText() == RHS.getReplacementText();
186cb3e6188SDaniel Jasper   };
187cb3e6188SDaniel Jasper 
188cb3e6188SDaniel Jasper   // Deduplicate. We don't want to deduplicate based on the path as we assume
189cb3e6188SDaniel Jasper   // that all replacements refer to the same file (or are symlinks).
190cb3e6188SDaniel Jasper   std::sort(Replaces.begin(), Replaces.end(), LessNoPath);
191cb3e6188SDaniel Jasper   Replaces.erase(std::unique(Replaces.begin(), Replaces.end(), EqualNoPath),
192cb3e6188SDaniel Jasper                  Replaces.end());
193cb3e6188SDaniel Jasper 
194cb3e6188SDaniel Jasper   // Detect conflicts
195cb3e6188SDaniel Jasper   Range ConflictRange(Replaces.front().getOffset(),
196cb3e6188SDaniel Jasper                       Replaces.front().getLength());
197cb3e6188SDaniel Jasper   unsigned ConflictStart = 0;
198cb3e6188SDaniel Jasper   unsigned ConflictLength = 1;
199cb3e6188SDaniel Jasper   for (unsigned i = 1; i < Replaces.size(); ++i) {
200cb3e6188SDaniel Jasper     Range Current(Replaces[i].getOffset(), Replaces[i].getLength());
201cb3e6188SDaniel Jasper     if (ConflictRange.overlapsWith(Current)) {
202cb3e6188SDaniel Jasper       // Extend conflicted range
203cb3e6188SDaniel Jasper       ConflictRange = Range(ConflictRange.getOffset(),
204cb3e6188SDaniel Jasper                             std::max(ConflictRange.getLength(),
205cb3e6188SDaniel Jasper                                      Current.getOffset() + Current.getLength() -
206cb3e6188SDaniel Jasper                                          ConflictRange.getOffset()));
207cb3e6188SDaniel Jasper       ++ConflictLength;
208cb3e6188SDaniel Jasper     } else {
209cb3e6188SDaniel Jasper       if (ConflictLength > 1)
210cb3e6188SDaniel Jasper         Conflicts.push_back(Range(ConflictStart, ConflictLength));
211cb3e6188SDaniel Jasper       ConflictRange = Current;
212cb3e6188SDaniel Jasper       ConflictStart = i;
213cb3e6188SDaniel Jasper       ConflictLength = 1;
214cb3e6188SDaniel Jasper     }
215cb3e6188SDaniel Jasper   }
216cb3e6188SDaniel Jasper 
217cb3e6188SDaniel Jasper   if (ConflictLength > 1)
218cb3e6188SDaniel Jasper     Conflicts.push_back(Range(ConflictStart, ConflictLength));
219cb3e6188SDaniel Jasper }
220cb3e6188SDaniel Jasper 
221cb3e6188SDaniel Jasper bool applyAllReplacements(const Replacements &Replaces, Rewriter &Rewrite) {
222cb3e6188SDaniel Jasper   bool Result = true;
223cb3e6188SDaniel Jasper   for (Replacements::const_iterator I = Replaces.begin(),
224cb3e6188SDaniel Jasper                                     E = Replaces.end();
225cb3e6188SDaniel Jasper        I != E; ++I) {
226cb3e6188SDaniel Jasper     if (I->isApplicable()) {
227cb3e6188SDaniel Jasper       Result = I->apply(Rewrite) && Result;
228cb3e6188SDaniel Jasper     } else {
229cb3e6188SDaniel Jasper       Result = false;
230cb3e6188SDaniel Jasper     }
231cb3e6188SDaniel Jasper   }
232cb3e6188SDaniel Jasper   return Result;
233cb3e6188SDaniel Jasper }
234cb3e6188SDaniel Jasper 
235cb3e6188SDaniel Jasper // FIXME: Remove this function when Replacements is implemented as std::vector
236cb3e6188SDaniel Jasper // instead of std::set.
237cb3e6188SDaniel Jasper bool applyAllReplacements(const std::vector<Replacement> &Replaces,
238cb3e6188SDaniel Jasper                           Rewriter &Rewrite) {
239cb3e6188SDaniel Jasper   bool Result = true;
240cb3e6188SDaniel Jasper   for (std::vector<Replacement>::const_iterator I = Replaces.begin(),
241cb3e6188SDaniel Jasper                                                 E = Replaces.end();
242cb3e6188SDaniel Jasper        I != E; ++I) {
243cb3e6188SDaniel Jasper     if (I->isApplicable()) {
244cb3e6188SDaniel Jasper       Result = I->apply(Rewrite) && Result;
245cb3e6188SDaniel Jasper     } else {
246cb3e6188SDaniel Jasper       Result = false;
247cb3e6188SDaniel Jasper     }
248cb3e6188SDaniel Jasper   }
249cb3e6188SDaniel Jasper   return Result;
250cb3e6188SDaniel Jasper }
251cb3e6188SDaniel Jasper 
252*4f8d9943SEric Liu llvm::Expected<std::string> applyAllReplacements(StringRef Code,
253*4f8d9943SEric Liu                                                 const Replacements &Replaces) {
254*4f8d9943SEric Liu   if (Replaces.empty())
255*4f8d9943SEric Liu     return Code.str();
2564c1ef97aSEric Liu 
2579825b7a7SBenjamin Kramer   IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem(
2589825b7a7SBenjamin Kramer       new vfs::InMemoryFileSystem);
2599825b7a7SBenjamin Kramer   FileManager Files(FileSystemOptions(), InMemoryFileSystem);
260cb3e6188SDaniel Jasper   DiagnosticsEngine Diagnostics(
261cb3e6188SDaniel Jasper       IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs),
262cb3e6188SDaniel Jasper       new DiagnosticOptions);
263cb3e6188SDaniel Jasper   SourceManager SourceMgr(Diagnostics, Files);
264cb3e6188SDaniel Jasper   Rewriter Rewrite(SourceMgr, LangOptions());
2659825b7a7SBenjamin Kramer   InMemoryFileSystem->addFile(
2669825b7a7SBenjamin Kramer       "<stdin>", 0, llvm::MemoryBuffer::getMemBuffer(Code, "<stdin>"));
2679825b7a7SBenjamin Kramer   FileID ID = SourceMgr.createFileID(Files.getFile("<stdin>"), SourceLocation(),
2689825b7a7SBenjamin Kramer                                      clang::SrcMgr::C_User);
269cb3e6188SDaniel Jasper   for (Replacements::const_iterator I = Replaces.begin(), E = Replaces.end();
270cb3e6188SDaniel Jasper        I != E; ++I) {
271cb3e6188SDaniel Jasper     Replacement Replace("<stdin>", I->getOffset(), I->getLength(),
272cb3e6188SDaniel Jasper                         I->getReplacementText());
273cb3e6188SDaniel Jasper     if (!Replace.apply(Rewrite))
274*4f8d9943SEric Liu       return llvm::make_error<llvm::StringError>(
275*4f8d9943SEric Liu           "Failed to apply replacement: " + Replace.toString(),
276*4f8d9943SEric Liu           llvm::inconvertibleErrorCode());
277cb3e6188SDaniel Jasper   }
278cb3e6188SDaniel Jasper   std::string Result;
279cb3e6188SDaniel Jasper   llvm::raw_string_ostream OS(Result);
280cb3e6188SDaniel Jasper   Rewrite.getEditBuffer(ID).write(OS);
281cb3e6188SDaniel Jasper   OS.flush();
282cb3e6188SDaniel Jasper   return Result;
283cb3e6188SDaniel Jasper }
284cb3e6188SDaniel Jasper 
2858b636db8SEric Liu // Merge and sort overlapping ranges in \p Ranges.
2868b636db8SEric Liu static std::vector<Range> mergeAndSortRanges(std::vector<Range> Ranges) {
2878b636db8SEric Liu   std::sort(Ranges.begin(), Ranges.end(),
2888b636db8SEric Liu             [](const Range &LHS, const Range &RHS) {
2898b636db8SEric Liu               if (LHS.getOffset() != RHS.getOffset())
2908b636db8SEric Liu                 return LHS.getOffset() < RHS.getOffset();
2918b636db8SEric Liu               return LHS.getLength() < RHS.getLength();
2928b636db8SEric Liu             });
2938b636db8SEric Liu   std::vector<Range> Result;
2948b636db8SEric Liu   for (const auto &R : Ranges) {
2958b636db8SEric Liu     if (Result.empty() ||
2968b636db8SEric Liu         Result.back().getOffset() + Result.back().getLength() < R.getOffset()) {
2978b636db8SEric Liu       Result.push_back(R);
2988b636db8SEric Liu     } else {
2998b636db8SEric Liu       unsigned NewEnd =
3008b636db8SEric Liu           std::max(Result.back().getOffset() + Result.back().getLength(),
3018b636db8SEric Liu                    R.getOffset() + R.getLength());
3028b636db8SEric Liu       Result[Result.size() - 1] =
3038b636db8SEric Liu           Range(Result.back().getOffset(), NewEnd - Result.back().getOffset());
3048b636db8SEric Liu     }
3058b636db8SEric Liu   }
3068b636db8SEric Liu   return Result;
3078b636db8SEric Liu }
3088b636db8SEric Liu 
3094c1ef97aSEric Liu std::vector<Range> calculateChangedRanges(const Replacements &Replaces) {
310b12e5a5cSManuel Klimek   std::vector<Range> ChangedRanges;
311b12e5a5cSManuel Klimek   int Shift = 0;
312b12e5a5cSManuel Klimek   for (const Replacement &R : Replaces) {
313b12e5a5cSManuel Klimek     unsigned Offset = R.getOffset() + Shift;
314b12e5a5cSManuel Klimek     unsigned Length = R.getReplacementText().size();
315b12e5a5cSManuel Klimek     Shift += Length - R.getLength();
316b12e5a5cSManuel Klimek     ChangedRanges.push_back(Range(Offset, Length));
317b12e5a5cSManuel Klimek   }
3188b636db8SEric Liu   return mergeAndSortRanges(ChangedRanges);
3198b636db8SEric Liu }
3208b636db8SEric Liu 
3218b636db8SEric Liu std::vector<Range>
3228b636db8SEric Liu calculateRangesAfterReplacements(const Replacements &Replaces,
3238b636db8SEric Liu                                  const std::vector<Range> &Ranges) {
3248b636db8SEric Liu   auto MergedRanges = mergeAndSortRanges(Ranges);
3258b636db8SEric Liu   tooling::Replacements FakeReplaces;
3268b636db8SEric Liu   for (const auto &R : MergedRanges)
3278b636db8SEric Liu     FakeReplaces.insert(Replacement(Replaces.begin()->getFilePath(),
3288b636db8SEric Liu                                     R.getOffset(), R.getLength(),
3295a35e65cSEric Liu                                     std::string(R.getLength(), ' ')));
3308b636db8SEric Liu   tooling::Replacements NewReplaces = mergeReplacements(FakeReplaces, Replaces);
3318b636db8SEric Liu   return calculateChangedRanges(NewReplaces);
332b12e5a5cSManuel Klimek }
333b12e5a5cSManuel Klimek 
334d89ae9d3SDaniel Jasper namespace {
335d89ae9d3SDaniel Jasper // Represents a merged replacement, i.e. a replacement consisting of multiple
336d89ae9d3SDaniel Jasper // overlapping replacements from 'First' and 'Second' in mergeReplacements.
337d89ae9d3SDaniel Jasper //
338d89ae9d3SDaniel Jasper // Position projection:
339d89ae9d3SDaniel Jasper // Offsets and lengths of the replacements can generally refer to two different
340d89ae9d3SDaniel Jasper // coordinate spaces. Replacements from 'First' refer to the original text
341d89ae9d3SDaniel Jasper // whereas replacements from 'Second' refer to the text after applying 'First'.
342d89ae9d3SDaniel Jasper //
343d89ae9d3SDaniel Jasper // MergedReplacement always operates in the coordinate space of the original
344d89ae9d3SDaniel Jasper // text, i.e. transforms elements from 'Second' to take into account what was
345d89ae9d3SDaniel Jasper // changed based on the elements from 'First'.
346d89ae9d3SDaniel Jasper //
347d89ae9d3SDaniel Jasper // We can correctly calculate this projection as we look at the replacements in
348d89ae9d3SDaniel Jasper // order of strictly increasing offsets.
349d89ae9d3SDaniel Jasper //
350d89ae9d3SDaniel Jasper // Invariants:
351d89ae9d3SDaniel Jasper // * We always merge elements from 'First' into elements from 'Second' and vice
352d89ae9d3SDaniel Jasper //   versa. Within each set, the replacements are non-overlapping.
353d89ae9d3SDaniel Jasper // * We only extend to the right, i.e. merge elements with strictly increasing
354d89ae9d3SDaniel Jasper //   offsets.
355d89ae9d3SDaniel Jasper class MergedReplacement {
356d89ae9d3SDaniel Jasper public:
357d89ae9d3SDaniel Jasper   MergedReplacement(const Replacement &R, bool MergeSecond, int D)
358d89ae9d3SDaniel Jasper       : MergeSecond(MergeSecond), Delta(D), FilePath(R.getFilePath()),
359d89ae9d3SDaniel Jasper         Offset(R.getOffset() + (MergeSecond ? 0 : Delta)), Length(R.getLength()),
360d89ae9d3SDaniel Jasper         Text(R.getReplacementText()) {
361d89ae9d3SDaniel Jasper     Delta += MergeSecond ? 0 : Text.size() - Length;
362d89ae9d3SDaniel Jasper     DeltaFirst = MergeSecond ? Text.size() - Length : 0;
363d89ae9d3SDaniel Jasper   }
364d89ae9d3SDaniel Jasper 
365d89ae9d3SDaniel Jasper   // Merges the next element 'R' into this merged element. As we always merge
366d89ae9d3SDaniel Jasper   // from 'First' into 'Second' or vice versa, the MergedReplacement knows what
367d89ae9d3SDaniel Jasper   // set the next element is coming from.
368d89ae9d3SDaniel Jasper   void merge(const Replacement &R) {
369d89ae9d3SDaniel Jasper     if (MergeSecond) {
370d89ae9d3SDaniel Jasper       unsigned REnd = R.getOffset() + Delta + R.getLength();
371d89ae9d3SDaniel Jasper       unsigned End = Offset + Text.size();
372d89ae9d3SDaniel Jasper       if (REnd > End) {
373d89ae9d3SDaniel Jasper         Length += REnd - End;
374d89ae9d3SDaniel Jasper         MergeSecond = false;
375d89ae9d3SDaniel Jasper       }
376d89ae9d3SDaniel Jasper       StringRef TextRef = Text;
377d89ae9d3SDaniel Jasper       StringRef Head = TextRef.substr(0, R.getOffset() + Delta - Offset);
378d89ae9d3SDaniel Jasper       StringRef Tail = TextRef.substr(REnd - Offset);
379d89ae9d3SDaniel Jasper       Text = (Head + R.getReplacementText() + Tail).str();
380d89ae9d3SDaniel Jasper       Delta += R.getReplacementText().size() - R.getLength();
381d89ae9d3SDaniel Jasper     } else {
382d89ae9d3SDaniel Jasper       unsigned End = Offset + Length;
383d89ae9d3SDaniel Jasper       StringRef RText = R.getReplacementText();
384d89ae9d3SDaniel Jasper       StringRef Tail = RText.substr(End - R.getOffset());
385d89ae9d3SDaniel Jasper       Text = (Text + Tail).str();
386d89ae9d3SDaniel Jasper       if (R.getOffset() + RText.size() > End) {
387d89ae9d3SDaniel Jasper         Length = R.getOffset() + R.getLength() - Offset;
388d89ae9d3SDaniel Jasper         MergeSecond = true;
389d89ae9d3SDaniel Jasper       } else {
390d89ae9d3SDaniel Jasper         Length += R.getLength() - RText.size();
391d89ae9d3SDaniel Jasper       }
392d89ae9d3SDaniel Jasper       DeltaFirst += RText.size() - R.getLength();
393d89ae9d3SDaniel Jasper     }
394d89ae9d3SDaniel Jasper   }
395d89ae9d3SDaniel Jasper 
396d89ae9d3SDaniel Jasper   // Returns 'true' if 'R' starts strictly after the MergedReplacement and thus
397d89ae9d3SDaniel Jasper   // doesn't need to be merged.
398d89ae9d3SDaniel Jasper   bool endsBefore(const Replacement &R) const {
399d89ae9d3SDaniel Jasper     if (MergeSecond)
400d89ae9d3SDaniel Jasper       return Offset + Text.size() < R.getOffset() + Delta;
401d89ae9d3SDaniel Jasper     return Offset + Length < R.getOffset();
402d89ae9d3SDaniel Jasper   }
403d89ae9d3SDaniel Jasper 
404d89ae9d3SDaniel Jasper   // Returns 'true' if an element from the second set should be merged next.
405d89ae9d3SDaniel Jasper   bool mergeSecond() const { return MergeSecond; }
406d89ae9d3SDaniel Jasper   int deltaFirst() const { return DeltaFirst; }
407d89ae9d3SDaniel Jasper   Replacement asReplacement() const { return {FilePath, Offset, Length, Text}; }
408d89ae9d3SDaniel Jasper 
409d89ae9d3SDaniel Jasper private:
410d89ae9d3SDaniel Jasper   bool MergeSecond;
411d89ae9d3SDaniel Jasper 
412d89ae9d3SDaniel Jasper   // Amount of characters that elements from 'Second' need to be shifted by in
413d89ae9d3SDaniel Jasper   // order to refer to the original text.
414d89ae9d3SDaniel Jasper   int Delta;
415d89ae9d3SDaniel Jasper 
416d89ae9d3SDaniel Jasper   // Sum of all deltas (text-length - length) of elements from 'First' merged
417d89ae9d3SDaniel Jasper   // into this element. This is used to update 'Delta' once the
418d89ae9d3SDaniel Jasper   // MergedReplacement is completed.
419d89ae9d3SDaniel Jasper   int DeltaFirst;
420d89ae9d3SDaniel Jasper 
421d89ae9d3SDaniel Jasper   // Data of the actually merged replacement. FilePath and Offset aren't changed
422d89ae9d3SDaniel Jasper   // as the element is only extended to the right.
423d89ae9d3SDaniel Jasper   const StringRef FilePath;
424d89ae9d3SDaniel Jasper   const unsigned Offset;
425d89ae9d3SDaniel Jasper   unsigned Length;
426d89ae9d3SDaniel Jasper   std::string Text;
427d89ae9d3SDaniel Jasper };
428d89ae9d3SDaniel Jasper } // namespace
429d89ae9d3SDaniel Jasper 
4304c1ef97aSEric Liu std::map<std::string, Replacements>
4314c1ef97aSEric Liu groupReplacementsByFile(const Replacements &Replaces) {
4324c1ef97aSEric Liu   std::map<std::string, Replacements> FileToReplaces;
4334c1ef97aSEric Liu   for (const auto &Replace : Replaces) {
4344c1ef97aSEric Liu     FileToReplaces[Replace.getFilePath()].insert(Replace);
4354c1ef97aSEric Liu   }
4364c1ef97aSEric Liu   return FileToReplaces;
4374c1ef97aSEric Liu }
4384c1ef97aSEric Liu 
439d89ae9d3SDaniel Jasper Replacements mergeReplacements(const Replacements &First,
440d89ae9d3SDaniel Jasper                                const Replacements &Second) {
441d89ae9d3SDaniel Jasper   if (First.empty() || Second.empty())
442d89ae9d3SDaniel Jasper     return First.empty() ? Second : First;
443d89ae9d3SDaniel Jasper 
444d89ae9d3SDaniel Jasper   // Delta is the amount of characters that replacements from 'Second' need to
445d89ae9d3SDaniel Jasper   // be shifted so that their offsets refer to the original text.
446d89ae9d3SDaniel Jasper   int Delta = 0;
447d89ae9d3SDaniel Jasper   Replacements Result;
448d89ae9d3SDaniel Jasper 
449d89ae9d3SDaniel Jasper   // Iterate over both sets and always add the next element (smallest total
450d89ae9d3SDaniel Jasper   // Offset) from either 'First' or 'Second'. Merge that element with
451d89ae9d3SDaniel Jasper   // subsequent replacements as long as they overlap. See more details in the
452d89ae9d3SDaniel Jasper   // comment on MergedReplacement.
453d89ae9d3SDaniel Jasper   for (auto FirstI = First.begin(), SecondI = Second.begin();
454d89ae9d3SDaniel Jasper        FirstI != First.end() || SecondI != Second.end();) {
455d89ae9d3SDaniel Jasper     bool NextIsFirst = SecondI == Second.end() ||
456a3e553a2SDaniel Jasper                        (FirstI != First.end() &&
457a3e553a2SDaniel Jasper                         FirstI->getOffset() < SecondI->getOffset() + Delta);
458d89ae9d3SDaniel Jasper     MergedReplacement Merged(NextIsFirst ? *FirstI : *SecondI, NextIsFirst,
459d89ae9d3SDaniel Jasper                              Delta);
460d89ae9d3SDaniel Jasper     ++(NextIsFirst ? FirstI : SecondI);
461d89ae9d3SDaniel Jasper 
462d89ae9d3SDaniel Jasper     while ((Merged.mergeSecond() && SecondI != Second.end()) ||
463d89ae9d3SDaniel Jasper            (!Merged.mergeSecond() && FirstI != First.end())) {
464d89ae9d3SDaniel Jasper       auto &I = Merged.mergeSecond() ? SecondI : FirstI;
465d89ae9d3SDaniel Jasper       if (Merged.endsBefore(*I))
466d89ae9d3SDaniel Jasper         break;
467d89ae9d3SDaniel Jasper       Merged.merge(*I);
468d89ae9d3SDaniel Jasper       ++I;
469d89ae9d3SDaniel Jasper     }
470d89ae9d3SDaniel Jasper     Delta -= Merged.deltaFirst();
471d89ae9d3SDaniel Jasper     Result.insert(Merged.asReplacement());
472d89ae9d3SDaniel Jasper   }
473d89ae9d3SDaniel Jasper   return Result;
474d89ae9d3SDaniel Jasper }
475d89ae9d3SDaniel Jasper 
476cb3e6188SDaniel Jasper } // end namespace tooling
477cb3e6188SDaniel Jasper } // end namespace clang
478