ZipFile zipFile = new ZipFile(file); return zipFile.getInputStream(zipFile.getEntry(getName())); } public long getLastModified() { return file.lastModified(); } public long getLength() { try { ZipFile zipFile = new ZipFile(file); try { return zipFile.getEntry(getName()).getSize(); } finally { zipFile.close(); } } catch (IOException e) { return super.getLength(); } }
Other popular examples for File
60: File log = new File(baseDir, "log");
-
76: assertTrue(file + " exists", file.exists());
77: assertTrue(file + " is a directory", file.isDirectory());
Full Snippet Info39: Files.copy(defaultFile, file);
-
47: return asFile(new File(name));
Full Snippet Info44: File file = new File(getUserHome(), JLINE_RC);
45: if (file.exists() && file.canRead()) {
-
50: Log.debug("Loaded user configuration: ", file);
-
57: Log.warn("Unable to read user configuration: ", file, e);
-
61: Log.trace("User configuration file missing or unreadable: ", file);
Full Snippet Info