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.IOExceptionMyPipedInputStream(int size)
throws java.io.IOException
java.io.IOExceptionMyPipedInputStream(int size,
int max_buffer_size)
throws java.io.IOException
java.io.IOExceptionMyPipedInputStream(java.io.PipedOutputStream out)
throws java.io.IOException
java.io.IOExceptionMyPipedInputStream(java.io.PipedOutputStream out,
int size)
throws java.io.IOException
java.io.IOException