edu.utep.cs.utjml.rat
Interface RatListener

All Known Implementing Classes:

OutputPaneTestGeneration, RatAdapter

public interface RatListener

The listener interface for receiving test case generation events. The class that is interested in processing a test case generation event should implement this interface, and the object created with that class should be registered with a test case generator (edu.utep.cs.et.rat.Main), using the generator's addRatListener method. When a new test case is generated, the corresponding test case method of that object is invoked.

Version:

$Revision: 1.3 $

Author:

Yoonsik Cheon

Method Summary

void	coverage(int noexprs, int attempt, int mncount, int nocases) Invoked to send a summary of test coverage information for the current method.
void	endClass() Invoked when the processing of the current class is completed.
void	endMethod() Invoked when the processing of the current method is completed.
void	startClass(String name) Invoked when a new class becomes processed to generate test cases.
void	startMethod(String name) Invoked when a new method becomes processed to generate test cases.
void	testcase(String coverage, boolean added, TestCase testcase) Invoked when a new test case is generated for the current method.

Method Detail

startClass

void startClass(String name)

Invoked when a new class becomes processed to generate test cases.

endClass

void endClass()

Invoked when the processing of the current class is completed.

startMethod

void startMethod(String name)

Invoked when a new method becomes processed to generate test cases.

endMethod

void endMethod()

Invoked when the processing of the current method is completed.

testcase

void testcase(String coverage,
              boolean added,
              TestCase testcase)

Invoked when a new test case is generated for the current method.

coverage

void coverage(int noexprs,
              int attempt,
              int mncount,
              int nocases)

Invoked to send a summary of test coverage information for the current method. This method is invoked just before the invokcation of the endMethod() method.