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