gov.nasa.jpf.util

Class SplitOutputStream

java.lang.Object

java.io.OutputStream

gov.nasa.jpf.util.SplitOutputStream

All Implemented Interfaces:

Closeable, Flushable, AutoCloseable

public class SplitOutputStream
extends OutputStream

Constructor Summary

Constructors

Constructor and Description
SplitOutputStream(OutputStream... sinks)

Method Summary

Methods

Modifier and Type	Method and Description
void	close()
void	flush()
void	write(byte[] buffer, int offset, int length)
void	write(int data)

Methods inherited from class java.io.OutputStream

write

Methods inherited from class java.lang.Object

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

Constructor Detail

SplitOutputStream

public SplitOutputStream(OutputStream... sinks)

Method Detail

write

public void write(int data)
           throws IOException

Specified by:

write in class OutputStream

Throws:

IOException

write

public void write(byte[] buffer,
         int offset,
         int length)
           throws IOException

Overrides:

write in class OutputStream

Throws:

IOException

flush

public void flush()
           throws IOException

Specified by:

flush in interface Flushable

Overrides:

flush in class OutputStream

Throws:

IOException

close

public void close()
           throws IOException

Specified by:

close in interface Closeable

Specified by:

close in interface AutoCloseable

Overrides:

close in class OutputStream

Throws:

IOException