korat.utils
Class SerializationListener

java.lang.Object
  korat.utils.SerializationListener

All Implemented Interfaces:

ITestCaseListener

public class SerializationListener
extends Object
implements ITestCaseListener

Field Summary

private ISerializer

serializer

Constructor Summary

SerializationListener(String testsName)

Method Summary

void	notifyNewTestCase(Object testCase) Called by ITestCaseGenerator for which this object is registered as listener.
void	notifyTestFinished(long numOfExplored, long numOfGenerated) Called by ITestCaseGenerator when test generation is finished.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

serializer

private ISerializer serializer

Constructor Detail

SerializationListener

public SerializationListener(String testsName)

Method Detail

notifyNewTestCase

public void notifyNewTestCase(Object testCase)

Description copied from interface: ITestCaseListener

Called by ITestCaseGenerator for which this object is registered as listener.

Specified by:

notifyNewTestCase in interface ITestCaseListener

Parameters:

testCase - - generated test structure that satisfies requirements (class invariant and preconditions)

notifyTestFinished

public void notifyTestFinished(long numOfExplored,
                               long numOfGenerated)

Description copied from interface: ITestCaseListener

Called by ITestCaseGenerator when test generation is finished.

Specified by:

notifyTestFinished in interface ITestCaseListener