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

Uses of Interface
edu.utep.cs.jet.gui.explorer.Explorer

Packages that use Explorer
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.explorer Contains the source code for displaying several kinds of explorers, such as a directory browser that allows one to browse through directories and files. 
 

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

Methods in edu.utep.cs.jet.gui that return Explorer
 Explorer Mainable.explorer()
          Returns the explorer of this GUI.
 Explorer Main.explorer()
          Returns the explorer of this GUI.
 

Uses of Explorer in edu.utep.cs.jet.gui.explorer
 

Classes in edu.utep.cs.jet.gui.explorer that implement Explorer
 class DefaultExplorer
          A tabbed pane to display several kinds of explorers.
 

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.