jack.plugin.prove
Class ProofContentProvider
java.lang.Object
jack.plugin.prove.ProofContentProvider
- All Implemented Interfaces:
- org.eclipse.jface.viewers.IContentProvider, org.eclipse.jface.viewers.IStructuredContentProvider
- public class ProofContentProvider
- extends java.lang.Object
- implements org.eclipse.jface.viewers.IStructuredContentProvider
Content provider for the proof task view.
- 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 |
ProofContentProvider
public ProofContentProvider()
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.