public class MemoryTestGenerationLog extends java.lang.Object implements TestGenerationLog
TestGenerationLog
which stores the log in memory.Constructor and Description |
---|
MemoryTestGenerationLog() |
Modifier and Type | Method and Description |
---|---|
void |
testGenerationCompleted() |
java.lang.String |
toString() |
void |
write(java.lang.String string) |
void |
writeException(java.lang.Throwable t) |
void |
writeln(java.lang.String string) |
public void writeln(java.lang.String string)
writeln
in interface TestGenerationLog
public void write(java.lang.String string)
write
in interface TestGenerationLog
public void writeException(java.lang.Throwable t)
writeException
in interface TestGenerationLog
public void testGenerationCompleted()
testGenerationCompleted
in interface TestGenerationLog
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.