jack.plugin.metrics
Class MetricsContentProvider

java.lang.Object
  jack.plugin.metrics.MetricsContentProvider

All Implemented Interfaces:

org.eclipse.jface.viewers.IContentProvider, org.eclipse.jface.viewers.IStructuredContentProvider

public class MetricsContentProvider

extends java.lang.Object

implements org.eclipse.jface.viewers.IStructuredContentProvider

Content provider providing content for ProofTaskList elements.

Author:

A. Requet, L. Burdy

Method Summary

void	contentChanged() Called by the ProofList when its content changes.
void	dispose()
java.lang.Object[]	getElements(java.lang.Object input_element)
void	inputChanged(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object old_input, java.lang.Object new_input)

Methods inherited from class java.lang.Object

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

Method Detail

getElements

public java.lang.Object[] getElements(java.lang.Object input_element)

Specified by:

getElements in interface org.eclipse.jface.viewers.IStructuredContentProvider

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.jface.viewers.IContentProvider

inputChanged

public void inputChanged(org.eclipse.jface.viewers.Viewer viewer,
                         java.lang.Object old_input,
                         java.lang.Object new_input)

Specified by:

inputChanged in interface org.eclipse.jface.viewers.IContentProvider

contentChanged

public void contentChanged()

Called by the ProofList when its content changes. This methods asks the viewer to refresh itself.