| Modifiers | Name | Description |
|---|---|---|
static String |
ZIP_EXTENSION |
| Type Params | Return Type | Name and description |
|---|---|---|
|
static Collection<File> |
unzip(File self) |
|
static Collection<File> |
unzip(File self, File destination) |
|
static Collection<File> |
unzip(File self, Closure<Boolean> filter) |
|
static Collection<File> |
unzip(File self, File destination, Closure<Boolean> filter)Unzips this file. |
|
static File |
zip(File self) |
|
static File |
zip(File self, File destination) |
|
static File |
zip(File self, Closure<Boolean> filter) |
|
static File |
zip(File self, File destination, Closure<Boolean> filter)Zips this File and places it in the optional destination directory. |
Unzips this file. As a precondition, this file has to refer to a *.zip file. If the destination directory is not provided, it will fall back to this file's parent directory.
destination - (optional), the destination directory where this file's content will be unzipped to.Zips this File and places it in the optional destination directory. If the destination directory is not provided, the resulting ZIP file will be placed in this file's parent directory.
destination, - the ZIP file as the outcome of calling this method. If null,
destination will be created from this file's parent and file name (appending the *.zip extension).