korat.testing.impl
Class AbstractTestCaseGenerator

java.lang.Object
  korat.testing.impl.AbstractTestCaseGenerator

Direct Known Subclasses:

TestCradle

public abstract class AbstractTestCaseGenerator
extends Object

Author:

Sasa Misailovic

Field Summary

private List<ITestCaseListener>	clients
protected boolean	interrupted
protected PrintStream	out
private static boolean	PRINT_CASES
private List<ITestCaseListener>	specialClients

Constructor Summary

AbstractTestCaseGenerator()

AbstractTestCaseGenerator(PrintStream out)

Method Summary

void	attachClient(ITestCaseListener client)
void	attachSpecialClient(ITestCaseListener special)
void	detachClient(ITestCaseListener client)
void	interrupt()
boolean	isInterrupted()
protected void	log(int[] vector)
protected void	log(Object obj)
private void	log(Object obj, boolean carriageReturn)
protected void	log(String str)
protected void	notifyClients(Object testCase)
protected void	notifyTestFinished(long numOfExplored, long numOfGenerated)
protected void	warning(String string, IOException e)

Methods inherited from class java.lang.Object

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

Field Detail

clients

private List<ITestCaseListener> clients

specialClients

private List<ITestCaseListener> specialClients

out

protected PrintStream out

PRINT_CASES

private static boolean PRINT_CASES

interrupted

protected boolean interrupted

Constructor Detail

AbstractTestCaseGenerator

public AbstractTestCaseGenerator()

AbstractTestCaseGenerator

public AbstractTestCaseGenerator(PrintStream out)

Method Detail

attachClient

public void attachClient(ITestCaseListener client)

attachSpecialClient

public void attachSpecialClient(ITestCaseListener special)

detachClient

public void detachClient(ITestCaseListener client)

notifyClients

protected void notifyClients(Object testCase)

notifyTestFinished

protected void notifyTestFinished(long numOfExplored,
                                  long numOfGenerated)

warning

protected void warning(String string,
                       IOException e)

log

protected void log(Object obj)

log

private void log(Object obj,
                 boolean carriageReturn)

log

protected void log(int[] vector)

log

protected void log(String str)

interrupt

public void interrupt()

isInterrupted

public boolean isInterrupted()