diff dwtx/jface/text/AbstractDocument.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 6dcb0baaa031
line wrap: on
line diff
--- a/dwtx/jface/text/AbstractDocument.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/AbstractDocument.d	Sun Aug 24 01:46:20 2008 +0200
@@ -501,12 +501,12 @@
         if (category is null)
             throw new BadPositionCategoryException();
 
-        List list= (List) fPositions.get(category);
+        List list= cast(List) fPositions.get(category);
         if (list is null)
             throw new BadPositionCategoryException();
         list.add(computeIndexInPositionList(list, position.offset), position);
         
-        List endPositions= (List) fEndPositions.get(category);
+        List endPositions= cast(List) fEndPositions.get(category);
         if (endPositions is null)
             throw new BadPositionCategoryException();
         endPositions.add(computeIndexInPositionList(endPositions, position.offset + position.length - 1, false), position);
@@ -551,7 +551,7 @@
         if (category is null)
             return false;
 
-        List list= (List) fPositions.get(category);
+        List list= cast(List) fPositions.get(category);
         if (list is null)
             return false;
 
@@ -561,12 +561,12 @@
 
         int index= computeIndexInPositionList(list, offset);
         if (index < size) {
-            Position p= (Position) list.get(index);
+            Position p= cast(Position) list.get(index);
             while (p !is null && p.offset is offset) {
                 if (p.length is length)
                     return true;
                 ++ index;
-                p= (index < size) ? (Position) list.get(index) : null;
+                p= (index < size) ? cast(Position) list.get(index) : null;
             }
         }
 
@@ -623,7 +623,7 @@
 
             mid= (left + right) / 2;
 
-            p= (Position) positions.get(mid);
+            p= cast(Position) positions.get(mid);
             int pOffset= getOffset(orderedByOffset, p);
             if (offset < pOffset) {
                 if (left is mid)
@@ -642,7 +642,7 @@
         }
 
         int pos= left;
-        p= (Position) positions.get(pos);
+        p= cast(Position) positions.get(pos);
         int pPosition= getOffset(orderedByOffset, p);
         if (offset > pPosition) {
             // append to the end
@@ -653,7 +653,7 @@
                 --pos;
                 if (pos < 0)
                     break;
-                p= (Position) positions.get(pos);
+                p= cast(Position) positions.get(pos);
                 pPosition= getOffset(orderedByOffset, p);
             } while (offset is pPosition);
             ++pos;
@@ -681,7 +681,7 @@
         if (0 > offset || offset > getLength())
             throw new BadLocationException();
 
-        List c= (List) fPositions.get(category);
+        List c= cast(List) fPositions.get(category);
         if (c is null)
             throw new BadPositionCategoryException();
 
@@ -700,7 +700,7 @@
         
         Object[] listeners= fDocumentPartitioningListeners.getListeners();
         for (int i= 0; i < listeners.length; i++)
