Package org.eclipse.mat.hprof
Class GZIPInputStream2
- java.lang.Object
-
- java.io.InputStream
-
- java.io.FilterInputStream
-
- org.eclipse.mat.hprof.GZIPInputStream2
-
- All Implemented Interfaces:
java.io.Closeable,java.lang.AutoCloseable
public class GZIPInputStream2 extends java.io.FilterInputStreamA stream for reading Gzip compressed files. Uses a modifiedInflaterInputStreamto allow the state of the stream to be duplicated, aiding code for random access to Gzip files.
-
-
Constructor Summary
Constructors Constructor Description GZIPInputStream2(java.io.InputStream is)Normal constructorGZIPInputStream2(GZIPInputStream2 gs)Copy constructor used for duplicating a stream.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidclose()java.lang.Stringcomment()java.lang.Stringfilename()voidmark(int limit)booleanmarkSupported()intread()intread(byte[] buf, int off, int len)voidreset()longskip(long n)Need to implementFilterInputStream.skip(long)to the check CRC.java.lang.StringtoString()
-
-
-
Constructor Detail
-
GZIPInputStream2
public GZIPInputStream2(GZIPInputStream2 gs) throws java.io.IOException
Copy constructor used for duplicating a stream. To use either stream thereafter the underlying stream must be in the correct position.- Parameters:
gs- the stream to be duplicated- Throws:
java.io.IOException
-
GZIPInputStream2
public GZIPInputStream2(java.io.InputStream is) throws java.io.IOExceptionNormal constructor- Parameters:
is- the compressed data- Throws:
java.io.IOException
-
-
Method Detail
-
read
public int read() throws java.io.IOException- Overrides:
readin classjava.io.FilterInputStream- Throws:
java.io.IOException
-
read
public int read(byte[] buf, int off, int len) throws java.io.IOException- Overrides:
readin classjava.io.FilterInputStream- Throws:
java.io.IOException
-
skip
public long skip(long n) throws java.io.IOExceptionNeed to implementFilterInputStream.skip(long)to the check CRC. We can call the underlyingskip(long)if we are rereading data.- Overrides:
skipin classjava.io.FilterInputStream- Parameters:
n- bytes to skip- Returns:
- bytes actually skipped
- Throws:
java.io.IOException
-
comment
public java.lang.String comment()
-
filename
public java.lang.String filename()
-
mark
public void mark(int limit)
- Overrides:
markin classjava.io.FilterInputStream
-
reset
public void reset() throws java.io.IOException- Overrides:
resetin classjava.io.FilterInputStream- Throws:
java.io.IOException
-
markSupported
public boolean markSupported()
- Overrides:
markSupportedin classjava.io.FilterInputStream
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
close
public void close() throws java.io.IOException- Specified by:
closein interfacejava.lang.AutoCloseable- Specified by:
closein interfacejava.io.Closeable- Overrides:
closein classjava.io.FilterInputStream- Throws:
java.io.IOException
-
-