comparison dwtx/text/edits/EditDocument.d @ 136:6dcb0baaa031

Regex removal of throws decls, some instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:20:40 +0200
parents c4fb132a086c
children 26688fec6d23
comparison
equal deleted inserted replaced
135:65801ad2b265 136:6dcb0baaa031
62 62
63 public void addDocumentPartitioningListener(IDocumentPartitioningListener listener) { 63 public void addDocumentPartitioningListener(IDocumentPartitioningListener listener) {
64 throw new UnsupportedOperationException(); 64 throw new UnsupportedOperationException();
65 } 65 }
66 66
67 public void addPosition(Position position) throws BadLocationException { 67 public void addPosition(Position position) {
68 throw new UnsupportedOperationException(); 68 throw new UnsupportedOperationException();
69 } 69 }
70 70
71 public void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException { 71 public void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException {
72 throw new UnsupportedOperationException(); 72 throw new UnsupportedOperationException();
90 90
91 public int computeNumberOfLines(String text) { 91 public int computeNumberOfLines(String text) {
92 throw new UnsupportedOperationException(); 92 throw new UnsupportedOperationException();
93 } 93 }
94 94
95 public ITypedRegion[] computePartitioning(int offset, int length) throws BadLocationException { 95 public ITypedRegion[] computePartitioning(int offset, int length) {
96 throw new UnsupportedOperationException(); 96 throw new UnsupportedOperationException();
97 } 97 }
98 98
99 public bool containsPosition(String category, int offset, int length) { 99 public bool containsPosition(String category, int offset, int length) {
100 throw new UnsupportedOperationException(); 100 throw new UnsupportedOperationException();
106 106
107 public String get() { 107 public String get() {
108 return fBuffer.toString(); 108 return fBuffer.toString();
109 } 109 }
110 110
111 public String get(int offset, int length) throws BadLocationException { 111 public String get(int offset, int length) {
112 return fBuffer.substring(offset, offset + length); 112 return fBuffer.substring(offset, offset + length);
113 } 113 }
114 114
115 public char getChar(int offset) throws BadLocationException { 115 public char getChar(int offset) {
116 throw new UnsupportedOperationException(); 116 throw new UnsupportedOperationException();
117 } 117 }
118 118
119 public String getContentType(int offset) throws BadLocationException { 119 public String getContentType(int offset) {
120 throw new UnsupportedOperationException(); 120 throw new UnsupportedOperationException();
121 } 121 }
122 122
123 public IDocumentPartitioner getDocumentPartitioner() { 123 public IDocumentPartitioner getDocumentPartitioner() {
124 throw new UnsupportedOperationException(); 124 throw new UnsupportedOperationException();
134 134
135 public int getLength() { 135 public int getLength() {
136 return fBuffer.length(); 136 return fBuffer.length();
137 } 137 }
138 138
139 public String getLineDelimiter(int line) throws BadLocationException { 139 public String getLineDelimiter(int line) {
140 throw new UnsupportedOperationException(); 140 throw new UnsupportedOperationException();
141 } 141 }
142 142
143 public IRegion getLineInformation(int line) throws BadLocationException { 143 public IRegion getLineInformation(int line) {
144 throw new UnsupportedOperationException(); 144 throw new UnsupportedOperationException();
145 } 145 }
146 146
147 public IRegion getLineInformationOfOffset(int offset) throws BadLocationException { 147 public IRegion getLineInformationOfOffset(int offset) {
148 throw new UnsupportedOperationException(); 148 throw new UnsupportedOperationException();
149 } 149 }
150 150
151 public int getLineLength(int line) throws BadLocationException { 151 public int getLineLength(int line) {
152 throw new UnsupportedOperationException(); 152 throw new UnsupportedOperationException();
153 } 153 }
154 154
155 public int getLineOffset(int line) throws BadLocationException { 155 public int getLineOffset(int line) {
156 throw new UnsupportedOperationException(); 156 throw new UnsupportedOperationException();
157 } 157 }
158 158
159 public int getLineOfOffset(int offset) throws BadLocationException { 159 public int getLineOfOffset(int offset) {
160 throw new UnsupportedOperationException(); 160 throw new UnsupportedOperationException();
161 } 161 }
162 162
163 public int getNumberOfLines() { 163 public int getNumberOfLines() {
164 throw new UnsupportedOperationException(); 164 throw new UnsupportedOperationException();
165 } 165 }
166 166
167 public int getNumberOfLines(int offset, int length) throws BadLocationException { 167 public int getNumberOfLines(int offset, int length) {
168 throw new UnsupportedOperationException(); 168 throw new UnsupportedOperationException();
169 } 169 }
170 170
171 public ITypedRegion getPartition(int offset) throws BadLocationException { 171 public ITypedRegion getPartition(int offset) {
172 throw new UnsupportedOperationException(); 172 throw new UnsupportedOperationException();
173 } 173 }
174 174
175 public String[] getPositionCategories() { 175 public String[] getPositionCategories() {
176 throw new UnsupportedOperationException(); 176 throw new UnsupportedOperationException();
177 } 177 }
178 178
179 public Position[] getPositions(String category) throws BadPositionCategoryException { 179 public Position[] getPositions(String category) {
180 throw new UnsupportedOperationException(); 180 throw new UnsupportedOperationException();
181 } 181 }
182 182
183 public IPositionUpdater[] getPositionUpdaters() { 183 public IPositionUpdater[] getPositionUpdaters() {
184 throw new UnsupportedOperationException(); 184 throw new UnsupportedOperationException();
198 198
199 public void removePosition(Position position) { 199 public void removePosition(Position position) {
200 throw new UnsupportedOperationException(); 200 throw new UnsupportedOperationException();
201 } 201 }
202 202
203 public void removePosition(String category, Position position) throws BadPositionCategoryException { 203 public void removePosition(String category, Position position) {
204 throw new UnsupportedOperationException(); 204 throw new UnsupportedOperationException();
205 } 205 }
206 206
207 public void removePositionCategory(String category) throws BadPositionCategoryException { 207 public void removePositionCategory(String category) {
208 throw new UnsupportedOperationException(); 208 throw new UnsupportedOperationException();
209 } 209 }
210 210
211 public void removePositionUpdater(IPositionUpdater updater) { 211 public void removePositionUpdater(IPositionUpdater updater) {
212 throw new UnsupportedOperationException(); 212 throw new UnsupportedOperationException();
214 214
215 public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter) { 215 public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter) {
216 throw new UnsupportedOperationException(); 216 throw new UnsupportedOperationException();
217 } 217 }
218 218
219 public void replace(int offset, int length, String text) throws BadLocationException { 219 public void replace(int offset, int length, String text) {
220 fBuffer.replace(offset, offset + length, text); 220 fBuffer.replace(offset, offset + length, text);
221 } 221 }
222 222
223 public int search(int startOffset, String findString, bool forwardSearch, bool caseSensitive, bool wholeWord) throws BadLocationException { 223 public int search(int startOffset, String findString, bool forwardSearch, bool caseSensitive, bool wholeWord) {
224 throw new UnsupportedOperationException(); 224 throw new UnsupportedOperationException();
225 } 225 }
226 226
227 public void set(String text) { 227 public void set(String text) {
228 throw new UnsupportedOperationException(); 228 throw new UnsupportedOperationException();