JET

edu.utep.cs.et.rat.val
Interface VarGenerator

All Known Implementing Classes:
CompositeValue.SimpleVarGenerator, JUnitExporter.SimpleVarGenerator

public interface VarGenerator

An interface to generate unique local variables.

Version:
$Revision: 1.1 $
Author:
Yoonsik Cheon

Method Summary
 String genVar()
          Returns a unique variable name.
 

Method Detail

genVar

String genVar()
Returns a unique variable name.


JET

JET is Copyright (C) 2005-2007 by The 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.