view dwtx/jface/text/source/AnnotationBarHoverManager.d @ 142:893c017bcdc5

instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:29:00 +0200
parents b6bad70d540a
children 53b889547456
line wrap: on
line source

/*******************************************************************************
 * Copyright (c) 2000, 2008 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 * Port to the D programming language:
 *     Frank Benoit <benoit@tionex.de>
 *******************************************************************************/
module dwtx.jface.text.source.AnnotationBarHoverManager;

import dwtx.jface.text.source.ISharedTextColors; // packageimport
import dwtx.jface.text.source.ILineRange; // packageimport
import dwtx.jface.text.source.IAnnotationPresentation; // packageimport
import dwtx.jface.text.source.IVerticalRulerInfoExtension; // packageimport
import dwtx.jface.text.source.ICharacterPairMatcher; // packageimport
import dwtx.jface.text.source.TextInvocationContext; // packageimport
import dwtx.jface.text.source.LineChangeHover; // packageimport
import dwtx.jface.text.source.IChangeRulerColumn; // packageimport
import dwtx.jface.text.source.IAnnotationMap; // packageimport
import dwtx.jface.text.source.IAnnotationModelListenerExtension; // packageimport
import dwtx.jface.text.source.ISourceViewerExtension2; // packageimport
import dwtx.jface.text.source.IAnnotationHover; // packageimport
import dwtx.jface.text.source.ContentAssistantFacade; // packageimport
import dwtx.jface.text.source.IAnnotationAccess; // packageimport
import dwtx.jface.text.source.IVerticalRulerExtension; // packageimport
import dwtx.jface.text.source.IVerticalRulerColumn; // packageimport
import dwtx.jface.text.source.LineNumberRulerColumn; // packageimport
import dwtx.jface.text.source.MatchingCharacterPainter; // packageimport
import dwtx.jface.text.source.IAnnotationModelExtension; // packageimport
import dwtx.jface.text.source.ILineDifferExtension; // packageimport
import dwtx.jface.text.source.DefaultCharacterPairMatcher; // packageimport
import dwtx.jface.text.source.LineNumberChangeRulerColumn; // packageimport
import dwtx.jface.text.source.IAnnotationAccessExtension; // packageimport
import dwtx.jface.text.source.ISourceViewer; // packageimport
import dwtx.jface.text.source.AnnotationModel; // packageimport
import dwtx.jface.text.source.ILineDifferExtension2; // packageimport
import dwtx.jface.text.source.IAnnotationModelListener; // packageimport
import dwtx.jface.text.source.IVerticalRuler; // packageimport
import dwtx.jface.text.source.DefaultAnnotationHover; // packageimport
import dwtx.jface.text.source.SourceViewer; // packageimport
import dwtx.jface.text.source.SourceViewerConfiguration; // packageimport
import dwtx.jface.text.source.CompositeRuler; // packageimport
import dwtx.jface.text.source.ImageUtilities; // packageimport
import dwtx.jface.text.source.VisualAnnotationModel; // packageimport
import dwtx.jface.text.source.IAnnotationModel; // packageimport
import dwtx.jface.text.source.ISourceViewerExtension3; // packageimport
import dwtx.jface.text.source.ILineDiffInfo; // packageimport
import dwtx.jface.text.source.VerticalRulerEvent; // packageimport
import dwtx.jface.text.source.ChangeRulerColumn; // packageimport
import dwtx.jface.text.source.ILineDiffer; // packageimport
import dwtx.jface.text.source.AnnotationModelEvent; // packageimport
import dwtx.jface.text.source.AnnotationColumn; // packageimport
import dwtx.jface.text.source.AnnotationRulerColumn; // packageimport
import dwtx.jface.text.source.IAnnotationHoverExtension; // packageimport
import dwtx.jface.text.source.AbstractRulerColumn; // packageimport
import dwtx.jface.text.source.ISourceViewerExtension; // packageimport
import dwtx.jface.text.source.AnnotationMap; // packageimport
import dwtx.jface.text.source.IVerticalRulerInfo; // packageimport
import dwtx.jface.text.source.IAnnotationModelExtension2; // packageimport
import dwtx.jface.text.source.LineRange; // packageimport
import dwtx.jface.text.source.IAnnotationAccessExtension2; // packageimport
import dwtx.jface.text.source.VerticalRuler; // packageimport
import dwtx.jface.text.source.JFaceTextMessages; // packageimport
import dwtx.jface.text.source.IOverviewRuler; // packageimport
import dwtx.jface.text.source.Annotation; // packageimport
import dwtx.jface.text.source.IVerticalRulerListener; // packageimport
import dwtx.jface.text.source.ISourceViewerExtension4; // packageimport
import dwtx.jface.text.source.AnnotationPainter; // packageimport
import dwtx.jface.text.source.IAnnotationHoverExtension2; // packageimport
import dwtx.jface.text.source.OverviewRuler; // packageimport
import dwtx.jface.text.source.OverviewRulerHoverManager; // packageimport


