Uses of Class
fmrisc.ProgramExplorer.SWT.TopWindow

Packages that use TopWindow

Package	Description
fmrisc.ProgramExplorer
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.SWT
fmrisc.ProofNavigator.SWT

Uses of TopWindow in fmrisc.ProgramExplorer

Methods in fmrisc.ProgramExplorer with parameters of type TopWindow

Modifier and Type	Method and Description
static void	Main.init(TopWindow top) Perform initialization.

Uses of TopWindow in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut with parameters of type TopWindow

Modifier and Type	Method and Description
static java.lang.String	PropagatorCommand.execute(TopWindow topWindow, java.util.Map<java.lang.String,java.lang.String> arguments) Execute command.

Constructors in fmrisc.ProgramExplorer.InOut with parameters of type TopWindow

Constructor and Description
CommandServer(TopWindow topWindow) Creates a new command server (which is already started).
ErrorStream(java.lang.String prefix, java.lang.String prefix2, java.lang.String prefix3, java.io.PrintWriter error, TopWindow top) Construct an error stream.

Uses of TopWindow in fmrisc.ProgramExplorer.SWT

Methods in fmrisc.ProgramExplorer.SWT that return TopWindow

Modifier and Type	Method and Description
static TopWindow	TopWindow.construct(MainSWT gui) Construct window connected to GUI.

Methods in fmrisc.ProgramExplorer.SWT with parameters of type TopWindow

Modifier and Type	Method and Description
static DirectorySelectionWindow	DirectorySelectionWindow.construct(TopWindow top, java.io.File[] paths) Construct window connected to denoted top Window
static PropertyConfigurationWindow	PropertyConfigurationWindow.construct(TopWindow top, java.lang.String[] properties) Construct window connected to denoted top Window

Constructors in fmrisc.ProgramExplorer.SWT with parameters of type TopWindow

Constructor and Description
DirectorySelectionWindow(TopWindow top, org.eclipse.swt.widgets.Shell shell, java.io.File[] paths) Construct panel for denoted top window and shell.
FileTree(org.eclipse.swt.widgets.Composite parent, TopWindow top) Create a tree displaying directory structures.
SymbolTree(org.eclipse.swt.widgets.Composite parent, TopWindow top) Create a tree displaying symbol structures.
TaskList(org.eclipse.swt.widgets.Composite parent, TopWindow top) Create a list displaying all not done tasks from a folder (recursively).
TaskTree(org.eclipse.swt.widgets.Composite parent, TopWindow top) Create a tree displaying task structures.

Uses of TopWindow in fmrisc.ProofNavigator.SWT

Constructors in fmrisc.ProofNavigator.SWT with parameters of type TopWindow

Constructor and Description
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.