content: /**
   *  Copyright (c) 2015-2016 Angelo ZERR.
   *  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:
   *  Angelo Zerr <angelo.zerr@gmail.com> - initial API and implementation
   */
  package ts.eclipse.jface.text.html;
  
  import org.eclipse.core.runtime.Assert;
  import org.eclipse.jface.internal.text.html.BrowserInformationControlInput;
  
  /**
   * Browser input for Javadoc hover.
   *
   * @since 3.4
   */
  public class TypeScriptBrowserInformationControlInput extends
  		BrowserInformationControlInput {
  
  	private final String fHtml;
  	private final int fLeadingImageWidth;
  
  	/**
  	 * Creates a new browser information control input.
  	 *
  	 * @param previous
  	 *            previous input, or <code>null</code> if none available
  	 * @param element
  	 *            the element, or <code>null</code> if none available
  	 * @param html
  	 *            HTML contents, must not be null
  	 * @param leadingImageWidth
  	 *            the indent required for the element image
  	 */
  	public TypeScriptBrowserInformationControlInput(
  			TypeScriptBrowserInformationControlInput previous, String html,
  			int leadingImageWidth) {
  		super(previous);
  		Assert.isNotNull(html);
  		fHtml = html;
  		fLeadingImageWidth = leadingImageWidth;
  	}
  
  	/*
  	 * @see org.eclipse.jface.internal.text.html.BrowserInformationControlInput#
  	 * getLeadingImageWidth()
  	 * 
  	 * @since 3.4
  	 */
  	@Override
  	public int getLeadingImageWidth() {
  		return fLeadingImageWidth;
  	}
  
  	/*
  	 * @see org.eclipse.jface.internal.text.html.BrowserInput#getHtml()
  	 */
  	@Override
  	public String getHtml() {
  		return fHtml;
  	}
  
  	/*
  	 * @see org.eclipse.jdt.internal.ui.infoviews.BrowserInput#getInputElement()
  	 */
  	@Override
  	public Object getInputElement() {
  		return (Object) fHtml;
  	}
  
  	/*
  	 * @see org.eclipse.jdt.internal.ui.infoviews.BrowserInput#getInputName()
  	 */
  	@Override
  	public String getInputName() {
  		return "";
  	}
  
  }
  