public class CompressedInputStream
extends java.io.InputStream
Constructor and Description |
---|
CompressedInputStream(java.io.InputStream streamFromServer,
RuntimeProperty<java.lang.Boolean> traceProtocol,
Log log)
Creates a new CompressedInputStream that reads the given stream from the
server.
|
Modifier and Type | Method and Description |
---|---|
int |
available() |
void |
close() |
int |
read() |
int |
read(byte[] b) |
int |
read(byte[] b,
int off,
int len) |
long |
skip(long n) |
public CompressedInputStream(java.io.InputStream streamFromServer, RuntimeProperty<java.lang.Boolean> traceProtocol, Log log)
streamFromServer
- original server InputStreamtraceProtocol
- "traceProtocol" propertylog
- loggerpublic int available() throws java.io.IOException
available
in class java.io.InputStream
java.io.IOException
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.InputStream
java.io.IOException
public int read() throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte[] b) throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte[] b, int off, int len) throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public long skip(long n) throws java.io.IOException
skip
in class java.io.InputStream
java.io.IOException