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

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents c4fb132a086c
children 6dcb0baaa031
line wrap: on
line diff
--- a/dwtx/jface/text/TextUtilities.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/TextUtilities.d	Sun Aug 24 01:46:20 2008 +0200
@@ -333,7 +333,7 @@
             return null;
 
         final Iterator iterator= documentEvents.iterator();
-        final DocumentEvent firstEvent= (DocumentEvent) iterator.next();
+        final DocumentEvent firstEvent= cast(DocumentEvent) iterator.next();
 
         // current merged event
         final IDocument document= unprocessedDocument;
@@ -345,7 +345,7 @@
 
             final int delta= text.length() - length;
 
-            final DocumentEvent event= (DocumentEvent) iterator.next();
+            final DocumentEvent event= cast(DocumentEvent) iterator.next();
             final int eventOffset= event.getOffset();
             final int eventLength= event.getLength();
             final String eventText= event.getText() is null ? "" : event.getText(); //$NON-NLS-1$
@@ -398,7 +398,7 @@
             return null;
 
         final ListIterator iterator= documentEvents.listIterator(documentEvents.size());
-        final DocumentEvent firstEvent= (DocumentEvent) iterator.previous();
+        final DocumentEvent firstEvent= cast(DocumentEvent) iterator.previous();
 
         // current merged event
         final IDocument document= firstEvent.getDocument();
@@ -410,7 +410,7 @@
 
             final int delta= length - textLength;
 
-            final DocumentEvent event= (DocumentEvent) iterator.previous();
+            final DocumentEvent event= cast(DocumentEvent) iterator.previous();
             final int eventOffset= event.getOffset();
             final int eventLength= event.getLength();
             final int eventTextLength= event.getText() is null ? 0 : event.getText().length();
@@ -453,7 +453,7 @@
     public static Map removeDocumentPartitioners(IDocument document) {
         Map partitioners= new HashMap();
         if (document instanceof IDocumentExtension3) {
-            IDocumentExtension3 extension3= (IDocumentExtension3) document;
+            IDocumentExtension3 extension3= cast(IDocumentExtension3) document;
             String[] partitionings= extension3.getPartitionings();
             for (int i= 0; i < partitionings.length; i++) {
                 IDocumentPartitioner partitioner= extension3.getDocumentPartitioner(partitionings[i]);
@@ -484,17 +484,17 @@
      */
     public static void addDocumentPartitioners(IDocument document, Map partitioners) {
         if (document instanceof IDocumentExtension3) {
-            IDocumentExtension3 extension3= (IDocumentExtension3) document;
+            IDocumentExtension3 extension3= cast(IDocumentExtension3) document;
             Iterator e= partitioners.keySet().iterator();
             while (e.hasNext()) {
-                String partitioning= (String) e.next();
-                IDocumentPartitioner partitioner= (IDocumentPartitioner) partitioners.get(partitioning);
+                String partitioning= cast(String) e.next();
+                IDocumentPartitioner partitioner= cast(IDocumentPartitioner) partitioners.get(partitioning);
                 partitioner.connect(document);
                 extension3.setDocumentPartitioner(partitioning, partitioner);
             }
             partitioners.clear();
         } else {
-            IDocumentPartitioner partitioner= (IDocumentPartitioner) partitioners.get(IDocumentExtension3.DEFAULT_PARTITIONING);
+            IDocumentPartitioner partitioner= cast(IDocumentPartitioner) partitioners.get(IDocumentExtension3.DEFAULT_PARTITIONING);
             partitioner.connect(document);
             document.setDocumentPartitioner(partitioner);
         }
@@ -515,7 +515,7 @@
      */
     public static String getContentType(IDocument document, String partitioning, int offset, bool preferOpenPartitions) throws BadLocationException {
         if (document instanceof IDocumentExtension3) {
-            IDocumentExtension3 extension3= (IDocumentExtension3) document;
+            IDocumentExtension3 extension3= cast(IDocumentExtension3) document;
             try {
                 return extension3.getContentType(partitioning, offset, preferOpenPartitions);
             } catch (BadPartitioningException x) {
@@ -542,7 +542,7 @@
      */
     public static ITypedRegion getPartition(IDocument document, String partitioning, int offset, bool preferOpenPartitions) throws BadLocationException {
         if (document instanceof IDocumentExtension3) {
-            IDocumentExtension3 extension3= (IDocumentExtension3) document;
+            IDocumentExtension3 extension3= cast(IDocumentExtension3) document;
             try {
                 return extension3.getPartition(partitioning, offset, preferOpenPartitions);
             } catch (BadPartitioningException x) {
@@ -570,7 +570,7 @@
      */
     public static ITypedRegion[] computePartitioning(IDocument document, String partitioning, int offset, int length, bool includeZeroLengthPartitions) throws BadLocationException {
         if (document instanceof IDocumentExtension3) {
-            IDocumentExtension3 extension3= (IDocumentExtension3) document;
+            IDocumentExtension3 extension3= cast(IDocumentExtension3) document;
             try {
                 return extension3.computePartitioning(partitioning, offset, length, includeZeroLengthPartitions);
             } catch (BadPartitioningException x) {
@@ -591,14 +591,14 @@
      */
     public static String[] computePartitionManagingCategories(IDocument document) {
         if (document instanceof IDocumentExtension3) {
-            IDocumentExtension3 extension3= (IDocumentExtension3) document;
+            IDocumentExtension3 extension3= cast(IDocumentExtension3) document;
             String[] partitionings= extension3.getPartitionings();
             if (partitionings !is null) {
                 Set categories= new HashSet();
                 for (int i= 0; i < partitionings.length; i++) {
                     IDocumentPartitioner p= extension3.getDocumentPartitioner(partitionings[i]);
                     if (p instanceof IDocumentPartitionerExtension2) {
-                        IDocumentPartitionerExtension2 extension2= (IDocumentPartitionerExtension2) p;
+                        IDocumentPartitionerExtension2 extension2= cast(IDocumentPartitionerExtension2) p;
                         String[] c= extension2.getManagingPositionCategories();
                         if (c !is null) {
                             for (int j= 0; j < c.length; j++)
@@ -626,7 +626,7 @@
     public static String getDefaultLineDelimiter(IDocument document) {
 
         if (document instanceof IDocumentExtension4) 
-            return ((IDocumentExtension4)document).getDefaultLineDelimiter();
+            return (cast(IDocumentExtension4)document).getDefaultLineDelimiter();
         
         String lineDelimiter= null;