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

Contains the source code to provide a JML editor, using MDI functionality.

See:
Description

Interface Summary

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.
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.

Class Summary

BasicEditing	This class implements the services provided in the BasicEditorable class.
DocumentSizeFilter
FileAccess	The FileAccess class shall implement the services provided in the FileAccessable class.
GoToAction	GoToAction ********** This class provides the action to open a dialog to help the user find a specific line and column in a java file.
JDialogGoto	This class display a dialog to go to a specific line and column (or line) in a Java file opened in the JML editor.
JMLEditorMDI	This is the controller class of the JML Editor.
JMLEditorMDIView	This class has the view to manage all JML files.
JMLTextPane	This class has the view, model and controller of a Java file.
SearchInsertAndHighlight	The SearchInsertAndHighlight class implements the services to the SearchInsertAndHighlightable class.
StatusBar	A simple status bar that can display the current file name and the current line and column numbers.
StatusFancyBar	This class represents a fancy status bar that can display the current file name and the current line and column numbers.
SyntaxHighlighter	A class for syntax coloring a document.

Package edu.utep.cs.utjml.canica.jmleditor Description

Contains the source code to provide a JML editor, using MDI functionality.