com.javapathfinder.vjp.verify.view
Class VJPView

java.lang.Object
  org.eclipse.core.commands.common.EventManager
      org.eclipse.ui.part.WorkbenchPart
          org.eclipse.ui.part.ViewPart
              com.javapathfinder.vjp.verify.view.VJPView

All Implemented Interfaces:

org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.jface.viewers.ISelectionChangedListener, org.eclipse.ui.IPersistable, org.eclipse.ui.IViewPart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.part.IWorkbenchPartOrientation

public class VJPView
extends org.eclipse.ui.part.ViewPart
implements org.eclipse.jface.viewers.ISelectionChangedListener

This class represent the VJP view. The view includes:

• Control Panel - controls the execution of the verification
• Trace Table - displays the current thread trace
• Transition View - displays information about the selected transition
• Error view - displays the errors found (if any) during the verification

Author:

Sandro Badame

Field Summary

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

VJPView()

Method Summary

void	createPartControl(org.eclipse.swt.widgets.Composite parent)
ControlPanel	getControlPanel()
ErrorViewer	getErrorViewer()
TraceTable	getTraceTable()
TransitionView	getTransitionView()
static VJPView	getView() Finds a currently opened VJP view or creates a new one.
void	reset() Clear all information in this view
void	runVerify(VerifyJob job) Run the Verify job
void	selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event) Fires when the ExecutionTable selection changes
void	setFocus()
void	setVerifyJob(VerifyJob job) Set the job that this view is associated with

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, getOrientation, 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

VJPView

public VJPView()

Method Detail

getView

public static VJPView getView()

Finds a currently opened VJP view or creates a new one.

Returns:

the VJPView found

createPartControl

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

Specified by:

createPartControl in interface org.eclipse.ui.IWorkbenchPart

Specified by:

createPartControl in class org.eclipse.ui.part.WorkbenchPart

getTraceTable

public TraceTable getTraceTable()

Returns:

the trace table for this view

getControlPanel

public ControlPanel getControlPanel()

Returns:

the control panel for this view

getErrorViewer

public ErrorViewer getErrorViewer()

Returns:

the error viewer for this view

selectionChanged

public void selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event)

Fires when the ExecutionTable selection changes

Specified by:

selectionChanged in interface org.eclipse.jface.viewers.ISelectionChangedListener

Parameters:

event -

setFocus

public void setFocus()

Specified by:

setFocus in interface org.eclipse.ui.IWorkbenchPart

Specified by:

setFocus in class org.eclipse.ui.part.WorkbenchPart

setVerifyJob

public void setVerifyJob(VerifyJob job)

Set the job that this view is associated with

Parameters:

job -

reset

public void reset()

Clear all information in this view

runVerify

public void runVerify(VerifyJob job)

Run the Verify job

Parameters:

job - the Job to be run

getTransitionView

public TransitionView getTransitionView()

Returns:

the transitionView