diff dwtx/jface/text/source/AnnotationBarHoverManager.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 6dcb0baaa031
children 893c017bcdc5
line wrap: on
line diff
--- a/dwtx/jface/text/source/AnnotationBarHoverManager.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/source/AnnotationBarHoverManager.d	Sun Aug 24 02:26:23 2008 +0200
@@ -427,7 +427,7 @@
 
         int line= getHoverLine(event);
 
-        if (hover instanceof IAnnotationHoverExtension) {
+        if ( cast(IAnnotationHoverExtension)hover ) {
             IAnnotationHoverExtension extension= cast(IAnnotationHoverExtension) hover;
             ILineRange range= extension.getHoverLineRange(fSourceViewer, line);
             setCustomInformationControlCreator(extension.getHoverControlCreator());
@@ -492,7 +492,7 @@
      */
     private ILineRange adaptLineRangeToFolding(ILineRange lineRange, int line) {
 
-        if (fSourceViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fSourceViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
 
             try {
@@ -642,7 +642,7 @@
         if (event is null || event.getSource() is null)
             return fAnnotationHover;
 
-        if (fVerticalRulerInfo instanceof CompositeRuler) {
+        if ( cast(CompositeRuler)fVerticalRulerInfo ) {
             CompositeRuler comp= cast(CompositeRuler) fVerticalRulerInfo;
             for (Iterator it= comp.getDecoratorIterator(); it.hasNext();) {
                 Object o= it.next();
@@ -677,7 +677,7 @@
      * @throws BadLocationException if <code>line</code> is not valid in the viewer's document
      */
     private int getWidgetLineNumber(int line)  {
-        if (fSourceViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fSourceViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
             return extension.modelLine2WidgetLine(line);
         }
@@ -766,12 +766,12 @@
         IAnnotationHover hover= getHover(event);
 
         bool allowMouseExit= false;
-        if (hover instanceof IAnnotationHoverExtension) {
+        if ( cast(IAnnotationHoverExtension)hover ) {
             IAnnotationHoverExtension extension= cast(IAnnotationHoverExtension) hover;
             allowMouseExit= extension.canHandleMouseCursor();
         }
         bool hideOnMouseWheel= true;
-        if (hover instanceof IAnnotationHoverExtension2) {
+        if ( cast(IAnnotationHoverExtension2)hover ) {
             IAnnotationHoverExtension2 extension= cast(IAnnotationHoverExtension2) hover;
             hideOnMouseWheel= !extension.canHandleMouseWheel();
         }