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

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

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

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

JMLEditorable
An interface to access the functionality of the JML editor.

StatusBarable
An interface to the status bar of the GUI.

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

JMLEditorable
An interface to access the functionality of the JML editor.

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

BasicEditorable
This class shall provide the basic editing services to the active editing file in the JML editor.

FileAccessable
This class provides the services that access a file.

JMLEditorable
An interface to access the functionality of the JML editor.

JMLEditorMDI
This is the controller class of the JML Editor.

JMLTextPane
This class has the view, model and controller of a Java file.

SearchInsertAndHighlight
The SearchInsertAndHighlight class implements the services to the SearchInsertAndHighlightable class.

SearchInsertAndHighlightable
This class is an interface responsible to provide the services to highlight a line, to insert a JML primary expression , to insert JML clauses , to go to a line and column, to find text, and to replace text in the JML editor to the active editing file.

StatusBarable
An interface to the status bar of the GUI.

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

JMLEditorable
An interface to access the functionality of the JML editor.