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

Uses of Interface
edu.utep.cs.utjml.canica.tool.Toolable

Packages that use Toolable
edu.utep.cs.utjml.canica Contains the source code for Canica, an IDE for JML. 
edu.utep.cs.utjml.canica.tool   
 

Uses of Toolable in edu.utep.cs.utjml.canica
 

Methods in edu.utep.cs.utjml.canica that return Toolable
 Toolable Mainable.tool()
          Returns the tool of this GUI
 Toolable Main.tool()
           
 

Uses of Toolable in edu.utep.cs.utjml.canica.tool
 

Classes in edu.utep.cs.utjml.canica.tool that implement Toolable
 class ToolController
          Implementation class of the Toolable class.
 

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.