diff dwtx/jface/text/information/InformationPresenter.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/information/InformationPresenter.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/information/InformationPresenter.d	Sun Aug 24 01:46:20 2008 +0200
@@ -308,7 +308,7 @@
         if (fProviders is null)
             return null;
 
-        return (IInformationProvider) fProviders.get(contentType);
+        return cast(IInformationProvider) fProviders.get(contentType);
     }
 
     /**
@@ -347,7 +347,7 @@
 
         Object info;
         if (provider instanceof IInformationProviderExtension) {
-            IInformationProviderExtension extension= (IInformationProviderExtension) provider;
+            IInformationProviderExtension extension= cast(IInformationProviderExtension) provider;
             info= extension.getInformation2(fTextViewer, subject);
         } else {
             // backward compatibility code
@@ -355,7 +355,7 @@
         }
         
         if (provider instanceof IInformationProviderExtension2)
-            setCustomInformationControlCreator(((IInformationProviderExtension2) provider).getInformationPresenterControlCreator());
+            setCustomInformationControlCreator((cast(IInformationProviderExtension2) provider).getInformationPresenterControlCreator());
         else
             setCustomInformationControlCreator(null);
 
@@ -401,7 +401,7 @@
      */
     private IRegion modelRange2WidgetRange(IRegion region) {
         if (fTextViewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer;
             return extension.modelRange2WidgetRange(region);
         }
 
@@ -434,11 +434,11 @@
      */
     protected void showInformationControl(Rectangle subjectArea) {
         if (fTextViewer instanceof IWidgetTokenOwnerExtension && fTextViewer instanceof IWidgetTokenOwner) {
-            IWidgetTokenOwnerExtension extension= (IWidgetTokenOwnerExtension) fTextViewer;
+            IWidgetTokenOwnerExtension extension= cast(IWidgetTokenOwnerExtension) fTextViewer;
             if (extension.requestWidgetToken(this, WIDGET_PRIORITY))
                 super.showInformationControl(subjectArea);
         } else if (fTextViewer instanceof IWidgetTokenOwner) {
-            IWidgetTokenOwner owner= (IWidgetTokenOwner) fTextViewer;
+            IWidgetTokenOwner owner= cast(IWidgetTokenOwner) fTextViewer;
             if (owner.requestWidgetToken(this))
                 super.showInformationControl(subjectArea);
 
@@ -454,7 +454,7 @@
             super.hideInformationControl();
         } finally {
             if (fTextViewer instanceof IWidgetTokenOwner) {
-                IWidgetTokenOwner owner= (IWidgetTokenOwner) fTextViewer;
+                IWidgetTokenOwner owner= cast(IWidgetTokenOwner) fTextViewer;
                 owner.releaseWidgetToken(this);
             }
         }
@@ -468,7 +468,7 @@
             super.handleInformationControlDisposed();
         } finally {
             if (fTextViewer instanceof IWidgetTokenOwner) {
-                IWidgetTokenOwner owner= (IWidgetTokenOwner) fTextViewer;
+                IWidgetTokenOwner owner= cast(IWidgetTokenOwner) fTextViewer;
                 owner.releaseWidgetToken(this);
             }
         }