jpov.viewer.tree
Class TreeLabelProvider

java.lang.Object
  org.eclipse.jface.viewers.LabelProvider
      jpov.viewer.tree.TreeLabelProvider

All Implemented Interfaces:

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

public class TreeLabelProvider

extends org.eclipse.jface.viewers.LabelProvider

This class provides methods that associate an image and a text to a node of the tree in the viewer.

Author:

L. Burdy

Constructor Summary

TreeLabelProvider(ICaseExplorer ice)

Method Summary

void	dispose() Performs no action
org.eclipse.swt.graphics.Image	getImage(java.lang.Object element) Returns the image associated with the node depending of the proof rate and the fact that it is checked or not.
java.lang.String	getText(java.lang.Object element) Returns the text associated with the node.

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

TreeLabelProvider

public TreeLabelProvider(ICaseExplorer ice)

Method Detail

getImage

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

Returns the image associated with the node depending of the proof rate and the fact that it is checked or not.

Returns:

The image displayed in the tree.

getText

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

Returns the text associated with the node.

Returns:

the node text.

dispose

public void dispose()

Performs no action