UTJML

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)

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.