clang 20.0.0git
Rewriter.cpp
Go to the documentation of this file.
1//===- Rewriter.cpp - Code rewriting interface ----------------------------===//
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// This file defines the Rewriter class, which is used for code
10// transformations.
11//
12//===----------------------------------------------------------------------===//
13
19#include "clang/Lex/Lexer.h"
20#include "llvm/ADT/RewriteBuffer.h"
21#include "llvm/ADT/RewriteRope.h"
22#include "llvm/ADT/SmallVector.h"
23#include "llvm/ADT/StringRef.h"
24#include "llvm/Support/Error.h"
25#include "llvm/Support/raw_ostream.h"
26#include <cassert>
27#include <iterator>
28#include <map>
29#include <utility>
30
31using namespace clang;
32using llvm::RewriteBuffer;
33
34//===----------------------------------------------------------------------===//
35// Rewriter class
36//===----------------------------------------------------------------------===//
37
38/// Return true if this character is non-new-line whitespace:
39/// ' ', '\\t', '\\f', '\\v', '\\r'.
40static inline bool isWhitespaceExceptNL(unsigned char c) {
41 return c == ' ' || c == '\t' || c == '\f' || c == '\v' || c == '\r';
42}
43
44/// getRangeSize - Return the size in bytes of the specified range if they
45/// are in the same file. If not, this returns -1.
47 RewriteOptions opts) const {
48 if (!isRewritable(Range.getBegin()) ||
49 !isRewritable(Range.getEnd())) return -1;
50
51 FileID StartFileID, EndFileID;
52 unsigned StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
53 unsigned EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
54
55 if (StartFileID != EndFileID)
56 return -1;
57
58 // If edits have been made to this buffer, the delta between the range may
59 // have changed.
60 std::map<FileID, RewriteBuffer>::const_iterator I =
61 RewriteBuffers.find(StartFileID);
62 if (I != RewriteBuffers.end()) {
63 const RewriteBuffer &RB = I->second;
64 EndOff = RB.getMappedOffset(EndOff, opts.IncludeInsertsAtEndOfRange);
65 StartOff = RB.getMappedOffset(StartOff, !opts.IncludeInsertsAtBeginOfRange);
66 }
67
68 // Adjust the end offset to the end of the last token, instead of being the
69 // start of the last token if this is a token range.
70 if (Range.isTokenRange())
71 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
72
73 return EndOff-StartOff;
74}
75
78}
79
80/// getRewrittenText - Return the rewritten form of the text in the specified
81/// range. If the start or end of the range was unrewritable or if they are
82/// in different buffers, this returns an empty string.
83///
84/// Note that this method is not particularly efficient.
86 if (!isRewritable(Range.getBegin()) ||
88 return {};
89
90 FileID StartFileID, EndFileID;
91 unsigned StartOff, EndOff;
92 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
93 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
94
95 if (StartFileID != EndFileID)
96 return {}; // Start and end in different buffers.
97
98 // If edits have been made to this buffer, the delta between the range may
99 // have changed.
100 std::map<FileID, RewriteBuffer>::const_iterator I =
101 RewriteBuffers.find(StartFileID);
102 if (I == RewriteBuffers.end()) {
103 // If the buffer hasn't been rewritten, just return the text from the input.
104 const char *Ptr = SourceMgr->getCharacterData(Range.getBegin());
105
106 // Adjust the end offset to the end of the last token, instead of being the
107 // start of the last token.
108 if (Range.isTokenRange())
109 EndOff +=
110 Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
111 return std::string(Ptr, Ptr+EndOff-StartOff);
112 }
113
114 const RewriteBuffer &RB = I->second;
115 EndOff = RB.getMappedOffset(EndOff, true);
116 StartOff = RB.getMappedOffset(StartOff);
117
118 // Adjust the end offset to the end of the last token, instead of being the
119 // start of the last token.
120 if (Range.isTokenRange())
121 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
122
123 // Advance the iterators to the right spot, yay for linear time algorithms.
124 RewriteBuffer::iterator Start = RB.begin();
125 std::advance(Start, StartOff);
126 RewriteBuffer::iterator End = Start;
127 assert(EndOff >= StartOff && "Invalid iteration distance");
128 std::advance(End, EndOff-StartOff);
129
130 return std::string(Start, End);
131}
132
133unsigned Rewriter::getLocationOffsetAndFileID(SourceLocation Loc,
134 FileID &FID) const {
135 assert(Loc.isValid() && "Invalid location");
136 std::pair<FileID, unsigned> V = SourceMgr->getDecomposedLoc(Loc);
137 FID = V.first;
138 return V.second;
139}
140
141/// getEditBuffer - Get or create a RewriteBuffer for the specified FileID.
142RewriteBuffer &Rewriter::getEditBuffer(FileID FID) {
143 std::map<FileID, RewriteBuffer>::iterator I =
144 RewriteBuffers.lower_bound(FID);
145 if (I != RewriteBuffers.end() && I->first == FID)
146 return I->second;
147 I = RewriteBuffers.insert(I, std::make_pair(FID, RewriteBuffer()));
148
149 StringRef MB = SourceMgr->getBufferData(FID);
150 I->second.Initialize(MB.begin(), MB.end());
151
152 return I->second;
153}
154
155/// InsertText - Insert the specified string at the specified location in the
156/// original buffer.
158 bool InsertAfter, bool indentNewLines) {
159 if (!isRewritable(Loc)) return true;
160 FileID FID;
161 unsigned StartOffs = getLocationOffsetAndFileID(Loc, FID);
162
163 SmallString<128> indentedStr;
164 if (indentNewLines && Str.contains('\n')) {
165 StringRef MB = SourceMgr->getBufferData(FID);
166
167 unsigned lineNo = SourceMgr->getLineNumber(FID, StartOffs) - 1;
168 const SrcMgr::ContentCache *Content =
169 &SourceMgr->getSLocEntry(FID).getFile().getContentCache();
170 unsigned lineOffs = Content->SourceLineCache[lineNo];
171
172 // Find the whitespace at the start of the line.
173 StringRef indentSpace;
174 {
175 unsigned i = lineOffs;
176 while (isWhitespaceExceptNL(MB[i]))
177 ++i;
178 indentSpace = MB.substr(lineOffs, i-lineOffs);
179 }
180
182 Str.split(lines, "\n");
183
184 for (unsigned i = 0, e = lines.size(); i != e; ++i) {
185 indentedStr += lines[i];
186 if (i < e-1) {
187 indentedStr += '\n';
188 indentedStr += indentSpace;
189 }
190 }
191 Str = indentedStr.str();
192 }
193
194 getEditBuffer(FID).InsertText(StartOffs, Str, InsertAfter);
195 return false;
196}
197
199 if (!isRewritable(Loc)) return true;
200 FileID FID;
201 unsigned StartOffs = getLocationOffsetAndFileID(Loc, FID);
202 RewriteOptions rangeOpts;
203 rangeOpts.IncludeInsertsAtBeginOfRange = false;
204 StartOffs += getRangeSize(SourceRange(Loc, Loc), rangeOpts);
205 getEditBuffer(FID).InsertText(StartOffs, Str, /*InsertAfter*/true);
206 return false;
207}
208
209/// RemoveText - Remove the specified text region.
210bool Rewriter::RemoveText(SourceLocation Start, unsigned Length,
211 RewriteOptions opts) {
212 if (!isRewritable(Start)) return true;
213 FileID FID;
214 unsigned StartOffs = getLocationOffsetAndFileID(Start, FID);
215 getEditBuffer(FID).RemoveText(StartOffs, Length, opts.RemoveLineIfEmpty);
216 return false;
217}
218
219/// ReplaceText - This method replaces a range of characters in the input
220/// buffer with a new string. This is effectively a combined "remove/insert"
221/// operation.
222bool Rewriter::ReplaceText(SourceLocation Start, unsigned OrigLength,
223 StringRef NewStr) {
224 if (!isRewritable(Start)) return true;
225 FileID StartFileID;
226 unsigned StartOffs = getLocationOffsetAndFileID(Start, StartFileID);
227
228 getEditBuffer(StartFileID).ReplaceText(StartOffs, OrigLength, NewStr);
229 return false;
230}
231
232bool Rewriter::ReplaceText(SourceRange range, SourceRange replacementRange) {
233 if (!isRewritable(range.getBegin())) return true;
234 if (!isRewritable(range.getEnd())) return true;
235 if (replacementRange.isInvalid()) return true;
236 SourceLocation start = range.getBegin();
237 unsigned origLength = getRangeSize(range);
238 unsigned newLength = getRangeSize(replacementRange);
239 FileID FID;
240 unsigned newOffs = getLocationOffsetAndFileID(replacementRange.getBegin(),
241 FID);
242 StringRef MB = SourceMgr->getBufferData(FID);
243 return ReplaceText(start, origLength, MB.substr(newOffs, newLength));
244}
245
247 SourceLocation parentIndent) {
248 if (range.isInvalid()) return true;
249 if (!isRewritable(range.getBegin())) return true;
250 if (!isRewritable(range.getEnd())) return true;
251 if (!isRewritable(parentIndent)) return true;
252
253 FileID StartFileID, EndFileID, parentFileID;
254 unsigned StartOff, EndOff, parentOff;
255
256 StartOff = getLocationOffsetAndFileID(range.getBegin(), StartFileID);
257 EndOff = getLocationOffsetAndFileID(range.getEnd(), EndFileID);
258 parentOff = getLocationOffsetAndFileID(parentIndent, parentFileID);
259
260 if (StartFileID != EndFileID || StartFileID != parentFileID)
261 return true;
262 if (StartOff > EndOff)
263 return true;
264
265 FileID FID = StartFileID;
266 StringRef MB = SourceMgr->getBufferData(FID);
267
268 unsigned parentLineNo = SourceMgr->getLineNumber(FID, parentOff) - 1;
269 unsigned startLineNo = SourceMgr->getLineNumber(FID, StartOff) - 1;
270 unsigned endLineNo = SourceMgr->getLineNumber(FID, EndOff) - 1;
271
272 const SrcMgr::ContentCache *Content =
273 &SourceMgr->getSLocEntry(FID).getFile().getContentCache();
274
275 // Find where the lines start.
276 unsigned parentLineOffs = Content->SourceLineCache[parentLineNo];
277 unsigned startLineOffs = Content->SourceLineCache[startLineNo];
278
279 // Find the whitespace at the start of each line.
280 StringRef parentSpace, startSpace;
281 {
282 unsigned i = parentLineOffs;
283 while (isWhitespaceExceptNL(MB[i]))
284 ++i;
285 parentSpace = MB.substr(parentLineOffs, i-parentLineOffs);
286
287 i = startLineOffs;
288 while (isWhitespaceExceptNL(MB[i]))
289 ++i;
290 startSpace = MB.substr(startLineOffs, i-startLineOffs);
291 }
292 if (parentSpace.size() >= startSpace.size())
293 return true;
294 if (!startSpace.starts_with(parentSpace))
295 return true;
296
297 StringRef indent = startSpace.substr(parentSpace.size());
298
299 // Indent the lines between start/end offsets.
300 RewriteBuffer &RB = getEditBuffer(FID);
301 for (unsigned lineNo = startLineNo; lineNo <= endLineNo; ++lineNo) {
302 unsigned offs = Content->SourceLineCache[lineNo];
303 unsigned i = offs;
304 while (isWhitespaceExceptNL(MB[i]))
305 ++i;
306 StringRef origIndent = MB.substr(offs, i-offs);
307 if (origIndent.starts_with(startSpace))
308 RB.InsertText(offs, indent, /*InsertAfter=*/false);
309 }
310
311 return false;
312}
313
315 bool AllWritten = true;
316 auto& Diag = getSourceMgr().getDiagnostics();
317 unsigned OverwriteFailure = Diag.getCustomDiagID(
318 DiagnosticsEngine::Error, "unable to overwrite file %0: %1");
319 for (buffer_iterator I = buffer_begin(), E = buffer_end(); I != E; ++I) {
323 if (auto Error = llvm::writeToOutput(Path, [&](llvm::raw_ostream &OS) {
324 I->second.write(OS);
325 return llvm::Error::success();
326 })) {
327 Diag.Report(OverwriteFailure)
328 << Entry->getName() << llvm::toString(std::move(Error));
329 AllWritten = false;
330 }
331 }
332 return !AllWritten;
333}
#define V(N, I)
Definition: ASTContext.h:3341
Defines the Diagnostic-related interfaces.
IndirectLocalPath & Path
Expr * E
Defines the Diagnostic IDs-related interfaces.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
static bool isWhitespaceExceptNL(unsigned char c)
Return true if this character is non-new-line whitespace: ' ', '\t', '\f', '\v', '\r'.
Definition: Rewriter.cpp:40
SourceRange Range
Definition: SemaObjC.cpp:758
SourceLocation Loc
Definition: SemaObjC.cpp:759
Defines the clang::SourceLocation class and associated facilities.
Defines the SourceManager interface.
__device__ __2f16 float c
Represents a character-granular source range.
static CharSourceRange getTokenRange(SourceRange R)
StringRef getName() const
The name of this FileEntry.
Definition: FileEntry.h:61
An opaque identifier used by SourceManager which refers to a source file (MemoryBuffer) along with it...
bool makeAbsolutePath(SmallVectorImpl< char > &Path) const
Makes Path absolute taking into account FileSystemOptions and the working directory option.
static unsigned MeasureTokenLength(SourceLocation Loc, const SourceManager &SM, const LangOptions &LangOpts)
MeasureTokenLength - Relex the token at the specified location and return its length in bytes in the ...
Definition: Lexer.cpp:499
std::map< FileID, llvm::RewriteBuffer >::iterator buffer_iterator
Definition: Rewriter.h:65
int getRangeSize(SourceRange Range, RewriteOptions opts=RewriteOptions()) const
getRangeSize - Return the size in bytes of the specified range if they are in the same file.
Definition: Rewriter.cpp:76
bool InsertText(SourceLocation Loc, StringRef Str, bool InsertAfter=true, bool indentNewLines=false)
InsertText - Insert the specified string at the specified location in the original buffer.
Definition: Rewriter.cpp:157
bool RemoveText(SourceLocation Start, unsigned Length, RewriteOptions opts=RewriteOptions())
RemoveText - Remove the specified text region.
Definition: Rewriter.cpp:210
static bool isRewritable(SourceLocation Loc)
isRewritable - Return true if this location is a raw file location, which is rewritable.
Definition: Rewriter.h:83
buffer_iterator buffer_end()
Definition: Rewriter.h:207
SourceManager & getSourceMgr() const
Definition: Rewriter.h:78
buffer_iterator buffer_begin()
Definition: Rewriter.h:206
std::string getRewrittenText(CharSourceRange Range) const
getRewrittenText - Return the rewritten form of the text in the specified range.
Definition: Rewriter.cpp:85
bool IncreaseIndentation(CharSourceRange range, SourceLocation parentIndent)
Increase indentation for the lines between the given source range.
Definition: Rewriter.cpp:246
bool InsertTextAfterToken(SourceLocation Loc, StringRef Str)
Insert the specified string after the token in the specified location.
Definition: Rewriter.cpp:198
llvm::RewriteBuffer & getEditBuffer(FileID FID)
getEditBuffer - This is like getRewriteBufferFor, but always returns a buffer, and allows you to writ...
Definition: Rewriter.cpp:142
bool overwriteChangedFiles()
overwriteChangedFiles - Save all changed files to disk.
Definition: Rewriter.cpp:314
bool ReplaceText(SourceLocation Start, unsigned OrigLength, StringRef NewStr)
ReplaceText - This method replaces a range of characters in the input buffer with a new string.
Definition: Rewriter.cpp:222
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
DiagnosticsEngine & getDiagnostics() const
OptionalFileEntryRef getFileEntryRefForID(FileID FID) const
Returns the FileEntryRef for the provided FileID.
StringRef getBufferData(FileID FID, bool *Invalid=nullptr) const
Return a StringRef to the source buffer data for the specified FileID.
FileManager & getFileManager() const
const char * getCharacterData(SourceLocation SL, bool *Invalid=nullptr) const
Return a pointer to the start of the specified location in the appropriate spelling MemoryBuffer.
unsigned getLineNumber(FileID FID, unsigned FilePos, bool *Invalid=nullptr) const
Given a SourceLocation, return the spelling line number for the position indicated.
std::pair< FileID, unsigned > getDecomposedLoc(SourceLocation Loc) const
Decompose the specified location into a raw FileID + Offset pair.
const SrcMgr::SLocEntry & getSLocEntry(FileID FID, bool *Invalid=nullptr) const
A trivial tuple used to represent a source range.
bool isInvalid() const
SourceLocation getEnd() const
SourceLocation getBegin() const
One instance of this struct is kept for every file loaded or used.
LineOffsetMapping SourceLineCache
A bump pointer allocated array of offsets for each source line.
const ContentCache & getContentCache() const
const FileInfo & getFile() const
The JSON file list parser is used to communicate input to InstallAPI.
bool IncludeInsertsAtBeginOfRange
Given a source range, true to include previous inserts at the beginning of the range as part of the r...
Definition: Rewriter.h:41
bool IncludeInsertsAtEndOfRange
Given a source range, true to include previous inserts at the end of the range as part of the range i...
Definition: Rewriter.h:45
bool RemoveLineIfEmpty
If true and removing some text leaves a blank line also remove the empty line (false by default).
Definition: Rewriter.h:60