|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--java.io.InputStream
|
+--java.io.PipedInputStream
|
+--org.apache.tools.ant.util.LeadPipeInputStream
Special PipedInputStream that will not die
when the writing Thread is no longer alive.
| Field Summary |
| Fields inherited from class java.io.PipedInputStream |
buffer, in, out, PIPE_SIZE |
| Constructor Summary | |
LeadPipeInputStream()
Construct a new LeadPipeInputStream. |
|
LeadPipeInputStream(int size)
Construct a new LeadPipeInputStream
with the specified buffer size. |
|
LeadPipeInputStream(java.io.PipedOutputStream src)
Construct a new LeadPipeInputStream to pull
from the specified PipedOutputStream. |
|
LeadPipeInputStream(java.io.PipedOutputStream src,
int size)
Construct a new LeadPipeInputStream to pull
from the specified PipedOutputStream, using a
circular buffer of the specified size. |
|
| Method Summary | |
void |
log(java.lang.String message,
int loglevel)
Log a message with the specified logging level. |
int |
read()
|
void |
setBufferSize(int size)
Set the size of the buffer. |
void |
setManagingTask(Task task)
Set a managing Task for
this LeadPipeInputStream. |
| Methods inherited from class java.io.PipedInputStream |
available, close, connect, read, receive |
| 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 |
| Constructor Detail |
public LeadPipeInputStream()
LeadPipeInputStream.
public LeadPipeInputStream(int size)
LeadPipeInputStream
with the specified buffer size.
size - the size of the circular buffer.
public LeadPipeInputStream(java.io.PipedOutputStream src)
throws java.io.IOException
LeadPipeInputStream to pull
from the specified PipedOutputStream.
src - the PipedOutputStream source.
public LeadPipeInputStream(java.io.PipedOutputStream src,
int size)
throws java.io.IOException
LeadPipeInputStream to pull
from the specified PipedOutputStream, using a
circular buffer of the specified size.
src - the PipedOutputStream source.size - the size of the circular buffer.| Method Detail |
public int read()
throws java.io.IOException
read in class java.io.PipedInputStreamjava.io.IOExceptionpublic void setBufferSize(int size)
size - the new buffer size. Ignored if <= current size.public void setManagingTask(Task task)
Task for
this LeadPipeInputStream.
task - the managing Task.
public void log(java.lang.String message,
int loglevel)
message - the String message.loglevel - the int logging level.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||