oracle.ide.util
Class InflaterInputStreamPatch
java.lang.Object
|
+--java.io.InputStream
|
+--java.io.FilterInputStream
|
+--oracle.ide.util.InflaterInputStreamPatch
- public class InflaterInputStreamPatch
- extends java.io.FilterInputStream
Class to work around a serious bug in java.util.zip.InflaterInputStream
1. the available() method is not overridden and incorrectly returns the
compressed bytes, and not the decompressed bytes that are actually available.
Fields inherited from class java.io.FilterInputStream |
in |
Methods inherited from class java.io.FilterInputStream |
close, mark, read |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
InflaterInputStreamPatch
public InflaterInputStreamPatch(java.io.InputStream is,
java.util.zip.ZipEntry ze)
available
public int available()
throws java.io.IOException
- Overrides:
available
in class java.io.FilterInputStream
read
public int read()
throws java.io.IOException
- Overrides:
read
in class java.io.FilterInputStream
read
public int read(byte[] b,
int off,
int len)
throws java.io.IOException
- Overrides:
read
in class java.io.FilterInputStream
skip
public long skip(long n)
throws java.io.IOException
- Overrides:
skip
in class java.io.FilterInputStream
reset
public void reset()
throws java.io.IOException
- Overrides:
reset
in class java.io.FilterInputStream
markSupported
public boolean markSupported()
- Overrides:
markSupported
in class java.io.FilterInputStream