public interface ArchiveExtractorManager
Modifier and Type | Method and Description |
---|---|
void |
extractFiles(java.io.File archive,
ArchiveFileSelector selector)
Selects appropriate archive extractor and extracts files from given archive filtered by file selector.
|
void extractFiles(@NotNull java.io.File archive, @NotNull ArchiveFileSelector selector) throws java.io.IOException, UnsupportedArchiveTypeException
archive
- archive to be processedselector
- selector for files within the archivejava.io.IOException
- Any I/O error occurredUnsupportedArchiveTypeException
- Archive has unsupported format