Package edu.utep.cs.utjml.canica

Contains the source code for Canica, an IDE for JML.


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.

Package edu.utep.cs.utjml.canica Description

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 is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.