import dwt.dwthelper.utils;

import java.util.Iterator;

import dwt.DWT;
import dwt.custom.StyledText;
import dwt.events.ControlEvent;
import dwt.events.ControlListener;
import dwt.events.DisposeEvent;
import dwt.events.DisposeListener;
import dwt.events.KeyEvent;
import dwt.events.KeyListener;
import dwt.events.MouseEvent;
import dwt.events.MouseListener;
import dwt.events.MouseMoveListener;
import dwt.events.MouseTrackAdapter;
import dwt.events.ShellEvent;
import dwt.events.ShellListener;
import dwt.graphics.Point;
import dwt.graphics.Rectangle;
import dwt.widgets.Control;
import dwt.widgets.Display;
import dwt.widgets.Event;
import dwt.widgets.Listener;
import dwtx.core.runtime.Assert;
import dwtx.jface.internal.text.InformationControlReplacer;
import dwtx.jface.internal.text.InternalAccessor;
import dwtx.jface.text.AbstractHoverInformationControlManager;
import dwtx.jface.text.AbstractInformationControlManager;
import dwtx.jface.text.BadLocationException;
import dwtx.jface.text.IDocument;
import dwtx.jface.text.IInformationControl;
import dwtx.jface.text.IInformationControlCreator;
import dwtx.jface.text.IRegion;
import dwtx.jface.text.ITextViewerExtension5;
import dwtx.jface.text.JFaceTextUtil;
import dwtx.jface.text.Region;
import dwtx.jface.text.TextUtilities;
import dwtx.jface.text.ITextViewerExtension8.EnrichMode;


/**
 * This manager controls the layout, content, and visibility of an information
 * control in reaction to mouse hover events issued by the vertical ruler of a
 * source viewer.
 * @since 2.0
 */
public class AnnotationBarHoverManager : AbstractHoverInformationControlManager {

    /**
     * The information control closer for the hover information. Closes the information control as soon as the mouse pointer leaves the subject area, a mouse button is pressed, the user presses a key, or the subject control is resized or moved.
     * 
     * @since 3.0
     * @deprecated As of 3.4, no longer used as closer from super class is used
     */
    protected class Closer : MouseTrackAdapter , IInformationControlCloser, MouseListener, MouseMoveListener, ControlListener, KeyListener, DisposeListener, ShellListener, Listener {

        /** The closer's subject control */
        private Control fSubjectControl;
        /** The subject area */
        private Rectangle fSubjectArea;
        /** Indicates whether this closer is active */
        private bool fIsActive= false;
        /** The information control. */
        private IInformationControl fInformationControlToClose;
        /**
         * <code>true</code> if a wheel handler is installed.
         * @since 3.2
         */
        private bool fHasWheelFilter= false;
        /**
         * The cached display.
         * @since 3.2
         */
        private Display fDisplay;


