/******************************************************************************* * 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 java.util.Iterator; import net.sourceforge.phpdt.internal.ui.text.HTMLPrinter; import net.sourceforge.phpdt.ui.PreferenceConstants; import net.sourceforge.phpeclipse.PHPeclipsePlugin; import net.sourceforge.phpeclipse.phpeditor.IJavaAnnotation; import net.sourceforge.phpeclipse.phpeditor.JavaAnnotationIterator; import net.sourceforge.phpeclipse.phpeditor.PHPUnitEditor; import org.eclipse.jface.text.IRegion; import org.eclipse.jface.text.ITextViewer; import org.eclipse.jface.text.Position; import org.eclipse.jface.text.source.Annotation; import org.eclipse.jface.text.source.IAnnotationModel; import org.eclipse.ui.IEditorPart; import org.eclipse.ui.texteditor.IDocumentProvider; public class JavaProblemHover extends AbstractJavaEditorTextHover { /* * Formats a message as HTML text. */ private String formatMessage(String message) { StringBuffer buffer= new StringBuffer(); HTMLPrinter.addPageProlog(buffer); HTMLPrinter.addParagraph(buffer, HTMLPrinter.convertToHTMLContent(message)); HTMLPrinter.addPageEpilog(buffer); return buffer.toString(); } /* * @see ITextHover#getHoverInfo(ITextViewer, IRegion) */ public String getHoverInfo(ITextViewer textViewer, IRegion hoverRegion) { if (getEditor() == null) return null; IDocumentProvider provider= PHPeclipsePlugin.getDefault().getCompilationUnitDocumentProvider(); IAnnotationModel model= provider.getAnnotationModel(getEditor().getEditorInput()); if (model != null) { Iterator e= new JavaAnnotationIterator(model, true); while (e.hasNext()) { Annotation a= (Annotation) e.next(); Position p= model.getPosition(a); if (p.overlapsWith(hoverRegion.getOffset(), hoverRegion.getLength())) { String msg= ((IJavaAnnotation) a).getMessage(); if (msg != null && msg.trim().length() > 0) return formatMessage(msg); } } } return null; } /* * @see IJavaEditorTextHover#setEditor(IEditorPart) */ public void setEditor(IEditorPart editor) { if (editor instanceof PHPUnitEditor) super.setEditor(editor); else super.setEditor(null); } static boolean isJavaProblemHover(String id) { return PreferenceConstants.ID_PROBLEM_HOVER.equals(id); } }