Path: blob/main/contrib/llvm-project/clang/lib/Tooling/Refactoring/AtomicChange.cpp
35271 views
//===--- AtomicChange.cpp - AtomicChange implementation ---------*- C++ -*-===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//78#include "clang/Tooling/Refactoring/AtomicChange.h"9#include "clang/Tooling/ReplacementsYaml.h"10#include "llvm/Support/YAMLTraits.h"11#include <string>1213LLVM_YAML_IS_SEQUENCE_VECTOR(clang::tooling::AtomicChange)1415namespace {16/// Helper to (de)serialize an AtomicChange since we don't have direct17/// access to its data members.18/// Data members of a normalized AtomicChange can be directly mapped from/to19/// YAML string.20struct NormalizedAtomicChange {21NormalizedAtomicChange() = default;2223NormalizedAtomicChange(const llvm::yaml::IO &) {}2425// This converts AtomicChange's internal implementation of the replacements26// set to a vector of replacements.27NormalizedAtomicChange(const llvm::yaml::IO &,28const clang::tooling::AtomicChange &E)29: Key(E.getKey()), FilePath(E.getFilePath()), Error(E.getError()),30InsertedHeaders(E.getInsertedHeaders()),31RemovedHeaders(E.getRemovedHeaders()),32Replaces(E.getReplacements().begin(), E.getReplacements().end()) {}3334// This is not expected to be called but needed for template instantiation.35clang::tooling::AtomicChange denormalize(const llvm::yaml::IO &) {36llvm_unreachable("Do not convert YAML to AtomicChange directly with '>>'. "37"Use AtomicChange::convertFromYAML instead.");38}39std::string Key;40std::string FilePath;41std::string Error;42std::vector<std::string> InsertedHeaders;43std::vector<std::string> RemovedHeaders;44std::vector<clang::tooling::Replacement> Replaces;45};46} // anonymous namespace4748namespace llvm {49namespace yaml {5051/// Specialized MappingTraits to describe how an AtomicChange is52/// (de)serialized.53template <> struct MappingTraits<NormalizedAtomicChange> {54static void mapping(IO &Io, NormalizedAtomicChange &Doc) {55Io.mapRequired("Key", Doc.Key);56Io.mapRequired("FilePath", Doc.FilePath);57Io.mapRequired("Error", Doc.Error);58Io.mapRequired("InsertedHeaders", Doc.InsertedHeaders);59Io.mapRequired("RemovedHeaders", Doc.RemovedHeaders);60Io.mapRequired("Replacements", Doc.Replaces);61}62};6364/// Specialized MappingTraits to describe how an AtomicChange is65/// (de)serialized.66template <> struct MappingTraits<clang::tooling::AtomicChange> {67static void mapping(IO &Io, clang::tooling::AtomicChange &Doc) {68MappingNormalization<NormalizedAtomicChange, clang::tooling::AtomicChange>69Keys(Io, Doc);70Io.mapRequired("Key", Keys->Key);71Io.mapRequired("FilePath", Keys->FilePath);72Io.mapRequired("Error", Keys->Error);73Io.mapRequired("InsertedHeaders", Keys->InsertedHeaders);74Io.mapRequired("RemovedHeaders", Keys->RemovedHeaders);75Io.mapRequired("Replacements", Keys->Replaces);76}77};7879} // end namespace yaml80} // end namespace llvm8182namespace clang {83namespace tooling {84namespace {8586// Returns true if there is any line that violates \p ColumnLimit in range87// [Start, End].88bool violatesColumnLimit(llvm::StringRef Code, unsigned ColumnLimit,89unsigned Start, unsigned End) {90auto StartPos = Code.rfind('\n', Start);91StartPos = (StartPos == llvm::StringRef::npos) ? 0 : StartPos + 1;9293auto EndPos = Code.find("\n", End);94if (EndPos == llvm::StringRef::npos)95EndPos = Code.size();9697llvm::SmallVector<llvm::StringRef, 8> Lines;98Code.substr(StartPos, EndPos - StartPos).split(Lines, '\n');99for (llvm::StringRef Line : Lines)100if (Line.size() > ColumnLimit)101return true;102return false;103}104105std::vector<Range>106getRangesForFormating(llvm::StringRef Code, unsigned ColumnLimit,107ApplyChangesSpec::FormatOption Format,108const clang::tooling::Replacements &Replaces) {109// kNone suppresses formatting entirely.110if (Format == ApplyChangesSpec::kNone)111return {};112std::vector<clang::tooling::Range> Ranges;113// This works assuming that replacements are ordered by offset.114// FIXME: use `getAffectedRanges()` to calculate when it does not include '\n'115// at the end of an insertion in affected ranges.116int Offset = 0;117for (const clang::tooling::Replacement &R : Replaces) {118int Start = R.getOffset() + Offset;119int End = Start + R.getReplacementText().size();120if (!R.getReplacementText().empty() &&121R.getReplacementText().back() == '\n' && R.getLength() == 0 &&122R.getOffset() > 0 && R.getOffset() <= Code.size() &&123Code[R.getOffset() - 1] == '\n')124// If we are inserting at the start of a line and the replacement ends in125// a newline, we don't need to format the subsequent line.126--End;127Offset += R.getReplacementText().size() - R.getLength();128129if (Format == ApplyChangesSpec::kAll ||130violatesColumnLimit(Code, ColumnLimit, Start, End))131Ranges.emplace_back(Start, End - Start);132}133return Ranges;134}135136inline llvm::Error make_string_error(const llvm::Twine &Message) {137return llvm::make_error<llvm::StringError>(Message,138llvm::inconvertibleErrorCode());139}140141// Creates replacements for inserting/deleting #include headers.142llvm::Expected<Replacements>143createReplacementsForHeaders(llvm::StringRef FilePath, llvm::StringRef Code,144llvm::ArrayRef<AtomicChange> Changes,145const format::FormatStyle &Style) {146// Create header insertion/deletion replacements to be cleaned up147// (i.e. converted to real insertion/deletion replacements).148Replacements HeaderReplacements;149for (const auto &Change : Changes) {150for (llvm::StringRef Header : Change.getInsertedHeaders()) {151std::string EscapedHeader =152Header.starts_with("<") || Header.starts_with("\"")153? Header.str()154: ("\"" + Header + "\"").str();155std::string ReplacementText = "#include " + EscapedHeader;156// Offset UINT_MAX and length 0 indicate that the replacement is a header157// insertion.158llvm::Error Err = HeaderReplacements.add(159tooling::Replacement(FilePath, UINT_MAX, 0, ReplacementText));160if (Err)161return std::move(Err);162}163for (const std::string &Header : Change.getRemovedHeaders()) {164// Offset UINT_MAX and length 1 indicate that the replacement is a header165// deletion.166llvm::Error Err =167HeaderReplacements.add(Replacement(FilePath, UINT_MAX, 1, Header));168if (Err)169return std::move(Err);170}171}172173// cleanupAroundReplacements() converts header insertions/deletions into174// actual replacements that add/remove headers at the right location.175return clang::format::cleanupAroundReplacements(Code, HeaderReplacements,176Style);177}178179// Combine replacements in all Changes as a `Replacements`. This ignores the180// file path in all replacements and replaces them with \p FilePath.181llvm::Expected<Replacements>182combineReplacementsInChanges(llvm::StringRef FilePath,183llvm::ArrayRef<AtomicChange> Changes) {184Replacements Replaces;185for (const auto &Change : Changes)186for (const auto &R : Change.getReplacements())187if (auto Err = Replaces.add(Replacement(188FilePath, R.getOffset(), R.getLength(), R.getReplacementText())))189return std::move(Err);190return Replaces;191}192193} // end namespace194195AtomicChange::AtomicChange(const SourceManager &SM,196SourceLocation KeyPosition) {197const FullSourceLoc FullKeyPosition(KeyPosition, SM);198std::pair<FileID, unsigned> FileIDAndOffset =199FullKeyPosition.getSpellingLoc().getDecomposedLoc();200OptionalFileEntryRef FE = SM.getFileEntryRefForID(FileIDAndOffset.first);201assert(FE && "Cannot create AtomicChange with invalid location.");202FilePath = std::string(FE->getName());203Key = FilePath + ":" + std::to_string(FileIDAndOffset.second);204}205206AtomicChange::AtomicChange(const SourceManager &SM, SourceLocation KeyPosition,207llvm::Any M)208: AtomicChange(SM, KeyPosition) {209Metadata = std::move(M);210}211212AtomicChange::AtomicChange(std::string Key, std::string FilePath,213std::string Error,214std::vector<std::string> InsertedHeaders,215std::vector<std::string> RemovedHeaders,216clang::tooling::Replacements Replaces)217: Key(std::move(Key)), FilePath(std::move(FilePath)),218Error(std::move(Error)), InsertedHeaders(std::move(InsertedHeaders)),219RemovedHeaders(std::move(RemovedHeaders)), Replaces(std::move(Replaces)) {220}221222bool AtomicChange::operator==(const AtomicChange &Other) const {223if (Key != Other.Key || FilePath != Other.FilePath || Error != Other.Error)224return false;225if (!(Replaces == Other.Replaces))226return false;227// FXIME: Compare header insertions/removals.228return true;229}230231std::string AtomicChange::toYAMLString() {232std::string YamlContent;233llvm::raw_string_ostream YamlContentStream(YamlContent);234235llvm::yaml::Output YAML(YamlContentStream);236YAML << *this;237YamlContentStream.flush();238return YamlContent;239}240241AtomicChange AtomicChange::convertFromYAML(llvm::StringRef YAMLContent) {242NormalizedAtomicChange NE;243llvm::yaml::Input YAML(YAMLContent);244YAML >> NE;245AtomicChange E(NE.Key, NE.FilePath, NE.Error, NE.InsertedHeaders,246NE.RemovedHeaders, tooling::Replacements());247for (const auto &R : NE.Replaces) {248llvm::Error Err = E.Replaces.add(R);249if (Err)250llvm_unreachable(251"Failed to add replacement when Converting YAML to AtomicChange.");252llvm::consumeError(std::move(Err));253}254return E;255}256257llvm::Error AtomicChange::replace(const SourceManager &SM,258const CharSourceRange &Range,259llvm::StringRef ReplacementText) {260return Replaces.add(Replacement(SM, Range, ReplacementText));261}262263llvm::Error AtomicChange::replace(const SourceManager &SM, SourceLocation Loc,264unsigned Length, llvm::StringRef Text) {265return Replaces.add(Replacement(SM, Loc, Length, Text));266}267268llvm::Error AtomicChange::insert(const SourceManager &SM, SourceLocation Loc,269llvm::StringRef Text, bool InsertAfter) {270if (Text.empty())271return llvm::Error::success();272Replacement R(SM, Loc, 0, Text);273llvm::Error Err = Replaces.add(R);274if (Err) {275return llvm::handleErrors(276std::move(Err), [&](const ReplacementError &RE) -> llvm::Error {277if (RE.get() != replacement_error::insert_conflict)278return llvm::make_error<ReplacementError>(RE);279unsigned NewOffset = Replaces.getShiftedCodePosition(R.getOffset());280if (!InsertAfter)281NewOffset -=282RE.getExistingReplacement()->getReplacementText().size();283Replacement NewR(R.getFilePath(), NewOffset, 0, Text);284Replaces = Replaces.merge(Replacements(NewR));285return llvm::Error::success();286});287}288return llvm::Error::success();289}290291void AtomicChange::addHeader(llvm::StringRef Header) {292InsertedHeaders.push_back(std::string(Header));293}294295void AtomicChange::removeHeader(llvm::StringRef Header) {296RemovedHeaders.push_back(std::string(Header));297}298299llvm::Expected<std::string>300applyAtomicChanges(llvm::StringRef FilePath, llvm::StringRef Code,301llvm::ArrayRef<AtomicChange> Changes,302const ApplyChangesSpec &Spec) {303llvm::Expected<Replacements> HeaderReplacements =304createReplacementsForHeaders(FilePath, Code, Changes, Spec.Style);305if (!HeaderReplacements)306return make_string_error(307"Failed to create replacements for header changes: " +308llvm::toString(HeaderReplacements.takeError()));309310llvm::Expected<Replacements> Replaces =311combineReplacementsInChanges(FilePath, Changes);312if (!Replaces)313return make_string_error("Failed to combine replacements in all changes: " +314llvm::toString(Replaces.takeError()));315316Replacements AllReplaces = std::move(*Replaces);317for (const auto &R : *HeaderReplacements) {318llvm::Error Err = AllReplaces.add(R);319if (Err)320return make_string_error(321"Failed to combine existing replacements with header replacements: " +322llvm::toString(std::move(Err)));323}324325if (Spec.Cleanup) {326llvm::Expected<Replacements> CleanReplaces =327format::cleanupAroundReplacements(Code, AllReplaces, Spec.Style);328if (!CleanReplaces)329return make_string_error("Failed to cleanup around replacements: " +330llvm::toString(CleanReplaces.takeError()));331AllReplaces = std::move(*CleanReplaces);332}333334// Apply all replacements.335llvm::Expected<std::string> ChangedCode =336applyAllReplacements(Code, AllReplaces);337if (!ChangedCode)338return make_string_error("Failed to apply all replacements: " +339llvm::toString(ChangedCode.takeError()));340341// Sort inserted headers. This is done even if other formatting is turned off342// as incorrectly sorted headers are always just wrong, it's not a matter of343// taste.344Replacements HeaderSortingReplacements = format::sortIncludes(345Spec.Style, *ChangedCode, AllReplaces.getAffectedRanges(), FilePath);346ChangedCode = applyAllReplacements(*ChangedCode, HeaderSortingReplacements);347if (!ChangedCode)348return make_string_error(349"Failed to apply replacements for sorting includes: " +350llvm::toString(ChangedCode.takeError()));351352AllReplaces = AllReplaces.merge(HeaderSortingReplacements);353354std::vector<Range> FormatRanges = getRangesForFormating(355*ChangedCode, Spec.Style.ColumnLimit, Spec.Format, AllReplaces);356if (!FormatRanges.empty()) {357Replacements FormatReplacements =358format::reformat(Spec.Style, *ChangedCode, FormatRanges, FilePath);359ChangedCode = applyAllReplacements(*ChangedCode, FormatReplacements);360if (!ChangedCode)361return make_string_error(362"Failed to apply replacements for formatting changed code: " +363llvm::toString(ChangedCode.takeError()));364}365return ChangedCode;366}367368} // end namespace tooling369} // end namespace clang370371372