public interface ZipHandle
Modifier and Type | Method and Description |
---|---|
void |
close()
Closes the zip handle (performs resource cleanup).
|
java.util.List<java.lang.String> |
getEntries()
Returns a list of string, with each string representing a valid path for existing entry in this Zip handle.
|
java.util.List<java.lang.String> |
getEntries(EntryNameFilter filter)
Returns a list of string, with each string representing a valid path for existing entry in this Zip handle.
|
java.io.InputStream |
getEntryContent(java.lang.String path)
Returns the "payload" (uncompressed) of the entry at given path, or null if no such path exists in the Zip file
this handle points to.
|
boolean |
hasEntry(java.lang.String path)
Returns true if Zip file this handle is pointing to contains an entry at given path.
|
boolean hasEntry(java.lang.String path) throws java.io.IOException
path
- java.io.IOException
java.util.List<java.lang.String> getEntries()
java.util.List<java.lang.String> getEntries(EntryNameFilter filter)
java.io.InputStream getEntryContent(java.lang.String path) throws java.io.IOException
path
- java.io.IOException
void close() throws java.io.IOException
java.io.IOException