Searched refs:archive (Results 1 – 1 of 1) sorted by relevance
36 private final ZipFile archive; field in ArchivePathElement38 public ArchivePathElement(ZipFile archive) { in ArchivePathElement() argument39 this.archive = archive; in ArchivePathElement()44 ZipEntry entry = archive.getEntry(path); in open()50 return archive.getInputStream(entry); in open()56 archive.close(); in close()66 Enumeration<? extends ZipEntry> delegate = archive.entries(); in list()