fmrisc.ProofNavigator.SWT
Class MainSWT

java.lang.Object
  fmrisc.ProofNavigator.SWT.MainSWT

public final class MainSWT
extends java.lang.Object

Main method for ProofNavigator with SWT-based GUI.

Constructor Summary

MainSWT()

Method Summary

static void	displayFile(java.lang.String title, java.io.File file, boolean state) Display file.
static void	enter(java.lang.String string) Enter input denoted by string
static org.eclipse.swt.graphics.Color	getBackgroundColor() Get background color.
static org.eclipse.swt.graphics.Color	getClosedColor() Get color for closed proof tree nodes.
static org.eclipse.swt.graphics.Color	getCurrentColor() Get color for current proof node.
static org.eclipse.swt.graphics.Color	getOpenColor() Get color for open proof tree nodes.
static java.lang.Thread	getThread() Get interpreter thread
static boolean	isRestarted() Check whether program is to be restarted.
static void	process(Command command) Process command.
static void	process(java.lang.String cstring) Process command denoted by string.
static void	resize() Resize shell based on font setting
static void	restart(boolean signal) Set signal whether program is to be restarted.
static void	run() Run program after command line processing.
static void	setInputFocus() Set focus to input field.
static void	setProof(Proof proof) Set current proof.
static void	setProofState(ProofState state) Signal current proof state.
static void	signalRunning(boolean running) Signals that prover is running in the background.
static void	updateMenu() Updates menu depending on current system state.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MainSWT

public MainSWT()

Method Detail

run

public static void run()

Run program after command line processing.

getThread

public static java.lang.Thread getThread()

Get interpreter thread

Returns:

the thread

restart

public static void restart(boolean signal)

Set signal whether program is to be restarted.

Parameters:

signal - true iff program is to be restarted.

isRestarted

public static boolean isRestarted()

Check whether program is to be restarted.

setProof

public static void setProof(Proof proof)

Set current proof.

Parameters:

proof - the current proof.

setProofState

public static void setProofState(ProofState state)

Signal current proof state.

Parameters:

state - the current proof state.

displayFile

public static void displayFile(java.lang.String title,
                               java.io.File file,
                               boolean state)

Display file.

Parameters:

title - the title of the display.

file - the file to be displayed.

state - true iff file displays proof state.

getOpenColor

public static org.eclipse.swt.graphics.Color getOpenColor()

Get color for open proof tree nodes.

Returns:

the color.

getClosedColor

public static org.eclipse.swt.graphics.Color getClosedColor()

Get color for closed proof tree nodes.

Returns:

the color.

getCurrentColor

public static org.eclipse.swt.graphics.Color getCurrentColor()

Get color for current proof node.

Returns:

the color.

getBackgroundColor

public static org.eclipse.swt.graphics.Color getBackgroundColor()

Get background color.

Returns:

the color.

signalRunning

public static void signalRunning(boolean running)

Signals that prover is running in the background.

Parameters:

running - true if running starts, false if running stops.

updateMenu

public static void updateMenu()

Updates menu depending on current system state.

resize

public static void resize()

Resize shell based on font setting

process

public static void process(java.lang.String cstring)

Process command denoted by string.

Parameters:

cstring - the string denoting the command

process

public static void process(Command command)

Process command.

Parameters:

command - the command to be processed.

setInputFocus

public static void setInputFocus()

Set focus to input field.

enter

public static void enter(java.lang.String string)

Enter input denoted by string

Parameters:

string - the input to be added.