Lines Matching refs:zip
32 import java.util.zip.*;
36 * directories and zip files.
119 ZipFile zip = new ZipFile(file);
121 path[n++].zip = zip;
157 ZipFile zip = new ZipFile(file);
159 path[n++].zip = zip;
199 // zip files are picky about "foo" vs. "foo/".
205 if (path[i].zip != null) {
207 ZipEntry entry = path[i].zip.getEntry(newname);
209 return new ClassFile(path[i].zip, entry);
239 if (path[i].zip != null) {
240 Enumeration e = path[i].zip.entries();
246 files.put(name, new ClassFile(path[i].zip, entry));
269 if (path[i].zip != null) {
270 path[i].zip.close();
284 * A class path entry, which can either be a directory or an open zip file.
288 ZipFile zip;