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