gov.nasa.jpf.util

Class SplitOutputStream

java.lang.Object

java.io.OutputStream

gov.nasa.jpf.util.SplitOutputStream

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.AutoCloseable

public class SplitOutputStream
extends java.io.OutputStream

Constructor Summary

Constructors

Constructor and Description
SplitOutputStream(java.io.OutputStream... sinks)

Method Summary

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(java.io.OutputStream... sinks)

Method Detail

write

public void write(int data)
           throws java.io.IOException

Specified by:

write in class java.io.OutputStream

Throws:

java.io.IOException

write

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

Overrides:

write in class java.io.OutputStream

Throws:

java.io.IOException

flush

public void flush()
           throws java.io.IOException

Specified by:

flush in interface java.io.Flushable

Overrides:

flush in class java.io.OutputStream

Throws:

java.io.IOException

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Specified by:

close in interface java.lang.AutoCloseable

Overrides:

close in class java.io.OutputStream

Throws:

java.io.IOException