jack.plugin.prove
Class ProofView

java.lang.Object
  org.eclipse.ui.part.WorkbenchPart
      org.eclipse.ui.part.ViewPart
          jack.plugin.prove.ProofView

All Implemented Interfaces:

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

public class ProofView

extends org.eclipse.ui.part.ViewPart

View that allows controling and showing proof tasks.

Author:

A. Requet, L. Burdy

Field Summary

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

ProofView()

Method Summary

void	addProof(ProofTask tsk) Adds the given proof to the list of proofs to be performed.
void	createPartControl(org.eclipse.swt.widgets.Composite parent)
void	dispose()
void	freezeNotify()
static ProofView	getCurrent()
void	setFocus()
void	unfreezeNotify()

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

getViewSite, init, init, saveState, setInitializationData

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

addPropertyListener, 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, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener

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

getAdapter

Constructor Detail

ProofView

public ProofView()

Method Detail

freezeNotify

public void freezeNotify()

unfreezeNotify

public void unfreezeNotify()

getCurrent

public static ProofView getCurrent()

createPartControl

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

See Also:

IWorkbenchPart.createPartControl(Composite)

dispose

public void dispose()

setFocus

public void setFocus()

See Also:

IWorkbenchPart.setFocus()

addProof

public void addProof(ProofTask tsk)

Adds the given proof to the list of proofs to be performed.