diff dwtx/jface/text/source/OverviewRuler.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 65801ad2b265
children 02cd5f1224d3
line wrap: on
line diff
--- a/dwtx/jface/text/source/OverviewRuler.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/source/OverviewRuler.d	Sun Aug 24 02:26:23 2008 +0200
@@ -251,7 +251,7 @@
                 if (next.isMarkedDeleted())
                     continue;
 
-                if (ignr && (next instanceof AnnotationBag))
+                if (ignr && ( cast(AnnotationBag)next ))
                     continue;
 
                 fNext= next;
@@ -266,7 +266,7 @@
         }
 
         private bool isSubtype(Object annotationType) {
-            if (fAnnotationAccess instanceof  IAnnotationAccessExtension) {
+            if ( cast(IAnnotationAccessExtension)fAnnotationAccess ) {
                 IAnnotationAccessExtension extension= cast(IAnnotationAccessExtension) fAnnotationAccess;
                 return extension.isSubtype(annotationType, fType);
             }
@@ -537,7 +537,7 @@
 
         fHeader= new Canvas(parent, DWT.NONE);
 
-        if (fAnnotationAccess instanceof IAnnotationAccessExtension) {
+        if ( cast(IAnnotationAccessExtension)fAnnotationAccess ) {
             fHeader.addMouseTrackListener(new class()  MouseTrackAdapter {
                 /*
                  * @see dwt.events.MouseTrackAdapter#mouseHover(dwt.events.MouseEvent)
@@ -644,7 +644,7 @@
 
             cacheAnnotations();
             
-            if (fTextViewer instanceof ITextViewerExtension5)
+            if ( cast(ITextViewerExtension5)fTextViewer )
                 doPaint1(gc);
             else
                 doPaint(gc);
@@ -908,7 +908,7 @@
         lines[0]= (pixel0 * maxLines) / rulerLength;
         lines[1]= (pixel1 * maxLines) / rulerLength;
 
-        if (fTextViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fTextViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer;
             lines[0]= extension.widgetLine2ModelLine(lines[0]);
             lines[1]= extension.widgetLine2ModelLine(lines[1]);
@@ -1147,7 +1147,7 @@
      * @since 3.0
      */
     private bool isCovered(Object annotationType, Set configured) {
-        if (fAnnotationAccess instanceof IAnnotationAccessExtension) {
+        if ( cast(IAnnotationAccessExtension)fAnnotationAccess ) {
             IAnnotationAccessExtension extension= cast(IAnnotationAccessExtension) fAnnotationAccess;
             Iterator e= configured.iterator();
             while (e.hasNext()) {
@@ -1235,7 +1235,7 @@
         if (color !is null)
             return color;
 
-        if (fAnnotationAccess instanceof IAnnotationAccessExtension) {
+        if ( cast(IAnnotationAccessExtension)fAnnotationAccess ) {
             IAnnotationAccessExtension extension= cast(IAnnotationAccessExtension) fAnnotationAccess;
             Object[] superTypes= extension.getSupertypes(annotationType);
             if (superTypes !is null) {