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

Uses of Interface
edu.utep.cs.jet.gui.Mainable

Packages that use Mainable
edu.utep.cs.jet.gui Contains the source code for a graphics user interface to the JML-based unit testing tool for Java. 
 

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

Classes in edu.utep.cs.jet.gui that implement Mainable
 class Main
          A graphics user interface to the JML-based unit testing tool for Java.
 

Fields in edu.utep.cs.jet.gui declared as Mainable
protected  Mainable FileActionFactory.et
          The main program.
 

Methods in edu.utep.cs.jet.gui that return Mainable
static Mainable FileActionFactory.getET()
           
 Mainable MainableActions.returnMainable()
          Returns Mainable
 

Constructors in edu.utep.cs.jet.gui with parameters of type Mainable
FileActionFactory(Mainable et, edu.utep.cs.jet.gui.ViewController vc)
          Creates a new instance for the given tool et.
MainableActions(Mainable et)
          Main constructor of MainableActions
ToolActionFactory(Mainable et, edu.utep.cs.jet.gui.ViewController vc)
          Creates a new instance for the given main program.
 

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.