public class SWTVisualizationGUI extends Object implements org.eclipse.swt.events.SelectionListener, Runnable
| Constructor and Description |
|---|
SWTVisualizationGUI(ExtendedManagementProtocol jobManager,
int queryInterval) |
| Modifier and Type | Method and Description |
|---|---|
org.eclipse.swt.widgets.Display |
getDisplay() |
org.eclipse.swt.widgets.Shell |
getShell() |
void |
killInstance(String instanceName) |
void |
killTask(JobID jobId,
ManagementVertexID id,
String vertexName) |
void |
run() |
void |
widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent arg0) |
void |
widgetSelected(org.eclipse.swt.events.SelectionEvent arg0) |
public SWTVisualizationGUI(ExtendedManagementProtocol jobManager, int queryInterval)
public org.eclipse.swt.widgets.Shell getShell()
public org.eclipse.swt.widgets.Display getDisplay()
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent arg0)
widgetDefaultSelected in interface org.eclipse.swt.events.SelectionListenerpublic void widgetSelected(org.eclipse.swt.events.SelectionEvent arg0)
widgetSelected in interface org.eclipse.swt.events.SelectionListenerpublic void killTask(JobID jobId, ManagementVertexID id, String vertexName)
public void killInstance(String instanceName)
Copyright © 2013–2014. All rights reserved.