diff dwtx/jface/text/projection/ProjectionMapping.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 6dcb0baaa031
line wrap: on
line diff
--- a/dwtx/jface/text/projection/ProjectionMapping.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/projection/ProjectionMapping.d	Sun Aug 24 01:46:20 2008 +0200
@@ -155,7 +155,7 @@
         }
 
         Position[] segments= getSegments();
-        return (Segment) segments[index];
+        return cast(Segment) segments[index];
     }
 
     /**
@@ -218,13 +218,13 @@
         Position[] fragments= getFragments();
         if (index is -1) {
             if (fragments.length > 0) {
-                Fragment last= (Fragment) fragments[fragments.length - 1];
+                Fragment last= cast(Fragment) fragments[fragments.length - 1];
                 if (exclusiveEnd(last) is offset)
                     return last;
             }
             return null;
         }
-        return (Fragment) fragments[index];
+        return cast(Fragment) fragments[index];
     }
 
     /**
@@ -260,7 +260,7 @@
                     // after last
                     Position last= allFragments[allFragments.length - 1];
                     if (originRegion.getOffset() >= exclusiveEnd(last))
-                        return new Region(exclusiveEnd(((Fragment) last).segment), 0);
+                        return new Region(exclusiveEnd((cast(Fragment) last).segment), 0);
                 }
                 return new Region(0, 0);
             }
@@ -320,7 +320,7 @@
         if (!takeClosestImage && startFragmentIdx > endFragmentIdx || endFragmentIdx is -1)
             return null;
 
-        Fragment[] result= {(Fragment) fragments[startFragmentIdx], (Fragment) fragments[endFragmentIdx]};
+        Fragment[] result= {cast(Fragment) fragments[startFragmentIdx], cast(Fragment) fragments[endFragmentIdx]};
         return result;
     }
 
@@ -517,9 +517,9 @@
             int index= fMasterDocument.computeIndexInCategory(fFragmentsCategory, originLineRegion.getOffset());
 
             if (0 < index && index < fragments.length) {
-                Fragment left= (Fragment) fragments[index - 1];
+                Fragment left= cast(Fragment) fragments[index - 1];
                 int leftDistance= originLineRegion.getOffset() - (exclusiveEnd(left));
-                Fragment right= (Fragment) fragments[index];
+                Fragment right= cast(Fragment) fragments[index];
                 int rightDistance= right.getOffset() - (exclusiveEnd(originLineRegion));
 
                 if (leftDistance <= rightDistance)
@@ -528,10 +528,10 @@
                     originLine= fMasterDocument.getLineOfOffset(right.getOffset());
 
             } else if (index is 0) {
-                Fragment right= (Fragment) fragments[index];
+                Fragment right= cast(Fragment) fragments[index];
                 originLine= fMasterDocument.getLineOfOffset(right.getOffset());
             } else if (index is fragments.length) {
-                Fragment left= (Fragment) fragments[index - 1];
+                Fragment left= cast(Fragment) fragments[index - 1];
                 originLine= fMasterDocument.getLineOfOffset(exclusiveEnd(left));
             }
 
@@ -560,12 +560,12 @@
         IRegion[] result= new IRegion[resultLength];
 
         // first
-        result[0]= createOriginStartRegion((Segment) segments[firstIndex], imageRegion.getOffset() - segments[firstIndex].getOffset());
+        result[0]= createOriginStartRegion(cast(Segment) segments[firstIndex], imageRegion.getOffset() - segments[firstIndex].getOffset());
         // middles
         for (int i= 1; i < resultLength - 1; i++)
-            result[i]= createOriginRegion((Segment) segments[firstIndex + i]);
+            result[i]= createOriginRegion(cast(Segment) segments[firstIndex + i]);
         // last
-        Segment last= (Segment) segments[lastIndex];
+        Segment last= cast(Segment) segments[lastIndex];
         int segmentEndOffset= exclusiveEnd(last);
         IRegion lastRegion= createOriginEndRegion(last, segmentEndOffset - endOffset);
         if (resultLength > 1) {
@@ -617,12 +617,12 @@
         IRegion[] result= new IRegion[resultLength];
 
         // first
-        result[0]= createImageStartRegion((Fragment) fragments[firstIndex], offset - fragments[firstIndex].getOffset());
+        result[0]= createImageStartRegion(cast(Fragment) fragments[firstIndex], offset - fragments[firstIndex].getOffset());
         // middles
         for (int i= 1; i < resultLength - 1; i++)
-            result[i]= createImageRegion((Fragment) fragments[firstIndex + i]);
+            result[i]= createImageRegion(cast(Fragment) fragments[firstIndex + i]);
         // last
-        Fragment last= (Fragment) fragments[lastIndex];
+        Fragment last= cast(Fragment) fragments[lastIndex];
         int fragmentEndOffset= exclusiveEnd(last);
         IRegion lastRegion= createImageEndRegion(last, fragmentEndOffset - endOffset);
         if (resultLength > 1) {
@@ -664,12 +664,12 @@
         IRegion[] result= new IRegion[resultLength];
 
         // first
-        result[0]= createOriginStartRegion((Fragment) fragments[firstIndex], originOffset - fragments[firstIndex].getOffset());
+        result[0]= createOriginStartRegion(cast(Fragment) fragments[firstIndex], originOffset - fragments[firstIndex].getOffset());
         // middles
         for (int i= 1; i < resultLength - 1; i++)
-            result[i]= createOriginRegion((Fragment) fragments[firstIndex + i]);
+            result[i]= createOriginRegion(cast(Fragment) fragments[firstIndex + i]);
         // last
-        Fragment last= (Fragment) fragments[lastIndex];
+        Fragment last= cast(Fragment) fragments[lastIndex];
         int fragmentEndOffset= exclusiveEnd(last);
         IRegion lastRegion= createOriginEndRegion(last, fragmentEndOffset - endOffset);
         if (resultLength > 1) {