blob: f7dcdd23fc2cc4aad712efc6efbfb880cbb370a4 [file] [log] [blame]
Chris Lattner57629372007-09-15 22:21:22 +00001//===--- Rewriter.cpp - Code rewriting interface --------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-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 Lattner57629372007-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 Lattnerbf0bfa62007-10-17 22:35:30 +000016#include "clang/AST/Stmt.h"
Chris Lattner93e2a4e2007-10-17 21:23:07 +000017#include "clang/Lex/Lexer.h"
Chris Lattner569faa62007-10-11 18:38:32 +000018#include "clang/Basic/SourceManager.h"
Chris Lattnerbf0bfa62007-10-17 22:35:30 +000019#include <sstream>
Chris Lattner57629372007-09-15 22:21:22 +000020using namespace clang;
21
Chris Lattner57629372007-09-15 22:21:22 +000022void RewriteBuffer::RemoveText(unsigned OrigOffset, unsigned Size) {
Chris Lattner3cfe3d32007-10-13 00:11:23 +000023 // Nothing to remove, exit early.
24 if (Size == 0) return;
25
26 unsigned RealOffset = getMappedOffset(OrigOffset, true);
27 assert(RealOffset+Size < Buffer.size() && "Invalid location");
28
29 // Remove the dead characters.
Chris Lattnerab428cf2008-04-14 07:17:29 +000030#ifdef USE_ROPE_VECTOR
Chris Lattner233875d2007-11-08 20:51:02 +000031 RewriteRope::iterator I = Buffer.getAtOffset(RealOffset);
32 Buffer.erase(I, I+Size);
Chris Lattnerab428cf2008-04-14 07:17:29 +000033#else
34 Buffer.erase(RealOffset, Size);
35#endif
Chris Lattner3cfe3d32007-10-13 00:11:23 +000036
37 // Add a delta so that future changes are offset correctly.
38 AddDelta(OrigOffset, -Size);
Chris Lattner57629372007-09-15 22:21:22 +000039}
40
41void RewriteBuffer::InsertText(unsigned OrigOffset,
Ted Kremenek8d0368c2008-03-18 21:17:59 +000042 const char *StrData, unsigned StrLen,
43 bool InsertAfter) {
44
Chris Lattnercea0bcc2007-10-13 00:21:23 +000045 // Nothing to insert, exit early.
Chris Lattner3cfe3d32007-10-13 00:11:23 +000046 if (StrLen == 0) return;
Chris Lattnerab428cf2008-04-14 07:17:29 +000047
Ted Kremenek8d0368c2008-03-18 21:17:59 +000048 unsigned RealOffset = getMappedOffset(OrigOffset, InsertAfter);
Chris Lattnerab428cf2008-04-14 07:17:29 +000049
50#ifdef USE_ROPE_VECTOR
Chris Lattnercea0bcc2007-10-13 00:21:23 +000051 assert(RealOffset <= Buffer.size() && "Invalid location");
52
Chris Lattnerd119a842007-11-08 04:41:04 +000053 // Insert the new characters.
Chris Lattner233875d2007-11-08 20:51:02 +000054 Buffer.insert(Buffer.getAtOffset(RealOffset), StrData, StrData+StrLen);
Chris Lattnerab428cf2008-04-14 07:17:29 +000055#else
56 Buffer.insert(RealOffset, StrData, StrData+StrLen);
57#endif
Chris Lattnercea0bcc2007-10-13 00:21:23 +000058
59 // Add a delta so that future changes are offset correctly.
60 AddDelta(OrigOffset, StrLen);
Chris Lattner57629372007-09-15 22:21:22 +000061}
Chris Lattner569faa62007-10-11 18:38:32 +000062
Chris Lattner3cfe3d32007-10-13 00:11:23 +000063/// ReplaceText - This method replaces a range of characters in the input
Chris Lattnerab428cf2008-04-14 07:17:29 +000064/// buffer with a new string. This is effectively a combined "remove+insert"
Chris Lattner3cfe3d32007-10-13 00:11:23 +000065/// operation.
66void RewriteBuffer::ReplaceText(unsigned OrigOffset, unsigned OrigLength,
67 const char *NewStr, unsigned NewLength) {
Chris Lattnerb57cd002007-11-08 04:09:59 +000068 unsigned RealOffset = getMappedOffset(OrigOffset, true);
Chris Lattnerab428cf2008-04-14 07:17:29 +000069#ifdef USE_ROPE_VECTOR
Chris Lattnere471a3b2007-10-13 00:46:29 +000070 assert(RealOffset+OrigLength <= Buffer.size() && "Invalid location");
71
72 // Overwrite the common piece.
Chris Lattnerd119a842007-11-08 04:41:04 +000073 unsigned CommonLength = std::min(OrigLength, NewLength);
Chris Lattner233875d2007-11-08 20:51:02 +000074 std::copy(NewStr, NewStr+CommonLength, Buffer.getAtOffset(RealOffset));
Chris Lattner3cfe3d32007-10-13 00:11:23 +000075
Chris Lattnere471a3b2007-10-13 00:46:29 +000076 // If replacing without shifting around, just overwrite the text.
77 if (OrigLength == NewLength)
Chris Lattner3cfe3d32007-10-13 00:11:23 +000078 return;
Chris Lattnere471a3b2007-10-13 00:46:29 +000079
80 // If inserting more than existed before, this is like an insertion.
81 if (NewLength > OrigLength) {
Chris Lattner233875d2007-11-08 20:51:02 +000082 Buffer.insert(Buffer.getAtOffset(RealOffset+OrigLength),
Chris Lattnere471a3b2007-10-13 00:46:29 +000083 NewStr+OrigLength, NewStr+NewLength);
84 } else {
Chris Lattner233875d2007-11-08 20:51:02 +000085 // If inserting less than existed before, this is like a removal.
86 RewriteRope::iterator I = Buffer.getAtOffset(RealOffset+NewLength);
87 Buffer.erase(I, I+(OrigLength-NewLength));
Chris Lattner3cfe3d32007-10-13 00:11:23 +000088 }
Chris Lattnerab428cf2008-04-14 07:17:29 +000089#else
90 Buffer.erase(RealOffset, OrigLength);
91 Buffer.insert(RealOffset, NewStr, NewStr+NewLength);
92#endif
93 if (OrigLength != NewLength)
94 AddDelta(OrigOffset, NewLength-OrigLength);
Chris Lattner3cfe3d32007-10-13 00:11:23 +000095}
Chris Lattner569faa62007-10-11 18:38:32 +000096
97
98//===----------------------------------------------------------------------===//
99// Rewriter class
100//===----------------------------------------------------------------------===//
101
Chris Lattner6fe8b272007-10-16 22:36:42 +0000102/// getRangeSize - Return the size in bytes of the specified range if they
103/// are in the same file. If not, this returns -1.
104int Rewriter::getRangeSize(SourceRange Range) const {
105 if (!isRewritable(Range.getBegin()) ||
106 !isRewritable(Range.getEnd())) return -1;
107
108 unsigned StartOff, StartFileID;
109 unsigned EndOff , EndFileID;
110
111 StartOff = getLocationOffsetAndFileID(Range.getBegin(), StartFileID);
112 EndOff = getLocationOffsetAndFileID(Range.getEnd(), EndFileID);
113
114 if (StartFileID != EndFileID)
115 return -1;
116
Chris Lattnerbc68f692007-10-25 17:18:59 +0000117 // If edits have been made to this buffer, the delta between the range may
118 // have changed.
Chris Lattnera8a73682007-10-25 17:17:34 +0000119 std::map<unsigned, RewriteBuffer>::const_iterator I =
120 RewriteBuffers.find(StartFileID);
Chris Lattnerbc68f692007-10-25 17:18:59 +0000121 if (I != RewriteBuffers.end()) {
Chris Lattnera8a73682007-10-25 17:17:34 +0000122 const RewriteBuffer &RB = I->second;
Chris Lattnerbc68f692007-10-25 17:18:59 +0000123 EndOff = RB.getMappedOffset(EndOff, true);
124 StartOff = RB.getMappedOffset(StartOff);
Chris Lattnera8a73682007-10-25 17:17:34 +0000125 }
126
127
Chris Lattner93e2a4e2007-10-17 21:23:07 +0000128 // Adjust the end offset to the end of the last token, instead of being the
129 // start of the last token.
Chris Lattnerbc68f692007-10-25 17:18:59 +0000130 EndOff += Lexer::MeasureTokenLength(Range.getEnd(), *SourceMgr);
Chris Lattner93e2a4e2007-10-17 21:23:07 +0000131
Chris Lattnerbc68f692007-10-25 17:18:59 +0000132 return EndOff-StartOff;
Chris Lattner6fe8b272007-10-16 22:36:42 +0000133}
134
135
Chris Lattner3cfe3d32007-10-13 00:11:23 +0000136unsigned Rewriter::getLocationOffsetAndFileID(SourceLocation Loc,
137 unsigned &FileID) const {
Chris Lattner74db1682007-10-16 21:07:07 +0000138 std::pair<unsigned,unsigned> V = SourceMgr->getDecomposedFileLoc(Loc);
Chris Lattner3cfe3d32007-10-13 00:11:23 +0000139 FileID = V.first;
140 return V.second;
141}
142
143
Chris Lattner569faa62007-10-11 18:38:32 +0000144/// getEditBuffer - Get or create a RewriteBuffer for the specified FileID.
145///
146RewriteBuffer &Rewriter::getEditBuffer(unsigned FileID) {
147 std::map<unsigned, RewriteBuffer>::iterator I =
148 RewriteBuffers.lower_bound(FileID);
149 if (I != RewriteBuffers.end() && I->first == FileID)
150 return I->second;
151 I = RewriteBuffers.insert(I, std::make_pair(FileID, RewriteBuffer()));
152
Chris Lattner74db1682007-10-16 21:07:07 +0000153 std::pair<const char*, const char*> MB = SourceMgr->getBufferData(FileID);
Chris Lattner569faa62007-10-11 18:38:32 +0000154 I->second.Initialize(MB.first, MB.second);
155
156 return I->second;
157}
158
Chris Lattner532e5742007-11-02 17:26:47 +0000159/// InsertText - Insert the specified string at the specified location in the
Chris Lattnerb8a1b042008-01-31 19:51:04 +0000160/// original buffer.
Ted Kremenek8d0368c2008-03-18 21:17:59 +0000161bool Rewriter::InsertText(SourceLocation Loc, const char *StrData,
162 unsigned StrLen, bool InsertAfter) {
Chris Lattnerb1548372008-01-31 19:37:57 +0000163 if (!isRewritable(Loc)) return true;
Chris Lattner532e5742007-11-02 17:26:47 +0000164 unsigned FileID;
165 unsigned StartOffs = getLocationOffsetAndFileID(Loc, FileID);
Ted Kremenek8d0368c2008-03-18 21:17:59 +0000166 getEditBuffer(FileID).InsertText(StartOffs, StrData, StrLen, InsertAfter);
Chris Lattnerb1548372008-01-31 19:37:57 +0000167 return false;
Chris Lattner532e5742007-11-02 17:26:47 +0000168}
169
Chris Lattnerb8a1b042008-01-31 19:51:04 +0000170/// RemoveText - Remove the specified text region.
171bool Rewriter::RemoveText(SourceLocation Start, unsigned Length) {
172 if (!isRewritable(Start)) return true;
Chris Lattnercfd61c82007-10-16 22:51:17 +0000173 unsigned FileID;
174 unsigned StartOffs = getLocationOffsetAndFileID(Start, FileID);
175 getEditBuffer(FileID).RemoveText(StartOffs, Length);
Chris Lattnerb8a1b042008-01-31 19:51:04 +0000176 return false;
Chris Lattnercfd61c82007-10-16 22:51:17 +0000177}
Chris Lattner569faa62007-10-11 18:38:32 +0000178
Chris Lattnercfd61c82007-10-16 22:51:17 +0000179/// ReplaceText - This method replaces a range of characters in the input
180/// buffer with a new string. This is effectively a combined "remove/insert"
181/// operation.
Chris Lattnerb8a1b042008-01-31 19:51:04 +0000182bool Rewriter::ReplaceText(SourceLocation Start, unsigned OrigLength,
Chris Lattner569faa62007-10-11 18:38:32 +0000183 const char *NewStr, unsigned NewLength) {
Chris Lattnerb8a1b042008-01-31 19:51:04 +0000184 if (!isRewritable(Start)) return true;
Chris Lattner3cfe3d32007-10-13 00:11:23 +0000185 unsigned StartFileID;
186 unsigned StartOffs = getLocationOffsetAndFileID(Start, StartFileID);
Chris Lattner569faa62007-10-11 18:38:32 +0000187
Chris Lattner3cfe3d32007-10-13 00:11:23 +0000188 getEditBuffer(StartFileID).ReplaceText(StartOffs, OrigLength,
189 NewStr, NewLength);
Chris Lattnerb8a1b042008-01-31 19:51:04 +0000190 return false;
Chris Lattner569faa62007-10-11 18:38:32 +0000191}
Chris Lattnerbf0bfa62007-10-17 22:35:30 +0000192
193/// ReplaceStmt - This replaces a Stmt/Expr with another, using the pretty
194/// printer to generate the replacement code. This returns true if the input
195/// could not be rewritten, or false if successful.
196bool Rewriter::ReplaceStmt(Stmt *From, Stmt *To) {
197 // Measaure the old text.
198 int Size = getRangeSize(From->getSourceRange());
199 if (Size == -1)
200 return true;
201
202 // Get the new text.
203 std::ostringstream S;
204 To->printPretty(S);
205 const std::string &Str = S.str();
206
207 ReplaceText(From->getLocStart(), Size, &Str[0], Str.size());
208 return false;
209}
210
211