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

Uses of Class
edu.utep.cs.utjml.tgen.TcgTestRunner.JmlResultPrinter

Packages that use TcgTestRunner.JmlResultPrinter
edu.utep.cs.utjml.tgen   
 

Uses of TcgTestRunner.JmlResultPrinter in edu.utep.cs.utjml.tgen
 

Constructors in edu.utep.cs.utjml.tgen with parameters of type TcgTestRunner.JmlResultPrinter
TcgTestResult(TcgTestRunner.JmlResultPrinter printer)
          Constructs a new TcgTestResult object.
 

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.