comparison org.eclipse.text/src/org/eclipse/text/edits/EditDocument.d @ 15:c4b1a29263fc

Successful build of org.eclipse.text
author Frank Benoit <benoit@tionex.de>
date Sun, 15 Mar 2009 19:51:07 +0100
parents 5feec68b4556
children
comparison
equal deleted inserted replaced
14:5feec68b4556 15:c4b1a29263fc
107 107
108 public String get() { 108 public String get() {
109 return fBuffer.toString(); 109 return fBuffer.toString();
110 } 110 }
111 111
112 public String get(int offset, int length_) { 112 public String get(int offset, int length) {
113 return fBuffer.slice()[offset .. offset + length_ ]; 113 return fBuffer.substring(offset, offset + length);
114 } 114 }
115 115
116 public char getChar(int offset) { 116 public char getChar(int offset) {
117 throw new UnsupportedOperationException(); 117 throw new UnsupportedOperationException();
118 } 118 }
216 public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter) { 216 public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter) {
217 throw new UnsupportedOperationException(); 217 throw new UnsupportedOperationException();
218 } 218 }
219 219
220 public void replace(int offset, int length, String text) { 220 public void replace(int offset, int length, String text) {
221 fBuffer.select(offset, length ); 221 fBuffer.replace(offset, offset + length, text);
222 fBuffer.replace(text);
223 } 222 }
224 223
225 public int search(int startOffset, String findString, bool forwardSearch, bool caseSensitive, bool wholeWord) { 224 public int search(int startOffset, String findString, bool forwardSearch, bool caseSensitive, bool wholeWord) {
226 throw new UnsupportedOperationException(); 225 throw new UnsupportedOperationException();
227 } 226 }