diff dwtx/jface/text/revisions/RevisionInformation.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 65801ad2b265
line wrap: on
line diff
--- a/dwtx/jface/text/revisions/RevisionInformation.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/revisions/RevisionInformation.d	Sun Aug 24 01:46:20 2008 +0200
@@ -109,15 +109,15 @@
         if (fRanges is null) {
             List ranges= new ArrayList(fRevisions.size() * 2); // wild size guess
             for (Iterator it= fRevisions.iterator(); it.hasNext();) {
-                Revision revision= (Revision) it.next();
+                Revision revision= cast(Revision) it.next();
                 ranges.addAll(revision.getRegions());
             }
 
             // sort by start line
             Collections.sort(ranges, new Comparator() {
                 public int compare(Object o1, Object o2) {
-                    RevisionRange r1= (RevisionRange) o1;
-                    RevisionRange r2= (RevisionRange) o2;
+                    RevisionRange r1= cast(RevisionRange) o1;
+                    RevisionRange r2= cast(RevisionRange) o2;
 
                     return r1.getStartLine() - r2.getStartLine();
                 }
@@ -138,7 +138,7 @@
     public void applyDiff(Hunk[] hunks) {
         fRanges= null; // mark for recomputation
         for (Iterator revisions= getRevisions().iterator(); revisions.hasNext();)
-            ((Revision) revisions.next()).applyDiff(hunks);
+            (cast(Revision) revisions.next()).applyDiff(hunks);
     }
 
     /*