Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
UTJML
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
edu.utep.cs.utjml.gui.Editorable

Packages that use Editorable
edu.utep.cs.utjml.gui   
 

Uses of Editorable in edu.utep.cs.utjml.gui
 

Classes in edu.utep.cs.utjml.gui that implement Editorable
 class JmlEditor
          A simple JML/Java source code editor that supports syntax hightligting.
 

Methods in edu.utep.cs.utjml.gui that return Editorable
 Editorable Mainable.editor()
          Returns the editor of this GUI.
 Editorable Main.editor()
          Returns the editor of this GUI.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
UTJML
 PREV   NEXT FRAMES    NO FRAMES    
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.