diff dwtx/jface/text/presentation/PresentationReconciler.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/presentation/PresentationReconciler.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/presentation/PresentationReconciler.d	Sun Aug 24 01:46:20 2008 +0200
@@ -249,7 +249,7 @@
             int length= text is null ? 0 : text.length();
 
             if (fViewer instanceof ITextViewerExtension5) {
-                ITextViewerExtension5 extension= (ITextViewerExtension5) fViewer;
+                ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer;
                 return extension.widgetRange2ModelRange(new Region(e.getOffset(), length));
             }
 
@@ -388,7 +388,7 @@
         if (fDamagers is null)
             return null;
 
-        return (IPresentationDamager) fDamagers.get(contentType);
+        return cast(IPresentationDamager) fDamagers.get(contentType);
     }
 
     /*
@@ -399,7 +399,7 @@
         if (fRepairers is null)
             return null;
 
-        return (IPresentationRepairer) fRepairers.get(contentType);
+        return cast(IPresentationRepairer) fRepairers.get(contentType);
     }
 
     /**
@@ -411,7 +411,7 @@
         if (fDamagers !is null) {
             Iterator e= fDamagers.values().iterator();
             while (e.hasNext()) {
-                IPresentationDamager damager= (IPresentationDamager) e.next();
+                IPresentationDamager damager= cast(IPresentationDamager) e.next();
                 damager.setDocument(document);
             }
         }
@@ -426,7 +426,7 @@
         if (fRepairers !is null) {
             Iterator e= fRepairers.values().iterator();
             while (e.hasNext()) {
-                IPresentationRepairer repairer= (IPresentationRepairer) e.next();
+                IPresentationRepairer repairer= cast(IPresentationRepairer) e.next();
                 repairer.setDocument(document);
             }
         }