public class GzFileDataSource extends FileDataSource
Constructor and Description |
---|
GzFileDataSource(java.nio.file.Path directory,
java.lang.String baseName) |
GzFileDataSource(java.nio.file.Path directory,
java.lang.String baseName,
DataSourceObserver observer) |
Modifier and Type | Method and Description |
---|---|
protected java.io.InputStream |
getCompressedInputStream(java.io.InputStream is) |
protected java.io.OutputStream |
getCompressedOutputStream(java.io.OutputStream os) |
protected java.lang.String |
getCompressionExt() |
exists, exists, getBaseName, listNames, newInputStream, newInputStream, newOutputStream, newOutputStream
public GzFileDataSource(java.nio.file.Path directory, java.lang.String baseName, DataSourceObserver observer)
public GzFileDataSource(java.nio.file.Path directory, java.lang.String baseName)
protected java.lang.String getCompressionExt()
getCompressionExt
in class FileDataSource
protected java.io.InputStream getCompressedInputStream(java.io.InputStream is) throws java.io.IOException
getCompressedInputStream
in class FileDataSource
java.io.IOException
protected java.io.OutputStream getCompressedOutputStream(java.io.OutputStream os) throws java.io.IOException
getCompressedOutputStream
in class FileDataSource
java.io.IOException