|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.io.OutputStream
java.io.FilterOutputStream
escjava.prover.TeeOutputStream
This class is a FilterOutputStream
class that forwards its
given output to two given OutputStream
s.
Field Summary | |
protected java.io.OutputStream |
out2
The other underlying output stream to be filtered (the first being out in the superclass). |
Fields inherited from class java.io.FilterOutputStream |
out |
Constructor Summary | |
TeeOutputStream(java.io.OutputStream out0,
java.io.OutputStream out1)
Creates an output stream filter built on top of two specified underlying output streams. |
Method Summary | |
void |
close()
Closes this output stream and releases any system resources associated with the stream. |
void |
flush()
Flushes this output stream and forces any buffered output bytes to be written out to the stream. |
void |
write(byte[] b)
Writes b.length bytes to this output stream.
|
void |
write(byte[] b,
int off,
int len)
Writes len bytes from the specified
byte array starting at offset off to
this output stream.
|
void |
write(int b)
Writes the specified byte to this output stream.
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected java.io.OutputStream out2
out
in the superclass).
Constructor Detail |
public TeeOutputStream(java.io.OutputStream out0, java.io.OutputStream out1)
out0
- the first of the underlying output streams;
will be assigned to this.out
;
should not be null
out1
- the second of the underlying output streams;
will be assigned to this.out2
;
should not be null
Method Detail |
public void write(int b) throws java.io.IOException
byte
to this output stream.
The write
method of
TeeOutputStream
calls the write
method of its two underlying output streams, that is, it
performs out.write(b) and then
out2.write(b).
Implements the abstract write method of OutputStream.
b
- the byte
.
java.io.IOException
- if an I/O error occurs.public void write(byte[] b) throws java.io.IOException
b.length
bytes to this output stream.
The write
method of
TeeOutputStream
calls the write
method of its two underlying output streams, that is, it
performs out.write(b) and then
out2.write(b).
b
- the data to be written.
java.io.IOException
- if an I/O error occurs.FilterOutputStream.write(byte[], int, int)
public void write(byte[] b, int off, int len) throws java.io.IOException
len
bytes from the specified
byte
array starting at offset off
to
this output stream.
The write
method of
TeeOutputStream
calls the write
method of its two underlying output streams, that is, it
performs out.write(b) and then
out2.write(b).
b
- the data.off
- the start offset in the data.len
- the number of bytes to write.
java.io.IOException
- if an I/O error occurs.FilterOutputStream.write(int)
public void flush() throws java.io.IOException
The flush
method of
FilterOutputStream
calls the flush
method of its two underlying output streams.
java.io.IOException
- if an I/O error occurs.FilterOutputStream.flush()
public void close() throws java.io.IOException
The close
method of
FilterOutputStream
calls its flush
method, and then calls the close
method of its two
underlying output streams.
java.io.IOException
- if an I/O error occurs.FilterOutputStream.flush()
,
FilterOutputStream.close()
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |