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"
23cf2913c6SEric Liu #include "llvm/ADT/SmallPtrSet.h"
24cb3e6188SDaniel Jasper #include "llvm/Support/FileSystem.h"
25cefe763dSEric Liu #include "llvm/Support/Path.h"
26cb3e6188SDaniel Jasper #include "llvm/Support/raw_os_ostream.h"
27cb3e6188SDaniel Jasper 
28cb3e6188SDaniel Jasper namespace clang {
29cb3e6188SDaniel Jasper namespace tooling {
30cb3e6188SDaniel Jasper 
31cb3e6188SDaniel Jasper static const char * const InvalidLocation = "";
32cb3e6188SDaniel Jasper 
33e86a5f4cSEric Liu Replacement::Replacement() : 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 
87cb3e6188SDaniel Jasper   if (LHS.getLength() != RHS.getLength())
88e9906525SEric Liu     return LHS.getLength() < RHS.getLength();
890f291276SDaniel Jasper 
90cb3e6188SDaniel Jasper   if (LHS.getFilePath() != RHS.getFilePath())
91cb3e6188SDaniel Jasper     return LHS.getFilePath() < RHS.getFilePath();
92cb3e6188SDaniel Jasper   return LHS.getReplacementText() < RHS.getReplacementText();
93cb3e6188SDaniel Jasper }
94cb3e6188SDaniel Jasper 
95cb3e6188SDaniel Jasper bool operator==(const Replacement &LHS, const Replacement &RHS) {
96cb3e6188SDaniel Jasper   return LHS.getOffset() == RHS.getOffset() &&
97cb3e6188SDaniel Jasper          LHS.getLength() == RHS.getLength() &&
98cb3e6188SDaniel Jasper          LHS.getFilePath() == RHS.getFilePath() &&
99cb3e6188SDaniel Jasper          LHS.getReplacementText() == RHS.getReplacementText();
100cb3e6188SDaniel Jasper }
101cb3e6188SDaniel Jasper 
102cb3e6188SDaniel Jasper void Replacement::setFromSourceLocation(const SourceManager &Sources,
103cb3e6188SDaniel Jasper                                         SourceLocation Start, unsigned Length,
104cb3e6188SDaniel Jasper                                         StringRef ReplacementText) {
105cb3e6188SDaniel Jasper   const std::pair<FileID, unsigned> DecomposedLocation =
106cb3e6188SDaniel Jasper       Sources.getDecomposedLoc(Start);
107cb3e6188SDaniel Jasper   const FileEntry *Entry = Sources.getFileEntryForID(DecomposedLocation.first);
108cac8fc23SBenjamin Kramer   this->FilePath = Entry ? Entry->getName() : InvalidLocation;
109cb3e6188SDaniel Jasper   this->ReplacementRange = Range(DecomposedLocation.second, Length);
110cb3e6188SDaniel Jasper   this->ReplacementText = ReplacementText;
111cb3e6188SDaniel Jasper }
112cb3e6188SDaniel Jasper 
113cb3e6188SDaniel Jasper // FIXME: This should go into the Lexer, but we need to figure out how
114cb3e6188SDaniel Jasper // to handle ranges for refactoring in general first - there is no obvious
115cb3e6188SDaniel Jasper // good way how to integrate this into the Lexer yet.
116cb3e6188SDaniel Jasper static int getRangeSize(const SourceManager &Sources,
11794a89231SManuel Klimek                         const CharSourceRange &Range,
11894a89231SManuel Klimek                         const LangOptions &LangOpts) {
119cb3e6188SDaniel Jasper   SourceLocation SpellingBegin = Sources.getSpellingLoc(Range.getBegin());
120cb3e6188SDaniel Jasper   SourceLocation SpellingEnd = Sources.getSpellingLoc(Range.getEnd());
121cb3e6188SDaniel Jasper   std::pair<FileID, unsigned> Start = Sources.getDecomposedLoc(SpellingBegin);
122cb3e6188SDaniel Jasper   std::pair<FileID, unsigned> End = Sources.getDecomposedLoc(SpellingEnd);
123cb3e6188SDaniel Jasper   if (Start.first != End.first) return -1;
124cb3e6188SDaniel Jasper   if (Range.isTokenRange())
12594a89231SManuel Klimek     End.second += Lexer::MeasureTokenLength(SpellingEnd, Sources, LangOpts);
126cb3e6188SDaniel Jasper   return End.second - Start.second;
127cb3e6188SDaniel Jasper }
128cb3e6188SDaniel Jasper 
129cb3e6188SDaniel Jasper void Replacement::setFromSourceRange(const SourceManager &Sources,
130cb3e6188SDaniel Jasper                                      const CharSourceRange &Range,
13194a89231SManuel Klimek                                      StringRef ReplacementText,
13294a89231SManuel Klimek                                      const LangOptions &LangOpts) {
133cb3e6188SDaniel Jasper   setFromSourceLocation(Sources, Sources.getSpellingLoc(Range.getBegin()),
13494a89231SManuel Klimek                         getRangeSize(Sources, Range, LangOpts),
13594a89231SManuel Klimek                         ReplacementText);
136cb3e6188SDaniel Jasper }
137cb3e6188SDaniel Jasper 
1386ef82b67SEric Liu Replacement
1396ef82b67SEric Liu Replacements::getReplacementInChangedCode(const Replacement &R) const {
1406ef82b67SEric Liu   unsigned NewStart = getShiftedCodePosition(R.getOffset());
1416ef82b67SEric Liu   unsigned NewEnd = getShiftedCodePosition(R.getOffset() + R.getLength());
1426ef82b67SEric Liu   return Replacement(R.getFilePath(), NewStart, NewEnd - NewStart,
1436ef82b67SEric Liu                      R.getReplacementText());
1446ef82b67SEric Liu }
1456ef82b67SEric Liu 
146e86a5f4cSEric Liu static std::string getReplacementErrString(replacement_error Err) {
147e86a5f4cSEric Liu   switch (Err) {
148e86a5f4cSEric Liu   case replacement_error::fail_to_apply:
149e86a5f4cSEric Liu     return "Failed to apply a replacement.";
150e86a5f4cSEric Liu   case replacement_error::wrong_file_path:
151e86a5f4cSEric Liu     return "The new replacement's file path is different from the file path of "
152e86a5f4cSEric Liu            "existing replacements";
153e86a5f4cSEric Liu   case replacement_error::overlap_conflict:
154e86a5f4cSEric Liu     return "The new replacement overlaps with an existing replacement.";
155e86a5f4cSEric Liu   case replacement_error::insert_conflict:
156e86a5f4cSEric Liu     return "The new insertion has the same insert location as an existing "
157e86a5f4cSEric Liu            "replacement.";
1589df9b6fdSEric Liu   }
159e86a5f4cSEric Liu   llvm_unreachable("A value of replacement_error has no message.");
160e86a5f4cSEric Liu }
161e86a5f4cSEric Liu 
162e86a5f4cSEric Liu std::string ReplacementError::message() const {
163e86a5f4cSEric Liu   std::string Message = getReplacementErrString(Err);
164e86a5f4cSEric Liu   if (NewReplacement.hasValue())
165e86a5f4cSEric Liu     Message += "\nNew replacement: " + NewReplacement->toString();
166e86a5f4cSEric Liu   if (ExistingReplacement.hasValue())
167e86a5f4cSEric Liu     Message += "\nExisting replacement: " + ExistingReplacement->toString();
168e86a5f4cSEric Liu   return Message;
169e86a5f4cSEric Liu }
170e86a5f4cSEric Liu 
171e86a5f4cSEric Liu char ReplacementError::ID = 0;
1729df9b6fdSEric Liu 
1736ef82b67SEric Liu Replacements Replacements::getCanonicalReplacements() const {
1746ef82b67SEric Liu   std::vector<Replacement> NewReplaces;
1756ef82b67SEric Liu   // Merge adjacent replacements.
1766ef82b67SEric Liu   for (const auto &R : Replaces) {
1776ef82b67SEric Liu     if (NewReplaces.empty()) {
1786ef82b67SEric Liu       NewReplaces.push_back(R);
1796ef82b67SEric Liu       continue;
1806ef82b67SEric Liu     }
1816ef82b67SEric Liu     auto &Prev = NewReplaces.back();
1826ef82b67SEric Liu     unsigned PrevEnd = Prev.getOffset() + Prev.getLength();
1836ef82b67SEric Liu     if (PrevEnd < R.getOffset()) {
1846ef82b67SEric Liu       NewReplaces.push_back(R);
1856ef82b67SEric Liu     } else {
1866ef82b67SEric Liu       assert(PrevEnd == R.getOffset() &&
1876ef82b67SEric Liu              "Existing replacements must not overlap.");
1886ef82b67SEric Liu       Replacement NewR(
1896ef82b67SEric Liu           R.getFilePath(), Prev.getOffset(), Prev.getLength() + R.getLength(),
1906ef82b67SEric Liu           (Prev.getReplacementText() + R.getReplacementText()).str());
1916ef82b67SEric Liu       Prev = NewR;
1926ef82b67SEric Liu     }
1936ef82b67SEric Liu   }
1946ef82b67SEric Liu   ReplacementsImpl NewReplacesImpl(NewReplaces.begin(), NewReplaces.end());
1956ef82b67SEric Liu   return Replacements(NewReplacesImpl.begin(), NewReplacesImpl.end());
1966ef82b67SEric Liu }
1976ef82b67SEric Liu 
1986ef82b67SEric Liu // `R` and `Replaces` are order-independent if applying them in either order
1996ef82b67SEric Liu // has the same effect, so we need to compare replacements associated to
2006ef82b67SEric Liu // applying them in either order.
2016ef82b67SEric Liu llvm::Expected<Replacements>
2026ef82b67SEric Liu Replacements::mergeIfOrderIndependent(const Replacement &R) const {
2036ef82b67SEric Liu   Replacements Rs(R);
2046ef82b67SEric Liu   // A Replacements set containg a single replacement that is `R` referring to
2056ef82b67SEric Liu   // the code after the existing replacements `Replaces` are applied.
2066ef82b67SEric Liu   Replacements RsShiftedByReplaces(getReplacementInChangedCode(R));
2076ef82b67SEric Liu   // A Replacements set that is `Replaces` referring to the code after `R` is
2086ef82b67SEric Liu   // applied.
2096ef82b67SEric Liu   Replacements ReplacesShiftedByRs;
2106ef82b67SEric Liu   for (const auto &Replace : Replaces)
2116ef82b67SEric Liu     ReplacesShiftedByRs.Replaces.insert(
2126ef82b67SEric Liu         Rs.getReplacementInChangedCode(Replace));
2136ef82b67SEric Liu   // This is equivalent to applying `Replaces` first and then `R`.
2146ef82b67SEric Liu   auto MergeShiftedRs = merge(RsShiftedByReplaces);
2156ef82b67SEric Liu   // This is equivalent to applying `R` first and then `Replaces`.
2166ef82b67SEric Liu   auto MergeShiftedReplaces = Rs.merge(ReplacesShiftedByRs);
2176ef82b67SEric Liu 
2186ef82b67SEric Liu   // Since empty or segmented replacements around existing replacements might be
2196ef82b67SEric Liu   // produced above, we need to compare replacements in canonical forms.
2206ef82b67SEric Liu   if (MergeShiftedRs.getCanonicalReplacements() ==
2216ef82b67SEric Liu       MergeShiftedReplaces.getCanonicalReplacements())
2226ef82b67SEric Liu     return MergeShiftedRs;
223e86a5f4cSEric Liu   return llvm::make_error<ReplacementError>(replacement_error::overlap_conflict,
224e86a5f4cSEric Liu                                             R, *Replaces.begin());
2256ef82b67SEric Liu }
2266ef82b67SEric Liu 
22740ef2fb3SEric Liu llvm::Error Replacements::add(const Replacement &R) {
228dcb910b1SManuel Klimek   // Check the file path.
229dcb910b1SManuel Klimek   if (!Replaces.empty() && R.getFilePath() != Replaces.begin()->getFilePath())
230e86a5f4cSEric Liu     return llvm::make_error<ReplacementError>(
231e86a5f4cSEric Liu         replacement_error::wrong_file_path, R, *Replaces.begin());
232cb3e6188SDaniel Jasper 
233dcb910b1SManuel Klimek   // Special-case header insertions.
234dcb910b1SManuel Klimek   if (R.getOffset() == UINT_MAX) {
23540ef2fb3SEric Liu     Replaces.insert(R);
23640ef2fb3SEric Liu     return llvm::Error::success();
237b12e5a5cSManuel Klimek   }
238b12e5a5cSManuel Klimek 
239dcb910b1SManuel Klimek   // This replacement cannot conflict with replacements that end before
240dcb910b1SManuel Klimek   // this replacement starts or start after this replacement ends.
241dcb910b1SManuel Klimek   // We also know that there currently are no overlapping replacements.
242dcb910b1SManuel Klimek   // Thus, we know that all replacements that start after the end of the current
243dcb910b1SManuel Klimek   // replacement cannot overlap.
244dcb910b1SManuel Klimek   Replacement AtEnd(R.getFilePath(), R.getOffset() + R.getLength(), 0, "");
245dcb910b1SManuel Klimek 
24616c6d0acSManuel Klimek   // Find the first entry that starts after or at the end of R. Note that
24716c6d0acSManuel Klimek   // entries that start at the end can still be conflicting if R is an
24816c6d0acSManuel Klimek   // insertion.
249dcb910b1SManuel Klimek   auto I = Replaces.lower_bound(AtEnd);
2509df9b6fdSEric Liu   // If `I` starts at the same offset as `R`, `R` must be an insertion.
2519df9b6fdSEric Liu   if (I != Replaces.end() && R.getOffset() == I->getOffset()) {
2529df9b6fdSEric Liu     assert(R.getLength() == 0);
2539df9b6fdSEric Liu     // `I` is also an insertion, `R` and `I` conflict.
2546ef82b67SEric Liu     if (I->getLength() == 0) {
2556ef82b67SEric Liu       // Check if two insertions are order-indepedent: if inserting them in
2566ef82b67SEric Liu       // either order produces the same text, they are order-independent.
2576ef82b67SEric Liu       if ((R.getReplacementText() + I->getReplacementText()).str() !=
258e86a5f4cSEric Liu           (I->getReplacementText() + R.getReplacementText()).str())
259e86a5f4cSEric Liu         return llvm::make_error<ReplacementError>(
260e86a5f4cSEric Liu             replacement_error::insert_conflict, R, *I);
2616ef82b67SEric Liu       // If insertions are order-independent, we can merge them.
2626ef82b67SEric Liu       Replacement NewR(
2636ef82b67SEric Liu           R.getFilePath(), R.getOffset(), 0,
2646ef82b67SEric Liu           (R.getReplacementText() + I->getReplacementText()).str());
2656ef82b67SEric Liu       Replaces.erase(I);
2666237a21dSAlexander Shaposhnikov       Replaces.insert(std::move(NewR));
2676ef82b67SEric Liu       return llvm::Error::success();
2686ef82b67SEric Liu     }
2699df9b6fdSEric Liu     // Insertion `R` is adjacent to a non-insertion replacement `I`, so they
2709df9b6fdSEric Liu     // are order-independent. It is safe to assume that `R` will not conflict
2719df9b6fdSEric Liu     // with any replacement before `I` since all replacements before `I` must
2729df9b6fdSEric Liu     // either end before `R` or end at `R` but has length > 0 (if the
2739df9b6fdSEric Liu     // replacement before `I` is an insertion at `R`, it would have been `I`
2749df9b6fdSEric Liu     // since it is a lower bound of `AtEnd` and ordered before the current `I`
2759df9b6fdSEric Liu     // in the set).
2769df9b6fdSEric Liu     Replaces.insert(R);
2779df9b6fdSEric Liu     return llvm::Error::success();
2789df9b6fdSEric Liu   }
27916c6d0acSManuel Klimek 
2809df9b6fdSEric Liu   // `I` is the smallest iterator (after `R`) whose entry cannot overlap.
281dcb910b1SManuel Klimek   // If that is begin(), there are no overlaps.
282dcb910b1SManuel Klimek   if (I == Replaces.begin()) {
283dcb910b1SManuel Klimek     Replaces.insert(R);
284dcb910b1SManuel Klimek     return llvm::Error::success();
285dcb910b1SManuel Klimek   }
286dcb910b1SManuel Klimek   --I;
2876ef82b67SEric Liu   auto Overlap = [](const Replacement &R1, const Replacement &R2) -> bool {
2886ef82b67SEric Liu     return Range(R1.getOffset(), R1.getLength())
2896ef82b67SEric Liu         .overlapsWith(Range(R2.getOffset(), R2.getLength()));
2906ef82b67SEric Liu   };
291dcb910b1SManuel Klimek   // If the previous entry does not overlap, we know that entries before it
292dcb910b1SManuel Klimek   // can also not overlap.
2936ef82b67SEric Liu   if (!Overlap(R, *I)) {
2949df9b6fdSEric Liu     // If `R` and `I` do not have the same offset, it is safe to add `R` since
2959df9b6fdSEric Liu     // it must come after `I`. Otherwise:
2969df9b6fdSEric Liu     //   - If `R` is an insertion, `I` must not be an insertion since it would
2979df9b6fdSEric Liu     //   have come after `AtEnd`.
2989df9b6fdSEric Liu     //   - If `R` is not an insertion, `I` must be an insertion; otherwise, `R`
2999df9b6fdSEric Liu     //   and `I` would have overlapped.
3009df9b6fdSEric Liu     // In either case, we can safely insert `R`.
301dcb910b1SManuel Klimek     Replaces.insert(R);
3026ef82b67SEric Liu   } else {
3036ef82b67SEric Liu     // `I` overlaps with `R`. We need to check `R` against all overlapping
3046ef82b67SEric Liu     // replacements to see if they are order-indepedent. If they are, merge `R`
3056ef82b67SEric Liu     // with them and replace them with the merged replacements.
3066ef82b67SEric Liu     auto MergeBegin = I;
3076ef82b67SEric Liu     auto MergeEnd = std::next(I);
308dd7faec9SEric Liu     while (I != Replaces.begin()) {
309dd7faec9SEric Liu       --I;
310dd7faec9SEric Liu       // If `I` doesn't overlap with `R`, don't merge it.
311dd7faec9SEric Liu       if (!Overlap(R, *I))
312dd7faec9SEric Liu         break;
3136ef82b67SEric Liu       MergeBegin = I;
314dd7faec9SEric Liu     }
3156ef82b67SEric Liu     Replacements OverlapReplaces(MergeBegin, MergeEnd);
3166ef82b67SEric Liu     llvm::Expected<Replacements> Merged =
3176ef82b67SEric Liu         OverlapReplaces.mergeIfOrderIndependent(R);
3186ef82b67SEric Liu     if (!Merged)
3196ef82b67SEric Liu       return Merged.takeError();
3206ef82b67SEric Liu     Replaces.erase(MergeBegin, MergeEnd);
3216ef82b67SEric Liu     Replaces.insert(Merged->begin(), Merged->end());
322dcb910b1SManuel Klimek   }
3236ef82b67SEric Liu   return llvm::Error::success();
324dcb910b1SManuel Klimek }
325dcb910b1SManuel Klimek 
326d89ae9d3SDaniel Jasper namespace {
32740ef2fb3SEric Liu 
328d89ae9d3SDaniel Jasper // Represents a merged replacement, i.e. a replacement consisting of multiple
329d89ae9d3SDaniel Jasper // overlapping replacements from 'First' and 'Second' in mergeReplacements.
330d89ae9d3SDaniel Jasper //
331d89ae9d3SDaniel Jasper // Position projection:
332d89ae9d3SDaniel Jasper // Offsets and lengths of the replacements can generally refer to two different
333d89ae9d3SDaniel Jasper // coordinate spaces. Replacements from 'First' refer to the original text
334d89ae9d3SDaniel Jasper // whereas replacements from 'Second' refer to the text after applying 'First'.
335d89ae9d3SDaniel Jasper //
336d89ae9d3SDaniel Jasper // MergedReplacement always operates in the coordinate space of the original
337d89ae9d3SDaniel Jasper // text, i.e. transforms elements from 'Second' to take into account what was
338d89ae9d3SDaniel Jasper // changed based on the elements from 'First'.
339d89ae9d3SDaniel Jasper //
340d89ae9d3SDaniel Jasper // We can correctly calculate this projection as we look at the replacements in
341d89ae9d3SDaniel Jasper // order of strictly increasing offsets.
342d89ae9d3SDaniel Jasper //
343d89ae9d3SDaniel Jasper // Invariants:
344d89ae9d3SDaniel Jasper // * We always merge elements from 'First' into elements from 'Second' and vice
345d89ae9d3SDaniel Jasper //   versa. Within each set, the replacements are non-overlapping.
346d89ae9d3SDaniel Jasper // * We only extend to the right, i.e. merge elements with strictly increasing
347d89ae9d3SDaniel Jasper //   offsets.
348d89ae9d3SDaniel Jasper class MergedReplacement {
349d89ae9d3SDaniel Jasper public:
350d89ae9d3SDaniel Jasper   MergedReplacement(const Replacement &R, bool MergeSecond, int D)
351d89ae9d3SDaniel Jasper       : MergeSecond(MergeSecond), Delta(D), FilePath(R.getFilePath()),
352d89ae9d3SDaniel Jasper         Offset(R.getOffset() + (MergeSecond ? 0 : Delta)), Length(R.getLength()),
353d89ae9d3SDaniel Jasper         Text(R.getReplacementText()) {
354d89ae9d3SDaniel Jasper     Delta += MergeSecond ? 0 : Text.size() - Length;
355d89ae9d3SDaniel Jasper     DeltaFirst = MergeSecond ? Text.size() - Length : 0;
356d89ae9d3SDaniel Jasper   }
357d89ae9d3SDaniel Jasper 
358d89ae9d3SDaniel Jasper   // Merges the next element 'R' into this merged element. As we always merge
359d89ae9d3SDaniel Jasper   // from 'First' into 'Second' or vice versa, the MergedReplacement knows what
360d89ae9d3SDaniel Jasper   // set the next element is coming from.
361d89ae9d3SDaniel Jasper   void merge(const Replacement &R) {
362d89ae9d3SDaniel Jasper     if (MergeSecond) {
363d89ae9d3SDaniel Jasper       unsigned REnd = R.getOffset() + Delta + R.getLength();
364d89ae9d3SDaniel Jasper       unsigned End = Offset + Text.size();
365d89ae9d3SDaniel Jasper       if (REnd > End) {
366d89ae9d3SDaniel Jasper         Length += REnd - End;
367d89ae9d3SDaniel Jasper         MergeSecond = false;
368d89ae9d3SDaniel Jasper       }
369d89ae9d3SDaniel Jasper       StringRef TextRef = Text;
370d89ae9d3SDaniel Jasper       StringRef Head = TextRef.substr(0, R.getOffset() + Delta - Offset);
371d89ae9d3SDaniel Jasper       StringRef Tail = TextRef.substr(REnd - Offset);
372d89ae9d3SDaniel Jasper       Text = (Head + R.getReplacementText() + Tail).str();
373d89ae9d3SDaniel Jasper       Delta += R.getReplacementText().size() - R.getLength();
374d89ae9d3SDaniel Jasper     } else {
375d89ae9d3SDaniel Jasper       unsigned End = Offset + Length;
376d89ae9d3SDaniel Jasper       StringRef RText = R.getReplacementText();
377d89ae9d3SDaniel Jasper       StringRef Tail = RText.substr(End - R.getOffset());
378d89ae9d3SDaniel Jasper       Text = (Text + Tail).str();
379d89ae9d3SDaniel Jasper       if (R.getOffset() + RText.size() > End) {
380d89ae9d3SDaniel Jasper         Length = R.getOffset() + R.getLength() - Offset;
381d89ae9d3SDaniel Jasper         MergeSecond = true;
382d89ae9d3SDaniel Jasper       } else {
383d89ae9d3SDaniel Jasper         Length += R.getLength() - RText.size();
384d89ae9d3SDaniel Jasper       }
385d89ae9d3SDaniel Jasper       DeltaFirst += RText.size() - R.getLength();
386d89ae9d3SDaniel Jasper     }
387d89ae9d3SDaniel Jasper   }
388d89ae9d3SDaniel Jasper 
389d89ae9d3SDaniel Jasper   // Returns 'true' if 'R' starts strictly after the MergedReplacement and thus
390d89ae9d3SDaniel Jasper   // doesn't need to be merged.
391d89ae9d3SDaniel Jasper   bool endsBefore(const Replacement &R) const {
392d89ae9d3SDaniel Jasper     if (MergeSecond)
393d89ae9d3SDaniel Jasper       return Offset + Text.size() < R.getOffset() + Delta;
394d89ae9d3SDaniel Jasper     return Offset + Length < R.getOffset();
395d89ae9d3SDaniel Jasper   }
396d89ae9d3SDaniel Jasper 
397d89ae9d3SDaniel Jasper   // Returns 'true' if an element from the second set should be merged next.
398d89ae9d3SDaniel Jasper   bool mergeSecond() const { return MergeSecond; }
399d89ae9d3SDaniel Jasper   int deltaFirst() const { return DeltaFirst; }
400d89ae9d3SDaniel Jasper   Replacement asReplacement() const { return {FilePath, Offset, Length, Text}; }
401d89ae9d3SDaniel Jasper 
402d89ae9d3SDaniel Jasper private:
403d89ae9d3SDaniel Jasper   bool MergeSecond;
404d89ae9d3SDaniel Jasper 
405d89ae9d3SDaniel Jasper   // Amount of characters that elements from 'Second' need to be shifted by in
406d89ae9d3SDaniel Jasper   // order to refer to the original text.
407d89ae9d3SDaniel Jasper   int Delta;
408d89ae9d3SDaniel Jasper 
409d89ae9d3SDaniel Jasper   // Sum of all deltas (text-length - length) of elements from 'First' merged
410d89ae9d3SDaniel Jasper   // into this element. This is used to update 'Delta' once the
411d89ae9d3SDaniel Jasper   // MergedReplacement is completed.
412d89ae9d3SDaniel Jasper   int DeltaFirst;
413d89ae9d3SDaniel Jasper 
414d89ae9d3SDaniel Jasper   // Data of the actually merged replacement. FilePath and Offset aren't changed
415d89ae9d3SDaniel Jasper   // as the element is only extended to the right.
416d89ae9d3SDaniel Jasper   const StringRef FilePath;
417d89ae9d3SDaniel Jasper   const unsigned Offset;
418d89ae9d3SDaniel Jasper   unsigned Length;
419d89ae9d3SDaniel Jasper   std::string Text;
420d89ae9d3SDaniel Jasper };
42140ef2fb3SEric Liu 
422d89ae9d3SDaniel Jasper } // namespace
423d89ae9d3SDaniel Jasper 
42440ef2fb3SEric Liu Replacements Replacements::merge(const Replacements &ReplacesToMerge) const {
42540ef2fb3SEric Liu   if (empty() || ReplacesToMerge.empty())
42640ef2fb3SEric Liu     return empty() ? ReplacesToMerge : *this;
4274c1ef97aSEric Liu 
42840ef2fb3SEric Liu   auto &First = Replaces;
42940ef2fb3SEric Liu   auto &Second = ReplacesToMerge.Replaces;
430d89ae9d3SDaniel Jasper   // Delta is the amount of characters that replacements from 'Second' need to
431d89ae9d3SDaniel Jasper   // be shifted so that their offsets refer to the original text.
432d89ae9d3SDaniel Jasper   int Delta = 0;
43340ef2fb3SEric Liu   ReplacementsImpl Result;
434d89ae9d3SDaniel Jasper 
435d89ae9d3SDaniel Jasper   // Iterate over both sets and always add the next element (smallest total
436d89ae9d3SDaniel Jasper   // Offset) from either 'First' or 'Second'. Merge that element with
437d89ae9d3SDaniel Jasper   // subsequent replacements as long as they overlap. See more details in the
438d89ae9d3SDaniel Jasper   // comment on MergedReplacement.
439d89ae9d3SDaniel Jasper   for (auto FirstI = First.begin(), SecondI = Second.begin();
440d89ae9d3SDaniel Jasper        FirstI != First.end() || SecondI != Second.end();) {
441d89ae9d3SDaniel Jasper     bool NextIsFirst = SecondI == Second.end() ||
442a3e553a2SDaniel Jasper                        (FirstI != First.end() &&
443a3e553a2SDaniel Jasper                         FirstI->getOffset() < SecondI->getOffset() + Delta);
444d89ae9d3SDaniel Jasper     MergedReplacement Merged(NextIsFirst ? *FirstI : *SecondI, NextIsFirst,
445d89ae9d3SDaniel Jasper                              Delta);
446d89ae9d3SDaniel Jasper     ++(NextIsFirst ? FirstI : SecondI);
447d89ae9d3SDaniel Jasper 
448d89ae9d3SDaniel Jasper     while ((Merged.mergeSecond() && SecondI != Second.end()) ||
449d89ae9d3SDaniel Jasper            (!Merged.mergeSecond() && FirstI != First.end())) {
450d89ae9d3SDaniel Jasper       auto &I = Merged.mergeSecond() ? SecondI : FirstI;
451d89ae9d3SDaniel Jasper       if (Merged.endsBefore(*I))
452d89ae9d3SDaniel Jasper         break;
453d89ae9d3SDaniel Jasper       Merged.merge(*I);
454d89ae9d3SDaniel Jasper       ++I;
455d89ae9d3SDaniel Jasper     }
456d89ae9d3SDaniel Jasper     Delta -= Merged.deltaFirst();
457d89ae9d3SDaniel Jasper     Result.insert(Merged.asReplacement());
458d89ae9d3SDaniel Jasper   }
45940ef2fb3SEric Liu   return Replacements(Result.begin(), Result.end());
46040ef2fb3SEric Liu }
46140ef2fb3SEric Liu 
46240ef2fb3SEric Liu // Combines overlapping ranges in \p Ranges and sorts the combined ranges.
46340ef2fb3SEric Liu // Returns a set of non-overlapping and sorted ranges that is equivalent to
46440ef2fb3SEric Liu // \p Ranges.
46540ef2fb3SEric Liu static std::vector<Range> combineAndSortRanges(std::vector<Range> Ranges) {
46640ef2fb3SEric Liu   std::sort(Ranges.begin(), Ranges.end(),
46740ef2fb3SEric Liu             [](const Range &LHS, const Range &RHS) {
46840ef2fb3SEric Liu               if (LHS.getOffset() != RHS.getOffset())
46940ef2fb3SEric Liu                 return LHS.getOffset() < RHS.getOffset();
47040ef2fb3SEric Liu               return LHS.getLength() < RHS.getLength();
47140ef2fb3SEric Liu             });
47240ef2fb3SEric Liu   std::vector<Range> Result;
47340ef2fb3SEric Liu   for (const auto &R : Ranges) {
47440ef2fb3SEric Liu     if (Result.empty() ||
47540ef2fb3SEric Liu         Result.back().getOffset() + Result.back().getLength() < R.getOffset()) {
47640ef2fb3SEric Liu       Result.push_back(R);
47740ef2fb3SEric Liu     } else {
47840ef2fb3SEric Liu       unsigned NewEnd =
47940ef2fb3SEric Liu           std::max(Result.back().getOffset() + Result.back().getLength(),
48040ef2fb3SEric Liu                    R.getOffset() + R.getLength());
48140ef2fb3SEric Liu       Result[Result.size() - 1] =
48240ef2fb3SEric Liu           Range(Result.back().getOffset(), NewEnd - Result.back().getOffset());
48340ef2fb3SEric Liu     }
48440ef2fb3SEric Liu   }
485d89ae9d3SDaniel Jasper   return Result;
486d89ae9d3SDaniel Jasper }
487d89ae9d3SDaniel Jasper 
48840ef2fb3SEric Liu std::vector<Range>
48940ef2fb3SEric Liu calculateRangesAfterReplacements(const Replacements &Replaces,
49040ef2fb3SEric Liu                                  const std::vector<Range> &Ranges) {
49140ef2fb3SEric Liu   // To calculate the new ranges,
49240ef2fb3SEric Liu   //   - Turn \p Ranges into Replacements at (offset, length) with an empty
49340ef2fb3SEric Liu   //     (unimportant) replacement text of length "length".
49440ef2fb3SEric Liu   //   - Merge with \p Replaces.
49540ef2fb3SEric Liu   //   - The new ranges will be the affected ranges of the merged replacements.
49640ef2fb3SEric Liu   auto MergedRanges = combineAndSortRanges(Ranges);
49773337f3dSEric Liu   if (Replaces.empty())
49873337f3dSEric Liu     return MergedRanges;
49940ef2fb3SEric Liu   tooling::Replacements FakeReplaces;
50040ef2fb3SEric Liu   for (const auto &R : MergedRanges) {
50140ef2fb3SEric Liu     auto Err = FakeReplaces.add(Replacement(Replaces.begin()->getFilePath(),
50240ef2fb3SEric Liu                                             R.getOffset(), R.getLength(),
50340ef2fb3SEric Liu                                             std::string(R.getLength(), ' ')));
50440ef2fb3SEric Liu     assert(!Err &&
50540ef2fb3SEric Liu            "Replacements must not conflict since ranges have been merged.");
506*14ccaedbSStephen Hines     llvm::consumeError(std::move(Err));
50740ef2fb3SEric Liu   }
50840ef2fb3SEric Liu   return FakeReplaces.merge(Replaces).getAffectedRanges();
50940ef2fb3SEric Liu }
51040ef2fb3SEric Liu 
51140ef2fb3SEric Liu std::vector<Range> Replacements::getAffectedRanges() const {
51240ef2fb3SEric Liu   std::vector<Range> ChangedRanges;
51340ef2fb3SEric Liu   int Shift = 0;
51440ef2fb3SEric Liu   for (const Replacement &R : Replaces) {
51540ef2fb3SEric Liu     unsigned Offset = R.getOffset() + Shift;
51640ef2fb3SEric Liu     unsigned Length = R.getReplacementText().size();
51740ef2fb3SEric Liu     Shift += Length - R.getLength();
51840ef2fb3SEric Liu     ChangedRanges.push_back(Range(Offset, Length));
51940ef2fb3SEric Liu   }
52040ef2fb3SEric Liu   return combineAndSortRanges(ChangedRanges);
52140ef2fb3SEric Liu }
52240ef2fb3SEric Liu 
52340ef2fb3SEric Liu unsigned Replacements::getShiftedCodePosition(unsigned Position) const {
52440ef2fb3SEric Liu   unsigned Offset = 0;
52540ef2fb3SEric Liu   for (const auto& R : Replaces) {
52640ef2fb3SEric Liu     if (R.getOffset() + R.getLength() <= Position) {
52740ef2fb3SEric Liu       Offset += R.getReplacementText().size() - R.getLength();
52840ef2fb3SEric Liu       continue;
52940ef2fb3SEric Liu     }
53040ef2fb3SEric Liu     if (R.getOffset() < Position &&
53140ef2fb3SEric Liu         R.getOffset() + R.getReplacementText().size() <= Position) {
53240ef2fb3SEric Liu       Position = R.getOffset() + R.getReplacementText().size();
53340ef2fb3SEric Liu       if (R.getReplacementText().size() > 0)
53440ef2fb3SEric Liu         Position--;
53540ef2fb3SEric Liu     }
53640ef2fb3SEric Liu     break;
53740ef2fb3SEric Liu   }
53840ef2fb3SEric Liu   return Position + Offset;
53940ef2fb3SEric Liu }
54040ef2fb3SEric Liu 
54140ef2fb3SEric Liu bool applyAllReplacements(const Replacements &Replaces, Rewriter &Rewrite) {
54240ef2fb3SEric Liu   bool Result = true;
543e9906525SEric Liu   for (auto I = Replaces.rbegin(), E = Replaces.rend(); I != E; ++I) {
54440ef2fb3SEric Liu     if (I->isApplicable()) {
54540ef2fb3SEric Liu       Result = I->apply(Rewrite) && Result;
54640ef2fb3SEric Liu     } else {
54740ef2fb3SEric Liu       Result = false;
54840ef2fb3SEric Liu     }
54940ef2fb3SEric Liu   }
55040ef2fb3SEric Liu   return Result;
55140ef2fb3SEric Liu }
55240ef2fb3SEric Liu 
55340ef2fb3SEric Liu llvm::Expected<std::string> applyAllReplacements(StringRef Code,
55440ef2fb3SEric Liu                                                 const Replacements &Replaces) {
55540ef2fb3SEric Liu   if (Replaces.empty())
55640ef2fb3SEric Liu     return Code.str();
55740ef2fb3SEric Liu 
55840ef2fb3SEric Liu   IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem(
55940ef2fb3SEric Liu       new vfs::InMemoryFileSystem);
56040ef2fb3SEric Liu   FileManager Files(FileSystemOptions(), InMemoryFileSystem);
56140ef2fb3SEric Liu   DiagnosticsEngine Diagnostics(
56240ef2fb3SEric Liu       IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs),
56340ef2fb3SEric Liu       new DiagnosticOptions);
56440ef2fb3SEric Liu   SourceManager SourceMgr(Diagnostics, Files);
56540ef2fb3SEric Liu   Rewriter Rewrite(SourceMgr, LangOptions());
56640ef2fb3SEric Liu   InMemoryFileSystem->addFile(
56740ef2fb3SEric Liu       "<stdin>", 0, llvm::MemoryBuffer::getMemBuffer(Code, "<stdin>"));
56840ef2fb3SEric Liu   FileID ID = SourceMgr.createFileID(Files.getFile("<stdin>"), SourceLocation(),
56940ef2fb3SEric Liu                                      clang::SrcMgr::C_User);
570e9906525SEric Liu   for (auto I = Replaces.rbegin(), E = Replaces.rend(); I != E; ++I) {
57140ef2fb3SEric Liu     Replacement Replace("<stdin>", I->getOffset(), I->getLength(),
57240ef2fb3SEric Liu                         I->getReplacementText());
57340ef2fb3SEric Liu     if (!Replace.apply(Rewrite))
574e86a5f4cSEric Liu       return llvm::make_error<ReplacementError>(
575e86a5f4cSEric Liu           replacement_error::fail_to_apply, Replace);
57640ef2fb3SEric Liu   }
57740ef2fb3SEric Liu   std::string Result;
57840ef2fb3SEric Liu   llvm::raw_string_ostream OS(Result);
57940ef2fb3SEric Liu   Rewrite.getEditBuffer(ID).write(OS);
58040ef2fb3SEric Liu   OS.flush();
58140ef2fb3SEric Liu   return Result;
58240ef2fb3SEric Liu }
58340ef2fb3SEric Liu 
584cefe763dSEric Liu std::map<std::string, Replacements> groupReplacementsByFile(
585cf2913c6SEric Liu     FileManager &FileMgr,
586cefe763dSEric Liu     const std::map<std::string, Replacements> &FileToReplaces) {
587cefe763dSEric Liu   std::map<std::string, Replacements> Result;
588cf2913c6SEric Liu   llvm::SmallPtrSet<const FileEntry *, 16> ProcessedFileEntries;
589cefe763dSEric Liu   for (const auto &Entry : FileToReplaces) {
590cf2913c6SEric Liu     const FileEntry *FE = FileMgr.getFile(Entry.first);
591cf2913c6SEric Liu     if (!FE)
592cf2913c6SEric Liu       llvm::errs() << "File path " << Entry.first << " is invalid.\n";
593cf2913c6SEric Liu     else if (ProcessedFileEntries.insert(FE).second)
594cf2913c6SEric Liu       Result[Entry.first] = std::move(Entry.second);
595cefe763dSEric Liu   }
596cefe763dSEric Liu   return Result;
59740ef2fb3SEric Liu }
59840ef2fb3SEric Liu 
599cb3e6188SDaniel Jasper } // end namespace tooling
600cb3e6188SDaniel Jasper } // end namespace clang
601