blob: 9744496ac4fe0b99f13ec6d19cd673bb064ac783 [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
Chris Lattner8bd12b82007-09-15 22:21:22 +000023void RewriteBuffer::RemoveText(unsigned OrigOffset, unsigned Size) {
Chris Lattner7c239602007-10-13 00:11:23 +000024 // Nothing to remove, exit early.
25 if (Size == 0) return;
26
27 unsigned RealOffset = getMappedOffset(OrigOffset, true);
28 assert(RealOffset+Size < Buffer.size() && "Invalid location");
Mike Stump1eb44332009-09-09 15:08:12 +000029
Chris Lattner7c239602007-10-13 00:11:23 +000030 // Remove the dead characters.
Chris Lattnerfebe7192008-04-14 07:17:29 +000031 Buffer.erase(RealOffset, Size);
Chris Lattner7c239602007-10-13 00:11:23 +000032
33 // Add a delta so that future changes are offset correctly.
Eli Friedmana0978c22009-05-18 13:56:52 +000034 AddReplaceDelta(OrigOffset, -Size);
Chris Lattner8bd12b82007-09-15 22:21:22 +000035}
36
Daniel Dunbard7407dc2009-08-19 19:10:30 +000037void RewriteBuffer::InsertText(unsigned OrigOffset, const llvm::StringRef &Str,
Ted Kremenek886c8db2008-03-18 21:17:59 +000038 bool InsertAfter) {
Mike Stump1eb44332009-09-09 15:08:12 +000039
Chris Lattner03b07102007-10-13 00:21:23 +000040 // Nothing to insert, exit early.
Daniel Dunbard7407dc2009-08-19 19:10:30 +000041 if (Str.empty()) return;
Chris Lattnerfebe7192008-04-14 07:17:29 +000042
Ted Kremenek886c8db2008-03-18 21:17:59 +000043 unsigned RealOffset = getMappedOffset(OrigOffset, InsertAfter);
Daniel Dunbard7407dc2009-08-19 19:10:30 +000044 Buffer.insert(RealOffset, Str.begin(), Str.end());
Mike Stump1eb44332009-09-09 15:08:12 +000045
Chris Lattner03b07102007-10-13 00:21:23 +000046 // Add a delta so that future changes are offset correctly.
Daniel Dunbard7407dc2009-08-19 19:10:30 +000047 AddInsertDelta(OrigOffset, Str.size());
Chris Lattner8bd12b82007-09-15 22:21:22 +000048}
Chris Lattner8a12c272007-10-11 18:38:32 +000049
Chris Lattner7c239602007-10-13 00:11:23 +000050/// ReplaceText - This method replaces a range of characters in the input
Chris Lattnerfebe7192008-04-14 07:17:29 +000051/// buffer with a new string. This is effectively a combined "remove+insert"
Chris Lattner7c239602007-10-13 00:11:23 +000052/// operation.
53void RewriteBuffer::ReplaceText(unsigned OrigOffset, unsigned OrigLength,
Daniel Dunbard7407dc2009-08-19 19:10:30 +000054 const llvm::StringRef &NewStr) {
Eli Friedmana0978c22009-05-18 13:56:52 +000055 unsigned RealOffset = getMappedOffset(OrigOffset, true);
Chris Lattnerfebe7192008-04-14 07:17:29 +000056 Buffer.erase(RealOffset, OrigLength);
Daniel Dunbard7407dc2009-08-19 19:10:30 +000057 Buffer.insert(RealOffset, NewStr.begin(), NewStr.end());
58 if (OrigLength != NewStr.size())
59 AddReplaceDelta(OrigOffset, NewStr.size() - OrigLength);
Chris Lattner7c239602007-10-13 00:11:23 +000060}
Chris Lattner8a12c272007-10-11 18:38:32 +000061
62
63//===----------------------------------------------------------------------===//
64// Rewriter class
65//===----------------------------------------------------------------------===//
66
Chris Lattner311ff022007-10-16 22:36:42 +000067/// getRangeSize - Return the size in bytes of the specified range if they
68/// are in the same file. If not, this returns -1.
69int Rewriter::getRangeSize(SourceRange Range) const {
70 if (!isRewritable(Range.getBegin()) ||
71 !isRewritable(Range.getEnd())) return -1;
Mike Stump1eb44332009-09-09 15:08:12 +000072
Chris Lattner2b2453a2009-01-17 06:22:33 +000073 FileID StartFileID, EndFileID;
74 unsigned StartOff, EndOff;
Mike Stump1eb44332009-09-09 15:08:12 +000075
Chris Lattner311ff022007-10-16 22:36:42 +000076 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
77 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
Mike Stump1eb44332009-09-09 15:08:12 +000078
Chris Lattner311ff022007-10-16 22:36:42 +000079 if (StartFileID != EndFileID)
80 return -1;
Mike Stump1eb44332009-09-09 15:08:12 +000081
Chris Lattnerd6690b22007-10-25 17:18:59 +000082 // If edits have been made to this buffer, the delta between the range may
83 // have changed.
Chris Lattner2b2453a2009-01-17 06:22:33 +000084 std::map<FileID, RewriteBuffer>::const_iterator I =
Chris Lattner075eb6e2007-10-25 17:17:34 +000085 RewriteBuffers.find(StartFileID);
Chris Lattnerd6690b22007-10-25 17:18:59 +000086 if (I != RewriteBuffers.end()) {
Chris Lattner075eb6e2007-10-25 17:17:34 +000087 const RewriteBuffer &RB = I->second;
Chris Lattnerd6690b22007-10-25 17:18:59 +000088 EndOff = RB.getMappedOffset(EndOff, true);
89 StartOff = RB.getMappedOffset(StartOff);
Chris Lattner075eb6e2007-10-25 17:17:34 +000090 }
91
Mike Stump1eb44332009-09-09 15:08:12 +000092
Chris Lattner9d62a5b2007-10-17 21:23:07 +000093 // Adjust the end offset to the end of the last token, instead of being the
94 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +000095 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Mike Stump1eb44332009-09-09 15:08:12 +000096
Chris Lattnerd6690b22007-10-25 17:18:59 +000097 return EndOff-StartOff;
Chris Lattner311ff022007-10-16 22:36:42 +000098}
99
Ted Kremenek6a12a142010-01-07 18:00:35 +0000100/// getRewrittenText - Return the rewritten form of the text in the specified
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000101/// range. If the start or end of the range was unrewritable or if they are
Mike Stump1eb44332009-09-09 15:08:12 +0000102/// in different buffers, this returns an empty string.
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000103///
104/// Note that this method is not particularly efficient.
105///
Ted Kremenek6a12a142010-01-07 18:00:35 +0000106std::string Rewriter::getRewrittenText(SourceRange Range) const {
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000107 if (!isRewritable(Range.getBegin()) ||
108 !isRewritable(Range.getEnd()))
109 return "";
Mike Stump1eb44332009-09-09 15:08:12 +0000110
Chris Lattner2b2453a2009-01-17 06:22:33 +0000111 FileID StartFileID, EndFileID;
112 unsigned StartOff, EndOff;
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000113 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
114 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
Mike Stump1eb44332009-09-09 15:08:12 +0000115
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000116 if (StartFileID != EndFileID)
117 return ""; // Start and end in different buffers.
Mike Stump1eb44332009-09-09 15:08:12 +0000118
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000119 // If edits have been made to this buffer, the delta between the range may
120 // have changed.
Chris Lattner2b2453a2009-01-17 06:22:33 +0000121 std::map<FileID, RewriteBuffer>::const_iterator I =
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000122 RewriteBuffers.find(StartFileID);
123 if (I == RewriteBuffers.end()) {
124 // If the buffer hasn't been rewritten, just return the text from the input.
125 const char *Ptr = SourceMgr->getCharacterData(Range.getBegin());
Mike Stump1eb44332009-09-09 15:08:12 +0000126
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000127 // Adjust the end offset to the end of the last token, instead of being the
128 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000129 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000130 return std::string(Ptr, Ptr+EndOff-StartOff);
131 }
Mike Stump1eb44332009-09-09 15:08:12 +0000132
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000133 const RewriteBuffer &RB = I->second;
134 EndOff = RB.getMappedOffset(EndOff, true);
135 StartOff = RB.getMappedOffset(StartOff);
Mike Stump1eb44332009-09-09 15:08:12 +0000136
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000137 // Adjust the end offset to the end of the last token, instead of being the
138 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000139 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000140
141 // Advance the iterators to the right spot, yay for linear time algorithms.
142 RewriteBuffer::iterator Start = RB.begin();
143 std::advance(Start, StartOff);
144 RewriteBuffer::iterator End = Start;
145 std::advance(End, EndOff-StartOff);
Mike Stump1eb44332009-09-09 15:08:12 +0000146
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000147 return std::string(Start, End);
148}
Chris Lattner311ff022007-10-16 22:36:42 +0000149
Chris Lattner7c239602007-10-13 00:11:23 +0000150unsigned Rewriter::getLocationOffsetAndFileID(SourceLocation Loc,
Chris Lattner2b2453a2009-01-17 06:22:33 +0000151 FileID &FID) const {
Chris Lattner54bd7cb2008-05-28 16:35:02 +0000152 assert(Loc.isValid() && "Invalid location");
Chris Lattnerde7aeef2009-01-26 00:43:02 +0000153 std::pair<FileID,unsigned> V = SourceMgr->getDecomposedLoc(Loc);
Chris Lattner2b2453a2009-01-17 06:22:33 +0000154 FID = V.first;
Chris Lattner7c239602007-10-13 00:11:23 +0000155 return V.second;
156}
157
158
Chris Lattner8a12c272007-10-11 18:38:32 +0000159/// getEditBuffer - Get or create a RewriteBuffer for the specified FileID.
160///
Chris Lattner2b2453a2009-01-17 06:22:33 +0000161RewriteBuffer &Rewriter::getEditBuffer(FileID FID) {
162 std::map<FileID, RewriteBuffer>::iterator I =
163 RewriteBuffers.lower_bound(FID);
Mike Stump1eb44332009-09-09 15:08:12 +0000164 if (I != RewriteBuffers.end() && I->first == FID)
Chris Lattner8a12c272007-10-11 18:38:32 +0000165 return I->second;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000166 I = RewriteBuffers.insert(I, std::make_pair(FID, RewriteBuffer()));
Mike Stump1eb44332009-09-09 15:08:12 +0000167
Chris Lattner2b2453a2009-01-17 06:22:33 +0000168 std::pair<const char*, const char*> MB = SourceMgr->getBufferData(FID);
Chris Lattner8a12c272007-10-11 18:38:32 +0000169 I->second.Initialize(MB.first, MB.second);
Mike Stump1eb44332009-09-09 15:08:12 +0000170
Chris Lattner8a12c272007-10-11 18:38:32 +0000171 return I->second;
172}
173
Chris Lattner54a2f072007-11-02 17:26:47 +0000174/// InsertText - Insert the specified string at the specified location in the
Chris Lattneraadaf782008-01-31 19:51:04 +0000175/// original buffer.
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000176bool Rewriter::InsertText(SourceLocation Loc, const llvm::StringRef &Str,
177 bool InsertAfter) {
Chris Lattnerdcbc5b02008-01-31 19:37:57 +0000178 if (!isRewritable(Loc)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000179 FileID FID;
180 unsigned StartOffs = getLocationOffsetAndFileID(Loc, FID);
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000181 getEditBuffer(FID).InsertText(StartOffs, Str, InsertAfter);
Chris Lattnerdcbc5b02008-01-31 19:37:57 +0000182 return false;
Chris Lattner54a2f072007-11-02 17:26:47 +0000183}
184
Chris Lattneraadaf782008-01-31 19:51:04 +0000185/// RemoveText - Remove the specified text region.
186bool Rewriter::RemoveText(SourceLocation Start, unsigned Length) {
187 if (!isRewritable(Start)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000188 FileID FID;
189 unsigned StartOffs = getLocationOffsetAndFileID(Start, FID);
190 getEditBuffer(FID).RemoveText(StartOffs, Length);
Chris Lattneraadaf782008-01-31 19:51:04 +0000191 return false;
Chris Lattner674af952007-10-16 22:51:17 +0000192}
Chris Lattner8a12c272007-10-11 18:38:32 +0000193
Chris Lattner674af952007-10-16 22:51:17 +0000194/// ReplaceText - This method replaces a range of characters in the input
195/// buffer with a new string. This is effectively a combined "remove/insert"
196/// operation.
Chris Lattneraadaf782008-01-31 19:51:04 +0000197bool Rewriter::ReplaceText(SourceLocation Start, unsigned OrigLength,
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000198 const llvm::StringRef &NewStr) {
Chris Lattneraadaf782008-01-31 19:51:04 +0000199 if (!isRewritable(Start)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000200 FileID StartFileID;
Chris Lattner7c239602007-10-13 00:11:23 +0000201 unsigned StartOffs = getLocationOffsetAndFileID(Start, StartFileID);
Mike Stump1eb44332009-09-09 15:08:12 +0000202
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000203 getEditBuffer(StartFileID).ReplaceText(StartOffs, OrigLength, NewStr);
Chris Lattneraadaf782008-01-31 19:51:04 +0000204 return false;
Chris Lattner8a12c272007-10-11 18:38:32 +0000205}
Chris Lattner01c57482007-10-17 22:35:30 +0000206
207/// ReplaceStmt - This replaces a Stmt/Expr with another, using the pretty
208/// printer to generate the replacement code. This returns true if the input
209/// could not be rewritten, or false if successful.
Fariborz Jahanian88906cd2010-02-05 16:43:40 +0000210bool Rewriter::ReplaceStmt(Stmt *From, Stmt *To) {
Chris Lattner01c57482007-10-17 22:35:30 +0000211 // Measaure the old text.
Fariborz Jahanian88906cd2010-02-05 16:43:40 +0000212 int Size = getRangeSize(From->getSourceRange());
Chris Lattner01c57482007-10-17 22:35:30 +0000213 if (Size == -1)
214 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000215
Chris Lattner01c57482007-10-17 22:35:30 +0000216 // Get the new text.
Ted Kremeneka95d3752008-09-13 05:16:45 +0000217 std::string SStr;
218 llvm::raw_string_ostream S(SStr);
Chris Lattnere4f21422009-06-30 01:26:17 +0000219 To->printPretty(S, 0, PrintingPolicy(*LangOpts));
Chris Lattner01c57482007-10-17 22:35:30 +0000220 const std::string &Str = S.str();
221
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000222 ReplaceText(From->getLocStart(), Size, Str);
Chris Lattner01c57482007-10-17 22:35:30 +0000223 return false;
224}
225
226