Mercurial > projects > dwt-addons
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(); |