Extension SDK 10.1.2


oracle.ide.util
Class InflaterInputStreamPatch

java.lang.Object
  extended byjava.io.InputStream
      extended byjava.io.FilterInputStream
          extended byoracle.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()

Extension SDK


Copyright © 1997, 2004, Oracle. All rights reserved.