UTJML

Uses of Package
edu.utep.cs.utjml.tgen

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

Classes in edu.utep.cs.utjml.tgen used by edu.utep.cs.utjml.tgen
ArrayValue
          A class to represent array values.
BooleanValue
          A class to represent boolean values.
Denotable
          An interface to denote values that can be part of a test case.
IntValue
          A class to represent int values.
MethodInfo
          A common information needed from JMethodDeclarationType and CMethod in this class.
TcgObserver
          An interface to observe the JML test case generator.
TcgOptions
          This class is automatically generated from TcgOptions.opt and contains member fields corresponding to command-line options.
TcgTestRunner.JmlResultPrinter
           
TestClassGenerator
          A class for generating JML/JUnit test driver classes.
TestClassGenerator.MethodsIterator
          A composite control abstraction useful in this class.
Value
          An abstract class to denote various values.
ValueCreator
          A class to create various values.
 


UTJML

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.