UTJML

Uses of Interface
edu.utep.cs.utjml.compiler.UtConstants

Packages that use UtConstants
edu.utep.cs.utjml.compiler   
 

Uses of UtConstants in edu.utep.cs.utjml.compiler
 

Classes in edu.utep.cs.utjml.compiler that implement UtConstants
 class CallSequenceMethod
          A class to generate assertion check methods for call sequences.
 class TransCallSequence
          A class to translate UTJML call sequence clauses.
 class UtWrapperMethod
          A class for generating wrapper methods.
 


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.