public final class MainSWT
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
riscImageName |
Modifier and Type | Method and Description |
---|---|
void |
deleteVirtualDirectory(java.lang.String name)
Delete a virtual directory.
|
static void |
displayAnalyzeView()
Display analyze view.
|
static void |
displayVerifyView()
Display verify view.
|
java.lang.String |
enterVirtualDirectory(VirtualDirectory directory)
Enter a new virtual directory.
|
void |
execute(java.lang.Runnable request)
Execute application request.
|
org.eclipse.swt.graphics.Color |
getBackgroundColor()
Get background color.
|
int |
getCommandServerPort()
Get port of command server.
|
org.eclipse.swt.widgets.Display |
getDisplay()
Get the display of this GUI.
|
int |
getVirtualDirectoryPort()
Get port number of virtual directory server.
|
static void |
main()
Run GUI.
|
static void |
setLocation(org.eclipse.swt.widgets.Shell shell,
int x,
int y)
Set location of shell at pos but ensure that content is fully visible.
|
void |
terminate()
Indicate termination of application request.
|
void |
update(java.lang.Runnable request)
Execute display update request on behalf of application.
|
public static final java.lang.String riscImageName
public static void main()
public void execute(java.lang.Runnable request)
request
- the request.public void update(java.lang.Runnable request)
request
- the request.public void terminate()
public org.eclipse.swt.widgets.Display getDisplay()
public org.eclipse.swt.graphics.Color getBackgroundColor()
public static void displayAnalyzeView()
public static void displayVerifyView()
public static void setLocation(org.eclipse.swt.widgets.Shell shell, int x, int y)
shell
- the shell.x
- first coordinate of suggested position.y
- second coordinate of suggested position.public java.lang.String enterVirtualDirectory(VirtualDirectory directory)
directory
- the directory.public void deleteVirtualDirectory(java.lang.String name)
name
- the name of the directory to be deleted.public int getVirtualDirectoryPort()
public int getCommandServerPort()