|
Class Summary |
| DetachablePane |
A class implementing detachable and dockable panes. |
| ExplorerPane |
A tabbed pane that displays serveral tree panes such as directory
browser, open files, and test data. |
| JmlEditor |
A simple JML/Java source code editor that supports syntax
hightligting. |
| Main |
A graphics user interface to the JML-based unit testing tool for
Java. |
| OptionDialog |
A dialog class to set various tool options. |
| OutputPane |
A special text area where all outputs from the GUI should go and be
displayed. |
| StatusBar |
A simple status bar that can display the current file name and the
current line and column numbers. |
| TestWizard |
A wizard-style dialog class to guide through the steps of unit
testing. |