        /**
         * Creates a new information control closer.
         */
        public this() {
        }

        /*
         * @see IInformationControlCloser#setSubjectControl(Control)
         */
        public void setSubjectControl(Control control) {
            fSubjectControl= control;
        }

        /*
         * @see IInformationControlCloser#setHoverControl(IHoverControl)
         */
        public void setInformationControl(IInformationControl control) {
            fInformationControlToClose= control;
        }

        /*
         * @see IInformationControlCloser#start(Rectangle)
         */
        public void start(Rectangle subjectArea) {

            if (fIsActive) return;
            fIsActive= true;

            fSubjectArea= subjectArea;

            fInformationControlToClose.addDisposeListener(this);
            if (fSubjectControl !is null && !fSubjectControl.isDisposed()) {
                fSubjectControl.addMouseListener(this);
                fSubjectControl.addMouseMoveListener(this);
                fSubjectControl.addMouseTrackListener(this);
                fSubjectControl.getShell().addShellListener(this);
                fSubjectControl.addControlListener(this);
                fSubjectControl.addKeyListener(this);
                
                fDisplay= fSubjectControl.getDisplay();
                if (!fDisplay.isDisposed() && fHideOnMouseWheel) {
                    fHasWheelFilter= true;
                    fDisplay.addFilter(DWT.MouseWheel, this);
                }
            }
        }

        /*
         * @see IInformationControlCloser#stop()
         */
        public void stop() {

            if (!fIsActive)
                return;
            fIsActive= false;

            if (fSubjectControl !is null && !fSubjectControl.isDisposed()) {
                fSubjectControl.removeMouseListener(this);
                fSubjectControl.removeMouseMoveListener(this);
                fSubjectControl.removeMouseTrackListener(this);
                fSubjectControl.getShell().removeShellListener(this);
                fSubjectControl.removeControlListener(this);
                fSubjectControl.removeKeyListener(this);
            }
            
            if (fDisplay !is null && !fDisplay.isDisposed() && fHasWheelFilter)
                fDisplay.removeFilter(DWT.MouseWheel, this);
            fHasWheelFilter= false;
            
            fDisplay= null;
            
        }

        /**
         * Stops the information control and if <code>delayRestart</code> is set allows restart only after a certain delay.
         * 
         * @param delayRestart <code>true</code> if restart should be delayed
         * @deprecated As of 3.4, replaced by {@link #stop()}. Note that <code>delayRestart</code> was never honored.
         */
        protected void stop(bool delayRestart) {
            stop();
        }

        /*
         * @see dwt.events.MouseMoveListener#mouseMove(dwt.events.MouseEvent)
         */
        public void mouseMove(MouseEvent event) {
            if (!fSubjectArea.contains(event.x, event.y))
                hideInformationControl();
        }

        /*
         * @see dwt.events.MouseListener#mouseUp(dwt.events.MouseEvent)
         */
        public void mouseUp(MouseEvent event) {
        }

        /*
         * @see MouseListener#mouseDown(MouseEvent)
         */
        public void mouseDown(MouseEvent event) {
            hideInformationControl();
        }

        /*
         * @see MouseListener#mouseDoubleClick(MouseEvent)
         */
        public void mouseDoubleClick(MouseEvent event) {
            hideInformationControl();
        }
        
        /*
         * @see dwt.widgets.Listener#handleEvent(dwt.widgets.Event)
         * @since 3.2
         */
        public void handleEvent(Event event) {
            if (event.type is DWT.MouseWheel)
                hideInformationControl();
        }

        /*
         * @see MouseTrackAdapter#mouseExit(MouseEvent)
         */
        public void mouseExit(MouseEvent event) {
            if (!fAllowMouseExit)
                hideInformationControl();
        }

        /*
         * @see ControlListener#controlResized(ControlEvent)
         */
        public void controlResized(ControlEvent event) {
            hideInformationControl();
        }

