jpov.viewer.lemma
Class LemmaView

java.lang.Object
  jpov.viewer.lemma.LemmaView

public class LemmaView

extends java.lang.Object

This class implements the part of the viewer that displays the lemmas in different languages.

Author:

L. Burdy, A. Requet

Constructor Summary

LemmaView(IJml2bConfiguration config, org.eclipse.swt.widgets.Composite right_sform, boolean horizontal)
Constructs the part of the view that displays the lemma

Method Summary

void	erase() Sets the input of the viewers to null
java.lang.Object[]	getHypSelection() Return the selection corresponding to the currently selected hypothesis.
java.util.Enumeration	getHypViewers() Return an enumeration enumerating the different hypothesis viewers.
LemmaFilterWindow	getLemmaFilterWindow()
org.eclipse.jface.viewers.TableViewer	getSelectedTable()
void	redraw(IJml2bConfiguration config, boolean horizontal, boolean applySubstitution)
void	setGoalText(Goal g, boolean applySubstitution) Sets the text to be displayed in the goal views
void	setHypText(Lemma l) Sets the text to be displayed in the hypothesis views
void	setHypText(LemmaHierarchy l)

Methods inherited from class java.lang.Object

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

Constructor Detail

LemmaView

public LemmaView(IJml2bConfiguration config,
                 org.eclipse.swt.widgets.Composite right_sform,
                 boolean horizontal)

Constructs the part of the view that displays the lemma

Parameters:

config - The current configuration

right_sform - The form corresponding to the right part of the view

Method Detail

redraw

public void redraw(IJml2bConfiguration config,
                   boolean horizontal,
                   boolean applySubstitution)

getLemmaFilterWindow

public LemmaFilterWindow getLemmaFilterWindow()

getHypSelection

public java.lang.Object[] getHypSelection()

Return the selection corresponding to the currently selected hypothesis.

As several hypothesis windows can be used, the chosen selection correspond to the first selection that is not empty.

Returns:

null if no selection has been found, the selection otherwise.

getSelectedTable

public org.eclipse.jface.viewers.TableViewer getSelectedTable()

getHypViewers

public java.util.Enumeration getHypViewers()

Return an enumeration enumerating the different hypothesis viewers.

All the elements returned by this enumeration will be of type TableViewer.

setGoalText

public void setGoalText(Goal g,
                        boolean applySubstitution)

Sets the text to be displayed in the goal views

Parameters:

g - The goal to display

setHypText

public void setHypText(Lemma l)

Sets the text to be displayed in the hypothesis views

Parameters:

l - The lemma fro whitch hypotheses havze to be displayed

setHypText

public void setHypText(LemmaHierarchy l)

erase

public void erase()

Sets the input of the viewers to null