blob: 376678a5d74ec80ccf109f23d59fe4d8237e1b3a [file] [log] [blame]
Chris Lattner8bd12b82007-09-15 22:21:22 +00001//===--- Rewriter.cpp - Code rewriting interface --------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner8bd12b82007-09-15 22:21:22 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the Rewriter class, which is used for code
11// transformations.
12//
13//===----------------------------------------------------------------------===//
14
15#include "clang/Rewrite/Rewriter.h"
Chris Lattner01c57482007-10-17 22:35:30 +000016#include "clang/AST/Stmt.h"
Ted Kremenek2c3352b2008-10-07 23:08:39 +000017#include "clang/AST/Decl.h"
Chris Lattner9d62a5b2007-10-17 21:23:07 +000018#include "clang/Lex/Lexer.h"
Chris Lattner8a12c272007-10-11 18:38:32 +000019#include "clang/Basic/SourceManager.h"
Ted Kremeneka95d3752008-09-13 05:16:45 +000020#include "llvm/Support/raw_ostream.h"
Chris Lattner8bd12b82007-09-15 22:21:22 +000021using namespace clang;
22
Nick Lewycky0ade8082010-04-16 18:49:45 +000023llvm::raw_ostream &RewriteBuffer::write(llvm::raw_ostream &os) const {
24 // FIXME: eliminate the copy by writing out each chunk at a time
25 os << std::string(begin(), end());
26 return os;
27}
28
Chris Lattner8bd12b82007-09-15 22:21:22 +000029void RewriteBuffer::RemoveText(unsigned OrigOffset, unsigned Size) {
Chris Lattner7c239602007-10-13 00:11:23 +000030 // Nothing to remove, exit early.
31 if (Size == 0) return;
32
33 unsigned RealOffset = getMappedOffset(OrigOffset, true);
34 assert(RealOffset+Size < Buffer.size() && "Invalid location");
Mike Stump1eb44332009-09-09 15:08:12 +000035
Chris Lattner7c239602007-10-13 00:11:23 +000036 // Remove the dead characters.
Chris Lattnerfebe7192008-04-14 07:17:29 +000037 Buffer.erase(RealOffset, Size);
Chris Lattner7c239602007-10-13 00:11:23 +000038
39 // Add a delta so that future changes are offset correctly.
Eli Friedmana0978c22009-05-18 13:56:52 +000040 AddReplaceDelta(OrigOffset, -Size);
Chris Lattner8bd12b82007-09-15 22:21:22 +000041}
42
Daniel Dunbard7407dc2009-08-19 19:10:30 +000043void RewriteBuffer::InsertText(unsigned OrigOffset, const llvm::StringRef &Str,
Ted Kremenek886c8db2008-03-18 21:17:59 +000044 bool InsertAfter) {
Mike Stump1eb44332009-09-09 15:08:12 +000045
Chris Lattner03b07102007-10-13 00:21:23 +000046 // Nothing to insert, exit early.
Daniel Dunbard7407dc2009-08-19 19:10:30 +000047 if (Str.empty()) return;
Chris Lattnerfebe7192008-04-14 07:17:29 +000048
Ted Kremenek886c8db2008-03-18 21:17:59 +000049 unsigned RealOffset = getMappedOffset(OrigOffset, InsertAfter);
Daniel Dunbard7407dc2009-08-19 19:10:30 +000050 Buffer.insert(RealOffset, Str.begin(), Str.end());
Mike Stump1eb44332009-09-09 15:08:12 +000051
Chris Lattner03b07102007-10-13 00:21:23 +000052 // Add a delta so that future changes are offset correctly.
Daniel Dunbard7407dc2009-08-19 19:10:30 +000053 AddInsertDelta(OrigOffset, Str.size());
Chris Lattner8bd12b82007-09-15 22:21:22 +000054}
Chris Lattner8a12c272007-10-11 18:38:32 +000055
Chris Lattner7c239602007-10-13 00:11:23 +000056/// ReplaceText - This method replaces a range of characters in the input
Chris Lattnerfebe7192008-04-14 07:17:29 +000057/// buffer with a new string. This is effectively a combined "remove+insert"
Chris Lattner7c239602007-10-13 00:11:23 +000058/// operation.
59void RewriteBuffer::ReplaceText(unsigned OrigOffset, unsigned OrigLength,
Daniel Dunbard7407dc2009-08-19 19:10:30 +000060 const llvm::StringRef &NewStr) {
Eli Friedmana0978c22009-05-18 13:56:52 +000061 unsigned RealOffset = getMappedOffset(OrigOffset, true);
Chris Lattnerfebe7192008-04-14 07:17:29 +000062 Buffer.erase(RealOffset, OrigLength);
Daniel Dunbard7407dc2009-08-19 19:10:30 +000063 Buffer.insert(RealOffset, NewStr.begin(), NewStr.end());
64 if (OrigLength != NewStr.size())
65 AddReplaceDelta(OrigOffset, NewStr.size() - OrigLength);
Chris Lattner7c239602007-10-13 00:11:23 +000066}
Chris Lattner8a12c272007-10-11 18:38:32 +000067
68
69//===----------------------------------------------------------------------===//
70// Rewriter class
71//===----------------------------------------------------------------------===//
72
Chris Lattner311ff022007-10-16 22:36:42 +000073/// getRangeSize - Return the size in bytes of the specified range if they
74/// are in the same file. If not, this returns -1.
75int Rewriter::getRangeSize(SourceRange Range) const {
76 if (!isRewritable(Range.getBegin()) ||
77 !isRewritable(Range.getEnd())) return -1;
Mike Stump1eb44332009-09-09 15:08:12 +000078
Chris Lattner2b2453a2009-01-17 06:22:33 +000079 FileID StartFileID, EndFileID;
80 unsigned StartOff, EndOff;
Mike Stump1eb44332009-09-09 15:08:12 +000081
Chris Lattner311ff022007-10-16 22:36:42 +000082 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
83 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
Mike Stump1eb44332009-09-09 15:08:12 +000084
Chris Lattner311ff022007-10-16 22:36:42 +000085 if (StartFileID != EndFileID)
86 return -1;
Mike Stump1eb44332009-09-09 15:08:12 +000087
Chris Lattnerd6690b22007-10-25 17:18:59 +000088 // If edits have been made to this buffer, the delta between the range may
89 // have changed.
Chris Lattner2b2453a2009-01-17 06:22:33 +000090 std::map<FileID, RewriteBuffer>::const_iterator I =
Chris Lattner075eb6e2007-10-25 17:17:34 +000091 RewriteBuffers.find(StartFileID);
Chris Lattnerd6690b22007-10-25 17:18:59 +000092 if (I != RewriteBuffers.end()) {
Chris Lattner075eb6e2007-10-25 17:17:34 +000093 const RewriteBuffer &RB = I->second;
Chris Lattnerd6690b22007-10-25 17:18:59 +000094 EndOff = RB.getMappedOffset(EndOff, true);
95 StartOff = RB.getMappedOffset(StartOff);
Chris Lattner075eb6e2007-10-25 17:17:34 +000096 }
97
Mike Stump1eb44332009-09-09 15:08:12 +000098
Chris Lattner9d62a5b2007-10-17 21:23:07 +000099 // Adjust the end offset to the end of the last token, instead of being the
100 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000101 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Mike Stump1eb44332009-09-09 15:08:12 +0000102
Chris Lattnerd6690b22007-10-25 17:18:59 +0000103 return EndOff-StartOff;
Chris Lattner311ff022007-10-16 22:36:42 +0000104}
105
Ted Kremenek6a12a142010-01-07 18:00:35 +0000106/// getRewrittenText - Return the rewritten form of the text in the specified
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000107/// range. If the start or end of the range was unrewritable or if they are
Mike Stump1eb44332009-09-09 15:08:12 +0000108/// in different buffers, this returns an empty string.
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000109///
110/// Note that this method is not particularly efficient.
111///
Ted Kremenek6a12a142010-01-07 18:00:35 +0000112std::string Rewriter::getRewrittenText(SourceRange Range) const {
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000113 if (!isRewritable(Range.getBegin()) ||
114 !isRewritable(Range.getEnd()))
115 return "";
Mike Stump1eb44332009-09-09 15:08:12 +0000116
Chris Lattner2b2453a2009-01-17 06:22:33 +0000117 FileID StartFileID, EndFileID;
118 unsigned StartOff, EndOff;
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000119 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
120 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
Mike Stump1eb44332009-09-09 15:08:12 +0000121
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000122 if (StartFileID != EndFileID)
123 return ""; // Start and end in different buffers.
Mike Stump1eb44332009-09-09 15:08:12 +0000124
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000125 // If edits have been made to this buffer, the delta between the range may
126 // have changed.
Chris Lattner2b2453a2009-01-17 06:22:33 +0000127 std::map<FileID, RewriteBuffer>::const_iterator I =
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000128 RewriteBuffers.find(StartFileID);
129 if (I == RewriteBuffers.end()) {
130 // If the buffer hasn't been rewritten, just return the text from the input.
131 const char *Ptr = SourceMgr->getCharacterData(Range.getBegin());
Mike Stump1eb44332009-09-09 15:08:12 +0000132
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000133 // Adjust the end offset to the end of the last token, instead of being the
134 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000135 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000136 return std::string(Ptr, Ptr+EndOff-StartOff);
137 }
Mike Stump1eb44332009-09-09 15:08:12 +0000138
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000139 const RewriteBuffer &RB = I->second;
140 EndOff = RB.getMappedOffset(EndOff, true);
141 StartOff = RB.getMappedOffset(StartOff);
Mike Stump1eb44332009-09-09 15:08:12 +0000142
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000143 // Adjust the end offset to the end of the last token, instead of being the
144 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000145 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000146
147 // Advance the iterators to the right spot, yay for linear time algorithms.
148 RewriteBuffer::iterator Start = RB.begin();
149 std::advance(Start, StartOff);
150 RewriteBuffer::iterator End = Start;
151 std::advance(End, EndOff-StartOff);
Mike Stump1eb44332009-09-09 15:08:12 +0000152
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000153 return std::string(Start, End);
154}
Chris Lattner311ff022007-10-16 22:36:42 +0000155
Chris Lattner7c239602007-10-13 00:11:23 +0000156unsigned Rewriter::getLocationOffsetAndFileID(SourceLocation Loc,
Chris Lattner2b2453a2009-01-17 06:22:33 +0000157 FileID &FID) const {
Chris Lattner54bd7cb2008-05-28 16:35:02 +0000158 assert(Loc.isValid() && "Invalid location");
Chris Lattnerde7aeef2009-01-26 00:43:02 +0000159 std::pair<FileID,unsigned> V = SourceMgr->getDecomposedLoc(Loc);
Chris Lattner2b2453a2009-01-17 06:22:33 +0000160 FID = V.first;
Chris Lattner7c239602007-10-13 00:11:23 +0000161 return V.second;
162}
163
164
Chris Lattner8a12c272007-10-11 18:38:32 +0000165/// getEditBuffer - Get or create a RewriteBuffer for the specified FileID.
166///
Chris Lattner2b2453a2009-01-17 06:22:33 +0000167RewriteBuffer &Rewriter::getEditBuffer(FileID FID) {
168 std::map<FileID, RewriteBuffer>::iterator I =
169 RewriteBuffers.lower_bound(FID);
Mike Stump1eb44332009-09-09 15:08:12 +0000170 if (I != RewriteBuffers.end() && I->first == FID)
Chris Lattner8a12c272007-10-11 18:38:32 +0000171 return I->second;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000172 I = RewriteBuffers.insert(I, std::make_pair(FID, RewriteBuffer()));
Mike Stump1eb44332009-09-09 15:08:12 +0000173
Benjamin Kramerf6ac97b2010-03-16 14:14:31 +0000174 llvm::StringRef MB = SourceMgr->getBufferData(FID);
175 I->second.Initialize(MB.begin(), MB.end());
Mike Stump1eb44332009-09-09 15:08:12 +0000176
Chris Lattner8a12c272007-10-11 18:38:32 +0000177 return I->second;
178}
179
Chris Lattner54a2f072007-11-02 17:26:47 +0000180/// InsertText - Insert the specified string at the specified location in the
Chris Lattneraadaf782008-01-31 19:51:04 +0000181/// original buffer.
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000182bool Rewriter::InsertText(SourceLocation Loc, const llvm::StringRef &Str,
183 bool InsertAfter) {
Chris Lattnerdcbc5b02008-01-31 19:37:57 +0000184 if (!isRewritable(Loc)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000185 FileID FID;
186 unsigned StartOffs = getLocationOffsetAndFileID(Loc, FID);
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000187 getEditBuffer(FID).InsertText(StartOffs, Str, InsertAfter);
Chris Lattnerdcbc5b02008-01-31 19:37:57 +0000188 return false;
Chris Lattner54a2f072007-11-02 17:26:47 +0000189}
190
Chris Lattneraadaf782008-01-31 19:51:04 +0000191/// RemoveText - Remove the specified text region.
192bool Rewriter::RemoveText(SourceLocation Start, unsigned Length) {
193 if (!isRewritable(Start)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000194 FileID FID;
195 unsigned StartOffs = getLocationOffsetAndFileID(Start, FID);
196 getEditBuffer(FID).RemoveText(StartOffs, Length);
Chris Lattneraadaf782008-01-31 19:51:04 +0000197 return false;
Chris Lattner674af952007-10-16 22:51:17 +0000198}
Chris Lattner8a12c272007-10-11 18:38:32 +0000199
Chris Lattner674af952007-10-16 22:51:17 +0000200/// ReplaceText - This method replaces a range of characters in the input
201/// buffer with a new string. This is effectively a combined "remove/insert"
202/// operation.
Chris Lattneraadaf782008-01-31 19:51:04 +0000203bool Rewriter::ReplaceText(SourceLocation Start, unsigned OrigLength,
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000204 const llvm::StringRef &NewStr) {
Chris Lattneraadaf782008-01-31 19:51:04 +0000205 if (!isRewritable(Start)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000206 FileID StartFileID;
Chris Lattner7c239602007-10-13 00:11:23 +0000207 unsigned StartOffs = getLocationOffsetAndFileID(Start, StartFileID);
Mike Stump1eb44332009-09-09 15:08:12 +0000208
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000209 getEditBuffer(StartFileID).ReplaceText(StartOffs, OrigLength, NewStr);
Chris Lattneraadaf782008-01-31 19:51:04 +0000210 return false;
Chris Lattner8a12c272007-10-11 18:38:32 +0000211}
Chris Lattner01c57482007-10-17 22:35:30 +0000212
213/// ReplaceStmt - This replaces a Stmt/Expr with another, using the pretty
214/// printer to generate the replacement code. This returns true if the input
215/// could not be rewritten, or false if successful.
Fariborz Jahanian88906cd2010-02-05 16:43:40 +0000216bool Rewriter::ReplaceStmt(Stmt *From, Stmt *To) {
Chris Lattner01c57482007-10-17 22:35:30 +0000217 // Measaure the old text.
Fariborz Jahanian88906cd2010-02-05 16:43:40 +0000218 int Size = getRangeSize(From->getSourceRange());
Chris Lattner01c57482007-10-17 22:35:30 +0000219 if (Size == -1)
220 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000221
Chris Lattner01c57482007-10-17 22:35:30 +0000222 // Get the new text.
Ted Kremeneka95d3752008-09-13 05:16:45 +0000223 std::string SStr;
224 llvm::raw_string_ostream S(SStr);
Chris Lattnere4f21422009-06-30 01:26:17 +0000225 To->printPretty(S, 0, PrintingPolicy(*LangOpts));
Chris Lattner01c57482007-10-17 22:35:30 +0000226 const std::string &Str = S.str();
227
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000228 ReplaceText(From->getLocStart(), Size, Str);
Chris Lattner01c57482007-10-17 22:35:30 +0000229 return false;
230}