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

Constructors

Constructor and Description
MainSWT()

Method Summary

Modifier and Type	Method and Description
static boolean	ask(java.lang.String title, java.lang.String question) Open dialog to ask yes/no question.
static java.lang.String	askText(java.lang.String question) Open dialog to ask yes/no question.
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	resizeFont() Resize font (from small to big and vice versa)
static void	restart(boolean signal) Set signal whether program is to be restarted.
static void	run() Run program after command line processing.
static void	runInternal(Top top, java.lang.Thread t) ProgramExplorer interface to ProofNavigator
static void	setInputFocus() Set focus to input field.
static void	setProof(Proof proof, boolean enabled) Set current proof.
static void	setProofState(ProofState state) Signal current proof state.
static void	setVisible(boolean visible) Make ProofNavigator visible or invisible.
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.

runInternal

public static void runInternal(Top top,
                               java.lang.Thread t)

ProgramExplorer interface to ProofNavigator

Parameters:

top - the Top instance used by the ProgramExplorer

t - the interpreter thread

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.

Returns:

true if program is to be restarted.

setProof

public static void setProof(Proof proof,
                            boolean enabled)

Set current proof.

Parameters:

proof - the current proof.

enabled - true if the proof is to be enabled.

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

resizeFont

public static void resizeFont()

Resize font (from small to big and vice versa)

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.

setVisible

public static void setVisible(boolean visible)

Make ProofNavigator visible or invisible.

Parameters:

visible - the requested visibility status.

ask

public static boolean ask(java.lang.String title,
                          java.lang.String question)

Open dialog to ask yes/no question.

Parameters:

title - the dialog title

question - the question asked

Returns:

true iff question is answered positively.

askText

public static java.lang.String askText(java.lang.String question)

Open dialog to ask yes/no question.

Parameters:

question - the question asked

Returns:

the answer to the question;