public class FileServer.ReadPipe
extends java.io.InputStream
Modifier and Type | Field and Description |
---|---|
protected InputStreamIF |
is |
Constructor and Description |
---|
FileServer.ReadPipe(InputStreamIF is)
Create the infpout stream for a file.
|
protected InputStreamIF is
public FileServer.ReadPipe(InputStreamIF is)
protected void finalize() throws java.lang.Throwable
finalize
in class java.lang.Object
java.lang.Throwable
public int read() throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException