blob: 50f9fa14f16a42632a0a2aacca2119cb9f394fc8 [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"
Douglas Gregorf9b0a582010-03-15 23:33:37 +000021#include <cstdio>
Chris Lattner8bd12b82007-09-15 22:21:22 +000022using namespace clang;
23
Chris Lattner8bd12b82007-09-15 22:21:22 +000024void RewriteBuffer::RemoveText(unsigned OrigOffset, unsigned Size) {
Chris Lattner7c239602007-10-13 00:11:23 +000025 // Nothing to remove, exit early.
26 if (Size == 0) return;
27
28 unsigned RealOffset = getMappedOffset(OrigOffset, true);
29 assert(RealOffset+Size < Buffer.size() && "Invalid location");
Mike Stump1eb44332009-09-09 15:08:12 +000030
Chris Lattner7c239602007-10-13 00:11:23 +000031 // Remove the dead characters.
Chris Lattnerfebe7192008-04-14 07:17:29 +000032 Buffer.erase(RealOffset, Size);
Chris Lattner7c239602007-10-13 00:11:23 +000033
34 // Add a delta so that future changes are offset correctly.
Eli Friedmana0978c22009-05-18 13:56:52 +000035 AddReplaceDelta(OrigOffset, -Size);
Chris Lattner8bd12b82007-09-15 22:21:22 +000036}
37
Daniel Dunbard7407dc2009-08-19 19:10:30 +000038void RewriteBuffer::InsertText(unsigned OrigOffset, const llvm::StringRef &Str,
Ted Kremenek886c8db2008-03-18 21:17:59 +000039 bool InsertAfter) {
Mike Stump1eb44332009-09-09 15:08:12 +000040
Chris Lattner03b07102007-10-13 00:21:23 +000041 // Nothing to insert, exit early.
Daniel Dunbard7407dc2009-08-19 19:10:30 +000042 if (Str.empty()) return;
Chris Lattnerfebe7192008-04-14 07:17:29 +000043
Ted Kremenek886c8db2008-03-18 21:17:59 +000044 unsigned RealOffset = getMappedOffset(OrigOffset, InsertAfter);
Daniel Dunbard7407dc2009-08-19 19:10:30 +000045 Buffer.insert(RealOffset, Str.begin(), Str.end());
Mike Stump1eb44332009-09-09 15:08:12 +000046
Chris Lattner03b07102007-10-13 00:21:23 +000047 // Add a delta so that future changes are offset correctly.
Daniel Dunbard7407dc2009-08-19 19:10:30 +000048 AddInsertDelta(OrigOffset, Str.size());
Chris Lattner8bd12b82007-09-15 22:21:22 +000049}
Chris Lattner8a12c272007-10-11 18:38:32 +000050
Chris Lattner7c239602007-10-13 00:11:23 +000051/// ReplaceText - This method replaces a range of characters in the input
Chris Lattnerfebe7192008-04-14 07:17:29 +000052/// buffer with a new string. This is effectively a combined "remove+insert"
Chris Lattner7c239602007-10-13 00:11:23 +000053/// operation.
54void RewriteBuffer::ReplaceText(unsigned OrigOffset, unsigned OrigLength,
Daniel Dunbard7407dc2009-08-19 19:10:30 +000055 const llvm::StringRef &NewStr) {
Eli Friedmana0978c22009-05-18 13:56:52 +000056 unsigned RealOffset = getMappedOffset(OrigOffset, true);
Chris Lattnerfebe7192008-04-14 07:17:29 +000057 Buffer.erase(RealOffset, OrigLength);
Daniel Dunbard7407dc2009-08-19 19:10:30 +000058 Buffer.insert(RealOffset, NewStr.begin(), NewStr.end());
59 if (OrigLength != NewStr.size())
60 AddReplaceDelta(OrigOffset, NewStr.size() - OrigLength);
Chris Lattner7c239602007-10-13 00:11:23 +000061}
Chris Lattner8a12c272007-10-11 18:38:32 +000062
63
64//===----------------------------------------------------------------------===//
65// Rewriter class
66//===----------------------------------------------------------------------===//
67
Chris Lattner311ff022007-10-16 22:36:42 +000068/// getRangeSize - Return the size in bytes of the specified range if they
69/// are in the same file. If not, this returns -1.
70int Rewriter::getRangeSize(SourceRange Range) const {
71 if (!isRewritable(Range.getBegin()) ||
72 !isRewritable(Range.getEnd())) return -1;
Mike Stump1eb44332009-09-09 15:08:12 +000073
Chris Lattner2b2453a2009-01-17 06:22:33 +000074 FileID StartFileID, EndFileID;
75 unsigned StartOff, EndOff;
Mike Stump1eb44332009-09-09 15:08:12 +000076
Chris Lattner311ff022007-10-16 22:36:42 +000077 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
78 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
Mike Stump1eb44332009-09-09 15:08:12 +000079
Chris Lattner311ff022007-10-16 22:36:42 +000080 if (StartFileID != EndFileID)
81 return -1;
Mike Stump1eb44332009-09-09 15:08:12 +000082
Chris Lattnerd6690b22007-10-25 17:18:59 +000083 // If edits have been made to this buffer, the delta between the range may
84 // have changed.
Chris Lattner2b2453a2009-01-17 06:22:33 +000085 std::map<FileID, RewriteBuffer>::const_iterator I =
Chris Lattner075eb6e2007-10-25 17:17:34 +000086 RewriteBuffers.find(StartFileID);
Chris Lattnerd6690b22007-10-25 17:18:59 +000087 if (I != RewriteBuffers.end()) {
Chris Lattner075eb6e2007-10-25 17:17:34 +000088 const RewriteBuffer &RB = I->second;
Chris Lattnerd6690b22007-10-25 17:18:59 +000089 EndOff = RB.getMappedOffset(EndOff, true);
90 StartOff = RB.getMappedOffset(StartOff);
Chris Lattner075eb6e2007-10-25 17:17:34 +000091 }
92
Mike Stump1eb44332009-09-09 15:08:12 +000093
Chris Lattner9d62a5b2007-10-17 21:23:07 +000094 // Adjust the end offset to the end of the last token, instead of being the
95 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +000096 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Mike Stump1eb44332009-09-09 15:08:12 +000097
Chris Lattnerd6690b22007-10-25 17:18:59 +000098 return EndOff-StartOff;
Chris Lattner311ff022007-10-16 22:36:42 +000099}
100
Ted Kremenek6a12a142010-01-07 18:00:35 +0000101/// getRewrittenText - Return the rewritten form of the text in the specified
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000102/// range. If the start or end of the range was unrewritable or if they are
Mike Stump1eb44332009-09-09 15:08:12 +0000103/// in different buffers, this returns an empty string.
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000104///
105/// Note that this method is not particularly efficient.
106///
Ted Kremenek6a12a142010-01-07 18:00:35 +0000107std::string Rewriter::getRewrittenText(SourceRange Range) const {
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000108 if (!isRewritable(Range.getBegin()) ||
109 !isRewritable(Range.getEnd()))
110 return "";
Mike Stump1eb44332009-09-09 15:08:12 +0000111
Chris Lattner2b2453a2009-01-17 06:22:33 +0000112 FileID StartFileID, EndFileID;
113 unsigned StartOff, EndOff;
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000114 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
115 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
Mike Stump1eb44332009-09-09 15:08:12 +0000116
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000117 if (StartFileID != EndFileID)
118 return ""; // Start and end in different buffers.
Mike Stump1eb44332009-09-09 15:08:12 +0000119
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000120 // If edits have been made to this buffer, the delta between the range may
121 // have changed.
Chris Lattner2b2453a2009-01-17 06:22:33 +0000122 std::map<FileID, RewriteBuffer>::const_iterator I =
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000123 RewriteBuffers.find(StartFileID);
124 if (I == RewriteBuffers.end()) {
125 // If the buffer hasn't been rewritten, just return the text from the input.
126 const char *Ptr = SourceMgr->getCharacterData(Range.getBegin());
Mike Stump1eb44332009-09-09 15:08:12 +0000127
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000128 // Adjust the end offset to the end of the last token, instead of being the
129 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000130 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000131 return std::string(Ptr, Ptr+EndOff-StartOff);
132 }
Mike Stump1eb44332009-09-09 15:08:12 +0000133
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000134 const RewriteBuffer &RB = I->second;
135 EndOff = RB.getMappedOffset(EndOff, true);
136 StartOff = RB.getMappedOffset(StartOff);
Mike Stump1eb44332009-09-09 15:08:12 +0000137
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000138 // Adjust the end offset to the end of the last token, instead of being the
139 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000140 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000141
142 // Advance the iterators to the right spot, yay for linear time algorithms.
143 RewriteBuffer::iterator Start = RB.begin();
144 std::advance(Start, StartOff);
145 RewriteBuffer::iterator End = Start;
146 std::advance(End, EndOff-StartOff);
Mike Stump1eb44332009-09-09 15:08:12 +0000147
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000148 return std::string(Start, End);
149}
Chris Lattner311ff022007-10-16 22:36:42 +0000150
Chris Lattner7c239602007-10-13 00:11:23 +0000151unsigned Rewriter::getLocationOffsetAndFileID(SourceLocation Loc,
Chris Lattner2b2453a2009-01-17 06:22:33 +0000152 FileID &FID) const {
Chris Lattner54bd7cb2008-05-28 16:35:02 +0000153 assert(Loc.isValid() && "Invalid location");
Chris Lattnerde7aeef2009-01-26 00:43:02 +0000154 std::pair<FileID,unsigned> V = SourceMgr->getDecomposedLoc(Loc);
Chris Lattner2b2453a2009-01-17 06:22:33 +0000155 FID = V.first;
Chris Lattner7c239602007-10-13 00:11:23 +0000156 return V.second;
157}
158
159
Chris Lattner8a12c272007-10-11 18:38:32 +0000160/// getEditBuffer - Get or create a RewriteBuffer for the specified FileID.
161///
Chris Lattner2b2453a2009-01-17 06:22:33 +0000162RewriteBuffer &Rewriter::getEditBuffer(FileID FID) {
163 std::map<FileID, RewriteBuffer>::iterator I =
164 RewriteBuffers.lower_bound(FID);
Mike Stump1eb44332009-09-09 15:08:12 +0000165 if (I != RewriteBuffers.end() && I->first == FID)
Chris Lattner8a12c272007-10-11 18:38:32 +0000166 return I->second;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000167 I = RewriteBuffers.insert(I, std::make_pair(FID, RewriteBuffer()));
Mike Stump1eb44332009-09-09 15:08:12 +0000168
Douglas Gregoraea67db2010-03-15 22:54:52 +0000169 llvm::StringRef FileName;
170 std::string ErrorStr;
171
172 std::pair<const char*, const char*> MB
173 = SourceMgr->getBufferData(FID, FileName, ErrorStr);
174 if (!MB.first) {
175 // FIXME: Add a diagnostic object somewhere?
176 fprintf(stderr, "error: cannot open file '%s': %s\n",
177 FileName.str().c_str(), ErrorStr.c_str());
178 }
179
Chris Lattner8a12c272007-10-11 18:38:32 +0000180 I->second.Initialize(MB.first, MB.second);
Mike Stump1eb44332009-09-09 15:08:12 +0000181
Chris Lattner8a12c272007-10-11 18:38:32 +0000182 return I->second;
183}
184
Chris Lattner54a2f072007-11-02 17:26:47 +0000185/// InsertText - Insert the specified string at the specified location in the
Chris Lattneraadaf782008-01-31 19:51:04 +0000186/// original buffer.
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000187bool Rewriter::InsertText(SourceLocation Loc, const llvm::StringRef &Str,
188 bool InsertAfter) {
Chris Lattnerdcbc5b02008-01-31 19:37:57 +0000189 if (!isRewritable(Loc)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000190 FileID FID;
191 unsigned StartOffs = getLocationOffsetAndFileID(Loc, FID);
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000192 getEditBuffer(FID).InsertText(StartOffs, Str, InsertAfter);
Chris Lattnerdcbc5b02008-01-31 19:37:57 +0000193 return false;
Chris Lattner54a2f072007-11-02 17:26:47 +0000194}
195
Chris Lattneraadaf782008-01-31 19:51:04 +0000196/// RemoveText - Remove the specified text region.
197bool Rewriter::RemoveText(SourceLocation Start, unsigned Length) {
198 if (!isRewritable(Start)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000199 FileID FID;
200 unsigned StartOffs = getLocationOffsetAndFileID(Start, FID);
201 getEditBuffer(FID).RemoveText(StartOffs, Length);
Chris Lattneraadaf782008-01-31 19:51:04 +0000202 return false;
Chris Lattner674af952007-10-16 22:51:17 +0000203}
Chris Lattner8a12c272007-10-11 18:38:32 +0000204
Chris Lattner674af952007-10-16 22:51:17 +0000205/// ReplaceText - This method replaces a range of characters in the input
206/// buffer with a new string. This is effectively a combined "remove/insert"
207/// operation.
Chris Lattneraadaf782008-01-31 19:51:04 +0000208bool Rewriter::ReplaceText(SourceLocation Start, unsigned OrigLength,
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000209 const llvm::StringRef &NewStr) {
Chris Lattneraadaf782008-01-31 19:51:04 +0000210 if (!isRewritable(Start)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000211 FileID StartFileID;
Chris Lattner7c239602007-10-13 00:11:23 +0000212 unsigned StartOffs = getLocationOffsetAndFileID(Start, StartFileID);
Mike Stump1eb44332009-09-09 15:08:12 +0000213
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000214 getEditBuffer(StartFileID).ReplaceText(StartOffs, OrigLength, NewStr);
Chris Lattneraadaf782008-01-31 19:51:04 +0000215 return false;
Chris Lattner8a12c272007-10-11 18:38:32 +0000216}
Chris Lattner01c57482007-10-17 22:35:30 +0000217
218/// ReplaceStmt - This replaces a Stmt/Expr with another, using the pretty
219/// printer to generate the replacement code. This returns true if the input
220/// could not be rewritten, or false if successful.
Fariborz Jahanian88906cd2010-02-05 16:43:40 +0000221bool Rewriter::ReplaceStmt(Stmt *From, Stmt *To) {
Chris Lattner01c57482007-10-17 22:35:30 +0000222 // Measaure the old text.
Fariborz Jahanian88906cd2010-02-05 16:43:40 +0000223 int Size = getRangeSize(From->getSourceRange());
Chris Lattner01c57482007-10-17 22:35:30 +0000224 if (Size == -1)
225 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000226
Chris Lattner01c57482007-10-17 22:35:30 +0000227 // Get the new text.
Ted Kremeneka95d3752008-09-13 05:16:45 +0000228 std::string SStr;
229 llvm::raw_string_ostream S(SStr);
Chris Lattnere4f21422009-06-30 01:26:17 +0000230 To->printPretty(S, 0, PrintingPolicy(*LangOpts));
Chris Lattner01c57482007-10-17 22:35:30 +0000231 const std::string &Str = S.str();
232
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000233 ReplaceText(From->getLocStart(), Size, Str);
Chris Lattner01c57482007-10-17 22:35:30 +0000234 return false;
235}
236
237