diff dwtx/jface/text/information/InformationPresenter.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 65801ad2b265
children 893c017bcdc5
line wrap: on
line diff
--- a/dwtx/jface/text/information/InformationPresenter.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/information/InformationPresenter.d	Sun Aug 24 02:26:23 2008 +0200
@@ -346,7 +346,7 @@
             return;
 
         Object info;
-        if (provider instanceof IInformationProviderExtension) {
+        if ( cast(IInformationProviderExtension)provider ) {
             IInformationProviderExtension extension= cast(IInformationProviderExtension) provider;
             info= extension.getInformation2(fTextViewer, subject);
         } else {
@@ -354,7 +354,7 @@
             info= provider.getInformation(fTextViewer, subject);
         }
         
-        if (provider instanceof IInformationProviderExtension2)
+        if ( cast(IInformationProviderExtension2)provider )
             setCustomInformationControlCreator((cast(IInformationProviderExtension2) provider).getInformationPresenterControlCreator());
         else
             setCustomInformationControlCreator(null);
@@ -400,7 +400,7 @@
      * @since 2.1
      */
     private IRegion modelRange2WidgetRange(IRegion region) {
-        if (fTextViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fTextViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer;
             return extension.modelRange2WidgetRange(region);
         }
@@ -437,7 +437,7 @@
             IWidgetTokenOwnerExtension extension= cast(IWidgetTokenOwnerExtension) fTextViewer;
             if (extension.requestWidgetToken(this, WIDGET_PRIORITY))
                 super.showInformationControl(subjectArea);
-        } else if (fTextViewer instanceof IWidgetTokenOwner) {
+        } else if ( cast(IWidgetTokenOwner)fTextViewer ) {
             IWidgetTokenOwner owner= cast(IWidgetTokenOwner) fTextViewer;
             if (owner.requestWidgetToken(this))
                 super.showInformationControl(subjectArea);
@@ -453,7 +453,7 @@
         try {
             super.hideInformationControl();
         } finally {
-            if (fTextViewer instanceof IWidgetTokenOwner) {
+            if ( cast(IWidgetTokenOwner)fTextViewer ) {
                 IWidgetTokenOwner owner= cast(IWidgetTokenOwner) fTextViewer;
                 owner.releaseWidgetToken(this);
             }
@@ -467,7 +467,7 @@
         try {
             super.handleInformationControlDisposed();
         } finally {
-            if (fTextViewer instanceof IWidgetTokenOwner) {
+            if ( cast(IWidgetTokenOwner)fTextViewer ) {
                 IWidgetTokenOwner owner= cast(IWidgetTokenOwner) fTextViewer;
                 owner.releaseWidgetToken(this);
             }