de.uka.ilkd.key.smt.testgen

Class MemoryTestGenerationLog

java.lang.Object

de.uka.ilkd.key.smt.testgen.MemoryTestGenerationLog

All Implemented Interfaces:

TestGenerationLog

public class MemoryTestGenerationLog
extends Object
implements TestGenerationLog

Implementation of TestGenerationLog which stores the log in memory.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private StringBuffer	sb The StringBuffer which stores all the content.

Constructor Summary

Constructors

Constructor and Description
MemoryTestGenerationLog()

Method Summary

Modifier and Type	Method and Description
void	testGenerationCompleted()
String	toString()
void	write(String string)
void	writeException(Throwable t)
void	writeln(String string)

Methods inherited from class java.lang.Object

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

Field Detail

sb

private final StringBuffer sb

The StringBuffer which stores all the content.

Constructor Detail

MemoryTestGenerationLog

public MemoryTestGenerationLog()

Method Detail

writeln

public void writeln(String string)

Specified by:

writeln in interface TestGenerationLog

write

public void write(String string)

Specified by:

write in interface TestGenerationLog

writeException

public void writeException(Throwable t)

Specified by:

writeException in interface TestGenerationLog

testGenerationCompleted

public void testGenerationCompleted()

Specified by:

testGenerationCompleted in interface TestGenerationLog

toString

public String toString()

Overrides:

toString in class Object