jpov.viewer.lemma
Class MyLabelProvider

java.lang.Object
  org.eclipse.jface.viewers.LabelProvider
      jpov.viewer.lemma.MyLabelProvider

All Implemented Interfaces:

org.eclipse.jface.viewers.IBaseLabelProvider, org.eclipse.jface.viewers.ILabelProvider

public class MyLabelProvider

extends org.eclipse.jface.viewers.LabelProvider

This class implements a label provider for hypothesis and goal.

Author:

L. Burdy

Constructor Summary

MyLabelProvider()

Method Summary

void	dispose()
org.eclipse.swt.graphics.Image	getImage(java.lang.Object element) Returns the image to display if the element corresponds to the first line of an hypothese or to a goal.
java.lang.String	getText(java.lang.Object element) Returns the text associated with an hypothese line or with the goal.

Methods inherited from class org.eclipse.jface.viewers.LabelProvider

addListener, isLabelProperty, removeListener

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MyLabelProvider

public MyLabelProvider()

Method Detail

getText

public java.lang.String getText(java.lang.Object element)

Returns the text associated with an hypothese line or with the goal.

getImage

public org.eclipse.swt.graphics.Image getImage(java.lang.Object element)

Returns the image to display if the element corresponds to the first line of an hypothese or to a goal. The displayed image depends on the origin of the element.

dispose

public void dispose()