diff dwtx/jface/text/AbstractLineTracker.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 65801ad2b265
line wrap: on
line diff
--- a/dwtx/jface/text/AbstractLineTracker.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/AbstractLineTracker.d	Sun Aug 24 01:46:20 2008 +0200
@@ -370,7 +370,7 @@
     private void checkImplementation() {
         if (fNeedsConversion) {
             fNeedsConversion= false;
-            fDelegate= new TreeLineTracker((ListLineTracker) fDelegate) {
+            fDelegate= new TreeLineTracker(cast(ListLineTracker) fDelegate) {
                 protected DelimiterInfo nextDelimiterInfo(String text, int offset) {
                     return AbstractLineTracker.this.nextDelimiterInfo(text, offset);
                 }
@@ -433,7 +433,7 @@
      * @since 3.1
      */
     protected final void flushRewriteSession() throws BadLocationException {
-        if (DEBUG)
+        if cast(DEBUG)
             System.out.println("AbstractLineTracker: Flushing rewrite session: " + fActiveRewriteSession); //$NON-NLS-1$
 
         Iterator e= fPendingRequests.iterator();
@@ -442,7 +442,7 @@
         fActiveRewriteSession= null;
 
         while (e.hasNext()) {
-            Request request= (Request) e.next();
+            Request request= cast(Request) e.next();
             if (request.isReplaceRequest())
                 replace(request.offset, request.length, request.text);
             else