class Channel.MyPipedInputStream
extends java.io.PipedInputStream
Modifier and Type | Field and Description |
---|---|
private int |
BUFFER_SIZE |
private int |
max_buffer_size |
Constructor and Description |
---|
MyPipedInputStream() |
MyPipedInputStream(int size) |
MyPipedInputStream(int size,
int max_buffer_size) |
MyPipedInputStream(java.io.PipedOutputStream out) |
MyPipedInputStream(java.io.PipedOutputStream out,
int size) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
checkSpace(int len) |
private int |
freeSpace() |
void |
updateReadSide() |
MyPipedInputStream() throws java.io.IOException
java.io.IOException
MyPipedInputStream(int size) throws java.io.IOException
java.io.IOException
MyPipedInputStream(int size, int max_buffer_size) throws java.io.IOException
java.io.IOException
MyPipedInputStream(java.io.PipedOutputStream out) throws java.io.IOException
java.io.IOException
MyPipedInputStream(java.io.PipedOutputStream out, int size) throws java.io.IOException
java.io.IOException