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/raw_os_ostream.h" 25cb3e6188SDaniel Jasper 26cb3e6188SDaniel Jasper namespace clang { 27cb3e6188SDaniel Jasper namespace tooling { 28cb3e6188SDaniel Jasper 29cb3e6188SDaniel Jasper static const char * const InvalidLocation = ""; 30cb3e6188SDaniel Jasper 31cb3e6188SDaniel Jasper Replacement::Replacement() 32cb3e6188SDaniel Jasper : FilePath(InvalidLocation) {} 33cb3e6188SDaniel Jasper 34cb3e6188SDaniel Jasper Replacement::Replacement(StringRef FilePath, unsigned Offset, unsigned Length, 35cb3e6188SDaniel Jasper StringRef ReplacementText) 36cb3e6188SDaniel Jasper : FilePath(FilePath), ReplacementRange(Offset, Length), 37cb3e6188SDaniel Jasper ReplacementText(ReplacementText) {} 38cb3e6188SDaniel Jasper 39cb3e6188SDaniel Jasper Replacement::Replacement(const SourceManager &Sources, SourceLocation Start, 40cb3e6188SDaniel Jasper unsigned Length, StringRef ReplacementText) { 41cb3e6188SDaniel Jasper setFromSourceLocation(Sources, Start, Length, ReplacementText); 42cb3e6188SDaniel Jasper } 43cb3e6188SDaniel Jasper 44cb3e6188SDaniel Jasper Replacement::Replacement(const SourceManager &Sources, 45cb3e6188SDaniel Jasper const CharSourceRange &Range, 4694a89231SManuel Klimek StringRef ReplacementText, 4794a89231SManuel Klimek const LangOptions &LangOpts) { 4894a89231SManuel Klimek setFromSourceRange(Sources, Range, ReplacementText, LangOpts); 49cb3e6188SDaniel Jasper } 50cb3e6188SDaniel Jasper 51cb3e6188SDaniel Jasper bool Replacement::isApplicable() const { 52cb3e6188SDaniel Jasper return FilePath != InvalidLocation; 53cb3e6188SDaniel Jasper } 54cb3e6188SDaniel Jasper 55cb3e6188SDaniel Jasper bool Replacement::apply(Rewriter &Rewrite) const { 56cb3e6188SDaniel Jasper SourceManager &SM = Rewrite.getSourceMgr(); 57cb3e6188SDaniel Jasper const FileEntry *Entry = SM.getFileManager().getFile(FilePath); 58cb3e6188SDaniel Jasper if (!Entry) 59cb3e6188SDaniel Jasper return false; 604c1ef97aSEric Liu 614c1ef97aSEric Liu FileID ID = SM.getOrCreateFileID(Entry, SrcMgr::C_User); 62cb3e6188SDaniel Jasper const SourceLocation Start = 63cb3e6188SDaniel Jasper SM.getLocForStartOfFile(ID). 64cb3e6188SDaniel Jasper getLocWithOffset(ReplacementRange.getOffset()); 65cb3e6188SDaniel Jasper // ReplaceText returns false on success. 66cb3e6188SDaniel Jasper // ReplaceText only fails if the source location is not a file location, in 67cb3e6188SDaniel Jasper // which case we already returned false earlier. 68cb3e6188SDaniel Jasper bool RewriteSucceeded = !Rewrite.ReplaceText( 69cb3e6188SDaniel Jasper Start, ReplacementRange.getLength(), ReplacementText); 70cb3e6188SDaniel Jasper assert(RewriteSucceeded); 71cb3e6188SDaniel Jasper return RewriteSucceeded; 72cb3e6188SDaniel Jasper } 73cb3e6188SDaniel Jasper 74cb3e6188SDaniel Jasper std::string Replacement::toString() const { 75b1223b1dSManuel Klimek std::string Result; 76b1223b1dSManuel Klimek llvm::raw_string_ostream Stream(Result); 77b1223b1dSManuel Klimek Stream << FilePath << ": " << ReplacementRange.getOffset() << ":+" 78cb3e6188SDaniel Jasper << ReplacementRange.getLength() << ":\"" << ReplacementText << "\""; 79b1223b1dSManuel Klimek return Stream.str(); 80cb3e6188SDaniel Jasper } 81cb3e6188SDaniel Jasper 82cb3e6188SDaniel Jasper bool operator<(const Replacement &LHS, const Replacement &RHS) { 83cb3e6188SDaniel Jasper if (LHS.getOffset() != RHS.getOffset()) 84cb3e6188SDaniel Jasper return LHS.getOffset() < RHS.getOffset(); 850f291276SDaniel Jasper 86cb3e6188SDaniel Jasper if (LHS.getLength() != RHS.getLength()) 87e9906525SEric Liu return LHS.getLength() < RHS.getLength(); 880f291276SDaniel Jasper 89cb3e6188SDaniel Jasper if (LHS.getFilePath() != RHS.getFilePath()) 90cb3e6188SDaniel Jasper return LHS.getFilePath() < RHS.getFilePath(); 91cb3e6188SDaniel Jasper return LHS.getReplacementText() < RHS.getReplacementText(); 92cb3e6188SDaniel Jasper } 93cb3e6188SDaniel Jasper 94cb3e6188SDaniel Jasper bool operator==(const Replacement &LHS, const Replacement &RHS) { 95cb3e6188SDaniel Jasper return LHS.getOffset() == RHS.getOffset() && 96cb3e6188SDaniel Jasper LHS.getLength() == RHS.getLength() && 97cb3e6188SDaniel Jasper LHS.getFilePath() == RHS.getFilePath() && 98cb3e6188SDaniel Jasper LHS.getReplacementText() == RHS.getReplacementText(); 99cb3e6188SDaniel Jasper } 100cb3e6188SDaniel Jasper 101cb3e6188SDaniel Jasper void Replacement::setFromSourceLocation(const SourceManager &Sources, 102cb3e6188SDaniel Jasper SourceLocation Start, unsigned Length, 103cb3e6188SDaniel Jasper StringRef ReplacementText) { 104cb3e6188SDaniel Jasper const std::pair<FileID, unsigned> DecomposedLocation = 105cb3e6188SDaniel Jasper Sources.getDecomposedLoc(Start); 106cb3e6188SDaniel Jasper const FileEntry *Entry = Sources.getFileEntryForID(DecomposedLocation.first); 107cac8fc23SBenjamin Kramer this->FilePath = Entry ? Entry->getName() : InvalidLocation; 108cb3e6188SDaniel Jasper this->ReplacementRange = Range(DecomposedLocation.second, Length); 109cb3e6188SDaniel Jasper this->ReplacementText = ReplacementText; 110cb3e6188SDaniel Jasper } 111cb3e6188SDaniel Jasper 112cb3e6188SDaniel Jasper // FIXME: This should go into the Lexer, but we need to figure out how 113cb3e6188SDaniel Jasper // to handle ranges for refactoring in general first - there is no obvious 114cb3e6188SDaniel Jasper // good way how to integrate this into the Lexer yet. 115cb3e6188SDaniel Jasper static int getRangeSize(const SourceManager &Sources, 11694a89231SManuel Klimek const CharSourceRange &Range, 11794a89231SManuel Klimek const LangOptions &LangOpts) { 118cb3e6188SDaniel Jasper SourceLocation SpellingBegin = Sources.getSpellingLoc(Range.getBegin()); 119cb3e6188SDaniel Jasper SourceLocation SpellingEnd = Sources.getSpellingLoc(Range.getEnd()); 120cb3e6188SDaniel Jasper std::pair<FileID, unsigned> Start = Sources.getDecomposedLoc(SpellingBegin); 121cb3e6188SDaniel Jasper std::pair<FileID, unsigned> End = Sources.getDecomposedLoc(SpellingEnd); 122cb3e6188SDaniel Jasper if (Start.first != End.first) return -1; 123cb3e6188SDaniel Jasper if (Range.isTokenRange()) 12494a89231SManuel Klimek End.second += Lexer::MeasureTokenLength(SpellingEnd, Sources, LangOpts); 125cb3e6188SDaniel Jasper return End.second - Start.second; 126cb3e6188SDaniel Jasper } 127cb3e6188SDaniel Jasper 128cb3e6188SDaniel Jasper void Replacement::setFromSourceRange(const SourceManager &Sources, 129cb3e6188SDaniel Jasper const CharSourceRange &Range, 13094a89231SManuel Klimek StringRef ReplacementText, 13194a89231SManuel Klimek const LangOptions &LangOpts) { 132cb3e6188SDaniel Jasper setFromSourceLocation(Sources, Sources.getSpellingLoc(Range.getBegin()), 13394a89231SManuel Klimek getRangeSize(Sources, Range, LangOpts), 13494a89231SManuel Klimek ReplacementText); 135cb3e6188SDaniel Jasper } 136cb3e6188SDaniel Jasper 137*6ef82b67SEric Liu Replacement 138*6ef82b67SEric Liu Replacements::getReplacementInChangedCode(const Replacement &R) const { 139*6ef82b67SEric Liu unsigned NewStart = getShiftedCodePosition(R.getOffset()); 140*6ef82b67SEric Liu unsigned NewEnd = getShiftedCodePosition(R.getOffset() + R.getLength()); 141*6ef82b67SEric Liu return Replacement(R.getFilePath(), NewStart, NewEnd - NewStart, 142*6ef82b67SEric Liu R.getReplacementText()); 143*6ef82b67SEric Liu } 144*6ef82b67SEric Liu 145*6ef82b67SEric Liu static llvm::Error makeConflictReplacementsError(const Replacement &New, 1469df9b6fdSEric Liu const Replacement &Existing) { 1479df9b6fdSEric Liu return llvm::make_error<llvm::StringError>( 1489df9b6fdSEric Liu "New replacement:\n" + New.toString() + 1499df9b6fdSEric Liu "\nconflicts with existing replacement:\n" + Existing.toString(), 1509df9b6fdSEric Liu llvm::inconvertibleErrorCode()); 1519df9b6fdSEric Liu } 1529df9b6fdSEric Liu 153*6ef82b67SEric Liu Replacements Replacements::getCanonicalReplacements() const { 154*6ef82b67SEric Liu std::vector<Replacement> NewReplaces; 155*6ef82b67SEric Liu // Merge adjacent replacements. 156*6ef82b67SEric Liu for (const auto &R : Replaces) { 157*6ef82b67SEric Liu if (NewReplaces.empty()) { 158*6ef82b67SEric Liu NewReplaces.push_back(R); 159*6ef82b67SEric Liu continue; 160*6ef82b67SEric Liu } 161*6ef82b67SEric Liu auto &Prev = NewReplaces.back(); 162*6ef82b67SEric Liu unsigned PrevEnd = Prev.getOffset() + Prev.getLength(); 163*6ef82b67SEric Liu if (PrevEnd < R.getOffset()) { 164*6ef82b67SEric Liu NewReplaces.push_back(R); 165*6ef82b67SEric Liu } else { 166*6ef82b67SEric Liu assert(PrevEnd == R.getOffset() && 167*6ef82b67SEric Liu "Existing replacements must not overlap."); 168*6ef82b67SEric Liu Replacement NewR( 169*6ef82b67SEric Liu R.getFilePath(), Prev.getOffset(), Prev.getLength() + R.getLength(), 170*6ef82b67SEric Liu (Prev.getReplacementText() + R.getReplacementText()).str()); 171*6ef82b67SEric Liu Prev = NewR; 172*6ef82b67SEric Liu } 173*6ef82b67SEric Liu } 174*6ef82b67SEric Liu ReplacementsImpl NewReplacesImpl(NewReplaces.begin(), NewReplaces.end()); 175*6ef82b67SEric Liu return Replacements(NewReplacesImpl.begin(), NewReplacesImpl.end()); 176*6ef82b67SEric Liu } 177*6ef82b67SEric Liu 178*6ef82b67SEric Liu // `R` and `Replaces` are order-independent if applying them in either order 179*6ef82b67SEric Liu // has the same effect, so we need to compare replacements associated to 180*6ef82b67SEric Liu // applying them in either order. 181*6ef82b67SEric Liu llvm::Expected<Replacements> 182*6ef82b67SEric Liu Replacements::mergeIfOrderIndependent(const Replacement &R) const { 183*6ef82b67SEric Liu Replacements Rs(R); 184*6ef82b67SEric Liu // A Replacements set containg a single replacement that is `R` referring to 185*6ef82b67SEric Liu // the code after the existing replacements `Replaces` are applied. 186*6ef82b67SEric Liu Replacements RsShiftedByReplaces(getReplacementInChangedCode(R)); 187*6ef82b67SEric Liu // A Replacements set that is `Replaces` referring to the code after `R` is 188*6ef82b67SEric Liu // applied. 189*6ef82b67SEric Liu Replacements ReplacesShiftedByRs; 190*6ef82b67SEric Liu for (const auto &Replace : Replaces) 191*6ef82b67SEric Liu ReplacesShiftedByRs.Replaces.insert( 192*6ef82b67SEric Liu Rs.getReplacementInChangedCode(Replace)); 193*6ef82b67SEric Liu // This is equivalent to applying `Replaces` first and then `R`. 194*6ef82b67SEric Liu auto MergeShiftedRs = merge(RsShiftedByReplaces); 195*6ef82b67SEric Liu // This is equivalent to applying `R` first and then `Replaces`. 196*6ef82b67SEric Liu auto MergeShiftedReplaces = Rs.merge(ReplacesShiftedByRs); 197*6ef82b67SEric Liu 198*6ef82b67SEric Liu // Since empty or segmented replacements around existing replacements might be 199*6ef82b67SEric Liu // produced above, we need to compare replacements in canonical forms. 200*6ef82b67SEric Liu if (MergeShiftedRs.getCanonicalReplacements() == 201*6ef82b67SEric Liu MergeShiftedReplaces.getCanonicalReplacements()) 202*6ef82b67SEric Liu return MergeShiftedRs; 203*6ef82b67SEric Liu return makeConflictReplacementsError(R, *Replaces.begin()); 204*6ef82b67SEric Liu } 205*6ef82b67SEric Liu 20640ef2fb3SEric Liu llvm::Error Replacements::add(const Replacement &R) { 207dcb910b1SManuel Klimek // Check the file path. 208dcb910b1SManuel Klimek if (!Replaces.empty() && R.getFilePath() != Replaces.begin()->getFilePath()) 2094f8d9943SEric Liu return llvm::make_error<llvm::StringError>( 21040ef2fb3SEric Liu "All replacements must have the same file path. New replacement: " + 21140ef2fb3SEric Liu R.getFilePath() + ", existing replacements: " + 212dcb910b1SManuel Klimek Replaces.begin()->getFilePath() + "\n", 21340ef2fb3SEric Liu llvm::inconvertibleErrorCode()); 214cb3e6188SDaniel Jasper 215dcb910b1SManuel Klimek // Special-case header insertions. 216dcb910b1SManuel Klimek if (R.getOffset() == UINT_MAX) { 21740ef2fb3SEric Liu Replaces.insert(R); 21840ef2fb3SEric Liu return llvm::Error::success(); 219b12e5a5cSManuel Klimek } 220b12e5a5cSManuel Klimek 221dcb910b1SManuel Klimek // This replacement cannot conflict with replacements that end before 222dcb910b1SManuel Klimek // this replacement starts or start after this replacement ends. 223dcb910b1SManuel Klimek // We also know that there currently are no overlapping replacements. 224dcb910b1SManuel Klimek // Thus, we know that all replacements that start after the end of the current 225dcb910b1SManuel Klimek // replacement cannot overlap. 226dcb910b1SManuel Klimek Replacement AtEnd(R.getFilePath(), R.getOffset() + R.getLength(), 0, ""); 227dcb910b1SManuel Klimek 22816c6d0acSManuel Klimek // Find the first entry that starts after or at the end of R. Note that 22916c6d0acSManuel Klimek // entries that start at the end can still be conflicting if R is an 23016c6d0acSManuel Klimek // insertion. 231dcb910b1SManuel Klimek auto I = Replaces.lower_bound(AtEnd); 2329df9b6fdSEric Liu // If `I` starts at the same offset as `R`, `R` must be an insertion. 2339df9b6fdSEric Liu if (I != Replaces.end() && R.getOffset() == I->getOffset()) { 2349df9b6fdSEric Liu assert(R.getLength() == 0); 2359df9b6fdSEric Liu // `I` is also an insertion, `R` and `I` conflict. 236*6ef82b67SEric Liu if (I->getLength() == 0) { 237*6ef82b67SEric Liu // Check if two insertions are order-indepedent: if inserting them in 238*6ef82b67SEric Liu // either order produces the same text, they are order-independent. 239*6ef82b67SEric Liu if ((R.getReplacementText() + I->getReplacementText()).str() != 240*6ef82b67SEric Liu (I->getReplacementText() + R.getReplacementText()).str()) { 2419df9b6fdSEric Liu return makeConflictReplacementsError(R, *I); 242*6ef82b67SEric Liu } 243*6ef82b67SEric Liu // If insertions are order-independent, we can merge them. 244*6ef82b67SEric Liu Replacement NewR( 245*6ef82b67SEric Liu R.getFilePath(), R.getOffset(), 0, 246*6ef82b67SEric Liu (R.getReplacementText() + I->getReplacementText()).str()); 247*6ef82b67SEric Liu Replaces.erase(I); 248*6ef82b67SEric Liu Replaces.insert(NewR); 249*6ef82b67SEric Liu return llvm::Error::success(); 250*6ef82b67SEric Liu } 2519df9b6fdSEric Liu // Insertion `R` is adjacent to a non-insertion replacement `I`, so they 2529df9b6fdSEric Liu // are order-independent. It is safe to assume that `R` will not conflict 2539df9b6fdSEric Liu // with any replacement before `I` since all replacements before `I` must 2549df9b6fdSEric Liu // either end before `R` or end at `R` but has length > 0 (if the 2559df9b6fdSEric Liu // replacement before `I` is an insertion at `R`, it would have been `I` 2569df9b6fdSEric Liu // since it is a lower bound of `AtEnd` and ordered before the current `I` 2579df9b6fdSEric Liu // in the set). 2589df9b6fdSEric Liu Replaces.insert(R); 2599df9b6fdSEric Liu return llvm::Error::success(); 2609df9b6fdSEric Liu } 26116c6d0acSManuel Klimek 2629df9b6fdSEric Liu // `I` is the smallest iterator (after `R`) whose entry cannot overlap. 263dcb910b1SManuel Klimek // If that is begin(), there are no overlaps. 264dcb910b1SManuel Klimek if (I == Replaces.begin()) { 265dcb910b1SManuel Klimek Replaces.insert(R); 266dcb910b1SManuel Klimek return llvm::Error::success(); 267dcb910b1SManuel Klimek } 268dcb910b1SManuel Klimek --I; 269*6ef82b67SEric Liu auto Overlap = [](const Replacement &R1, const Replacement &R2) -> bool { 270*6ef82b67SEric Liu return Range(R1.getOffset(), R1.getLength()) 271*6ef82b67SEric Liu .overlapsWith(Range(R2.getOffset(), R2.getLength())); 272*6ef82b67SEric Liu }; 273dcb910b1SManuel Klimek // If the previous entry does not overlap, we know that entries before it 274dcb910b1SManuel Klimek // can also not overlap. 275*6ef82b67SEric Liu if (!Overlap(R, *I)) { 2769df9b6fdSEric Liu // If `R` and `I` do not have the same offset, it is safe to add `R` since 2779df9b6fdSEric Liu // it must come after `I`. Otherwise: 2789df9b6fdSEric Liu // - If `R` is an insertion, `I` must not be an insertion since it would 2799df9b6fdSEric Liu // have come after `AtEnd`. 2809df9b6fdSEric Liu // - If `R` is not an insertion, `I` must be an insertion; otherwise, `R` 2819df9b6fdSEric Liu // and `I` would have overlapped. 2829df9b6fdSEric Liu // In either case, we can safely insert `R`. 283dcb910b1SManuel Klimek Replaces.insert(R); 284*6ef82b67SEric Liu } else { 285*6ef82b67SEric Liu // `I` overlaps with `R`. We need to check `R` against all overlapping 286*6ef82b67SEric Liu // replacements to see if they are order-indepedent. If they are, merge `R` 287*6ef82b67SEric Liu // with them and replace them with the merged replacements. 288*6ef82b67SEric Liu auto MergeBegin = I; 289*6ef82b67SEric Liu auto MergeEnd = std::next(I); 290*6ef82b67SEric Liu while (I-- != Replaces.begin() && Overlap(R, *I)) 291*6ef82b67SEric Liu MergeBegin = I; 292*6ef82b67SEric Liu Replacements OverlapReplaces(MergeBegin, MergeEnd); 293*6ef82b67SEric Liu llvm::Expected<Replacements> Merged = 294*6ef82b67SEric Liu OverlapReplaces.mergeIfOrderIndependent(R); 295*6ef82b67SEric Liu if (!Merged) 296*6ef82b67SEric Liu return Merged.takeError(); 297*6ef82b67SEric Liu Replaces.erase(MergeBegin, MergeEnd); 298*6ef82b67SEric Liu Replaces.insert(Merged->begin(), Merged->end()); 299dcb910b1SManuel Klimek } 300*6ef82b67SEric Liu return llvm::Error::success(); 301dcb910b1SManuel Klimek } 302dcb910b1SManuel Klimek 303d89ae9d3SDaniel Jasper namespace { 30440ef2fb3SEric Liu 305d89ae9d3SDaniel Jasper // Represents a merged replacement, i.e. a replacement consisting of multiple 306d89ae9d3SDaniel Jasper // overlapping replacements from 'First' and 'Second' in mergeReplacements. 307d89ae9d3SDaniel Jasper // 308d89ae9d3SDaniel Jasper // Position projection: 309d89ae9d3SDaniel Jasper // Offsets and lengths of the replacements can generally refer to two different 310d89ae9d3SDaniel Jasper // coordinate spaces. Replacements from 'First' refer to the original text 311d89ae9d3SDaniel Jasper // whereas replacements from 'Second' refer to the text after applying 'First'. 312d89ae9d3SDaniel Jasper // 313d89ae9d3SDaniel Jasper // MergedReplacement always operates in the coordinate space of the original 314d89ae9d3SDaniel Jasper // text, i.e. transforms elements from 'Second' to take into account what was 315d89ae9d3SDaniel Jasper // changed based on the elements from 'First'. 316d89ae9d3SDaniel Jasper // 317d89ae9d3SDaniel Jasper // We can correctly calculate this projection as we look at the replacements in 318d89ae9d3SDaniel Jasper // order of strictly increasing offsets. 319d89ae9d3SDaniel Jasper // 320d89ae9d3SDaniel Jasper // Invariants: 321d89ae9d3SDaniel Jasper // * We always merge elements from 'First' into elements from 'Second' and vice 322d89ae9d3SDaniel Jasper // versa. Within each set, the replacements are non-overlapping. 323d89ae9d3SDaniel Jasper // * We only extend to the right, i.e. merge elements with strictly increasing 324d89ae9d3SDaniel Jasper // offsets. 325d89ae9d3SDaniel Jasper class MergedReplacement { 326d89ae9d3SDaniel Jasper public: 327d89ae9d3SDaniel Jasper MergedReplacement(const Replacement &R, bool MergeSecond, int D) 328d89ae9d3SDaniel Jasper : MergeSecond(MergeSecond), Delta(D), FilePath(R.getFilePath()), 329d89ae9d3SDaniel Jasper Offset(R.getOffset() + (MergeSecond ? 0 : Delta)), Length(R.getLength()), 330d89ae9d3SDaniel Jasper Text(R.getReplacementText()) { 331d89ae9d3SDaniel Jasper Delta += MergeSecond ? 0 : Text.size() - Length; 332d89ae9d3SDaniel Jasper DeltaFirst = MergeSecond ? Text.size() - Length : 0; 333d89ae9d3SDaniel Jasper } 334d89ae9d3SDaniel Jasper 335d89ae9d3SDaniel Jasper // Merges the next element 'R' into this merged element. As we always merge 336d89ae9d3SDaniel Jasper // from 'First' into 'Second' or vice versa, the MergedReplacement knows what 337d89ae9d3SDaniel Jasper // set the next element is coming from. 338d89ae9d3SDaniel Jasper void merge(const Replacement &R) { 339d89ae9d3SDaniel Jasper if (MergeSecond) { 340d89ae9d3SDaniel Jasper unsigned REnd = R.getOffset() + Delta + R.getLength(); 341d89ae9d3SDaniel Jasper unsigned End = Offset + Text.size(); 342d89ae9d3SDaniel Jasper if (REnd > End) { 343d89ae9d3SDaniel Jasper Length += REnd - End; 344d89ae9d3SDaniel Jasper MergeSecond = false; 345d89ae9d3SDaniel Jasper } 346d89ae9d3SDaniel Jasper StringRef TextRef = Text; 347d89ae9d3SDaniel Jasper StringRef Head = TextRef.substr(0, R.getOffset() + Delta - Offset); 348d89ae9d3SDaniel Jasper StringRef Tail = TextRef.substr(REnd - Offset); 349d89ae9d3SDaniel Jasper Text = (Head + R.getReplacementText() + Tail).str(); 350d89ae9d3SDaniel Jasper Delta += R.getReplacementText().size() - R.getLength(); 351d89ae9d3SDaniel Jasper } else { 352d89ae9d3SDaniel Jasper unsigned End = Offset + Length; 353d89ae9d3SDaniel Jasper StringRef RText = R.getReplacementText(); 354d89ae9d3SDaniel Jasper StringRef Tail = RText.substr(End - R.getOffset()); 355d89ae9d3SDaniel Jasper Text = (Text + Tail).str(); 356d89ae9d3SDaniel Jasper if (R.getOffset() + RText.size() > End) { 357d89ae9d3SDaniel Jasper Length = R.getOffset() + R.getLength() - Offset; 358d89ae9d3SDaniel Jasper MergeSecond = true; 359d89ae9d3SDaniel Jasper } else { 360d89ae9d3SDaniel Jasper Length += R.getLength() - RText.size(); 361d89ae9d3SDaniel Jasper } 362d89ae9d3SDaniel Jasper DeltaFirst += RText.size() - R.getLength(); 363d89ae9d3SDaniel Jasper } 364d89ae9d3SDaniel Jasper } 365d89ae9d3SDaniel Jasper 366d89ae9d3SDaniel Jasper // Returns 'true' if 'R' starts strictly after the MergedReplacement and thus 367d89ae9d3SDaniel Jasper // doesn't need to be merged. 368d89ae9d3SDaniel Jasper bool endsBefore(const Replacement &R) const { 369d89ae9d3SDaniel Jasper if (MergeSecond) 370d89ae9d3SDaniel Jasper return Offset + Text.size() < R.getOffset() + Delta; 371d89ae9d3SDaniel Jasper return Offset + Length < R.getOffset(); 372d89ae9d3SDaniel Jasper } 373d89ae9d3SDaniel Jasper 374d89ae9d3SDaniel Jasper // Returns 'true' if an element from the second set should be merged next. 375d89ae9d3SDaniel Jasper bool mergeSecond() const { return MergeSecond; } 376d89ae9d3SDaniel Jasper int deltaFirst() const { return DeltaFirst; } 377d89ae9d3SDaniel Jasper Replacement asReplacement() const { return {FilePath, Offset, Length, Text}; } 378d89ae9d3SDaniel Jasper 379d89ae9d3SDaniel Jasper private: 380d89ae9d3SDaniel Jasper bool MergeSecond; 381d89ae9d3SDaniel Jasper 382d89ae9d3SDaniel Jasper // Amount of characters that elements from 'Second' need to be shifted by in 383d89ae9d3SDaniel Jasper // order to refer to the original text. 384d89ae9d3SDaniel Jasper int Delta; 385d89ae9d3SDaniel Jasper 386d89ae9d3SDaniel Jasper // Sum of all deltas (text-length - length) of elements from 'First' merged 387d89ae9d3SDaniel Jasper // into this element. This is used to update 'Delta' once the 388d89ae9d3SDaniel Jasper // MergedReplacement is completed. 389d89ae9d3SDaniel Jasper int DeltaFirst; 390d89ae9d3SDaniel Jasper 391d89ae9d3SDaniel Jasper // Data of the actually merged replacement. FilePath and Offset aren't changed 392d89ae9d3SDaniel Jasper // as the element is only extended to the right. 393d89ae9d3SDaniel Jasper const StringRef FilePath; 394d89ae9d3SDaniel Jasper const unsigned Offset; 395d89ae9d3SDaniel Jasper unsigned Length; 396d89ae9d3SDaniel Jasper std::string Text; 397d89ae9d3SDaniel Jasper }; 39840ef2fb3SEric Liu 399d89ae9d3SDaniel Jasper } // namespace 400d89ae9d3SDaniel Jasper 40140ef2fb3SEric Liu Replacements Replacements::merge(const Replacements &ReplacesToMerge) const { 40240ef2fb3SEric Liu if (empty() || ReplacesToMerge.empty()) 40340ef2fb3SEric Liu return empty() ? ReplacesToMerge : *this; 4044c1ef97aSEric Liu 40540ef2fb3SEric Liu auto &First = Replaces; 40640ef2fb3SEric Liu auto &Second = ReplacesToMerge.Replaces; 407d89ae9d3SDaniel Jasper // Delta is the amount of characters that replacements from 'Second' need to 408d89ae9d3SDaniel Jasper // be shifted so that their offsets refer to the original text. 409d89ae9d3SDaniel Jasper int Delta = 0; 41040ef2fb3SEric Liu ReplacementsImpl Result; 411d89ae9d3SDaniel Jasper 412d89ae9d3SDaniel Jasper // Iterate over both sets and always add the next element (smallest total 413d89ae9d3SDaniel Jasper // Offset) from either 'First' or 'Second'. Merge that element with 414d89ae9d3SDaniel Jasper // subsequent replacements as long as they overlap. See more details in the 415d89ae9d3SDaniel Jasper // comment on MergedReplacement. 416d89ae9d3SDaniel Jasper for (auto FirstI = First.begin(), SecondI = Second.begin(); 417d89ae9d3SDaniel Jasper FirstI != First.end() || SecondI != Second.end();) { 418d89ae9d3SDaniel Jasper bool NextIsFirst = SecondI == Second.end() || 419a3e553a2SDaniel Jasper (FirstI != First.end() && 420a3e553a2SDaniel Jasper FirstI->getOffset() < SecondI->getOffset() + Delta); 421d89ae9d3SDaniel Jasper MergedReplacement Merged(NextIsFirst ? *FirstI : *SecondI, NextIsFirst, 422d89ae9d3SDaniel Jasper Delta); 423d89ae9d3SDaniel Jasper ++(NextIsFirst ? FirstI : SecondI); 424d89ae9d3SDaniel Jasper 425d89ae9d3SDaniel Jasper while ((Merged.mergeSecond() && SecondI != Second.end()) || 426d89ae9d3SDaniel Jasper (!Merged.mergeSecond() && FirstI != First.end())) { 427d89ae9d3SDaniel Jasper auto &I = Merged.mergeSecond() ? SecondI : FirstI; 428d89ae9d3SDaniel Jasper if (Merged.endsBefore(*I)) 429d89ae9d3SDaniel Jasper break; 430d89ae9d3SDaniel Jasper Merged.merge(*I); 431d89ae9d3SDaniel Jasper ++I; 432d89ae9d3SDaniel Jasper } 433d89ae9d3SDaniel Jasper Delta -= Merged.deltaFirst(); 434d89ae9d3SDaniel Jasper Result.insert(Merged.asReplacement()); 435d89ae9d3SDaniel Jasper } 43640ef2fb3SEric Liu return Replacements(Result.begin(), Result.end()); 43740ef2fb3SEric Liu } 43840ef2fb3SEric Liu 43940ef2fb3SEric Liu // Combines overlapping ranges in \p Ranges and sorts the combined ranges. 44040ef2fb3SEric Liu // Returns a set of non-overlapping and sorted ranges that is equivalent to 44140ef2fb3SEric Liu // \p Ranges. 44240ef2fb3SEric Liu static std::vector<Range> combineAndSortRanges(std::vector<Range> Ranges) { 44340ef2fb3SEric Liu std::sort(Ranges.begin(), Ranges.end(), 44440ef2fb3SEric Liu [](const Range &LHS, const Range &RHS) { 44540ef2fb3SEric Liu if (LHS.getOffset() != RHS.getOffset()) 44640ef2fb3SEric Liu return LHS.getOffset() < RHS.getOffset(); 44740ef2fb3SEric Liu return LHS.getLength() < RHS.getLength(); 44840ef2fb3SEric Liu }); 44940ef2fb3SEric Liu std::vector<Range> Result; 45040ef2fb3SEric Liu for (const auto &R : Ranges) { 45140ef2fb3SEric Liu if (Result.empty() || 45240ef2fb3SEric Liu Result.back().getOffset() + Result.back().getLength() < R.getOffset()) { 45340ef2fb3SEric Liu Result.push_back(R); 45440ef2fb3SEric Liu } else { 45540ef2fb3SEric Liu unsigned NewEnd = 45640ef2fb3SEric Liu std::max(Result.back().getOffset() + Result.back().getLength(), 45740ef2fb3SEric Liu R.getOffset() + R.getLength()); 45840ef2fb3SEric Liu Result[Result.size() - 1] = 45940ef2fb3SEric Liu Range(Result.back().getOffset(), NewEnd - Result.back().getOffset()); 46040ef2fb3SEric Liu } 46140ef2fb3SEric Liu } 462d89ae9d3SDaniel Jasper return Result; 463d89ae9d3SDaniel Jasper } 464d89ae9d3SDaniel Jasper 46540ef2fb3SEric Liu std::vector<Range> 46640ef2fb3SEric Liu calculateRangesAfterReplacements(const Replacements &Replaces, 46740ef2fb3SEric Liu const std::vector<Range> &Ranges) { 46840ef2fb3SEric Liu // To calculate the new ranges, 46940ef2fb3SEric Liu // - Turn \p Ranges into Replacements at (offset, length) with an empty 47040ef2fb3SEric Liu // (unimportant) replacement text of length "length". 47140ef2fb3SEric Liu // - Merge with \p Replaces. 47240ef2fb3SEric Liu // - The new ranges will be the affected ranges of the merged replacements. 47340ef2fb3SEric Liu auto MergedRanges = combineAndSortRanges(Ranges); 47473337f3dSEric Liu if (Replaces.empty()) 47573337f3dSEric Liu return MergedRanges; 47640ef2fb3SEric Liu tooling::Replacements FakeReplaces; 47740ef2fb3SEric Liu for (const auto &R : MergedRanges) { 47840ef2fb3SEric Liu auto Err = FakeReplaces.add(Replacement(Replaces.begin()->getFilePath(), 47940ef2fb3SEric Liu R.getOffset(), R.getLength(), 48040ef2fb3SEric Liu std::string(R.getLength(), ' '))); 48140ef2fb3SEric Liu assert(!Err && 48240ef2fb3SEric Liu "Replacements must not conflict since ranges have been merged."); 48340ef2fb3SEric Liu (void)Err; 48440ef2fb3SEric Liu } 48540ef2fb3SEric Liu return FakeReplaces.merge(Replaces).getAffectedRanges(); 48640ef2fb3SEric Liu } 48740ef2fb3SEric Liu 48840ef2fb3SEric Liu std::vector<Range> Replacements::getAffectedRanges() const { 48940ef2fb3SEric Liu std::vector<Range> ChangedRanges; 49040ef2fb3SEric Liu int Shift = 0; 49140ef2fb3SEric Liu for (const Replacement &R : Replaces) { 49240ef2fb3SEric Liu unsigned Offset = R.getOffset() + Shift; 49340ef2fb3SEric Liu unsigned Length = R.getReplacementText().size(); 49440ef2fb3SEric Liu Shift += Length - R.getLength(); 49540ef2fb3SEric Liu ChangedRanges.push_back(Range(Offset, Length)); 49640ef2fb3SEric Liu } 49740ef2fb3SEric Liu return combineAndSortRanges(ChangedRanges); 49840ef2fb3SEric Liu } 49940ef2fb3SEric Liu 50040ef2fb3SEric Liu unsigned Replacements::getShiftedCodePosition(unsigned Position) const { 50140ef2fb3SEric Liu unsigned Offset = 0; 50240ef2fb3SEric Liu for (const auto& R : Replaces) { 50340ef2fb3SEric Liu if (R.getOffset() + R.getLength() <= Position) { 50440ef2fb3SEric Liu Offset += R.getReplacementText().size() - R.getLength(); 50540ef2fb3SEric Liu continue; 50640ef2fb3SEric Liu } 50740ef2fb3SEric Liu if (R.getOffset() < Position && 50840ef2fb3SEric Liu R.getOffset() + R.getReplacementText().size() <= Position) { 50940ef2fb3SEric Liu Position = R.getOffset() + R.getReplacementText().size(); 51040ef2fb3SEric Liu if (R.getReplacementText().size() > 0) 51140ef2fb3SEric Liu Position--; 51240ef2fb3SEric Liu } 51340ef2fb3SEric Liu break; 51440ef2fb3SEric Liu } 51540ef2fb3SEric Liu return Position + Offset; 51640ef2fb3SEric Liu } 51740ef2fb3SEric Liu 51840ef2fb3SEric Liu bool applyAllReplacements(const Replacements &Replaces, Rewriter &Rewrite) { 51940ef2fb3SEric Liu bool Result = true; 520e9906525SEric Liu for (auto I = Replaces.rbegin(), E = Replaces.rend(); I != E; ++I) { 52140ef2fb3SEric Liu if (I->isApplicable()) { 52240ef2fb3SEric Liu Result = I->apply(Rewrite) && Result; 52340ef2fb3SEric Liu } else { 52440ef2fb3SEric Liu Result = false; 52540ef2fb3SEric Liu } 52640ef2fb3SEric Liu } 52740ef2fb3SEric Liu return Result; 52840ef2fb3SEric Liu } 52940ef2fb3SEric Liu 53040ef2fb3SEric Liu llvm::Expected<std::string> applyAllReplacements(StringRef Code, 53140ef2fb3SEric Liu const Replacements &Replaces) { 53240ef2fb3SEric Liu if (Replaces.empty()) 53340ef2fb3SEric Liu return Code.str(); 53440ef2fb3SEric Liu 53540ef2fb3SEric Liu IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem( 53640ef2fb3SEric Liu new vfs::InMemoryFileSystem); 53740ef2fb3SEric Liu FileManager Files(FileSystemOptions(), InMemoryFileSystem); 53840ef2fb3SEric Liu DiagnosticsEngine Diagnostics( 53940ef2fb3SEric Liu IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs), 54040ef2fb3SEric Liu new DiagnosticOptions); 54140ef2fb3SEric Liu SourceManager SourceMgr(Diagnostics, Files); 54240ef2fb3SEric Liu Rewriter Rewrite(SourceMgr, LangOptions()); 54340ef2fb3SEric Liu InMemoryFileSystem->addFile( 54440ef2fb3SEric Liu "<stdin>", 0, llvm::MemoryBuffer::getMemBuffer(Code, "<stdin>")); 54540ef2fb3SEric Liu FileID ID = SourceMgr.createFileID(Files.getFile("<stdin>"), SourceLocation(), 54640ef2fb3SEric Liu clang::SrcMgr::C_User); 547e9906525SEric Liu for (auto I = Replaces.rbegin(), E = Replaces.rend(); I != E; ++I) { 54840ef2fb3SEric Liu Replacement Replace("<stdin>", I->getOffset(), I->getLength(), 54940ef2fb3SEric Liu I->getReplacementText()); 55040ef2fb3SEric Liu if (!Replace.apply(Rewrite)) 55140ef2fb3SEric Liu return llvm::make_error<llvm::StringError>( 55240ef2fb3SEric Liu "Failed to apply replacement: " + Replace.toString(), 55340ef2fb3SEric Liu llvm::inconvertibleErrorCode()); 55440ef2fb3SEric Liu } 55540ef2fb3SEric Liu std::string Result; 55640ef2fb3SEric Liu llvm::raw_string_ostream OS(Result); 55740ef2fb3SEric Liu Rewrite.getEditBuffer(ID).write(OS); 55840ef2fb3SEric Liu OS.flush(); 55940ef2fb3SEric Liu return Result; 56040ef2fb3SEric Liu } 56140ef2fb3SEric Liu 56240ef2fb3SEric Liu std::map<std::string, Replacements> 56340ef2fb3SEric Liu groupReplacementsByFile(const Replacements &Replaces) { 56440ef2fb3SEric Liu std::map<std::string, Replacements> FileToReplaces; 56540ef2fb3SEric Liu for (const auto &Replace : Replaces) 56640ef2fb3SEric Liu // We can ignore the Error here since \p Replaces is already conflict-free. 56740ef2fb3SEric Liu FileToReplaces[Replace.getFilePath()].add(Replace); 56840ef2fb3SEric Liu return FileToReplaces; 56940ef2fb3SEric Liu } 57040ef2fb3SEric Liu 571cb3e6188SDaniel Jasper } // end namespace tooling 572cb3e6188SDaniel Jasper } // end namespace clang 573