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.

Field Summary

Fields inherited from class java.io.FilterInputStream

in

Constructor Summary

InflaterInputStreamPatch(java.io.InputStream is, java.util.zip.ZipEntry ze)

Method Summary

int	available()
boolean	markSupported()
int	read()
int	read(byte[] b, int off, int len)
void	reset()
long	skip(long n)

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

Constructor Detail

InflaterInputStreamPatch

public InflaterInputStreamPatch(java.io.InputStream is,
                                java.util.zip.ZipEntry ze)

Method Detail

available

public int available()
              throws java.io.IOException

Throws:

java.io.IOException

read

public int read()
         throws java.io.IOException

Throws:

java.io.IOException

read

public int read(byte[] b,
                int off,
                int len)
         throws java.io.IOException

Throws:

java.io.IOException

skip

public long skip(long n)
          throws java.io.IOException

Throws:

java.io.IOException

reset

public void reset()
           throws java.io.IOException

Throws:

java.io.IOException

markSupported

public boolean markSupported()