UTJML

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.


UTJML

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.