jack.plugin.metrics
Class MetricsView

java.lang.Object
  org.eclipse.ui.part.WorkbenchPart
      org.eclipse.ui.part.ViewPart
          jack.plugin.metrics.MetricsView

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 MetricsView

extends org.eclipse.ui.part.ViewPart

View displaying the proof results of selected JML files.

Author:

L. Burdy

Field Summary

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

MetricsView()

Method Summary

void	createPartControl(org.eclipse.swt.widgets.Composite parent)
void	dispose()
void	setFocus()

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

MetricsView

public MetricsView()

Method Detail

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