UTJML

edu.utep.cs.utjml.rat
Class StringValueCreator

java.lang.Object
  extended by edu.utep.cs.utjml.rat.StringValueCreator

public class StringValueCreator
extends Object

A class to create string values.

Version:
$Revision: 1.1 $
Author:
Yoonsik Cheon

Constructor Summary
StringValueCreator()
          Creates a new instance.
 
Method Summary
 Denotable chooseValue()
          Creates and returns a new string value.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StringValueCreator

public StringValueCreator()
Creates a new instance.

Method Detail

chooseValue

public Denotable chooseValue()
Creates and returns a new string value.


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.