diff dwtx/jface/text/JFaceTextUtil.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/JFaceTextUtil.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/JFaceTextUtil.d	Sun Aug 24 01:46:20 2008 +0200
@@ -336,7 +336,7 @@
     public static int widgetLine2ModelLine(ITextViewer viewer, int widgetLine) {
         int modelLine;
         if (viewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5) viewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5) viewer;
             modelLine= extension.widgetLine2ModelLine(widgetLine);
         } else {
             try {
@@ -363,7 +363,7 @@
     public static int modelLineToWidgetLine(ITextViewer viewer, final int modelLine) {
         int widgetLine;
         if (viewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5) viewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5) viewer;
             widgetLine= extension.modelLine2WidgetLine(modelLine);
         } else {
             IRegion region= viewer.getVisibleRegion();
@@ -471,7 +471,7 @@
      */
     private static IRegion modelRange2WidgetRange(IRegion region, ITextViewer textViewer) {
         if (textViewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5) textViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5) textViewer;
             return extension.modelRange2WidgetRange(region);
         }