public interface Compressor
| Modifier and Type | Method and Description |
|---|---|
void |
compress(java.io.File source,
java.io.File destination)
Compresses the given input file to the given destination directory or file.
|
void |
decompress(java.io.File source,
java.io.File destination)
Decompresses the given source file to the given destination directory or file.
|
java.io.InputStream |
decompressingStream(java.io.InputStream compressedStream)
Accept a stream and wrap it in a decompressing stream suitable for the current compressor.
|
java.lang.String |
getFilenameExtension()
Returns the filename extension that indicates the file format this compressor handles.
|
void compress(java.io.File source,
java.io.File destination)
throws java.lang.IllegalArgumentException,
java.io.IOException
source - the source file to compressdestination - the destination filejava.lang.IllegalArgumentException - if the source is not readable or the destination is not writablejava.io.IOException - when an I/O error occursvoid decompress(java.io.File source,
java.io.File destination)
throws java.lang.IllegalArgumentException,
java.io.IOException
source - the compressed source file to decompressdestination - the destination filejava.lang.IllegalArgumentException - if the source is not readable or the destination is not writablejava.io.IOException - when an I/O error occursjava.io.InputStream decompressingStream(java.io.InputStream compressedStream)
throws java.io.IOException
compressedStream - the stream of compressed data.java.io.IOException - an I/O error.java.lang.String getFilenameExtension()
Copyright © 2013-2018. All Rights Reserved.