local.media
Class ExtendedPipedInputStream
java.lang.Object
|
+--java.io.InputStream
|
+--java.io.PipedInputStream
|
+--local.media.ExtendedPipedInputStream
- public class ExtendedPipedInputStream
- extends java.io.PipedInputStream
ExtendedPipedInputStream.
| Fields inherited from class java.io.PipedInputStream |
buffer, in, out, PIPE_SIZE |
|
Method Summary |
int |
read()
Reads the next byte of data from this piped input stream. |
protected void |
receive(int b)
Receives a byte of data. |
| Methods inherited from class java.io.PipedInputStream |
available, close, connect, read |
| Methods inherited from class java.io.InputStream |
mark, markSupported, read, reset, skip |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EXT_PIPE_SIZE
public static int EXT_PIPE_SIZE
- The circular buffer size.
ExtendedPipedInputStream
public ExtendedPipedInputStream()
- Creates a new ExtendedPipedInputStream.
ExtendedPipedInputStream
public ExtendedPipedInputStream(java.io.PipedOutputStream src)
throws java.io.IOException
- Creates a new ExtendedPipedInputStream.
read
public int read()
throws java.io.IOException
- Reads the next byte of data from this piped input stream.
- Overrides:
read in class java.io.PipedInputStream
receive
protected void receive(int b)
throws java.io.IOException
- Receives a byte of data.
- Overrides:
receive in class java.io.PipedInputStream