|
UTJML | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| Constants | An interface defining various global constants to Canica. |
| Mainable | An interface to the main tool. |
| PreferenceControl | The interface to the various option panels that composes the option dialog. |
| Class Summary | |
|---|---|
| DetachablePane | A class implementing detachable and dockable panes. |
| DocPref | A class panel used to display the doc generator preferences for Canica. |
| EditorPref | A panel class used to display the editor preferences for Canica. |
| GlobalIDEPref | Class panel that displays the global IDE preferences for Canica. |
| JAboutDialog | Dialog class that implements the about frame. |
| JavaCompilerPref | Class used to display the Java compiler preferences. |
| JDialogPreferences | Class used to create the Preferences frame. |
| Main | A graphics user interface to the JML-based unit testing tool for Java. |
| MenuOptions | This class helps to keep track of the enableability of the Menu options to a respective Java file opened in the JML editor. |
| PreferencesAction | A class to represent the Preferences action, from the Option menu item. |
| SearchAndInsertActionFactory | A factory class to create various search and insert actions such as find, go to, replace, etcetera. |
| SpringUtilities | A 1.4 file that provides utility methods for creating form- or grid-style layouts with SpringLayout. |
| Util | A utility class that provides various static utility methods. |
Contains the source code for Canica, an IDE for JML. Canica provides a
GUI to various command-line-based JML tools, such as the JML compiler (jmlc).
In addition, it integrates the evolutionary testing tools being
developed at UTEP.
To launch Canica, run the following command:
java edu.utep.cs.utjml.canica.Main
|
UTJML | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||