korat.testing
Interface ITestCaseListener

All Known Implementing Classes:

SerializationListener, VizListener, WriteCVListener, WriteCVListenerSim

public interface ITestCaseListener

Client that should handle test structures

Author:

korat.team *

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.

Method Detail

notifyNewTestCase

void notifyNewTestCase(Object testCase)

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

Parameters:

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

notifyTestFinished

void notifyTestFinished(long numOfExplored,
                        long numOfGenerated)

Called by ITestCaseGenerator when test generation is finished.

Parameters:

numOfExplored -

numOfGenerated -