UTJML

edu.utep.cs.utjml.tgen
Class TcgMessages

java.lang.Object
  extended by edu.utep.cs.utjml.tgen.TcgMessages

public class TcgMessages
extends Object


Field Summary
static MessageDescription TEST_CASE_GENERATED
           
 
Constructor Summary
TcgMessages()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TEST_CASE_GENERATED

public static final MessageDescription TEST_CASE_GENERATED
Constructor Detail

TcgMessages

public TcgMessages()

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.