Package | Description |
---|---|
fmrisc.ProgramExplorer | |
fmrisc.ProgramExplorer.InOut | |
fmrisc.ProgramExplorer.SWT | |
fmrisc.ProofNavigator.SWT |
Modifier and Type | Method and Description |
---|---|
static void |
Main.init(TopWindow top)
Perform initialization.
|
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.
|
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.
|
Modifier and Type | Method and Description |
---|---|
static TopWindow |
TopWindow.construct(MainSWT gui)
Construct window connected to GUI.
|
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
|
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.
|
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.
|