        /*
         * @see ControlListener#controlMoved(ControlEvent)
         */
        public void controlMoved(ControlEvent event) {
            hideInformationControl();
        }

        /*
         * @see KeyListener#keyReleased(KeyEvent)
         */
        public void keyReleased(KeyEvent event) {
        }

        /*
         * @see KeyListener#keyPressed(KeyEvent)
         */
        public void keyPressed(KeyEvent event) {
            hideInformationControl();
        }

        /*
         * @see dwt.events.ShellListener#shellActivated(dwt.events.ShellEvent)
         * @since 3.1
         */
        public void shellActivated(ShellEvent e) {
        }

        /*
         * @see dwt.events.ShellListener#shellClosed(dwt.events.ShellEvent)
         * @since 3.1
         */
        public void shellClosed(ShellEvent e) {
        }

        /*
         * @see dwt.events.ShellListener#shellDeactivated(dwt.events.ShellEvent)
         * @since 3.1
         */
        public void shellDeactivated(ShellEvent e) {
            hideInformationControl();
        }

        /*
         * @see dwt.events.ShellListener#shellDeiconified(dwt.events.ShellEvent)
         * @since 3.1
         */
        public void shellDeiconified(ShellEvent e) {
        }

        /*
         * @see dwt.events.ShellListener#shellIconified(dwt.events.ShellEvent)
         * @since 3.1
         */
        public void shellIconified(ShellEvent e) {
        }

        /*
         * @see dwt.events.DisposeListener#widgetDisposed(dwt.events.DisposeEvent)
         */
        public void widgetDisposed(DisposeEvent e) {
            hideInformationControl();
        }
    }

    /** The source viewer the manager is connected to */
    private ISourceViewer fSourceViewer;
    /** The vertical ruler the manager is registered with */
    private IVerticalRulerInfo fVerticalRulerInfo;
    /** The annotation hover the manager uses to retrieve the information to display. Can be <code>null</code>. */
    private IAnnotationHover fAnnotationHover;
    /**
     * Indicates whether the mouse cursor is allowed to leave the subject area without closing the hover.
     * @since 3.0
     */
    protected bool fAllowMouseExit= false;
    /**
     * Whether we should hide the over on mouse wheel action.
     * 
     * @since 3.2
     */
    private bool fHideOnMouseWheel= true;
    
    /**
     * The current annotation hover.
     * @since 3.2
     */
    private IAnnotationHover fCurrentHover;

    /**
     * Creates an annotation hover manager with the given parameters. In addition,
     * the hovers anchor is RIGHT and the margin is 5 points to the right.
     *
     * @param sourceViewer the source viewer this manager connects to
     * @param ruler the vertical ruler this manager connects to
     * @param annotationHover the annotation hover providing the information to be displayed
     * @param creator the information control creator
     * @deprecated As of 2.1, replaced by {@link AnnotationBarHoverManager#AnnotationBarHoverManager(IVerticalRulerInfo, ISourceViewer, IAnnotationHover, IInformationControlCreator)}
     */
    public this(ISourceViewer sourceViewer, IVerticalRuler ruler, IAnnotationHover annotationHover, IInformationControlCreator creator) {
        this(ruler, sourceViewer, annotationHover, creator);
    }

    /**
     * Creates an annotation hover manager with the given parameters. In addition,
     * the hovers anchor is RIGHT and the margin is 5 points to the right.
     *
     * @param rulerInfo the vertical ruler this manager connects to
     * @param sourceViewer the source viewer this manager connects to
     * @param annotationHover the annotation hover providing the information to be displayed or <code>null</code> if none
     * @param creator the information control creator
     * @since 2.1
     */
    public this(IVerticalRulerInfo rulerInfo, ISourceViewer sourceViewer, IAnnotationHover annotationHover, IInformationControlCreator creator) {
        super(creator);

        Assert.isNotNull(sourceViewer);

        fSourceViewer= sourceViewer;
        fVerticalRulerInfo= rulerInfo;
        fAnnotationHover= annotationHover;

        setAnchor(ANCHOR_RIGHT);
        setMargins(5, 0);
        // use closer from super class
    }

