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 860f291276SDaniel Jasper // Apply longer replacements first, specifically so that deletions are 870f291276SDaniel Jasper // executed before insertions. It is (hopefully) never the intention to 880f291276SDaniel Jasper // delete parts of newly inserted code. 89cb3e6188SDaniel Jasper if (LHS.getLength() != RHS.getLength()) 900f291276SDaniel Jasper return LHS.getLength() > RHS.getLength(); 910f291276SDaniel Jasper 92cb3e6188SDaniel Jasper if (LHS.getFilePath() != RHS.getFilePath()) 93cb3e6188SDaniel Jasper return LHS.getFilePath() < RHS.getFilePath(); 94cb3e6188SDaniel Jasper return LHS.getReplacementText() < RHS.getReplacementText(); 95cb3e6188SDaniel Jasper } 96cb3e6188SDaniel Jasper 97cb3e6188SDaniel Jasper bool operator==(const Replacement &LHS, const Replacement &RHS) { 98cb3e6188SDaniel Jasper return LHS.getOffset() == RHS.getOffset() && 99cb3e6188SDaniel Jasper LHS.getLength() == RHS.getLength() && 100cb3e6188SDaniel Jasper LHS.getFilePath() == RHS.getFilePath() && 101cb3e6188SDaniel Jasper LHS.getReplacementText() == RHS.getReplacementText(); 102cb3e6188SDaniel Jasper } 103cb3e6188SDaniel Jasper 104cb3e6188SDaniel Jasper void Replacement::setFromSourceLocation(const SourceManager &Sources, 105cb3e6188SDaniel Jasper SourceLocation Start, unsigned Length, 106cb3e6188SDaniel Jasper StringRef ReplacementText) { 107cb3e6188SDaniel Jasper const std::pair<FileID, unsigned> DecomposedLocation = 108cb3e6188SDaniel Jasper Sources.getDecomposedLoc(Start); 109cb3e6188SDaniel Jasper const FileEntry *Entry = Sources.getFileEntryForID(DecomposedLocation.first); 110cac8fc23SBenjamin Kramer this->FilePath = Entry ? Entry->getName() : InvalidLocation; 111cb3e6188SDaniel Jasper this->ReplacementRange = Range(DecomposedLocation.second, Length); 112cb3e6188SDaniel Jasper this->ReplacementText = ReplacementText; 113cb3e6188SDaniel Jasper } 114cb3e6188SDaniel Jasper 115cb3e6188SDaniel Jasper // FIXME: This should go into the Lexer, but we need to figure out how 116cb3e6188SDaniel Jasper // to handle ranges for refactoring in general first - there is no obvious 117cb3e6188SDaniel Jasper // good way how to integrate this into the Lexer yet. 118cb3e6188SDaniel Jasper static int getRangeSize(const SourceManager &Sources, 11994a89231SManuel Klimek const CharSourceRange &Range, 12094a89231SManuel Klimek const LangOptions &LangOpts) { 121cb3e6188SDaniel Jasper SourceLocation SpellingBegin = Sources.getSpellingLoc(Range.getBegin()); 122cb3e6188SDaniel Jasper SourceLocation SpellingEnd = Sources.getSpellingLoc(Range.getEnd()); 123cb3e6188SDaniel Jasper std::pair<FileID, unsigned> Start = Sources.getDecomposedLoc(SpellingBegin); 124cb3e6188SDaniel Jasper std::pair<FileID, unsigned> End = Sources.getDecomposedLoc(SpellingEnd); 125cb3e6188SDaniel Jasper if (Start.first != End.first) return -1; 126cb3e6188SDaniel Jasper if (Range.isTokenRange()) 12794a89231SManuel Klimek End.second += Lexer::MeasureTokenLength(SpellingEnd, Sources, LangOpts); 128cb3e6188SDaniel Jasper return End.second - Start.second; 129cb3e6188SDaniel Jasper } 130cb3e6188SDaniel Jasper 131cb3e6188SDaniel Jasper void Replacement::setFromSourceRange(const SourceManager &Sources, 132cb3e6188SDaniel Jasper const CharSourceRange &Range, 13394a89231SManuel Klimek StringRef ReplacementText, 13494a89231SManuel Klimek const LangOptions &LangOpts) { 135cb3e6188SDaniel Jasper setFromSourceLocation(Sources, Sources.getSpellingLoc(Range.getBegin()), 13694a89231SManuel Klimek getRangeSize(Sources, Range, LangOpts), 13794a89231SManuel Klimek ReplacementText); 138cb3e6188SDaniel Jasper } 139cb3e6188SDaniel Jasper 140*40ef2fb3SEric Liu llvm::Error Replacements::add(const Replacement &R) { 141*40ef2fb3SEric Liu if (R.getOffset() != UINT_MAX) 142*40ef2fb3SEric Liu for (auto Replace : Replaces) { 143*40ef2fb3SEric Liu if (R.getFilePath() != Replace.getFilePath()) 1444f8d9943SEric Liu return llvm::make_error<llvm::StringError>( 145*40ef2fb3SEric Liu "All replacements must have the same file path. New replacement: " + 146*40ef2fb3SEric Liu R.getFilePath() + ", existing replacements: " + 147*40ef2fb3SEric Liu Replace.getFilePath() + "\n", 148*40ef2fb3SEric Liu llvm::inconvertibleErrorCode()); 149*40ef2fb3SEric Liu if (R.getOffset() == Replace.getOffset() || 150*40ef2fb3SEric Liu Range(R.getOffset(), R.getLength()) 151*40ef2fb3SEric Liu .overlapsWith(Range(Replace.getOffset(), Replace.getLength()))) 152*40ef2fb3SEric Liu return llvm::make_error<llvm::StringError>( 153*40ef2fb3SEric Liu "New replacement:\n" + R.toString() + 154*40ef2fb3SEric Liu "\nconflicts with existing replacement:\n" + Replace.toString(), 1554f8d9943SEric Liu llvm::inconvertibleErrorCode()); 156cb3e6188SDaniel Jasper } 157cb3e6188SDaniel Jasper 158*40ef2fb3SEric Liu Replaces.insert(R); 159*40ef2fb3SEric Liu return llvm::Error::success(); 160b12e5a5cSManuel Klimek } 161b12e5a5cSManuel Klimek 162d89ae9d3SDaniel Jasper namespace { 163*40ef2fb3SEric Liu 164d89ae9d3SDaniel Jasper // Represents a merged replacement, i.e. a replacement consisting of multiple 165d89ae9d3SDaniel Jasper // overlapping replacements from 'First' and 'Second' in mergeReplacements. 166d89ae9d3SDaniel Jasper // 167d89ae9d3SDaniel Jasper // Position projection: 168d89ae9d3SDaniel Jasper // Offsets and lengths of the replacements can generally refer to two different 169d89ae9d3SDaniel Jasper // coordinate spaces. Replacements from 'First' refer to the original text 170d89ae9d3SDaniel Jasper // whereas replacements from 'Second' refer to the text after applying 'First'. 171d89ae9d3SDaniel Jasper // 172d89ae9d3SDaniel Jasper // MergedReplacement always operates in the coordinate space of the original 173d89ae9d3SDaniel Jasper // text, i.e. transforms elements from 'Second' to take into account what was 174d89ae9d3SDaniel Jasper // changed based on the elements from 'First'. 175d89ae9d3SDaniel Jasper // 176d89ae9d3SDaniel Jasper // We can correctly calculate this projection as we look at the replacements in 177d89ae9d3SDaniel Jasper // order of strictly increasing offsets. 178d89ae9d3SDaniel Jasper // 179d89ae9d3SDaniel Jasper // Invariants: 180d89ae9d3SDaniel Jasper // * We always merge elements from 'First' into elements from 'Second' and vice 181d89ae9d3SDaniel Jasper // versa. Within each set, the replacements are non-overlapping. 182d89ae9d3SDaniel Jasper // * We only extend to the right, i.e. merge elements with strictly increasing 183d89ae9d3SDaniel Jasper // offsets. 184d89ae9d3SDaniel Jasper class MergedReplacement { 185d89ae9d3SDaniel Jasper public: 186d89ae9d3SDaniel Jasper MergedReplacement(const Replacement &R, bool MergeSecond, int D) 187d89ae9d3SDaniel Jasper : MergeSecond(MergeSecond), Delta(D), FilePath(R.getFilePath()), 188d89ae9d3SDaniel Jasper Offset(R.getOffset() + (MergeSecond ? 0 : Delta)), Length(R.getLength()), 189d89ae9d3SDaniel Jasper Text(R.getReplacementText()) { 190d89ae9d3SDaniel Jasper Delta += MergeSecond ? 0 : Text.size() - Length; 191d89ae9d3SDaniel Jasper DeltaFirst = MergeSecond ? Text.size() - Length : 0; 192d89ae9d3SDaniel Jasper } 193d89ae9d3SDaniel Jasper 194d89ae9d3SDaniel Jasper // Merges the next element 'R' into this merged element. As we always merge 195d89ae9d3SDaniel Jasper // from 'First' into 'Second' or vice versa, the MergedReplacement knows what 196d89ae9d3SDaniel Jasper // set the next element is coming from. 197d89ae9d3SDaniel Jasper void merge(const Replacement &R) { 198d89ae9d3SDaniel Jasper if (MergeSecond) { 199d89ae9d3SDaniel Jasper unsigned REnd = R.getOffset() + Delta + R.getLength(); 200d89ae9d3SDaniel Jasper unsigned End = Offset + Text.size(); 201d89ae9d3SDaniel Jasper if (REnd > End) { 202d89ae9d3SDaniel Jasper Length += REnd - End; 203d89ae9d3SDaniel Jasper MergeSecond = false; 204d89ae9d3SDaniel Jasper } 205d89ae9d3SDaniel Jasper StringRef TextRef = Text; 206d89ae9d3SDaniel Jasper StringRef Head = TextRef.substr(0, R.getOffset() + Delta - Offset); 207d89ae9d3SDaniel Jasper StringRef Tail = TextRef.substr(REnd - Offset); 208d89ae9d3SDaniel Jasper Text = (Head + R.getReplacementText() + Tail).str(); 209d89ae9d3SDaniel Jasper Delta += R.getReplacementText().size() - R.getLength(); 210d89ae9d3SDaniel Jasper } else { 211d89ae9d3SDaniel Jasper unsigned End = Offset + Length; 212d89ae9d3SDaniel Jasper StringRef RText = R.getReplacementText(); 213d89ae9d3SDaniel Jasper StringRef Tail = RText.substr(End - R.getOffset()); 214d89ae9d3SDaniel Jasper Text = (Text + Tail).str(); 215d89ae9d3SDaniel Jasper if (R.getOffset() + RText.size() > End) { 216d89ae9d3SDaniel Jasper Length = R.getOffset() + R.getLength() - Offset; 217d89ae9d3SDaniel Jasper MergeSecond = true; 218d89ae9d3SDaniel Jasper } else { 219d89ae9d3SDaniel Jasper Length += R.getLength() - RText.size(); 220d89ae9d3SDaniel Jasper } 221d89ae9d3SDaniel Jasper DeltaFirst += RText.size() - R.getLength(); 222d89ae9d3SDaniel Jasper } 223d89ae9d3SDaniel Jasper } 224d89ae9d3SDaniel Jasper 225d89ae9d3SDaniel Jasper // Returns 'true' if 'R' starts strictly after the MergedReplacement and thus 226d89ae9d3SDaniel Jasper // doesn't need to be merged. 227d89ae9d3SDaniel Jasper bool endsBefore(const Replacement &R) const { 228d89ae9d3SDaniel Jasper if (MergeSecond) 229d89ae9d3SDaniel Jasper return Offset + Text.size() < R.getOffset() + Delta; 230d89ae9d3SDaniel Jasper return Offset + Length < R.getOffset(); 231d89ae9d3SDaniel Jasper } 232d89ae9d3SDaniel Jasper 233d89ae9d3SDaniel Jasper // Returns 'true' if an element from the second set should be merged next. 234d89ae9d3SDaniel Jasper bool mergeSecond() const { return MergeSecond; } 235d89ae9d3SDaniel Jasper int deltaFirst() const { return DeltaFirst; } 236d89ae9d3SDaniel Jasper Replacement asReplacement() const { return {FilePath, Offset, Length, Text}; } 237d89ae9d3SDaniel Jasper 238d89ae9d3SDaniel Jasper private: 239d89ae9d3SDaniel Jasper bool MergeSecond; 240d89ae9d3SDaniel Jasper 241d89ae9d3SDaniel Jasper // Amount of characters that elements from 'Second' need to be shifted by in 242d89ae9d3SDaniel Jasper // order to refer to the original text. 243d89ae9d3SDaniel Jasper int Delta; 244d89ae9d3SDaniel Jasper 245d89ae9d3SDaniel Jasper // Sum of all deltas (text-length - length) of elements from 'First' merged 246d89ae9d3SDaniel Jasper // into this element. This is used to update 'Delta' once the 247d89ae9d3SDaniel Jasper // MergedReplacement is completed. 248d89ae9d3SDaniel Jasper int DeltaFirst; 249d89ae9d3SDaniel Jasper 250d89ae9d3SDaniel Jasper // Data of the actually merged replacement. FilePath and Offset aren't changed 251d89ae9d3SDaniel Jasper // as the element is only extended to the right. 252d89ae9d3SDaniel Jasper const StringRef FilePath; 253d89ae9d3SDaniel Jasper const unsigned Offset; 254d89ae9d3SDaniel Jasper unsigned Length; 255d89ae9d3SDaniel Jasper std::string Text; 256d89ae9d3SDaniel Jasper }; 257*40ef2fb3SEric Liu 258d89ae9d3SDaniel Jasper } // namespace 259d89ae9d3SDaniel Jasper 260*40ef2fb3SEric Liu Replacements Replacements::merge(const Replacements &ReplacesToMerge) const { 261*40ef2fb3SEric Liu if (empty() || ReplacesToMerge.empty()) 262*40ef2fb3SEric Liu return empty() ? ReplacesToMerge : *this; 2634c1ef97aSEric Liu 264*40ef2fb3SEric Liu auto &First = Replaces; 265*40ef2fb3SEric Liu auto &Second = ReplacesToMerge.Replaces; 266d89ae9d3SDaniel Jasper // Delta is the amount of characters that replacements from 'Second' need to 267d89ae9d3SDaniel Jasper // be shifted so that their offsets refer to the original text. 268d89ae9d3SDaniel Jasper int Delta = 0; 269*40ef2fb3SEric Liu ReplacementsImpl Result; 270d89ae9d3SDaniel Jasper 271d89ae9d3SDaniel Jasper // Iterate over both sets and always add the next element (smallest total 272d89ae9d3SDaniel Jasper // Offset) from either 'First' or 'Second'. Merge that element with 273d89ae9d3SDaniel Jasper // subsequent replacements as long as they overlap. See more details in the 274d89ae9d3SDaniel Jasper // comment on MergedReplacement. 275d89ae9d3SDaniel Jasper for (auto FirstI = First.begin(), SecondI = Second.begin(); 276d89ae9d3SDaniel Jasper FirstI != First.end() || SecondI != Second.end();) { 277d89ae9d3SDaniel Jasper bool NextIsFirst = SecondI == Second.end() || 278a3e553a2SDaniel Jasper (FirstI != First.end() && 279a3e553a2SDaniel Jasper FirstI->getOffset() < SecondI->getOffset() + Delta); 280d89ae9d3SDaniel Jasper MergedReplacement Merged(NextIsFirst ? *FirstI : *SecondI, NextIsFirst, 281d89ae9d3SDaniel Jasper Delta); 282d89ae9d3SDaniel Jasper ++(NextIsFirst ? FirstI : SecondI); 283d89ae9d3SDaniel Jasper 284d89ae9d3SDaniel Jasper while ((Merged.mergeSecond() && SecondI != Second.end()) || 285d89ae9d3SDaniel Jasper (!Merged.mergeSecond() && FirstI != First.end())) { 286d89ae9d3SDaniel Jasper auto &I = Merged.mergeSecond() ? SecondI : FirstI; 287d89ae9d3SDaniel Jasper if (Merged.endsBefore(*I)) 288d89ae9d3SDaniel Jasper break; 289d89ae9d3SDaniel Jasper Merged.merge(*I); 290d89ae9d3SDaniel Jasper ++I; 291d89ae9d3SDaniel Jasper } 292d89ae9d3SDaniel Jasper Delta -= Merged.deltaFirst(); 293d89ae9d3SDaniel Jasper Result.insert(Merged.asReplacement()); 294d89ae9d3SDaniel Jasper } 295*40ef2fb3SEric Liu return Replacements(Result.begin(), Result.end()); 296*40ef2fb3SEric Liu } 297*40ef2fb3SEric Liu 298*40ef2fb3SEric Liu // Combines overlapping ranges in \p Ranges and sorts the combined ranges. 299*40ef2fb3SEric Liu // Returns a set of non-overlapping and sorted ranges that is equivalent to 300*40ef2fb3SEric Liu // \p Ranges. 301*40ef2fb3SEric Liu static std::vector<Range> combineAndSortRanges(std::vector<Range> Ranges) { 302*40ef2fb3SEric Liu std::sort(Ranges.begin(), Ranges.end(), 303*40ef2fb3SEric Liu [](const Range &LHS, const Range &RHS) { 304*40ef2fb3SEric Liu if (LHS.getOffset() != RHS.getOffset()) 305*40ef2fb3SEric Liu return LHS.getOffset() < RHS.getOffset(); 306*40ef2fb3SEric Liu return LHS.getLength() < RHS.getLength(); 307*40ef2fb3SEric Liu }); 308*40ef2fb3SEric Liu std::vector<Range> Result; 309*40ef2fb3SEric Liu for (const auto &R : Ranges) { 310*40ef2fb3SEric Liu if (Result.empty() || 311*40ef2fb3SEric Liu Result.back().getOffset() + Result.back().getLength() < R.getOffset()) { 312*40ef2fb3SEric Liu Result.push_back(R); 313*40ef2fb3SEric Liu } else { 314*40ef2fb3SEric Liu unsigned NewEnd = 315*40ef2fb3SEric Liu std::max(Result.back().getOffset() + Result.back().getLength(), 316*40ef2fb3SEric Liu R.getOffset() + R.getLength()); 317*40ef2fb3SEric Liu Result[Result.size() - 1] = 318*40ef2fb3SEric Liu Range(Result.back().getOffset(), NewEnd - Result.back().getOffset()); 319*40ef2fb3SEric Liu } 320*40ef2fb3SEric Liu } 321d89ae9d3SDaniel Jasper return Result; 322d89ae9d3SDaniel Jasper } 323d89ae9d3SDaniel Jasper 324*40ef2fb3SEric Liu std::vector<Range> 325*40ef2fb3SEric Liu calculateRangesAfterReplacements(const Replacements &Replaces, 326*40ef2fb3SEric Liu const std::vector<Range> &Ranges) { 327*40ef2fb3SEric Liu // To calculate the new ranges, 328*40ef2fb3SEric Liu // - Turn \p Ranges into Replacements at (offset, length) with an empty 329*40ef2fb3SEric Liu // (unimportant) replacement text of length "length". 330*40ef2fb3SEric Liu // - Merge with \p Replaces. 331*40ef2fb3SEric Liu // - The new ranges will be the affected ranges of the merged replacements. 332*40ef2fb3SEric Liu auto MergedRanges = combineAndSortRanges(Ranges); 333*40ef2fb3SEric Liu tooling::Replacements FakeReplaces; 334*40ef2fb3SEric Liu for (const auto &R : MergedRanges) { 335*40ef2fb3SEric Liu auto Err = FakeReplaces.add(Replacement(Replaces.begin()->getFilePath(), 336*40ef2fb3SEric Liu R.getOffset(), R.getLength(), 337*40ef2fb3SEric Liu std::string(R.getLength(), ' '))); 338*40ef2fb3SEric Liu assert(!Err && 339*40ef2fb3SEric Liu "Replacements must not conflict since ranges have been merged."); 340*40ef2fb3SEric Liu (void)Err; 341*40ef2fb3SEric Liu } 342*40ef2fb3SEric Liu return FakeReplaces.merge(Replaces).getAffectedRanges(); 343*40ef2fb3SEric Liu } 344*40ef2fb3SEric Liu 345*40ef2fb3SEric Liu std::vector<Range> Replacements::getAffectedRanges() const { 346*40ef2fb3SEric Liu std::vector<Range> ChangedRanges; 347*40ef2fb3SEric Liu int Shift = 0; 348*40ef2fb3SEric Liu for (const Replacement &R : Replaces) { 349*40ef2fb3SEric Liu unsigned Offset = R.getOffset() + Shift; 350*40ef2fb3SEric Liu unsigned Length = R.getReplacementText().size(); 351*40ef2fb3SEric Liu Shift += Length - R.getLength(); 352*40ef2fb3SEric Liu ChangedRanges.push_back(Range(Offset, Length)); 353*40ef2fb3SEric Liu } 354*40ef2fb3SEric Liu return combineAndSortRanges(ChangedRanges); 355*40ef2fb3SEric Liu } 356*40ef2fb3SEric Liu 357*40ef2fb3SEric Liu unsigned Replacements::getShiftedCodePosition(unsigned Position) const { 358*40ef2fb3SEric Liu unsigned Offset = 0; 359*40ef2fb3SEric Liu for (const auto& R : Replaces) { 360*40ef2fb3SEric Liu if (R.getOffset() + R.getLength() <= Position) { 361*40ef2fb3SEric Liu Offset += R.getReplacementText().size() - R.getLength(); 362*40ef2fb3SEric Liu continue; 363*40ef2fb3SEric Liu } 364*40ef2fb3SEric Liu if (R.getOffset() < Position && 365*40ef2fb3SEric Liu R.getOffset() + R.getReplacementText().size() <= Position) { 366*40ef2fb3SEric Liu Position = R.getOffset() + R.getReplacementText().size(); 367*40ef2fb3SEric Liu if (R.getReplacementText().size() > 0) 368*40ef2fb3SEric Liu Position--; 369*40ef2fb3SEric Liu } 370*40ef2fb3SEric Liu break; 371*40ef2fb3SEric Liu } 372*40ef2fb3SEric Liu return Position + Offset; 373*40ef2fb3SEric Liu } 374*40ef2fb3SEric Liu 375*40ef2fb3SEric Liu bool applyAllReplacements(const Replacements &Replaces, Rewriter &Rewrite) { 376*40ef2fb3SEric Liu bool Result = true; 377*40ef2fb3SEric Liu for (Replacements::const_iterator I = Replaces.begin(), 378*40ef2fb3SEric Liu E = Replaces.end(); 379*40ef2fb3SEric Liu I != E; ++I) { 380*40ef2fb3SEric Liu if (I->isApplicable()) { 381*40ef2fb3SEric Liu Result = I->apply(Rewrite) && Result; 382*40ef2fb3SEric Liu } else { 383*40ef2fb3SEric Liu Result = false; 384*40ef2fb3SEric Liu } 385*40ef2fb3SEric Liu } 386*40ef2fb3SEric Liu return Result; 387*40ef2fb3SEric Liu } 388*40ef2fb3SEric Liu 389*40ef2fb3SEric Liu llvm::Expected<std::string> applyAllReplacements(StringRef Code, 390*40ef2fb3SEric Liu const Replacements &Replaces) { 391*40ef2fb3SEric Liu if (Replaces.empty()) 392*40ef2fb3SEric Liu return Code.str(); 393*40ef2fb3SEric Liu 394*40ef2fb3SEric Liu IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem( 395*40ef2fb3SEric Liu new vfs::InMemoryFileSystem); 396*40ef2fb3SEric Liu FileManager Files(FileSystemOptions(), InMemoryFileSystem); 397*40ef2fb3SEric Liu DiagnosticsEngine Diagnostics( 398*40ef2fb3SEric Liu IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs), 399*40ef2fb3SEric Liu new DiagnosticOptions); 400*40ef2fb3SEric Liu SourceManager SourceMgr(Diagnostics, Files); 401*40ef2fb3SEric Liu Rewriter Rewrite(SourceMgr, LangOptions()); 402*40ef2fb3SEric Liu InMemoryFileSystem->addFile( 403*40ef2fb3SEric Liu "<stdin>", 0, llvm::MemoryBuffer::getMemBuffer(Code, "<stdin>")); 404*40ef2fb3SEric Liu FileID ID = SourceMgr.createFileID(Files.getFile("<stdin>"), SourceLocation(), 405*40ef2fb3SEric Liu clang::SrcMgr::C_User); 406*40ef2fb3SEric Liu for (Replacements::const_iterator I = Replaces.begin(), E = Replaces.end(); 407*40ef2fb3SEric Liu I != E; ++I) { 408*40ef2fb3SEric Liu Replacement Replace("<stdin>", I->getOffset(), I->getLength(), 409*40ef2fb3SEric Liu I->getReplacementText()); 410*40ef2fb3SEric Liu if (!Replace.apply(Rewrite)) 411*40ef2fb3SEric Liu return llvm::make_error<llvm::StringError>( 412*40ef2fb3SEric Liu "Failed to apply replacement: " + Replace.toString(), 413*40ef2fb3SEric Liu llvm::inconvertibleErrorCode()); 414*40ef2fb3SEric Liu } 415*40ef2fb3SEric Liu std::string Result; 416*40ef2fb3SEric Liu llvm::raw_string_ostream OS(Result); 417*40ef2fb3SEric Liu Rewrite.getEditBuffer(ID).write(OS); 418*40ef2fb3SEric Liu OS.flush(); 419*40ef2fb3SEric Liu return Result; 420*40ef2fb3SEric Liu } 421*40ef2fb3SEric Liu 422*40ef2fb3SEric Liu std::map<std::string, Replacements> 423*40ef2fb3SEric Liu groupReplacementsByFile(const Replacements &Replaces) { 424*40ef2fb3SEric Liu std::map<std::string, Replacements> FileToReplaces; 425*40ef2fb3SEric Liu for (const auto &Replace : Replaces) 426*40ef2fb3SEric Liu // We can ignore the Error here since \p Replaces is already conflict-free. 427*40ef2fb3SEric Liu FileToReplaces[Replace.getFilePath()].add(Replace); 428*40ef2fb3SEric Liu return FileToReplaces; 429*40ef2fb3SEric Liu } 430*40ef2fb3SEric Liu 431cb3e6188SDaniel Jasper } // end namespace tooling 432cb3e6188SDaniel Jasper } // end namespace clang 433