Class DuplicateOutputStream

java.lang.Object
java.io.OutputStream
org.sosy_lab.common.io.DuplicateOutputStream
All Implemented Interfaces:
Closeable, Flushable, AutoCloseable

public class DuplicateOutputStream extends OutputStream
This class is an OutputStream implementation that sends everything to two other OutputStreams.

Exceptions thrown by any of the streams will be relayed to the caller.