    /*
     * @see dwtx.jface.text.AbstractInformationControlManager#computeInformation()
     */
    protected void computeInformation() {
        fAllowMouseExit= false;
        MouseEvent event= getHoverEvent();
        IAnnotationHover hover= getHover(event);
        if (hover is null) {
            setInformation(null, null);
            return;
        }

        int line= getHoverLine(event);

        if ( cast(IAnnotationHoverExtension)hover ) {
            IAnnotationHoverExtension extension= cast(IAnnotationHoverExtension) hover;
            ILineRange range= extension.getHoverLineRange(fSourceViewer, line);
            setCustomInformationControlCreator(extension.getHoverControlCreator());
            range= adaptLineRange(range, line);
            if (range !is null)
                setInformation(extension.getHoverInfo(fSourceViewer, range, computeNumberOfVisibleLines()), computeArea(range));
            else
                setInformation(null, null);

        } else {
            setCustomInformationControlCreator(null);
            setInformation(hover.getHoverInfo(fSourceViewer, line), computeArea(line));
        }

    }
    
    /*
     * @see dwtx.jface.text.AbstractInformationControlManager#showInformationControl(dwt.graphics.Rectangle)
     * @since 3.2
     */
    protected void showInformationControl(Rectangle subjectArea) {
        super.showInformationControl(subjectArea);
        fCurrentHover= getHover(getHoverEvent());
    }
    
    /*
     * @see dwtx.jface.text.AbstractInformationControlManager#hideInformationControl()
     * @since 3.2
     */
    protected void hideInformationControl() {
        fCurrentHover= null;
        super.hideInformationControl();
    }

    /**
     * Adapts a given line range so that the result is a line range that does
     * not overlap with any collapsed region and fits into the view port of the
     * attached viewer.
     *
     * @param lineRange the original line range
     * @param line the anchor line
     * @return the adapted line range
     * @since 3.0
     */
    private ILineRange adaptLineRange(ILineRange lineRange, int line) {
        if (lineRange !is null) {
            lineRange= adaptLineRangeToFolding(lineRange, line);
            if (lineRange !is null)
                return adaptLineRangeToViewport(lineRange);
        }
        return null;
    }

    /**
     * Adapts a given line range so that the result is a line range that does
     * not overlap with any collapsed region of the attached viewer.
     *
     * @param lineRange the original line range
     * @param line the anchor line
     * @return the adapted line range
     * @since 3.0
     */
    private ILineRange adaptLineRangeToFolding(ILineRange lineRange, int line) {

        if ( cast(ITextViewerExtension5)fSourceViewer ) {
            ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;

            try {
                IRegion region= convertToRegion(lineRange);
                IRegion[] coverage= extension.getCoveredModelRanges(region);
                if (coverage !is null && coverage.length > 0) {
                    IRegion container= findRegionContainingLine(coverage, line);
                    if (container !is null)
                        return convertToLineRange(container);
                }

            } catch (BadLocationException x) {
            }

            return null;
        }

        return lineRange;
    }

    /**
     * Adapts a given line range so that the result is a line range that fits
     * into the view port of the attached viewer.
     *
     * @param lineRange the original line range
     * @return the adapted line range
     * @since 3.0
     */
    private ILineRange adaptLineRangeToViewport(ILineRange lineRange) {

        try {
            StyledText text= fSourceViewer.getTextWidget();

            int topLine= text.getTopIndex();
            int rangeTopLine= getWidgetLineNumber(lineRange.getStartLine());
            int topDelta= Math.max(topLine - rangeTopLine, 0);

            Rectangle size= text.getClientArea();
            Rectangle trim= text.computeTrim(0, 0, 0, 0);
            int height= size.height - trim.height;
            
            int lines= JFaceTextUtil.getLineIndex(text, height) - text.getTopIndex();
            
            int bottomLine= topLine + lines;
            
            int rangeBottomLine= getWidgetLineNumber(lineRange.getStartLine() + lineRange.getNumberOfLines() - 1);
            int bottomDelta= Math.max(rangeBottomLine - bottomLine, 0);

            return new LineRange(lineRange.getStartLine() + topDelta, lineRange.getNumberOfLines() - bottomDelta - topDelta);

        } catch (BadLocationException ex) {
        }

        return null;
    }

