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

Uses of Package
edu.utep.cs.utjml.canica.output

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

Classes in edu.utep.cs.utjml.canica.output used by edu.utep.cs.utjml.canica
OutputPaneable
           
 

Classes in edu.utep.cs.utjml.canica.output used by edu.utep.cs.utjml.canica.output
CounterPanel
          A panel with test run counters
OutputPaneable
           
OutputPaneConsole
          Class OutputPaneConsole This class represents the console view.
OutputPaneRunTestCases
          OutputPaneRunTestCases Class This class is responsible to display the test results data.
OutputPaneTestGeneration
          OutputPaneTestGeneration class * This class is responsible to display the test data generated of a Java file and let the user interact with the test cases code.
 

Classes in edu.utep.cs.utjml.canica.output used by edu.utep.cs.utjml.canica.tool
OutputPaneable
           
 

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.