jpov.viewer.lemma
Class GoalContentProvider

java.lang.Object
  jpov.viewer.lemma.GoalContentProvider

All Implemented Interfaces:

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

public final class GoalContentProvider

extends java.lang.Object

implements org.eclipse.jface.viewers.IStructuredContentProvider

Class that give the content to display in the goal folder of the lemma view.

Author:

A. Requet, L. Burdy

Method Summary

void	dispose()
java.lang.Object[]	getElements(java.lang.Object inputElement) If the inputElement is a goal, returns an array containing as first element the goal and as remaining elements each lines of the string resulting from the translatation of the goal.
void	inputChanged(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object oldInput, java.lang.Object newInput)
void	setApplySubstitution(boolean b)

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 inputElement)

If the inputElement is a goal, returns an array containing as first element the goal and as remaining elements each lines of the string resulting from the translatation of the goal.

Specified by:

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

Parameters:

inputElement -

Returns:

the lines to display

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

setApplySubstitution

public void setApplySubstitution(boolean b)

Parameters:

b -