    /**
     * Converts a line range into a character range.
     *
     * @param lineRange the line range
     * @return the corresponding character range
     * @throws BadLocationException in case the given line range is invalid
     */
    private IRegion convertToRegion(ILineRange lineRange)  {
        IDocument document= fSourceViewer.getDocument();
        int startOffset= document.getLineOffset(lineRange.getStartLine());
        int endLine= lineRange.getStartLine() + Math.max(0, lineRange.getNumberOfLines() - 1);
        IRegion lineInfo= document.getLineInformation(endLine);
        int endOffset= lineInfo.getOffset() + lineInfo.getLength();
        return new Region(startOffset, endOffset - startOffset);
    }

    /**
     * Returns the region out of the given set that contains the given line or
     * <code>null</code>.
     *
     * @param regions the set of regions
     * @param line the line
     * @return the region of the set that contains the line
     * @throws BadLocationException in case line is invalid
     */
    private IRegion findRegionContainingLine(IRegion[] regions, int line)  {
        IDocument document= fSourceViewer.getDocument();
        IRegion lineInfo= document.getLineInformation(line);
        for (int i= 0; i < regions.length; i++) {
            if (TextUtilities.overlaps(regions[i], lineInfo))
                return regions[i];
        }
        return null;
    }

    /**
     * Converts a given character region into a line range.
     *
     * @param region the character region
     * @return the corresponding line range
     * @throws BadLocationException in case the given region in invalid
     */
    private ILineRange convertToLineRange(IRegion region)  {
        IDocument document= fSourceViewer.getDocument();
        int startLine= document.getLineOfOffset(region.getOffset());
        int endLine= document.getLineOfOffset(region.getOffset() + region.getLength());
        return new LineRange(startLine, endLine - startLine + 1);
    }

    /**
     * Returns the visible area of the vertical ruler covered by the given line
     * range.
     *
     * @param lineRange the line range
     * @return the visible area
     */
    private Rectangle computeArea(ILineRange lineRange) {
        try {
            StyledText text= fSourceViewer.getTextWidget();
            final int startLine= getWidgetLineNumber(lineRange.getStartLine());
            int y= JFaceTextUtil.computeLineHeight(text, 0, startLine, startLine) - text.getTopPixel();
            int height= JFaceTextUtil.computeLineHeight(text, startLine, startLine + lineRange.getNumberOfLines(), lineRange.getNumberOfLines());
            Point size= fVerticalRulerInfo.getControl().getSize();
            return new Rectangle(0, y, size.x, height);
        } catch (BadLocationException x) {
        }
        return null;
    }

    /**
     * Returns the number of the currently visible lines.
     *
     * @return the number of the currently visible lines
     * @deprecated to avoid deprecation warning
     */
    private int computeNumberOfVisibleLines() {
        // Hack to reduce amount of copied code.
        return LineNumberRulerColumn.getVisibleLinesInViewport(fSourceViewer.getTextWidget());
    }

