content: /*******************************************************************************
   * 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
   *******************************************************************************/
  package org.eclipse.wst.jsdt.internal.ui.text;
  
  import java.util.Iterator;
  import java.util.List;
  
  import org.eclipse.wst.jsdt.internal.ui.text.html.HTMLPrinter;
  import org.eclipse.jface.text.source.DefaultAnnotationHover;
  import org.eclipse.wst.jsdt.internal.ui.JavaUIMessages;
  
  /**
   * Determines all markers for the given line and collects, concatenates, and formats
   * returns their messages in HTML.
   *
   * 
   */
  public class HTMLAnnotationHover extends DefaultAnnotationHover {
  
  	/*
  	 * Formats a message as HTML text.
  	 */
  	protected String formatSingleMessage(String message) {
  		StringBuffer buffer= new StringBuffer();
  		HTMLPrinter.addPageProlog(buffer);
  		HTMLPrinter.addParagraph(buffer, HTMLPrinter.convertToHTMLContent(message));
  		HTMLPrinter.addPageEpilog(buffer);
  		return buffer.toString();
  	}
  
  	/*
  	 * Formats several message as HTML text.
  	 */
  	protected String formatMultipleMessages(List messages) {
  		StringBuffer buffer= new StringBuffer();
  		HTMLPrinter.addPageProlog(buffer);
  		HTMLPrinter.addParagraph(buffer, HTMLPrinter.convertToHTMLContent(JavaUIMessages.JavaAnnotationHover_multipleMarkersAtThisLine));
  
  		HTMLPrinter.startBulletList(buffer);
  		Iterator e= messages.iterator();
  		while (e.hasNext())
  			HTMLPrinter.addBullet(buffer, HTMLPrinter.convertToHTMLContent((String) e.next()));
  		HTMLPrinter.endBulletList(buffer);
  
  		HTMLPrinter.addPageEpilog(buffer);
  		return buffer.toString();
  	}
  }
  