Searched refs:zipRandomFile (Results 1 - 1 of 1) sorted by relevance

/openjdk7/langtools/src/share/classes/com/sun/tools/javac/file/
H A DZipFileIndex.java98 private RandomAccessFile zipRandomFile; field in class:ZipFileIndex
119 return (zipRandomFile != null);
173 if (zipRandomFile != null || isUpToDate) {
190 long totalLength = zipRandomFile.length();
191 ZipDirectory directory = new ZipDirectory(zipRandomFile, 0L, totalLength, this);
194 if (zipRandomFile != null) {
203 if (zipRandomFile == null && zipFile != null) {
204 zipRandomFile = new RandomAccessFile(zipFile, "r");
222 if (zipRandomFile != null) {
224 zipRandomFile
490 RandomAccessFile zipRandomFile = null; field in class:ZipFileIndex.ZipDirectory
493 ZipDirectory(RandomAccessFile zipRandomFile, long start, long end, ZipFileIndex index) argument
[all...]

Completed in 30 milliseconds