    /**
     * Determines the hover to be used to display information based on the source of the
     * mouse hover event. If <code>fVerticalRulerInfo</code> is not a composite ruler, the
     * standard hover is returned.
     *
     * @param event the source of the mouse hover event
     * @return the hover depending on <code>source</code>, or <code>fAnnotationHover</code> if none can be found.
     * @since 3.0
     */
    private IAnnotationHover getHover(MouseEvent event) {
        if (event is null || event.getSource() is null)
            return fAnnotationHover;

        if ( cast(CompositeRuler)fVerticalRulerInfo ) {
            CompositeRuler comp= cast(CompositeRuler) fVerticalRulerInfo;
            for (Iterator it= comp.getDecoratorIterator(); it.hasNext();) {
                Object o= it.next();
                if ( cast(IVerticalRulerInfoExtension)o  && o instanceof IVerticalRulerInfo) {
                    if ((cast(IVerticalRulerInfo) o).getControl() is event.getSource()) {
                        IAnnotationHover hover= (cast(IVerticalRulerInfoExtension) o).getHover();
                        if (hover !is null)
                            return hover;
                    }
                }
            }
        }
        return fAnnotationHover;
    }

    /**
     * Returns the line of interest deduced from the mouse hover event.
     *
     * @param event a mouse hover event that triggered hovering
     * @return the document model line number on which the hover event occurred or <code>-1</code> if there is no event
     * @since 3.0
     */
    private int getHoverLine(MouseEvent event) {
        return event is null ? -1 : fVerticalRulerInfo.toDocumentLineNumber(event.y);
    }

    /**
     * Returns for the widget line number for the given document line number.
     *
     * @param line the absolute line number
     * @return the line number relative to the viewer's visible region
     * @throws BadLocationException if <code>line</code> is not valid in the viewer's document
     */
    private int getWidgetLineNumber(int line)  {
        if ( cast(ITextViewerExtension5)fSourceViewer ) {
            ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
            return extension.modelLine2WidgetLine(line);
        }

        IRegion region= fSourceViewer.getVisibleRegion();
        int firstLine= fSourceViewer.getDocument().getLineOfOffset(region.getOffset());
        return line - firstLine;
    }

    /**
     * Determines graphical area covered by the given line.
     *
     * @param line the number of the line in the viewer whose graphical extend in the vertical ruler must be computed
     * @return the graphical extend of the given line
     */
    private Rectangle computeArea(int line) {
        try {
            StyledText text= fSourceViewer.getTextWidget();
            int widgetLine= getWidgetLineNumber(line);
            int y= JFaceTextUtil.computeLineHeight(text, 0, widgetLine, widgetLine) - text.getTopPixel();
            Point size= fVerticalRulerInfo.getControl().getSize();
            return new Rectangle(0, y, size.x, text.getLineHeight(text.getOffsetAtLine(widgetLine)));
        } catch (IllegalArgumentException ex) {
        } catch (BadLocationException ex) {
        }
        return null;
    }

    /**
     * Returns the annotation hover for this hover manager.
     *
     * @return the annotation hover for this hover manager or <code>null</code> if none
     * @since 2.1
     */
    protected IAnnotationHover getAnnotationHover() {
        return fAnnotationHover;
    }

    /**
     * Returns the source viewer for this hover manager.
     *
     * @return the source viewer for this hover manager
     * @since 2.1
     */
    protected ISourceViewer getSourceViewer() {
        return fSourceViewer;
    }

    /**
     * Returns the vertical ruler info for this hover manager
     *
     * @return the vertical ruler info for this hover manager
     * @since 2.1
     */
    protected IVerticalRulerInfo getVerticalRulerInfo() {
        return fVerticalRulerInfo;
    }

    /*
     * @see dwtx.jface.text.AbstractInformationControlManager#computeSizeConstraints(dwt.widgets.Control, dwt.graphics.Rectangle, dwtx.jface.text.IInformationControl)
     * @since 3.0
     */
    protected Point computeSizeConstraints(Control subjectControl, Rectangle subjectArea, IInformationControl informationControl) {

        Point constraints= super.computeSizeConstraints(subjectControl, subjectArea, informationControl);

        // make as big as text area, if possible
        StyledText styledText= fSourceViewer.getTextWidget();
        if (styledText !is null) {
            Rectangle r= styledText.getClientArea();
            if (r !is null) {
                constraints.x= r.width;
                constraints.y= r.height;
            }
        }

        return constraints;
    }

