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

Uses of Class
edu.utep.cs.utjml.rat.RatOptions

Packages that use RatOptions
edu.utep.cs.utjml.rat Contains the source code to generate test cases randomly for Java classes. 
 

Uses of RatOptions in edu.utep.cs.utjml.rat
 

Methods in edu.utep.cs.utjml.rat with parameters of type RatOptions
 void TestClassGenerator.perform(Writer writer, JCompilationUnit cunit, RatOptions options)
          Generates a JML/JUnit test oracle class for the given compilation unit.
 

Constructors in edu.utep.cs.utjml.rat with parameters of type RatOptions
TestClassGenerator(RatOptions options)
          Constructs a new test oracle generator.
TestDataClassGenerator(RatOptions options)
          Constructs a new test data class generator 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.