blob: 8b0bf91a959fae04dfd6465931cd859ae88591ae [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.
Chris Lattner0a76aae2010-06-18 22:45:06 +000075int Rewriter::getRangeSize(const CharSourceRange &Range) const {
Chris Lattner311ff022007-10-16 22:36:42 +000076 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
Chris Lattner0a76aae2010-06-18 22:45:06 +0000100 // start of the last token if this is a token range.
101 if (Range.isTokenRange())
102 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Mike Stump1eb44332009-09-09 15:08:12 +0000103
Chris Lattnerd6690b22007-10-25 17:18:59 +0000104 return EndOff-StartOff;
Chris Lattner311ff022007-10-16 22:36:42 +0000105}
106
Chris Lattner0a76aae2010-06-18 22:45:06 +0000107int Rewriter::getRangeSize(SourceRange Range) const {
108 return getRangeSize(CharSourceRange::getTokenRange(Range));
109}
110
111
Ted Kremenek6a12a142010-01-07 18:00:35 +0000112/// getRewrittenText - Return the rewritten form of the text in the specified
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000113/// range. If the start or end of the range was unrewritable or if they are
Mike Stump1eb44332009-09-09 15:08:12 +0000114/// in different buffers, this returns an empty string.
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000115///
116/// Note that this method is not particularly efficient.
117///
Ted Kremenek6a12a142010-01-07 18:00:35 +0000118std::string Rewriter::getRewrittenText(SourceRange Range) const {
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000119 if (!isRewritable(Range.getBegin()) ||
120 !isRewritable(Range.getEnd()))
121 return "";
Mike Stump1eb44332009-09-09 15:08:12 +0000122
Chris Lattner2b2453a2009-01-17 06:22:33 +0000123 FileID StartFileID, EndFileID;
124 unsigned StartOff, EndOff;
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000125 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
126 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
Mike Stump1eb44332009-09-09 15:08:12 +0000127
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000128 if (StartFileID != EndFileID)
129 return ""; // Start and end in different buffers.
Mike Stump1eb44332009-09-09 15:08:12 +0000130
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000131 // If edits have been made to this buffer, the delta between the range may
132 // have changed.
Chris Lattner2b2453a2009-01-17 06:22:33 +0000133 std::map<FileID, RewriteBuffer>::const_iterator I =
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000134 RewriteBuffers.find(StartFileID);
135 if (I == RewriteBuffers.end()) {
136 // If the buffer hasn't been rewritten, just return the text from the input.
137 const char *Ptr = SourceMgr->getCharacterData(Range.getBegin());
Mike Stump1eb44332009-09-09 15:08:12 +0000138
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000139 // Adjust the end offset to the end of the last token, instead of being the
140 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000141 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000142 return std::string(Ptr, Ptr+EndOff-StartOff);
143 }
Mike Stump1eb44332009-09-09 15:08:12 +0000144
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000145 const RewriteBuffer &RB = I->second;
146 EndOff = RB.getMappedOffset(EndOff, true);
147 StartOff = RB.getMappedOffset(StartOff);
Mike Stump1eb44332009-09-09 15:08:12 +0000148
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000149 // Adjust the end offset to the end of the last token, instead of being the
150 // start of the last token.
Chris Lattner2c78b872009-04-14 23:22:57 +0000151 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr, *LangOpts);
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000152
153 // Advance the iterators to the right spot, yay for linear time algorithms.
154 RewriteBuffer::iterator Start = RB.begin();
155 std::advance(Start, StartOff);
156 RewriteBuffer::iterator End = Start;
157 std::advance(End, EndOff-StartOff);
Mike Stump1eb44332009-09-09 15:08:12 +0000158
Chris Lattnerb5cd09a2008-10-03 23:31:16 +0000159 return std::string(Start, End);
160}
Chris Lattner311ff022007-10-16 22:36:42 +0000161
Chris Lattner7c239602007-10-13 00:11:23 +0000162unsigned Rewriter::getLocationOffsetAndFileID(SourceLocation Loc,
Chris Lattner2b2453a2009-01-17 06:22:33 +0000163 FileID &FID) const {
Chris Lattner54bd7cb2008-05-28 16:35:02 +0000164 assert(Loc.isValid() && "Invalid location");
Chris Lattnerde7aeef2009-01-26 00:43:02 +0000165 std::pair<FileID,unsigned> V = SourceMgr->getDecomposedLoc(Loc);
Chris Lattner2b2453a2009-01-17 06:22:33 +0000166 FID = V.first;
Chris Lattner7c239602007-10-13 00:11:23 +0000167 return V.second;
168}
169
170
Chris Lattner8a12c272007-10-11 18:38:32 +0000171/// getEditBuffer - Get or create a RewriteBuffer for the specified FileID.
172///
Chris Lattner2b2453a2009-01-17 06:22:33 +0000173RewriteBuffer &Rewriter::getEditBuffer(FileID FID) {
174 std::map<FileID, RewriteBuffer>::iterator I =
175 RewriteBuffers.lower_bound(FID);
Mike Stump1eb44332009-09-09 15:08:12 +0000176 if (I != RewriteBuffers.end() && I->first == FID)
Chris Lattner8a12c272007-10-11 18:38:32 +0000177 return I->second;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000178 I = RewriteBuffers.insert(I, std::make_pair(FID, RewriteBuffer()));
Mike Stump1eb44332009-09-09 15:08:12 +0000179
Benjamin Kramerf6ac97b2010-03-16 14:14:31 +0000180 llvm::StringRef MB = SourceMgr->getBufferData(FID);
181 I->second.Initialize(MB.begin(), MB.end());
Mike Stump1eb44332009-09-09 15:08:12 +0000182
Chris Lattner8a12c272007-10-11 18:38:32 +0000183 return I->second;
184}
185
Chris Lattner54a2f072007-11-02 17:26:47 +0000186/// InsertText - Insert the specified string at the specified location in the
Chris Lattneraadaf782008-01-31 19:51:04 +0000187/// original buffer.
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000188bool Rewriter::InsertText(SourceLocation Loc, const llvm::StringRef &Str,
189 bool InsertAfter) {
Chris Lattnerdcbc5b02008-01-31 19:37:57 +0000190 if (!isRewritable(Loc)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000191 FileID FID;
192 unsigned StartOffs = getLocationOffsetAndFileID(Loc, FID);
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000193 getEditBuffer(FID).InsertText(StartOffs, Str, InsertAfter);
Chris Lattnerdcbc5b02008-01-31 19:37:57 +0000194 return false;
Chris Lattner54a2f072007-11-02 17:26:47 +0000195}
196
Chris Lattneraadaf782008-01-31 19:51:04 +0000197/// RemoveText - Remove the specified text region.
198bool Rewriter::RemoveText(SourceLocation Start, unsigned Length) {
199 if (!isRewritable(Start)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000200 FileID FID;
201 unsigned StartOffs = getLocationOffsetAndFileID(Start, FID);
202 getEditBuffer(FID).RemoveText(StartOffs, Length);
Chris Lattneraadaf782008-01-31 19:51:04 +0000203 return false;
Chris Lattner674af952007-10-16 22:51:17 +0000204}
Chris Lattner8a12c272007-10-11 18:38:32 +0000205
Chris Lattner674af952007-10-16 22:51:17 +0000206/// ReplaceText - This method replaces a range of characters in the input
207/// buffer with a new string. This is effectively a combined "remove/insert"
208/// operation.
Chris Lattneraadaf782008-01-31 19:51:04 +0000209bool Rewriter::ReplaceText(SourceLocation Start, unsigned OrigLength,
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000210 const llvm::StringRef &NewStr) {
Chris Lattneraadaf782008-01-31 19:51:04 +0000211 if (!isRewritable(Start)) return true;
Chris Lattner2b2453a2009-01-17 06:22:33 +0000212 FileID StartFileID;
Chris Lattner7c239602007-10-13 00:11:23 +0000213 unsigned StartOffs = getLocationOffsetAndFileID(Start, StartFileID);
Mike Stump1eb44332009-09-09 15:08:12 +0000214
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000215 getEditBuffer(StartFileID).ReplaceText(StartOffs, OrigLength, NewStr);
Chris Lattneraadaf782008-01-31 19:51:04 +0000216 return false;
Chris Lattner8a12c272007-10-11 18:38:32 +0000217}
Chris Lattner01c57482007-10-17 22:35:30 +0000218
219/// ReplaceStmt - This replaces a Stmt/Expr with another, using the pretty
220/// printer to generate the replacement code. This returns true if the input
221/// could not be rewritten, or false if successful.
Fariborz Jahanian88906cd2010-02-05 16:43:40 +0000222bool Rewriter::ReplaceStmt(Stmt *From, Stmt *To) {
Chris Lattner01c57482007-10-17 22:35:30 +0000223 // Measaure the old text.
Fariborz Jahanian88906cd2010-02-05 16:43:40 +0000224 int Size = getRangeSize(From->getSourceRange());
Chris Lattner01c57482007-10-17 22:35:30 +0000225 if (Size == -1)
226 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000227
Chris Lattner01c57482007-10-17 22:35:30 +0000228 // Get the new text.
Ted Kremeneka95d3752008-09-13 05:16:45 +0000229 std::string SStr;
230 llvm::raw_string_ostream S(SStr);
Chris Lattnere4f21422009-06-30 01:26:17 +0000231 To->printPretty(S, 0, PrintingPolicy(*LangOpts));
Chris Lattner01c57482007-10-17 22:35:30 +0000232 const std::string &Str = S.str();
233
Daniel Dunbard7407dc2009-08-19 19:10:30 +0000234 ReplaceText(From->getLocStart(), Size, Str);
Chris Lattner01c57482007-10-17 22:35:30 +0000235 return false;
236}