    /*
     * @see dwtx.jface.text.AbstractInformationControlManager#computeLocation(dwt.graphics.Rectangle, dwt.graphics.Point, dwtx.jface.text.AbstractInformationControlManager.Anchor)
     * @since 3.0
     */
    protected Point computeLocation(Rectangle subjectArea, Point controlSize, Anchor anchor) {
        MouseEvent event= getHoverEvent();
        IAnnotationHover hover= getHover(event);

        bool allowMouseExit= false;
        if ( cast(IAnnotationHoverExtension)hover ) {
            IAnnotationHoverExtension extension= cast(IAnnotationHoverExtension) hover;
            allowMouseExit= extension.canHandleMouseCursor();
        }
        bool hideOnMouseWheel= true;
        if ( cast(IAnnotationHoverExtension2)hover ) {
            IAnnotationHoverExtension2 extension= cast(IAnnotationHoverExtension2) hover;
            hideOnMouseWheel= !extension.canHandleMouseWheel();
        }
        fHideOnMouseWheel= hideOnMouseWheel;

        if (allowMouseExit) {
            fAllowMouseExit= true;

            Control subjectControl= getSubjectControl();
            // return a location that just overlaps the annotation on the bar
            if (anchor is AbstractInformationControlManager.ANCHOR_RIGHT)
                return subjectControl.toDisplay(subjectArea.x - 4, subjectArea.y - 2);
            else if (anchor is AbstractInformationControlManager.ANCHOR_LEFT)
                return subjectControl.toDisplay(subjectArea.x + subjectArea.width - controlSize.x + 4, subjectArea.y - 2);
        }

        fAllowMouseExit= false;
        return super.computeLocation(subjectArea, controlSize, anchor);
    }

    /**
     * Returns the currently shown annotation hover or <code>null</code> if none
     * hover is shown.
     *
     * @return the currently shown annotation hover or <code>null</code>
     * @since 3.2
     */
    public IAnnotationHover getCurrentAnnotationHover() {
        return fCurrentHover;
    }

    /**
     * Returns an adapter that gives access to internal methods.
     * <p>
     * <strong>Note:</strong> This method is not intended to be referenced or overridden by clients.
     * </p>
     * 
     * @return the replaceable information control accessor
     * @since 3.4
     * @noreference This method is not intended to be referenced by clients.
     * @nooverride This method is not intended to be re-implemented or extended by clients.
     */
    public InternalAccessor getInternalAccessor() {
        return new class()  InternalAccessor {
            public IInformationControl getCurrentInformationControl() {
                return AnnotationBarHoverManager.super.getInternalAccessor().getCurrentInformationControl();
            }
            
            public void setInformationControlReplacer(InformationControlReplacer replacer) {
                AnnotationBarHoverManager.super.getInternalAccessor().setInformationControlReplacer(replacer);
            }
            
            public InformationControlReplacer getInformationControlReplacer() {
                return AnnotationBarHoverManager.super.getInternalAccessor().getInformationControlReplacer();
            }
            
            public bool canReplace(IInformationControl control) {
                return AnnotationBarHoverManager.super.getInternalAccessor().canReplace(control);
            }
            
            public bool isReplaceInProgress() {
                return AnnotationBarHoverManager.super.getInternalAccessor().isReplaceInProgress();
            }
            
            public void replaceInformationControl(bool takeFocus) {
                AnnotationBarHoverManager.super.getInternalAccessor().replaceInformationControl(takeFocus);
            }

            public void cropToClosestMonitor(Rectangle bounds) {
                AnnotationBarHoverManager.super.getInternalAccessor().cropToClosestMonitor(bounds);
            }
            
            public void setHoverEnrichMode(EnrichMode mode) {
                AnnotationBarHoverManager.super.getInternalAccessor().setHoverEnrichMode(mode);
            }
            
            public bool getAllowMouseExit() {
                return fAllowMouseExit;
            }
        };
    }
}