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

Uses of Interface
edu.utep.cs.jet.gui.editor.FileChangeListener

Packages that use FileChangeListener
edu.utep.cs.jet.gui Contains the source code for a graphics user interface to the JML-based unit testing tool for Java. 
edu.utep.cs.jet.gui.editor Contains the source code for a editor that can open a single Java/JML source code file at a time and supports a primitive form of syntax coloring. 
 

Uses of FileChangeListener in edu.utep.cs.jet.gui
 

Methods in edu.utep.cs.jet.gui that return FileChangeListener
 FileChangeListener ToolActionFactory.getFileChangeListener()
          Returns a file change listener that listens to the opening and closing of the file being edited by the editor.
 

Uses of FileChangeListener in edu.utep.cs.jet.gui.editor
 

Methods in edu.utep.cs.jet.gui.editor with parameters of type FileChangeListener
 void Editor.addFileChangeListener(FileChangeListener l)
          Registers the given file change listener.
 void DefaultEditor.addFileChangeListener(FileChangeListener l)
          Registers the given file change listener.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JET
 PREV   NEXT FRAMES    NO FRAMES    
JET is Copyright (C) 2005-2008 by The 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.