public class GZipHandle extends StreamHandle
StreamHandle
Constructor and Description |
---|
GZipHandle(java.lang.String file)
Construct a new GZipHandle for the given file.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
isGZipFile(java.lang.String file)
Returns true if the given filename is a gzip file.
|
protected void |
resetStream()
Close and reopen the stream; the stream pointer and mark should be
reset to 0.
|
close, getFilePointer, getOrder, length, read, read, read, read, readBoolean, readByte, readChar, readDouble, readFloat, readFully, readFully, readInt, readLine, readLong, readShort, readUnsignedByte, readUnsignedShort, readUTF, seek, setOrder, skipBytes, write, write, write, write, write, writeBoolean, writeByte, writeBytes, writeChar, writeChars, writeDouble, writeFloat, writeInt, writeLong, writeShort, writeUTF
public GZipHandle(java.lang.String file) throws java.io.IOException
HandleException
- if the given file name is not a GZip file.java.io.IOException
public static boolean isGZipFile(java.lang.String file) throws java.io.IOException
java.io.IOException
protected void resetStream() throws java.io.IOException
StreamHandle
resetStream
in class StreamHandle
java.io.IOException
Copyright © 2014 Open Microscopy Environment