fmrisc.ProofNavigator.SWT

Class Top

java.lang.Object

org.eclipse.swt.widgets.Widget

org.eclipse.swt.widgets.Control

org.eclipse.swt.widgets.Scrollable

org.eclipse.swt.widgets.Composite

org.eclipse.swt.custom.SashForm

fmrisc.ProofNavigator.SWT.Top

All Implemented Interfaces:

org.eclipse.swt.graphics.Drawable

public final class Top
extends org.eclipse.swt.custom.SashForm

The top panel of the GUI.

Field Summary

Fields inherited from class org.eclipse.swt.custom.SashForm

SASH_WIDTH

Fields inherited from class org.eclipse.swt.widgets.Composite

embeddedHandle

Fields inherited from class org.eclipse.swt.widgets.Widget

handle

Constructor Summary

Constructors

Constructor and Description
Top(org.eclipse.swt.widgets.Shell shell, int style) Construct panel for denoted shell and with denoted style.
Top(TopWindow topWindow, org.eclipse.swt.widgets.Composite parent, org.eclipse.swt.widgets.Shell shell, int style) Construct panel for denoted parent, shell, and style.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	ask(java.lang.String title, java.lang.String question) Open dialog to ask yes/no question.
java.lang.String	askText(java.lang.String title, java.lang.String text) Open dialog to ask question with a textual answer.
void	displayFile(java.lang.String title, java.io.File file, boolean state) Display file.
void	enter(java.lang.String string) Enter input denoted by string
org.eclipse.swt.widgets.Menu	getCurrentMenu() Get menu bar
void	process(java.lang.String cstring) Process command denoted by command string.
void	resizeFont()
void	setAnswer(java.lang.String answer) Set the answer to a currently posted question.
void	setInputFocus() Set focus to input field.
void	setProof(Proof proof, boolean enabled) Set the current proof.
void	setProofState(ProofState state) Signal current proof state.
void	setVisible(boolean visible) Make window visible or invisible.
void	signalRunning(boolean running) Signal run status of background process.
void	updateMenu() Update menu depending on current system state.

Methods inherited from class org.eclipse.swt.custom.SashForm

getMaximizedControl, getOrientation, getSashWidth, getStyle, getWeights, setBackground, setForeground, setLayout, setMaximizedControl, setOrientation, setSashWidth, setToolTipText, setWeights

Methods inherited from class org.eclipse.swt.widgets.Composite

changed, computeSize, drawBackground, getBackgroundMode, getChildren, getClientArea, getLayout, getLayoutDeferred, getTabList, isLayoutDeferred, layout, layout, layout, layout, layout, setBackgroundMode, setFocus, setLayoutDeferred, setTabList

Methods inherited from class org.eclipse.swt.widgets.Scrollable

computeTrim, getBorderWidth, getHorizontalBar, getScrollbarsMode, getVerticalBar

Methods inherited from class org.eclipse.swt.widgets.Control

addControlListener, addDragDetectListener, addFocusListener, addGestureListener, addHelpListener, addKeyListener, addMenuDetectListener, addMouseListener, addMouseMoveListener, addMouseTrackListener, addMouseWheelListener, addPaintListener, addTouchListener, addTraverseListener, computeSize, dragDetect, dragDetect, forceFocus, getAccessible, getBackground, getBackgroundImage, getBounds, getCursor, getDragDetect, getEnabled, getFont, getForeground, getLayoutData, getLocation, getMenu, getMonitor, getParent, getRegion, getShell, getSize, getToolTipText, getTouchEnabled, getVisible, internal_dispose_GC, internal_new_GC, isEnabled, isFocusControl, isReparentable, isVisible, moveAbove, moveBelow, pack, pack, print, redraw, redraw, removeControlListener, removeDragDetectListener, removeFocusListener, removeGestureListener, removeHelpListener, removeKeyListener, removeMenuDetectListener, removeMouseListener, removeMouseMoveListener, removeMouseTrackListener, removeMouseWheelListener, removePaintListener, removeTouchListener, removeTraverseListener, setBackgroundImage, setBounds, setBounds, setCapture, setCursor, setDragDetect, setEnabled, setFont, setLayoutData, setLocation, setLocation, setMenu, setParent, setRedraw, setRegion, setSize, setSize, setTouchEnabled, toControl, toControl, toDisplay, toDisplay, traverse, traverse, traverse, update

Methods inherited from class org.eclipse.swt.widgets.Widget

addDisposeListener, addListener, dispose, getData, getData, getDisplay, getListeners, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, reskin, setData, setData, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Top

public Top(org.eclipse.swt.widgets.Shell shell,
   int style)

Construct panel for denoted shell and with denoted style.

Parameters:

shell - the shell to which the panel is attached.

style - the style of the panel.

Top

public Top(TopWindow topWindow,
   org.eclipse.swt.widgets.Composite parent,
   org.eclipse.swt.widgets.Shell shell,
   int style)

Construct panel for denoted parent, shell, and style.

Parameters:

topWindow - the ProgramExplorer top window

parent - the parent of the panel.

shell - the shell to which the panel is attached.

style - the style of the panel.

Method Detail

getCurrentMenu

public org.eclipse.swt.widgets.Menu getCurrentMenu()

Get menu bar

Returns:

the menu bar

resizeFont

public void resizeFont()

ask

public 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 java.lang.String askText(java.lang.String title,
                       java.lang.String text)

Open dialog to ask question with a textual answer.

Parameters:

title - the dialog title

text - the question asked

Returns:

the answer to the question.

setAnswer

public void setAnswer(java.lang.String answer)

Set the answer to a currently posted question.

Parameters:

answer - the answer.

setProof

public void setProof(Proof proof,
            boolean enabled)

Set the current proof.

Parameters:

proof - the current proof.

enabled - true if the proof is to be enabled.

setProofState

public void setProofState(ProofState state)

Signal current proof state.

Parameters:

state - the current proof state.

displayFile

public 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.

signalRunning

public void signalRunning(boolean running)

Signal run status of background process.

Parameters:

running - if we are waiting for background process to complete.

updateMenu

public void updateMenu()

Update menu depending on current system state.

enter

public void enter(java.lang.String string)

Enter input denoted by string

Parameters:

string - the input to be added.

process

public void process(java.lang.String cstring)

Process command denoted by command string.

Parameters:

cstring - the string denoting the command

setInputFocus

public void setInputFocus()

Set focus to input field.

setVisible

public void setVisible(boolean visible)

Make window visible or invisible.

Overrides:

setVisible in class org.eclipse.swt.widgets.Control

Parameters:

visible - the requested visibility status.