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

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 65801ad2b265
children 26688fec6d23
line wrap: on
line diff
--- a/dwtx/jface/text/source/AnnotationPainter.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/source/AnnotationPainter.d	Sun Aug 24 02:26:23 2008 +0200
@@ -912,7 +912,7 @@
 
         decoration.fPosition= position;
         decoration.fColor= color;
-        if (fAnnotationAccess instanceof IAnnotationAccessExtension) {
+        if ( cast(IAnnotationAccessExtension)fAnnotationAccess ) {
             IAnnotationAccessExtension extension= cast(IAnnotationAccessExtension) fAnnotationAccess;
             decoration.fLayer= extension.getLayer(annotation);
         } else {
@@ -942,7 +942,7 @@
             return strategy;
         }
 
-        if (fAnnotationAccess instanceof IAnnotationAccessExtension) {
+        if ( cast(IAnnotationAccessExtension)fAnnotationAccess ) {
             IAnnotationAccessExtension ext = cast(IAnnotationAccessExtension) fAnnotationAccess;
             Object[] sts = ext.getSupertypes(type);
             for (int i= 0; i < sts.length; i++) {
@@ -977,7 +977,7 @@
             return color;
         }
 
-        if (fAnnotationAccess instanceof IAnnotationAccessExtension) {
+        if ( cast(IAnnotationAccessExtension)fAnnotationAccess ) {
             IAnnotationAccessExtension extension= cast(IAnnotationAccessExtension) fAnnotationAccess;
             Object[] superTypes= extension.getSupertypes(annotationType);
             if (superTypes !is null) {
@@ -1020,7 +1020,7 @@
         if (r is null)
             return;
 
-        if (fSourceViewer instanceof ITextViewerExtension2) {
+        if ( cast(ITextViewerExtension2)fSourceViewer ) {
             if cast(DEBUG)
                 System.out.println("AP: invalidating offset: " + r.getOffset() + ", length= " + r.getLength()); //$NON-NLS-1$ //$NON-NLS-2$
 
@@ -1066,7 +1066,7 @@
                     continue;
 
                 Position p= pp.fPosition;
-                if (fSourceViewer instanceof ITextViewerExtension5) {
+                if ( cast(ITextViewerExtension5)fSourceViewer ) {
                     ITextViewerExtension5 extension3= cast(ITextViewerExtension5) fSourceViewer;
                     if (null is extension3.modelRange2WidgetRange(new Region(p.getOffset(), p.getLength())))
                         continue;
@@ -1588,7 +1588,7 @@
         if (fReusableRegion is null || fReusableRegion.getOffset() is Integer.MAX_VALUE)
             return null;
 
-        if (fSourceViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fSourceViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
             return extension.modelRange2WidgetRange(fReusableRegion);
         }
@@ -1618,7 +1618,7 @@
         if (offset is Integer.MAX_VALUE)
             return null;
 
-        if (fSourceViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fSourceViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
             return extension.widgetRange2ModelRange(new Region(offset, length));
         }