Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
UTJML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

edu.utep.cs.utjml.tgen
Interface TcgObserver

public interface TcgObserver

An interface to observe the JML test case generator.

Version:
$Revision: 1.2 $
Author:
Yoonsik Cheon

Method Summary
 void coverage(int noexprs, int attempt, int mncount, int nocases)
           
 void endClass()
           
 void endMethod()
           
 void startClass(String name)
           
 void startMethod(String name)
           
 void testcase(String coverage, boolean added)
           
 

Method Detail

startClass

void startClass(String name)

endClass

void endClass()

startMethod

void startMethod(String name)

endMethod

void endMethod()

testcase

void testcase(String coverage,
              boolean added)

coverage

void coverage(int noexprs,
              int attempt,
              int mncount,
              int nocases)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
UTJML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.