oracle.ide.util

Class InflaterInputStreamPatch

java.lang.Object

java.io.InputStream

java.io.FilterInputStream

oracle.ide.util.InflaterInputStreamPatch

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable

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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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