comparison dwtx/text/edits/MoveSourceEdit.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents c4fb132a086c
children 6dcb0baaa031
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
182 /* 182 /*
183 * @see TextEdit#postProcessCopy 183 * @see TextEdit#postProcessCopy
184 */ 184 */
185 protected void postProcessCopy(TextEditCopier copier) { 185 protected void postProcessCopy(TextEditCopier copier) {
186 if (fTarget !is null) { 186 if (fTarget !is null) {
187 MoveSourceEdit source= (MoveSourceEdit)copier.getCopy(this); 187 MoveSourceEdit source= cast(MoveSourceEdit)copier.getCopy(this);
188 MoveTargetEdit target= (MoveTargetEdit)copier.getCopy(fTarget); 188 MoveTargetEdit target= cast(MoveTargetEdit)copier.getCopy(fTarget);
189 if (source !is null && target !is null) 189 if (source !is null && target !is null)
190 source.setTargetEdit(target); 190 source.setTargetEdit(target);
191 } 191 }
192 } 192 }
193 193
216 list.add(this); 216 list.add(this);
217 for (int i= sourceEdits.size(); i < result; i++) 217 for (int i= sourceEdits.size(); i < result; i++)
218 sourceEdits.add(null); 218 sourceEdits.add(null);
219 sourceEdits.add(list); 219 sourceEdits.add(list);
220 } else { 220 } else {
221 List list= (List)sourceEdits.get(result); 221 List list= cast(List)sourceEdits.get(result);
222 if (list is null) { 222 if (list is null) {
223 list= new ArrayList(); 223 list= new ArrayList();
224 sourceEdits.add(result, list); 224 sourceEdits.add(result, list);
225 } 225 }
226 list.add(this); 226 list.add(this);
355 } 355 }
356 } 356 }
357 357
358 private void insertEdits(TextEdit root, List edits) { 358 private void insertEdits(TextEdit root, List edits) {
359 while(edits.size() > 0) { 359 while(edits.size() > 0) {
360 ReplaceEdit edit= (ReplaceEdit)edits.remove(0); 360 ReplaceEdit edit= cast(ReplaceEdit)edits.remove(0);
361 insert(root, edit, edits); 361 insert(root, edit, edits);
362 } 362 }
363 } 363 }
364 private static void insert(TextEdit parent, ReplaceEdit edit, List edits) { 364 private static void insert(TextEdit parent, ReplaceEdit edit, List edits) {
365 if (!parent.hasChildren()) { 365 if (!parent.hasChildren()) {
436 return result; 436 return result;
437 } 437 }
438 438
439 private static void restorePositions(Map editMap) { 439 private static void restorePositions(Map editMap) {
440 for (Iterator iter= editMap.keySet().iterator(); iter.hasNext();) { 440 for (Iterator iter= editMap.keySet().iterator(); iter.hasNext();) {
441 TextEdit marker= (TextEdit)iter.next(); 441 TextEdit marker= cast(TextEdit)iter.next();
442 TextEdit edit= (TextEdit)editMap.get(marker); 442 TextEdit edit= cast(TextEdit)editMap.get(marker);
443 if (marker.isDeleted()) { 443 if (marker.isDeleted()) {
444 edit.markAsDeleted(); 444 edit.markAsDeleted();
445 } else { 445 } else {
446 edit.adjustOffset(marker.getOffset() - edit.getOffset()); 446 edit.adjustOffset(marker.getOffset() - edit.getOffset());
447 edit.adjustLength(marker.getLength() - edit.getLength()); 447 edit.adjustLength(marker.getLength() - edit.getLength());