|
JET | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| Constants | An interface defining various golobal constants. |
| Mainable | An interface to the main tool. |
| OptionPanel | The interface to the various option panels that composes the option dialog. |
| SourceCodeViewer | An interface used by the outputer and the tester to locate and hightlight the source code line corresponding to an error message. |
| Class Summary | |
|---|---|
| AbstractClassLoader | An abstract class loader that takes into account of the user-defined classpath. |
| DetachablePane | A class implementing detachable and dockable panes. |
| FileActionFactory | A factory class to create various file manipulation actions. |
| HelpContent | This class creates a new window with a JET's tutorial |
| Main | A graphics user interface to the JML-based unit testing tool for Java. |
| MainableActions | Creates an object that contains Mainable from a directory tree Used for double click |
| MenuFactory | A class to create various menus such as file menu, edit menu, tool menu, option menu, view menu, and help menu. |
| OptionDialog | A dialog class to set various tool options. |
| OutputTextArea | A special text area that can display text messages and recognize
error messages produced by external Java and JML tools, such as
javac and jmlc. |
| Preference | |
| ToolActionFactory | A factory class to create various tool actions such as compile and run. |
| Util | A utility class that provides various static utility methods. |
| WindowLookAndFeel | This class sets the User Interface to one of three styles, using the user interface manager to set the look and feel. |
Contains the source code for a graphics user interface to the
JML-based unit testing tool for Java. The main entry class
is Main.
|
JET | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||