jack.plugin.perspective
Interface ILemmaViewer

All Known Implementing Classes:

LemmaViewer

public interface ILemmaViewer

This interface defines a lemma viewer.

Author:

L. Burdy

Method Summary

void	setGoalText(Goal g) Set the goal to display in the goal part of the view
void	setHypText(Lemma l) Sets the hypotheses to be displayed in the lemma views
void	setHypText(LemmaHierarchy l) Sets the hypotheses to be displayed in the lemma views

Method Detail

setGoalText

public void setGoalText(Goal g)

Set the goal to display in the goal part of the view

Parameters:

g - The goal to display.

setHypText

public void setHypText(Lemma l)

Sets the hypotheses to be displayed in the lemma views

Parameters:

l - The lemma from whitch hypotheses have to be displayed

setHypText

public void setHypText(LemmaHierarchy l)

Sets the hypotheses to be displayed in the lemma views

Parameters:

l - The lemma hierarchy containing some hypotheses to be displayed