Class | Description |
---|---|
BrowserWindow |
A browser window.
|
DirectorySelectionWindow |
A window for selecting multiple directories.
|
FileTree |
A tree displaying directory structures.
|
MainSWT |
The SWT-based GUI.
|
PropertyConfigurationWindow |
A window for selecting multiple directories.
|
SymbolTree |
A tree displaying symbol structures.
|
TaskList |
A list displaying not done verification tasks.
|
TaskTree |
A tree displaying verification tasks.
|
TextOutputStream |
Mapping of an OutputStream object to a Text widget.
|
TopWindow |
The top panel of the GUI.
|