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

Uses of Interface
edu.utep.cs.utjml.canica.jmleditor.SearchInsertAndHighlightable

Packages that use SearchInsertAndHighlightable
edu.utep.cs.utjml.canica.jmleditor Contains the source code to provide a JML editor, using MDI functionality. 
 

Uses of SearchInsertAndHighlightable in edu.utep.cs.utjml.canica.jmleditor
 

Classes in edu.utep.cs.utjml.canica.jmleditor that implement SearchInsertAndHighlightable
 class SearchInsertAndHighlight
          The SearchInsertAndHighlight class implements the services to the SearchInsertAndHighlightable class.
 

Methods in edu.utep.cs.utjml.canica.jmleditor that return SearchInsertAndHighlightable
 SearchInsertAndHighlightable JMLEditorMDI.getSearchInsertAndHighlightable()
           
 SearchInsertAndHighlightable JMLEditorable.getSearchInsertAndHighlightable()
          It returns the interface that will handle the search, insert and highlight functionalities in the JML editor.
 

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.