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

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 893c017bcdc5
line wrap: on
line diff
--- a/dwtx/jface/text/source/projection/ProjectionSummary.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/source/projection/ProjectionSummary.d	Sun Aug 24 02:26:23 2008 +0200
@@ -190,7 +190,7 @@
 
         } finally {
 
-            if (fAnnotationModel instanceof ISynchronizable) {
+            if ( cast(ISynchronizable)fAnnotationModel ) {
                 ISynchronizable sync= cast(ISynchronizable) fAnnotationModel;
                 sync.setLockObject(previousLockObject);
             }
@@ -207,7 +207,7 @@
         IAnnotationModelExtension extension= null;
         List bags= null;
 
-        if (fAnnotationModel instanceof IAnnotationModelExtension) {
+        if ( cast(IAnnotationModelExtension)fAnnotationModel ) {
             extension= cast(IAnnotationModelExtension) fAnnotationModel;
             bags= new ArrayList();
         }
@@ -215,7 +215,7 @@
         Iterator e= fAnnotationModel.getAnnotationIterator();
         while (e.hasNext()) {
             Annotation annotation= cast(Annotation) e.next();
-            if (annotation instanceof AnnotationBag) {
+            if ( cast(AnnotationBag)annotation ) {
                 if (bags is null)
                     fAnnotationModel.removeAnnotation(annotation);
                 else
@@ -261,7 +261,7 @@
         }
 
         if (additions.size() > 0) {
-            if (fAnnotationModel instanceof IAnnotationModelExtension) {
+            if ( cast(IAnnotationModelExtension)fAnnotationModel ) {
                 IAnnotationModelExtension extension= cast(IAnnotationModelExtension) fAnnotationModel;
                 if (!isCanceled(monitor))
                     extension.replaceAnnotations(null, additions);