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

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 6dcb0baaa031
children 26688fec6d23
line wrap: on
line diff
--- a/dwtx/jface/text/projection/ProjectionDocument.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/projection/ProjectionDocument.d	Sun Aug 24 02:26:23 2008 +0200
@@ -128,7 +128,7 @@
         super();
 
         fMasterDocument= masterDocument;
-        if (fMasterDocument instanceof IDocumentExtension)
+        if ( cast(IDocumentExtension)fMasterDocument )
             fMasterDocumentExtension= cast(IDocumentExtension) fMasterDocument;
 
         fSegmentsCategory= SEGMENTS_CATEGORY;
@@ -807,7 +807,7 @@
     }
 
     private int computeAnchor(DocumentEvent event) {
-        if (event instanceof ProjectionDocumentEvent) {
+        if ( cast(ProjectionDocumentEvent)event ) {
             ProjectionDocumentEvent slave= cast(ProjectionDocumentEvent) event;
             Object changeType= slave.getChangeType();
             if (ProjectionDocumentEvent.CONTENT_CHANGE is changeType) {