jack.plugin.perspective
Class LemmaViewer

java.lang.Object
  org.eclipse.ui.part.WorkbenchPart
      org.eclipse.ui.part.ViewPart
          jack.plugin.perspective.LemmaViewer

All Implemented Interfaces:

org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, ILemmaViewer, org.eclipse.ui.IViewPart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2

public class LemmaViewer

extends org.eclipse.ui.part.ViewPart

implements ILemmaViewer

View displaying a lemma.

Author:

L. Burdy

Field Summary

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

LemmaViewer()

Method Summary

void	createPartControl(org.eclipse.swt.widgets.Composite parent)
void	setFocus()
void	setGoalText(Goal g) Sets the goal to be displayed in the lemma views
void	setHypText(Lemma l) Sets the lemma to be displayed in the lemma views
void	setHypText(LemmaHierarchy l) Sets the hypotheses to be displayed in the lemma views

Methods inherited from class org.eclipse.ui.part.ViewPart

getViewSite, init, init, saveState, setInitializationData

Methods inherited from class org.eclipse.ui.part.WorkbenchPart

addPropertyListener, dispose, getAdapter, getContentDescription, getPartName, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener, showBusy

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ui.IWorkbenchPart

addPropertyListener, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener

Methods inherited from interface org.eclipse.core.runtime.IAdaptable

getAdapter

Constructor Detail

LemmaViewer

public LemmaViewer()

Method Detail

createPartControl

public void createPartControl(org.eclipse.swt.widgets.Composite parent)

Specified by:

createPartControl in interface org.eclipse.ui.IWorkbenchPart

setGoalText

public void setGoalText(Goal g)

Sets the goal to be displayed in the lemma views

Specified by:

setGoalText in interface ILemmaViewer

Parameters:

g - The goal to display

setHypText

public void setHypText(Lemma l)

Sets the lemma to be displayed in the lemma views

Specified by:

setHypText in interface ILemmaViewer

Parameters:

l - The lemma from whitch hypotheses have to be displayed

setHypText

public void setHypText(LemmaHierarchy l)

Description copied from interface: ILemmaViewer

Sets the hypotheses to be displayed in the lemma views

Specified by:

setHypText in interface ILemmaViewer

Parameters:

l - The lemma hierarchy containing some hypotheses to be displayed

setFocus

public void setFocus()

Specified by:

setFocus in interface org.eclipse.ui.IWorkbenchPart