oracle.ide.util
Class InflaterInputStreamPatch

java.lang.Object
  java.io.InputStream
      java.io.FilterInputStream
          oracle.ide.util.InflaterInputStreamPatch

All Implemented Interfaces:

java.io.Closeable

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

Overrides:

available in class java.io.FilterInputStream

Throws:

java.io.IOException

read

public int read()
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

Throws:

java.io.IOException

read

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

Overrides:

read in class java.io.FilterInputStream

Throws:

java.io.IOException

skip

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

Overrides:

skip in class java.io.FilterInputStream

Throws:

java.io.IOException

reset

public void reset()
           throws java.io.IOException

Overrides:

reset in class java.io.FilterInputStream

Throws:

java.io.IOException

markSupported

public boolean markSupported()

Overrides:

markSupported in class java.io.FilterInputStream