Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
freebsd
GitHub Repository: freebsd/freebsd-src
Path: blob/main/contrib/llvm-project/clang/lib/Tooling/Refactoring/AtomicChange.cpp
35271 views
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
getRangesForFormating(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
YamlContentStream.flush();
239
return YamlContent;
240
}
241
242
AtomicChange AtomicChange::convertFromYAML(llvm::StringRef YAMLContent) {
243
NormalizedAtomicChange NE;
244
llvm::yaml::Input YAML(YAMLContent);
245
YAML >> NE;
246
AtomicChange E(NE.Key, NE.FilePath, NE.Error, NE.InsertedHeaders,
247
NE.RemovedHeaders, tooling::Replacements());
248
for (const auto &R : NE.Replaces) {
249
llvm::Error Err = E.Replaces.add(R);
250
if (Err)
251
llvm_unreachable(
252
"Failed to add replacement when Converting YAML to AtomicChange.");
253
llvm::consumeError(std::move(Err));
254
}
255
return E;
256
}
257
258
llvm::Error AtomicChange::replace(const SourceManager &SM,
259
const CharSourceRange &Range,
260
llvm::StringRef ReplacementText) {
261
return Replaces.add(Replacement(SM, Range, ReplacementText));
262
}
263
264
llvm::Error AtomicChange::replace(const SourceManager &SM, SourceLocation Loc,
265
unsigned Length, llvm::StringRef Text) {
266
return Replaces.add(Replacement(SM, Loc, Length, Text));
267
}
268
269
llvm::Error AtomicChange::insert(const SourceManager &SM, SourceLocation Loc,
270
llvm::StringRef Text, bool InsertAfter) {
271
if (Text.empty())
272
return llvm::Error::success();
273
Replacement R(SM, Loc, 0, Text);
274
llvm::Error Err = Replaces.add(R);
275
if (Err) {
276
return llvm::handleErrors(
277
std::move(Err), [&](const ReplacementError &RE) -> llvm::Error {
278
if (RE.get() != replacement_error::insert_conflict)
279
return llvm::make_error<ReplacementError>(RE);
280
unsigned NewOffset = Replaces.getShiftedCodePosition(R.getOffset());
281
if (!InsertAfter)
282
NewOffset -=
283
RE.getExistingReplacement()->getReplacementText().size();
284
Replacement NewR(R.getFilePath(), NewOffset, 0, Text);
285
Replaces = Replaces.merge(Replacements(NewR));
286
return llvm::Error::success();
287
});
288
}
289
return llvm::Error::success();
290
}
291
292
void AtomicChange::addHeader(llvm::StringRef Header) {
293
InsertedHeaders.push_back(std::string(Header));
294
}
295
296
void AtomicChange::removeHeader(llvm::StringRef Header) {
297
RemovedHeaders.push_back(std::string(Header));
298
}
299
300
llvm::Expected<std::string>
301
applyAtomicChanges(llvm::StringRef FilePath, llvm::StringRef Code,
302
llvm::ArrayRef<AtomicChange> Changes,
303
const ApplyChangesSpec &Spec) {
304
llvm::Expected<Replacements> HeaderReplacements =
305
createReplacementsForHeaders(FilePath, Code, Changes, Spec.Style);
306
if (!HeaderReplacements)
307
return make_string_error(
308
"Failed to create replacements for header changes: " +
309
llvm::toString(HeaderReplacements.takeError()));
310
311
llvm::Expected<Replacements> Replaces =
312
combineReplacementsInChanges(FilePath, Changes);
313
if (!Replaces)
314
return make_string_error("Failed to combine replacements in all changes: " +
315
llvm::toString(Replaces.takeError()));
316
317
Replacements AllReplaces = std::move(*Replaces);
318
for (const auto &R : *HeaderReplacements) {
319
llvm::Error Err = AllReplaces.add(R);
320
if (Err)
321
return make_string_error(
322
"Failed to combine existing replacements with header replacements: " +
323
llvm::toString(std::move(Err)));
324
}
325
326
if (Spec.Cleanup) {
327
llvm::Expected<Replacements> CleanReplaces =
328
format::cleanupAroundReplacements(Code, AllReplaces, Spec.Style);
329
if (!CleanReplaces)
330
return make_string_error("Failed to cleanup around replacements: " +
331
llvm::toString(CleanReplaces.takeError()));
332
AllReplaces = std::move(*CleanReplaces);
333
}
334
335
// Apply all replacements.
336
llvm::Expected<std::string> ChangedCode =
337
applyAllReplacements(Code, AllReplaces);
338
if (!ChangedCode)
339
return make_string_error("Failed to apply all replacements: " +
340
llvm::toString(ChangedCode.takeError()));
341
342
// Sort inserted headers. This is done even if other formatting is turned off
343
// as incorrectly sorted headers are always just wrong, it's not a matter of
344
// taste.
345
Replacements HeaderSortingReplacements = format::sortIncludes(
346
Spec.Style, *ChangedCode, AllReplaces.getAffectedRanges(), FilePath);
347
ChangedCode = applyAllReplacements(*ChangedCode, HeaderSortingReplacements);
348
if (!ChangedCode)
349
return make_string_error(
350
"Failed to apply replacements for sorting includes: " +
351
llvm::toString(ChangedCode.takeError()));
352
353
AllReplaces = AllReplaces.merge(HeaderSortingReplacements);
354
355
std::vector<Range> FormatRanges = getRangesForFormating(
356
*ChangedCode, Spec.Style.ColumnLimit, Spec.Format, AllReplaces);
357
if (!FormatRanges.empty()) {
358
Replacements FormatReplacements =
359
format::reformat(Spec.Style, *ChangedCode, FormatRanges, FilePath);
360
ChangedCode = applyAllReplacements(*ChangedCode, FormatReplacements);
361
if (!ChangedCode)
362
return make_string_error(
363
"Failed to apply replacements for formatting changed code: " +
364
llvm::toString(ChangedCode.takeError()));
365
}
366
return ChangedCode;
367
}
368
369
} // end namespace tooling
370
} // end namespace clang
371
372