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