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
                  fmrisc.ProofNavigator.SWT.Top

All Implemented Interfaces:

org.eclipse.swt.graphics.Drawable

public final class Top
extends org.eclipse.swt.widgets.Composite

The top panel of the GUI.

Field Summary

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

embeddedHandle

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

handle

Constructor Summary

Top(org.eclipse.swt.widgets.Shell shell, int style)
Construct panel for denoted shell and with denoted style.

Method Summary

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
void	process(java.lang.String cstring) Process command denoted by command string.
void	setInputFocus() Set focus to input field.
void	setProof(Proof proof) Set the current proof.
void	setProofState(ProofState state) Signal current proof state.
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.widgets.Composite

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

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

computeTrim, getBorderWidth, getHorizontalBar, getVerticalBar

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

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

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

addDisposeListener, addListener, dispose, getData, getDisplay, getListeners, getStyle, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, 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.

Method Detail

setProof

public void setProof(Proof proof)

Set the current proof.

Parameters:

proof - the current proof

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.