-            ((IDocumentPartitioningListener)listeners[i]).documentPartitioningChanged(this);
+            (cast(IDocumentPartitioningListener)listeners[i]).documentPartitioningChanged(this);
     }
 
     /**
@@ -721,9 +721,9 @@
         
         Object[] listeners= fDocumentPartitioningListeners.getListeners();
         for (int i= 0; i < listeners.length; i++) {
-            IDocumentPartitioningListener l= (IDocumentPartitioningListener)listeners[i];
+            IDocumentPartitioningListener l= cast(IDocumentPartitioningListener)listeners[i];
             if (l instanceof IDocumentPartitioningListenerExtension)
-                ((IDocumentPartitioningListenerExtension) l).documentPartitioningChanged(this, region);
+                (cast(IDocumentPartitioningListenerExtension) l).documentPartitioningChanged(this, region);
             else
                 l.documentPartitioningChanged(this);
         }
@@ -744,12 +744,12 @@
 
         Object[] listeners= fDocumentPartitioningListeners.getListeners();
         for (int i= 0; i < listeners.length; i++) {
-            IDocumentPartitioningListener l= (IDocumentPartitioningListener)listeners[i];
+            IDocumentPartitioningListener l= cast(IDocumentPartitioningListener)listeners[i];
             if (l instanceof IDocumentPartitioningListenerExtension2) {
-                IDocumentPartitioningListenerExtension2 extension2= (IDocumentPartitioningListenerExtension2) l;
+                IDocumentPartitioningListenerExtension2 extension2= cast(IDocumentPartitioningListenerExtension2) l;
                 extension2.documentPartitioningChanged(event);
             } else if (l instanceof IDocumentPartitioningListenerExtension) {
-                IDocumentPartitioningListenerExtension extension= (IDocumentPartitioningListenerExtension) l;
+                IDocumentPartitioningListenerExtension extension= cast(IDocumentPartitioningListenerExtension) l;
                 extension.documentPartitioningChanged(this, event.getCoverage());
             } else {
                 l.documentPartitioningChanged(this);
@@ -772,9 +772,9 @@
         if (fDocumentPartitioners !is null) {
             Iterator e= fDocumentPartitioners.values().iterator();
             while (e.hasNext()) {
-                IDocumentPartitioner p= (IDocumentPartitioner) e.next();
+                IDocumentPartitioner p= cast(IDocumentPartitioner) e.next();
                 if (p instanceof IDocumentPartitionerExtension3) {
-                    IDocumentPartitionerExtension3 extension= (IDocumentPartitionerExtension3) p;
+                    IDocumentPartitionerExtension3 extension= cast(IDocumentPartitionerExtension3) p;
                     if (extension.getActiveRewriteSession() !is null)
                         continue;
                 }
@@ -784,11 +784,11 @@
 
         Object[] listeners= fPrenotifiedDocumentListeners.getListeners();
         for (int i= 0; i < listeners.length; i++)
-            ((IDocumentListener)listeners[i]).documentAboutToBeChanged(event);
+            (cast(IDocumentListener)listeners[i]).documentAboutToBeChanged(event);
         
         listeners= fDocumentListeners.getListeners();
         for (int i= 0; i < listeners.length; i++)
-            ((IDocumentListener)listeners[i]).documentAboutToBeChanged(event);
+            (cast(IDocumentListener)listeners[i]).documentAboutToBeChanged(event);
     }
 
 
@@ -804,17 +804,17 @@
             fDocumentPartitioningChangedEvent= new DocumentPartitioningChangedEvent(this);
             Iterator e= fDocumentPartitioners.keySet().iterator();
             while (e.hasNext()) {
-                String partitioning= (String) e.next();
-                IDocumentPartitioner partitioner= (IDocumentPartitioner) fDocumentPartitioners.get(partitioning);
+                String partitioning= cast(String) e.next();
+                IDocumentPartitioner partitioner= cast(IDocumentPartitioner) fDocumentPartitioners.get(partitioning);
 
                 if (partitioner instanceof IDocumentPartitionerExtension3) {
-                    IDocumentPartitionerExtension3 extension= (IDocumentPartitionerExtension3) partitioner;
+                    IDocumentPartitionerExtension3 extension= cast(IDocumentPartitionerExtension3) partitioner;
                     if (extension.getActiveRewriteSession() !is null)
                         continue;
                 }
 
                 if (partitioner instanceof IDocumentPartitionerExtension) {
-                    IDocumentPartitionerExtension extension= (IDocumentPartitionerExtension) partitioner;
+                    IDocumentPartitionerExtension extension= cast(IDocumentPartitionerExtension) partitioner;
                     IRegion r= extension.documentChanged2(event);
                     if (r !is null)
                         fDocumentPartitioningChangedEvent.setPartitionChange(partitioning, r.getOffset(), r.getLength());
@@ -878,11 +878,11 @@
 
         Object[] listeners= fPrenotifiedDocumentListeners.getListeners();
         for (int i= 0; i < listeners.length; i++)
-            ((IDocumentListener)listeners[i]).documentChanged(event);
+            (cast(IDocumentListener)listeners[i]).documentChanged(event);
 
         listeners= fDocumentListeners.getListeners();
         for (int i= 0; i < listeners.length; i++)
-            ((IDocumentListener)listeners[i]).documentChanged(event);
+            (cast(IDocumentListener)listeners[i]).documentChanged(event);
 
         // IDocumentExtension
         ++ fReentranceCount;
@@ -1105,7 +1105,7 @@
         if (category is null)
             throw new BadPositionCategoryException();
 
-        List c= (List) fPositions.get(category);
+        List c= cast(List) fPositions.get(category);
         if (c is null)
             throw new BadPositionCategoryException();
 
@@ -1121,7 +1121,7 @@
         String[] categories= new String[fPositions.size()];
         Iterator keys= fPositions.keySet().iterator();
         for (int i= 0; i < categories.length; i++)
-            categories[i]= (String) keys.next();
+            categories[i]= cast(String) keys.next();
         return categories;
     }
 
@@ -1178,12 +1178,12 @@
         if (category is null)
             throw new BadPositionCategoryException();
 
-        List c= (List) fPositions.get(category);
+        List c= cast(List) fPositions.get(category);
         if (c is null)
             throw new BadPositionCategoryException();
         removeFromPositionsList(c, position, true);
         
-        List endPositions= (List) fEndPositions.get(category);
+        List endPositions= cast(List) fEndPositions.get(category);
         if (endPositions is null)
             throw new BadPositionCategoryException();
         removeFromPositionsList(endPositions, position, false);
@@ -1361,7 +1361,7 @@
         List list= new ArrayList(fPositionUpdaters);
         Iterator e= list.iterator();
         while (e.hasNext()) {
-            IPositionUpdater u= (IPositionUpdater) e.next();
+            IPositionUpdater u= cast(IPositionUpdater) e.next();
             u.update(event);
         }
     }
@@ -1420,7 +1420,7 @@
 
             Iterator e= changes.iterator();
             while (e.hasNext()) {
-                RegisteredReplace replace= (RegisteredReplace) e.next();
+                RegisteredReplace replace= cast(RegisteredReplace) e.next();
                 replace.fReplace.perform(this, replace.fOwner);
             }
         }
@@ -1531,7 +1531,7 @@
 
         if (partitioner instanceof IDocumentPartitionerExtension2) {
             checkStateOfPartitioner(partitioner, partitioning);
-            return ((IDocumentPartitionerExtension2) partitioner).computePartitioning(offset, length, includeZeroLengthPartitions);
+            return (cast(IDocumentPartitionerExtension2) partitioner).computePartitioning(offset, length, includeZeroLengthPartitions);
         } else if (partitioner !is null) {
             checkStateOfPartitioner(partitioner, partitioning);
             return partitioner.computePartitioning(offset, length);
@@ -1553,7 +1553,7 @@
 
         if (partitioner instanceof IDocumentPartitionerExtension2) {
             checkStateOfPartitioner(partitioner, partitioning);
-            return ((IDocumentPartitionerExtension2) partitioner).getContentType(offset, preferOpenPartitions);
+            return (cast(IDocumentPartitionerExtension2) partitioner).getContentType(offset, preferOpenPartitions);
         } else if (partitioner !is null) {
             checkStateOfPartitioner(partitioner, partitioning);
             return partitioner.getContentType(offset);
@@ -1568,7 +1568,7 @@
      * @since 3.0
      */
     public IDocumentPartitioner getDocumentPartitioner(String partitioning)  {
-        return fDocumentPartitioners !is null ? (IDocumentPartitioner) fDocumentPartitioners.get(partitioning) : null;
+        return fDocumentPartitioners !is null ? cast(IDocumentPartitioner) fDocumentPartitioners.get(partitioning) : null;
     }
 
     /*
@@ -1596,7 +1596,7 @@
 
         if (partitioner instanceof IDocumentPartitionerExtension2) {
             checkStateOfPartitioner(partitioner, partitioning);
-            return ((IDocumentPartitionerExtension2) partitioner).getPartition(offset, preferOpenPartitions);
+            return (cast(IDocumentPartitionerExtension2) partitioner).getPartition(offset, preferOpenPartitions);
         } else if (partitioner !is null) {
             checkStateOfPartitioner(partitioner, partitioning);
             return partitioner.getPartition(offset);
@@ -1658,7 +1658,7 @@
             List list= new ArrayList(fDocumentRewriteSessionListeners);
             Iterator e= list.iterator();
             while (e.hasNext()) {
-                IDocumentRewriteSessionListener l= (IDocumentRewriteSessionListener) e.next();
+                IDocumentRewriteSessionListener l= cast(IDocumentRewriteSessionListener) e.next();
                 l.documentRewriteSessionChanged(event);
             }
         }
@@ -1682,7 +1682,7 @@
 
 
         fDocumentRewriteSession= new DocumentRewriteSession(sessionType);
-        if (DEBUG)
+        if cast(DEBUG)
             System.out.println("AbstractDocument: Starting rewrite session: " + fDocumentRewriteSession); //$NON-NLS-1$
 
         fireRewriteSessionChanged(new DocumentRewriteSessionEvent(this, fDocumentRewriteSession, DocumentRewriteSessionEvent.SESSION_START));
@@ -1691,7 +1691,7 @@
 
         ILineTracker tracker= getTracker();
         if (tracker instanceof ILineTrackerExtension) {
-            ILineTrackerExtension extension= (ILineTrackerExtension) tracker;
+            ILineTrackerExtension extension= cast(ILineTrackerExtension) tracker;
             extension.startRewriteSession(fDocumentRewriteSession);
         }
 
@@ -1715,7 +1715,7 @@
             while (e.hasNext()) {
                 Object partitioner= e.next();
                 if (partitioner instanceof IDocumentPartitionerExtension3) {
-                    IDocumentPartitionerExtension3 extension= (IDocumentPartitionerExtension3) partitioner;
+                    IDocumentPartitionerExtension3 extension= cast(IDocumentPartitionerExtension3) partitioner;
                     extension.startRewriteSession(session);
                 }
             }
@@ -1729,7 +1729,7 @@
     public void stopRewriteSession(DocumentRewriteSession session) {
         if (fDocumentRewriteSession is session) {
 
-            if (DEBUG)
+            if cast(DEBUG)
                 System.out.println("AbstractDocument: Stopping rewrite session: " + session); //$NON-NLS-1$
 
             DocumentRewriteSessionType sessionType= session.getSessionType();
@@ -1738,7 +1738,7 @@
 
             ILineTracker tracker= getTracker();
             if (tracker instanceof ILineTrackerExtension) {
-                ILineTrackerExtension extension= (ILineTrackerExtension) tracker;
+                ILineTrackerExtension extension= cast(ILineTrackerExtension) tracker;
                 extension.stopRewriteSession(session, get());
             }
 
@@ -1760,10 +1760,10 @@
             DocumentPartitioningChangedEvent event= new DocumentPartitioningChangedEvent(this);
             Iterator e= fDocumentPartitioners.keySet().iterator();
             while (e.hasNext()) {
-                String partitioning= (String) e.next();
-                IDocumentPartitioner partitioner= (IDocumentPartitioner) fDocumentPartitioners.get(partitioning);
+                String partitioning= cast(String) e.next();
+                IDocumentPartitioner partitioner= cast(IDocumentPartitioner) fDocumentPartitioners.get(partitioning);
                 if (partitioner instanceof IDocumentPartitionerExtension3) {
-                    IDocumentPartitionerExtension3 extension= (IDocumentPartitionerExtension3) partitioner;
+                    IDocumentPartitionerExtension3 extension= cast(IDocumentPartitionerExtension3) partitioner;
                     extension.stopRewriteSession(session);
                     event.setPartitionChange(partitioning, 0, getLength());
                 }
@@ -1804,12 +1804,12 @@
         if (!(partitioner instanceof IDocumentPartitionerExtension3))
             return;
 
-        IDocumentPartitionerExtension3 extension= (IDocumentPartitionerExtension3) partitioner;
+        IDocumentPartitionerExtension3 extension= cast(IDocumentPartitionerExtension3) partitioner;
         DocumentRewriteSession session= extension.getActiveRewriteSession();
         if (session !is null) {
             extension.stopRewriteSession(session);
 
-            if (DEBUG)
+            if cast(DEBUG)
                 System.out.println("AbstractDocument: Flushing rewrite session for partition type: " + partitioning); //$NON-NLS-1$
 
             DocumentPartitioningChangedEvent event= new DocumentPartitioningChangedEvent(this);
@@ -1850,7 +1850,7 @@
             Position region= new Position(offset, length);
             
             for (Iterator iterator= documentPositions.iterator(); iterator.hasNext();) {
-                Position position= (Position) iterator.next();
+                Position position= cast(Position) iterator.next();
                 if (isWithinRegion(region, position, canStartBefore, canEndAfter)) {
                     list.add(position);
                 }
@@ -1902,7 +1902,7 @@
      * @since 3.4
      */
     private List getStartingPositions(String category, int offset, int length) throws BadPositionCategoryException {
-        List positions= (List) fPositions.get(category);
+        List positions= cast(List) fPositions.get(category);
         if (positions is null)
             throw new BadPositionCategoryException();
         
@@ -1924,7 +1924,7 @@
      * @since 3.4
      */
     private List getEndingPositions(String category, int offset, int length) throws BadPositionCategoryException {
-        List positions= (List) fEndPositions.get(category);
+        List positions= cast(List) fEndPositions.get(category);
         if (positions is null)
             throw new BadPositionCategoryException();