xref: /llvm-project/clang/lib/Tooling/Refactoring/AtomicChange.cpp (revision 7db641af13670aa1f1ecd3106eda3ce447afd752)
1 //===--- AtomicChange.cpp - AtomicChange implementation ---------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "clang/Tooling/Refactoring/AtomicChange.h"
10 #include "clang/Tooling/ReplacementsYaml.h"
11 #include "llvm/Support/YAMLTraits.h"
12 #include <string>
13 
14 LLVM_YAML_IS_SEQUENCE_VECTOR(clang::tooling::AtomicChange)
15 
16 namespace {
17 /// Helper to (de)serialize an AtomicChange since we don't have direct
18 /// access to its data members.
19 /// Data members of a normalized AtomicChange can be directly mapped from/to
20 /// YAML string.
21 struct NormalizedAtomicChange {
22   NormalizedAtomicChange() = default;
23 
24   NormalizedAtomicChange(const llvm::yaml::IO &) {}
25 
26   // This converts AtomicChange's internal implementation of the replacements
27   // set to a vector of replacements.
28   NormalizedAtomicChange(const llvm::yaml::IO &,
29                          const clang::tooling::AtomicChange &E)
30       : Key(E.getKey()), FilePath(E.getFilePath()), Error(E.getError()),
31         InsertedHeaders(E.getInsertedHeaders()),
32         RemovedHeaders(E.getRemovedHeaders()),
33         Replaces(E.getReplacements().begin(), E.getReplacements().end()) {}
34 
35   // This is not expected to be called but needed for template instantiation.
36   clang::tooling::AtomicChange denormalize(const llvm::yaml::IO &) {
37     llvm_unreachable("Do not convert YAML to AtomicChange directly with '>>'. "
38                      "Use AtomicChange::convertFromYAML instead.");
39   }
40   std::string Key;
41   std::string FilePath;
42   std::string Error;
43   std::vector<std::string> InsertedHeaders;
44   std::vector<std::string> RemovedHeaders;
45   std::vector<clang::tooling::Replacement> Replaces;
46 };
47 } // anonymous namespace
48 
49 namespace llvm {
50 namespace yaml {
51 
52 /// Specialized MappingTraits to describe how an AtomicChange is
53 /// (de)serialized.
54 template <> struct MappingTraits<NormalizedAtomicChange> {
55   static void mapping(IO &Io, NormalizedAtomicChange &Doc) {
56     Io.mapRequired("Key", Doc.Key);
57     Io.mapRequired("FilePath", Doc.FilePath);
58     Io.mapRequired("Error", Doc.Error);
59     Io.mapRequired("InsertedHeaders", Doc.InsertedHeaders);
60     Io.mapRequired("RemovedHeaders", Doc.RemovedHeaders);
61     Io.mapRequired("Replacements", Doc.Replaces);
62   }
63 };
64 
65 /// Specialized MappingTraits to describe how an AtomicChange is
66 /// (de)serialized.
67 template <> struct MappingTraits<clang::tooling::AtomicChange> {
68   static void mapping(IO &Io, clang::tooling::AtomicChange &Doc) {
69     MappingNormalization<NormalizedAtomicChange, clang::tooling::AtomicChange>
70         Keys(Io, Doc);
71     Io.mapRequired("Key", Keys->Key);
72     Io.mapRequired("FilePath", Keys->FilePath);
73     Io.mapRequired("Error", Keys->Error);
74     Io.mapRequired("InsertedHeaders", Keys->InsertedHeaders);
75     Io.mapRequired("RemovedHeaders", Keys->RemovedHeaders);
76     Io.mapRequired("Replacements", Keys->Replaces);
77   }
78 };
79 
80 } // end namespace yaml
81 } // end namespace llvm
82 
83 namespace clang {
84 namespace tooling {
85 namespace {
86 
87 // Returns true if there is any line that violates \p ColumnLimit in range
88 // [Start, End].
89 bool violatesColumnLimit(llvm::StringRef Code, unsigned ColumnLimit,
90                          unsigned Start, unsigned End) {
91   auto StartPos = Code.rfind('\n', Start);
92   StartPos = (StartPos == llvm::StringRef::npos) ? 0 : StartPos + 1;
93 
94   auto EndPos = Code.find("\n", End);
95   if (EndPos == llvm::StringRef::npos)
96     EndPos = Code.size();
97 
98   llvm::SmallVector<llvm::StringRef, 8> Lines;
99   Code.substr(StartPos, EndPos - StartPos).split(Lines, '\n');
100   for (llvm::StringRef Line : Lines)
101     if (Line.size() > ColumnLimit)
102       return true;
103   return false;
104 }
105 
106 std::vector<Range>
107 getRangesForFormatting(llvm::StringRef Code, unsigned ColumnLimit,
108                        ApplyChangesSpec::FormatOption Format,
109                        const clang::tooling::Replacements &Replaces) {
110   // kNone suppresses formatting entirely.
111   if (Format == ApplyChangesSpec::kNone)
112     return {};
113   std::vector<clang::tooling::Range> Ranges;
114   // This works assuming that replacements are ordered by offset.
115   // FIXME: use `getAffectedRanges()` to calculate when it does not include '\n'
116   // at the end of an insertion in affected ranges.
117   int Offset = 0;
118   for (const clang::tooling::Replacement &R : Replaces) {
119     int Start = R.getOffset() + Offset;
120     int End = Start + R.getReplacementText().size();
121     if (!R.getReplacementText().empty() &&
122         R.getReplacementText().back() == '\n' && R.getLength() == 0 &&
123         R.getOffset() > 0 && R.getOffset() <= Code.size() &&
124         Code[R.getOffset() - 1] == '\n')
125       // If we are inserting at the start of a line and the replacement ends in
126       // a newline, we don't need to format the subsequent line.
127       --End;
128     Offset += R.getReplacementText().size() - R.getLength();
129 
130     if (Format == ApplyChangesSpec::kAll ||
131         violatesColumnLimit(Code, ColumnLimit, Start, End))
132       Ranges.emplace_back(Start, End - Start);
133   }
134   return Ranges;
135 }
136 
137 inline llvm::Error make_string_error(const llvm::Twine &Message) {
138   return llvm::make_error<llvm::StringError>(Message,
139                                              llvm::inconvertibleErrorCode());
140 }
141 
142 // Creates replacements for inserting/deleting #include headers.
143 llvm::Expected<Replacements>
144 createReplacementsForHeaders(llvm::StringRef FilePath, llvm::StringRef Code,
145                              llvm::ArrayRef<AtomicChange> Changes,
146                              const format::FormatStyle &Style) {
147   // Create header insertion/deletion replacements to be cleaned up
148   // (i.e. converted to real insertion/deletion replacements).
149   Replacements HeaderReplacements;
150   for (const auto &Change : Changes) {
151     for (llvm::StringRef Header : Change.getInsertedHeaders()) {
152       std::string EscapedHeader =
153           Header.starts_with("<") || Header.starts_with("\"")
154               ? Header.str()
155               : ("\"" + Header + "\"").str();
156       std::string ReplacementText = "#include " + EscapedHeader;
157       // Offset UINT_MAX and length 0 indicate that the replacement is a header
158       // insertion.
159       llvm::Error Err = HeaderReplacements.add(
160           tooling::Replacement(FilePath, UINT_MAX, 0, ReplacementText));
161       if (Err)
162         return std::move(Err);
163     }
164     for (const std::string &Header : Change.getRemovedHeaders()) {
165       // Offset UINT_MAX and length 1 indicate that the replacement is a header
166       // deletion.
167       llvm::Error Err =
168           HeaderReplacements.add(Replacement(FilePath, UINT_MAX, 1, Header));
169       if (Err)
170         return std::move(Err);
171     }
172   }
173 
174   // cleanupAroundReplacements() converts header insertions/deletions into
175   // actual replacements that add/remove headers at the right location.
176   return clang::format::cleanupAroundReplacements(Code, HeaderReplacements,
177                                                   Style);
178 }
179 
180 // Combine replacements in all Changes as a `Replacements`. This ignores the
181 // file path in all replacements and replaces them with \p FilePath.
182 llvm::Expected<Replacements>
183 combineReplacementsInChanges(llvm::StringRef FilePath,
184                              llvm::ArrayRef<AtomicChange> Changes) {
185   Replacements Replaces;
186   for (const auto &Change : Changes)
187     for (const auto &R : Change.getReplacements())
188       if (auto Err = Replaces.add(Replacement(
189               FilePath, R.getOffset(), R.getLength(), R.getReplacementText())))
190         return std::move(Err);
191   return Replaces;
192 }
193 
194 } // end namespace
195 
196 AtomicChange::AtomicChange(const SourceManager &SM,
197                            SourceLocation KeyPosition) {
198   const FullSourceLoc FullKeyPosition(KeyPosition, SM);
199   std::pair<FileID, unsigned> FileIDAndOffset =
200       FullKeyPosition.getSpellingLoc().getDecomposedLoc();
201   OptionalFileEntryRef FE = SM.getFileEntryRefForID(FileIDAndOffset.first);
202   assert(FE && "Cannot create AtomicChange with invalid location.");
203   FilePath = std::string(FE->getName());
204   Key = FilePath + ":" + std::to_string(FileIDAndOffset.second);
205 }
206 
207 AtomicChange::AtomicChange(const SourceManager &SM, SourceLocation KeyPosition,
208                            llvm::Any M)
209     : AtomicChange(SM, KeyPosition) {
210   Metadata = std::move(M);
211 }
212 
213 AtomicChange::AtomicChange(std::string Key, std::string FilePath,
214                            std::string Error,
215                            std::vector<std::string> InsertedHeaders,
216                            std::vector<std::string> RemovedHeaders,
217                            clang::tooling::Replacements Replaces)
218     : Key(std::move(Key)), FilePath(std::move(FilePath)),
219       Error(std::move(Error)), InsertedHeaders(std::move(InsertedHeaders)),
220       RemovedHeaders(std::move(RemovedHeaders)), Replaces(std::move(Replaces)) {
221 }
222 
223 bool AtomicChange::operator==(const AtomicChange &Other) const {
224   if (Key != Other.Key || FilePath != Other.FilePath || Error != Other.Error)
225     return false;
226   if (!(Replaces == Other.Replaces))
227     return false;
228   // FXIME: Compare header insertions/removals.
229   return true;
230 }
231 
232 std::string AtomicChange::toYAMLString() {
233   std::string YamlContent;
234   llvm::raw_string_ostream YamlContentStream(YamlContent);
235 
236   llvm::yaml::Output YAML(YamlContentStream);
237   YAML << *this;
238   return YamlContent;
239 }
240 
241 AtomicChange AtomicChange::convertFromYAML(llvm::StringRef YAMLContent) {
242   NormalizedAtomicChange NE;
243   llvm::yaml::Input YAML(YAMLContent);
244   YAML >> NE;
245   AtomicChange E(NE.Key, NE.FilePath, NE.Error, NE.InsertedHeaders,
246                  NE.RemovedHeaders, tooling::Replacements());
247   for (const auto &R : NE.Replaces) {
248     llvm::Error Err = E.Replaces.add(R);
249     if (Err)
250       llvm_unreachable(
251           "Failed to add replacement when Converting YAML to AtomicChange.");
252     llvm::consumeError(std::move(Err));
253   }
254   return E;
255 }
256 
257 llvm::Error AtomicChange::replace(const SourceManager &SM,
258                                   const CharSourceRange &Range,
259                                   llvm::StringRef ReplacementText) {
260   return Replaces.add(Replacement(SM, Range, ReplacementText));
261 }
262 
263 llvm::Error AtomicChange::replace(const SourceManager &SM, SourceLocation Loc,
264                                   unsigned Length, llvm::StringRef Text) {
265   return Replaces.add(Replacement(SM, Loc, Length, Text));
266 }
267 
268 llvm::Error AtomicChange::insert(const SourceManager &SM, SourceLocation Loc,
269                                  llvm::StringRef Text, bool InsertAfter) {
270   if (Text.empty())
271     return llvm::Error::success();
272   Replacement R(SM, Loc, 0, Text);
273   llvm::Error Err = Replaces.add(R);
274   if (Err) {
275     return llvm::handleErrors(
276         std::move(Err), [&](const ReplacementError &RE) -> llvm::Error {
277           if (RE.get() != replacement_error::insert_conflict)
278             return llvm::make_error<ReplacementError>(RE);
279           unsigned NewOffset = Replaces.getShiftedCodePosition(R.getOffset());
280           if (!InsertAfter)
281             NewOffset -=
282                 RE.getExistingReplacement()->getReplacementText().size();
283           Replacement NewR(R.getFilePath(), NewOffset, 0, Text);
284           Replaces = Replaces.merge(Replacements(NewR));
285           return llvm::Error::success();
286         });
287   }
288   return llvm::Error::success();
289 }
290 
291 void AtomicChange::addHeader(llvm::StringRef Header) {
292   InsertedHeaders.push_back(std::string(Header));
293 }
294 
295 void AtomicChange::removeHeader(llvm::StringRef Header) {
296   RemovedHeaders.push_back(std::string(Header));
297 }
298 
299 llvm::Expected<std::string>
300 applyAtomicChanges(llvm::StringRef FilePath, llvm::StringRef Code,
301                    llvm::ArrayRef<AtomicChange> Changes,
302                    const ApplyChangesSpec &Spec) {
303   llvm::Expected<Replacements> HeaderReplacements =
304       createReplacementsForHeaders(FilePath, Code, Changes, Spec.Style);
305   if (!HeaderReplacements)
306     return make_string_error(
307         "Failed to create replacements for header changes: " +
308         llvm::toString(HeaderReplacements.takeError()));
309 
310   llvm::Expected<Replacements> Replaces =
311       combineReplacementsInChanges(FilePath, Changes);
312   if (!Replaces)
313     return make_string_error("Failed to combine replacements in all changes: " +
314                              llvm::toString(Replaces.takeError()));
315 
316   Replacements AllReplaces = std::move(*Replaces);
317   for (const auto &R : *HeaderReplacements) {
318     llvm::Error Err = AllReplaces.add(R);
319     if (Err)
320       return make_string_error(
321           "Failed to combine existing replacements with header replacements: " +
322           llvm::toString(std::move(Err)));
323   }
324 
325   if (Spec.Cleanup) {
326     llvm::Expected<Replacements> CleanReplaces =
327         format::cleanupAroundReplacements(Code, AllReplaces, Spec.Style);
328     if (!CleanReplaces)
329       return make_string_error("Failed to cleanup around replacements: " +
330                                llvm::toString(CleanReplaces.takeError()));
331     AllReplaces = std::move(*CleanReplaces);
332   }
333 
334   // Apply all replacements.
335   llvm::Expected<std::string> ChangedCode =
336       applyAllReplacements(Code, AllReplaces);
337   if (!ChangedCode)
338     return make_string_error("Failed to apply all replacements: " +
339                              llvm::toString(ChangedCode.takeError()));
340 
341   // Sort inserted headers. This is done even if other formatting is turned off
342   // as incorrectly sorted headers are always just wrong, it's not a matter of
343   // taste.
344   Replacements HeaderSortingReplacements = format::sortIncludes(
345       Spec.Style, *ChangedCode, AllReplaces.getAffectedRanges(), FilePath);
346   ChangedCode = applyAllReplacements(*ChangedCode, HeaderSortingReplacements);
347   if (!ChangedCode)
348     return make_string_error(
349         "Failed to apply replacements for sorting includes: " +
350         llvm::toString(ChangedCode.takeError()));
351 
352   AllReplaces = AllReplaces.merge(HeaderSortingReplacements);
353 
354   std::vector<Range> FormatRanges = getRangesForFormatting(
355       *ChangedCode, Spec.Style.ColumnLimit, Spec.Format, AllReplaces);
356   if (!FormatRanges.empty()) {
357     Replacements FormatReplacements =
358         format::reformat(Spec.Style, *ChangedCode, FormatRanges, FilePath);
359     ChangedCode = applyAllReplacements(*ChangedCode, FormatReplacements);
360     if (!ChangedCode)
361       return make_string_error(
362           "Failed to apply replacements for formatting changed code: " +
363           llvm::toString(ChangedCode.takeError()));
364   }
365   return ChangedCode;
366 }
367 
368 } // end namespace tooling
369 } // end namespace clang
370