jpov.viewer.lemma
Class HypContentProvider

java.lang.Object
  jpov.viewer.lemma.HypContentProvider

All Implemented Interfaces:

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

public class HypContentProvider

extends java.lang.Object

implements org.eclipse.jface.viewers.IStructuredContentProvider

Author:

L. Burdy, A. Requet

Method Summary

void	dispose()
java.lang.Object[]	getElements(java.lang.Object inputElement) If the inputElement is a lemma, returns the array of hypline containing the hypothesis corresponding to this lemma
void	inputChanged(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object oldInput, java.lang.Object newInput)

Methods inherited from class java.lang.Object

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

Method Detail

getElements

public final java.lang.Object[] getElements(java.lang.Object inputElement)

If the inputElement is a lemma, returns the array of hypline containing the hypothesis corresponding to this lemma

Specified by:

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

inputChanged

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

Specified by:

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

dispose

public void dispose()

Specified by:

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