diff dwtx/jface/text/source/AnnotationModelEvent.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 b6bad70d540a
line wrap: on
line diff
--- a/dwtx/jface/text/source/AnnotationModelEvent.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/source/AnnotationModelEvent.d	Sun Aug 24 01:46:20 2008 +0200
@@ -232,7 +232,7 @@
      * @since 3.0
      */
     public Position getPositionOfRemovedAnnotation(Annotation annotation) {
-        return (Position) fRemovedAnnotations.get(annotation);
+        return cast(Position) fRemovedAnnotations.get(annotation);
     }
 
     /**
@@ -305,7 +305,7 @@
      */
     public bool isValid() {
         if (fModificationStamp !is null && fAnnotationModel instanceof IAnnotationModelExtension) {
-            IAnnotationModelExtension extension= (IAnnotationModelExtension) fAnnotationModel;
+            IAnnotationModelExtension extension= cast(IAnnotationModelExtension) fAnnotationModel;
             return fModificationStamp is extension.getModificationStamp();
         }
         return true;
@@ -319,7 +319,7 @@
      */
     public void markSealed() {
         if (fAnnotationModel instanceof IAnnotationModelExtension) {
-            IAnnotationModelExtension extension= (IAnnotationModelExtension) fAnnotationModel;
+            IAnnotationModelExtension extension= cast(IAnnotationModelExtension) fAnnotationModel;
             fModificationStamp= extension.getModificationStamp();
         }
     }