Uses of Package
edu.utep.cs.utjml.canica

Packages that use edu.utep.cs.utjml.canica

edu.utep.cs.utjml.canica	Contains the source code for Canica, an IDE for JML.
edu.utep.cs.utjml.canica.filebrowser	Contains the source code to provide a directory browser, a document selector, and a file statistics information.
edu.utep.cs.utjml.canica.jmleditor	Contains the source code to provide a JML editor, using MDI functionality.
edu.utep.cs.utjml.canica.output
edu.utep.cs.utjml.canica.tool

Classes in edu.utep.cs.utjml.canica used by edu.utep.cs.utjml.canica

Constants
An interface defining various global constants to Canica.

Mainable
An interface to the main tool.

MenuOptions
This class helps to keep track of the enableability of the Menu options to a respective Java file opened in the JML editor.

PreferenceControl
The interface to the various option panels that composes the option dialog.

Classes in edu.utep.cs.utjml.canica used by edu.utep.cs.utjml.canica.filebrowser

Mainable
An interface to the main tool.

Classes in edu.utep.cs.utjml.canica used by edu.utep.cs.utjml.canica.jmleditor

Constants
An interface defining various global constants to Canica.

Mainable
An interface to the main tool.

MenuOptions
This class helps to keep track of the enableability of the Menu options to a respective Java file opened in the JML editor.

Classes in edu.utep.cs.utjml.canica used by edu.utep.cs.utjml.canica.output

Constants
An interface defining various global constants to Canica.

Mainable
An interface to the main tool.

Classes in edu.utep.cs.utjml.canica used by edu.utep.cs.utjml.canica.tool

Mainable
An interface to the main tool.