org.evomaster.client.java.controller.internal.db

Class WrappedPrintStream

java.lang.Object

java.io.OutputStream

java.io.FilterOutputStream

java.io.PrintStream

org.evomaster.client.java.controller.internal.db.WrappedPrintStream

All Implemented Interfaces:

Closeable, Flushable, Appendable, AutoCloseable

public class WrappedPrintStream
extends PrintStream

Field Summary

Fields inherited from class java.io.FilterOutputStream

out

Constructor Summary

Constructors

Constructor and Description
WrappedPrintStream(StandardOutputTracker out, boolean autoFlush)

Method Summary

Modifier and Type	Method and Description
WrappedPrintStream	copyWithRestPrintStream(PrintStream printStream)

Methods inherited from class java.io.PrintStream

append, append, append, checkError, clearError, close, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, println, setError, write, write

Methods inherited from class java.io.FilterOutputStream

write

Methods inherited from class java.lang.Object

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

Constructor Detail

WrappedPrintStream

public WrappedPrintStream(StandardOutputTracker out,
                          boolean autoFlush)

Method Detail

copyWithRestPrintStream

public WrappedPrintStream copyWithRestPrintStream(PrintStream printStream)