X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/java/hover/JavaEditorTextHoverProxy.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/java/hover/JavaEditorTextHoverProxy.java deleted file mode 100644 index 7304174..0000000 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/java/hover/JavaEditorTextHoverProxy.java +++ /dev/null @@ -1,87 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2000, 2003 IBM Corporation and others. - * All rights reserved. This program and the accompanying materials - * are made available under the terms of the Common Public License v1.0 - * which accompanies this distribution, and is available at - * http://www.eclipse.org/legal/cpl-v10.html - * - * Contributors: - * IBM Corporation - initial API and implementation - *******************************************************************************/ - -package net.sourceforge.phpdt.internal.ui.text.java.hover; - -import net.sourceforge.phpdt.ui.text.java.hover.IJavaEditorTextHover; - -import org.eclipse.jface.text.IRegion; -import org.eclipse.jface.text.ITextViewer; -import org.eclipse.ui.IEditorPart; - -/** - * Proxy for JavaEditorTextHovers. - * - * @since 2.1 - */ -public class JavaEditorTextHoverProxy extends AbstractJavaEditorTextHover { - - private JavaEditorTextHoverDescriptor fHoverDescriptor; - - private IJavaEditorTextHover fHover; - - public JavaEditorTextHoverProxy(JavaEditorTextHoverDescriptor descriptor, - IEditorPart editor) { - fHoverDescriptor = descriptor; - setEditor(editor); - } - - /* - * @see IJavaEditorTextHover#setEditor(IEditorPart) - */ - public void setEditor(IEditorPart editor) { - super.setEditor(editor); - - if (fHover != null) - fHover.setEditor(getEditor()); - } - - public boolean isEnabled() { - return true; - } - - /* - * @see ITextHover#getHoverRegion(ITextViewer, int) - */ - public IRegion getHoverRegion(ITextViewer textViewer, int offset) { - if (!isEnabled() || fHoverDescriptor == null) - return null; - - if (isCreated() || createHover()) - return fHover.getHoverRegion(textViewer, offset); - else - return null; - } - - /* - * @see ITextHover#getHoverInfo(ITextViewer, IRegion) - */ - public String getHoverInfo(ITextViewer textViewer, IRegion hoverRegion) { - if (!isEnabled() || fHoverDescriptor == null) - return null; - - if (isCreated() || createHover()) - return fHover.getHoverInfo(textViewer, hoverRegion); - else - return null; - } - - private boolean isCreated() { - return fHover != null; - } - - private boolean createHover() { - fHover = fHoverDescriptor.createTextHover(); - if (fHover != null) - fHover.setEditor(getEditor()); - return isCreated(); - } -}