langtools/src/share/classes/com/sun/tools/javac/file/ZipFileIndex.java
author jjg
Wed, 14 Oct 2009 15:41:28 -0700
changeset 4073 9788f4549740
parent 3380 a6c2bcab0fec
child 4418 7c5fe46dd6c5
permissions -rw-r--r--
6838467: JSR199 FileObjects don't obey general contract of equals. Reviewed-by: darcy
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
655
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     1
/*
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     2
 * Copyright 2007-2008 Sun Microsystems, Inc.  All Rights Reserved.
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     4
 *
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     7
 * published by the Free Software Foundation.  Sun designates this
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
     9
 * by Sun in the LICENSE file that accompanied this code.
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    10
 *
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    15
 * accompanied this code).
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    16
 *
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    20
 *
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    21
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    22
 * CA 95054 USA or visit www.sun.com if you need additional information or
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    23
 * have any questions.
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    24
 */
1ebc7ce89018 6705945: com.sun.tools.javac.zip files do not have valid copyright
jjg
parents: 10
diff changeset
    25
731
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    26
package com.sun.tools.javac.file;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    27
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
    28
731
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    29
import java.io.File;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    30
import java.io.FileNotFoundException;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    31
import java.io.IOException;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    32
import java.io.RandomAccessFile;
4073
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
    33
import java.lang.ref.Reference;
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
    34
import java.lang.ref.SoftReference;
731
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    35
import java.util.ArrayList;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    36
import java.util.Arrays;
865
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
    37
import java.util.Calendar;
731
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    38
import java.util.Collections;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    39
import java.util.HashMap;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    40
import java.util.HashSet;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    41
import java.util.Iterator;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    42
import java.util.List;
731
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    43
import java.util.Map;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    44
import java.util.Set;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    45
import java.util.concurrent.locks.ReentrantLock;
731
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    46
import java.util.zip.DataFormatException;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    47
import java.util.zip.Inflater;
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 655
diff changeset
    48
import java.util.zip.ZipException;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    49
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
    50
import com.sun.tools.javac.file.RelativePath.RelativeDirectory;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
    51
import com.sun.tools.javac.file.RelativePath.RelativeFile;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
    52
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    53
/** This class implements building of index of a zip archive and access to it's context.
06bc494ca11e Initial load
duke
parents:
diff changeset
    54
 *  It also uses prebuild index if available. It supports invocations where it will
06bc494ca11e Initial load
duke
parents:
diff changeset
    55
 *  serialize an optimized zip index file to disk.
06bc494ca11e Initial load
duke
parents:
diff changeset
    56
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    57
 *  In oreder to use secondary index file make sure the option "usezipindex" is in the Options object,
06bc494ca11e Initial load
duke
parents:
diff changeset
    58
 *  when JavacFileManager is invoked. (You can pass "-XDusezipindex" on the command line.
06bc494ca11e Initial load
duke
parents:
diff changeset
    59
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    60
 *  Location where to look for/generate optimized zip index files can be provided using
06bc494ca11e Initial load
duke
parents:
diff changeset
    61
 *  "-XDcachezipindexdir=<directory>". If this flag is not provided, the dfault location is
06bc494ca11e Initial load
duke
parents:
diff changeset
    62
 *  the value of the "java.io.tmpdir" system property.
06bc494ca11e Initial load
duke
parents:
diff changeset
    63
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    64
 *  If key "-XDwritezipindexfiles" is specified, there will be new optimized index file
06bc494ca11e Initial load
duke
parents:
diff changeset
    65
 *  created for each archive, used by the compiler for compilation, at location,
06bc494ca11e Initial load
duke
parents:
diff changeset
    66
 *  specified by "cachezipindexdir" option.
06bc494ca11e Initial load
duke
parents:
diff changeset
    67
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    68
 * If nonBatchMode option is specified (-XDnonBatchMode) the compiler will use timestamp
06bc494ca11e Initial load
duke
parents:
diff changeset
    69
 * checking to reindex the zip files if it is needed. In batch mode the timestamps are not checked
06bc494ca11e Initial load
duke
parents:
diff changeset
    70
 * and the compiler uses the cached indexes.
3380
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1789
diff changeset
    71
 *
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1789
diff changeset
    72
 * <p><b>This is NOT part of any API supported by Sun Microsystems.
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1789
diff changeset
    73
 * If you write code that depends on this, you do so at your own risk.
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1789
diff changeset
    74
 * This code and its internal interfaces are subject to change or
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1789
diff changeset
    75
 * deletion without notice.</b>
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    76
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
    77
public class ZipFileIndex {
06bc494ca11e Initial load
duke
parents:
diff changeset
    78
    private static final String MIN_CHAR = String.valueOf(Character.MIN_VALUE);
06bc494ca11e Initial load
duke
parents:
diff changeset
    79
    private static final String MAX_CHAR = String.valueOf(Character.MAX_VALUE);
06bc494ca11e Initial load
duke
parents:
diff changeset
    80
06bc494ca11e Initial load
duke
parents:
diff changeset
    81
    public final static long NOT_MODIFIED = Long.MIN_VALUE;
06bc494ca11e Initial load
duke
parents:
diff changeset
    82
06bc494ca11e Initial load
duke
parents:
diff changeset
    83
    private static Map<File, ZipFileIndex> zipFileIndexCache = new HashMap<File, ZipFileIndex>();
06bc494ca11e Initial load
duke
parents:
diff changeset
    84
    private static ReentrantLock lock = new ReentrantLock();
06bc494ca11e Initial load
duke
parents:
diff changeset
    85
06bc494ca11e Initial load
duke
parents:
diff changeset
    86
    private static boolean NON_BATCH_MODE = System.getProperty("nonBatchMode") != null;// TODO: Use -XD compiler switch for this.
06bc494ca11e Initial load
duke
parents:
diff changeset
    87
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
    88
    private Map<RelativeDirectory, DirectoryEntry> directories = Collections.<RelativeDirectory, DirectoryEntry>emptyMap();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
    89
    private Set<RelativeDirectory> allDirs = Collections.<RelativeDirectory>emptySet();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    90
06bc494ca11e Initial load
duke
parents:
diff changeset
    91
    // ZipFileIndex data entries
06bc494ca11e Initial load
duke
parents:
diff changeset
    92
    private File zipFile;
4073
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
    93
    private Reference<File> absFileRef;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    94
    private long zipFileLastModified = NOT_MODIFIED;
06bc494ca11e Initial load
duke
parents:
diff changeset
    95
    private RandomAccessFile zipRandomFile;
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
    96
    private Entry[] entries;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    97
06bc494ca11e Initial load
duke
parents:
diff changeset
    98
    private boolean readFromIndex = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
    99
    private File zipIndexFile = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   100
    private boolean triedToReadIndex = false;
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   101
    final RelativeDirectory symbolFilePrefix;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   102
    private int symbolFilePrefixLength = 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
   103
    private boolean hasPopulatedData = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   104
    private long lastReferenceTimeStamp = NOT_MODIFIED;
06bc494ca11e Initial load
duke
parents:
diff changeset
   105
06bc494ca11e Initial load
duke
parents:
diff changeset
   106
    private boolean usePreindexedCache = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   107
    private String preindexedCacheLocation = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   108
06bc494ca11e Initial load
duke
parents:
diff changeset
   109
    private boolean writeIndex = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   110
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   111
    private Map <String, SoftReference<RelativeDirectory>> relativeDirectoryCache =
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   112
            new HashMap<String, SoftReference<RelativeDirectory>>();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   113
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   114
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   115
     * Returns a list of all ZipFileIndex entries
06bc494ca11e Initial load
duke
parents:
diff changeset
   116
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   117
     * @return A list of ZipFileIndex entries, or an empty list
06bc494ca11e Initial load
duke
parents:
diff changeset
   118
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   119
    public static List<ZipFileIndex> getZipFileIndexes() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   120
        return getZipFileIndexes(false);
06bc494ca11e Initial load
duke
parents:
diff changeset
   121
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   122
06bc494ca11e Initial load
duke
parents:
diff changeset
   123
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   124
     * Returns a list of all ZipFileIndex entries
06bc494ca11e Initial load
duke
parents:
diff changeset
   125
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   126
     * @param openedOnly If true it returns a list of only opened ZipFileIndex entries, otherwise
06bc494ca11e Initial load
duke
parents:
diff changeset
   127
     *                   all ZipFileEntry(s) are included into the list.
06bc494ca11e Initial load
duke
parents:
diff changeset
   128
     * @return A list of ZipFileIndex entries, or an empty list
06bc494ca11e Initial load
duke
parents:
diff changeset
   129
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   130
    public static List<ZipFileIndex> getZipFileIndexes(boolean openedOnly) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   131
        List<ZipFileIndex> zipFileIndexes = new ArrayList<ZipFileIndex>();
06bc494ca11e Initial load
duke
parents:
diff changeset
   132
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   133
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   134
            zipFileIndexes.addAll(zipFileIndexCache.values());
06bc494ca11e Initial load
duke
parents:
diff changeset
   135
06bc494ca11e Initial load
duke
parents:
diff changeset
   136
            if (openedOnly) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   137
                for(ZipFileIndex elem : zipFileIndexes) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   138
                    if (!elem.isOpen()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   139
                        zipFileIndexes.remove(elem);
06bc494ca11e Initial load
duke
parents:
diff changeset
   140
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   141
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   142
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   143
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   144
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   145
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   146
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   147
        return zipFileIndexes;
06bc494ca11e Initial load
duke
parents:
diff changeset
   148
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   149
06bc494ca11e Initial load
duke
parents:
diff changeset
   150
    public boolean isOpen() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   151
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   152
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   153
            return zipRandomFile != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   154
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   155
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   156
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   157
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   158
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   159
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   160
    public static ZipFileIndex getZipFileIndex(File zipFile,
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   161
            RelativeDirectory symbolFilePrefix,
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   162
            boolean useCache, String cacheLocation,
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   163
            boolean writeIndex) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   164
        ZipFileIndex zi = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   165
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   166
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   167
            zi = getExistingZipIndex(zipFile);
06bc494ca11e Initial load
duke
parents:
diff changeset
   168
06bc494ca11e Initial load
duke
parents:
diff changeset
   169
            if (zi == null || (zi != null && zipFile.lastModified() != zi.zipFileLastModified)) {
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   170
                zi = new ZipFileIndex(zipFile, symbolFilePrefix, writeIndex,
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   171
                        useCache, cacheLocation);
06bc494ca11e Initial load
duke
parents:
diff changeset
   172
                zipFileIndexCache.put(zipFile, zi);
06bc494ca11e Initial load
duke
parents:
diff changeset
   173
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   174
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   175
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   176
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   177
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   178
        return zi;
06bc494ca11e Initial load
duke
parents:
diff changeset
   179
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   180
06bc494ca11e Initial load
duke
parents:
diff changeset
   181
    public static ZipFileIndex getExistingZipIndex(File zipFile) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   182
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   183
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   184
            return zipFileIndexCache.get(zipFile);
06bc494ca11e Initial load
duke
parents:
diff changeset
   185
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   186
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   187
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   188
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   189
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   190
06bc494ca11e Initial load
duke
parents:
diff changeset
   191
    public static void clearCache() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   192
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   193
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   194
            zipFileIndexCache.clear();
06bc494ca11e Initial load
duke
parents:
diff changeset
   195
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   196
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   197
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   198
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   199
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   200
06bc494ca11e Initial load
duke
parents:
diff changeset
   201
    public static void clearCache(long timeNotUsed) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   202
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   203
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   204
            Iterator<File> cachedFileIterator = zipFileIndexCache.keySet().iterator();
06bc494ca11e Initial load
duke
parents:
diff changeset
   205
            while (cachedFileIterator.hasNext()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   206
                File cachedFile = cachedFileIterator.next();
06bc494ca11e Initial load
duke
parents:
diff changeset
   207
                ZipFileIndex cachedZipIndex = zipFileIndexCache.get(cachedFile);
06bc494ca11e Initial load
duke
parents:
diff changeset
   208
                if (cachedZipIndex != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   209
                    long timeToTest = cachedZipIndex.lastReferenceTimeStamp + timeNotUsed;
06bc494ca11e Initial load
duke
parents:
diff changeset
   210
                    if (timeToTest < cachedZipIndex.lastReferenceTimeStamp || // Overflow...
06bc494ca11e Initial load
duke
parents:
diff changeset
   211
                            System.currentTimeMillis() > timeToTest) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   212
                        zipFileIndexCache.remove(cachedFile);
06bc494ca11e Initial load
duke
parents:
diff changeset
   213
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   214
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   215
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   216
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   217
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   218
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   219
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   220
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   221
06bc494ca11e Initial load
duke
parents:
diff changeset
   222
    public static void removeFromCache(File file) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   223
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   224
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   225
            zipFileIndexCache.remove(file);
06bc494ca11e Initial load
duke
parents:
diff changeset
   226
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   227
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   228
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   229
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   230
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   231
06bc494ca11e Initial load
duke
parents:
diff changeset
   232
    /** Sets already opened list of ZipFileIndexes from an outside client
06bc494ca11e Initial load
duke
parents:
diff changeset
   233
      * of the compiler. This functionality should be used in a non-batch clients of the compiler.
06bc494ca11e Initial load
duke
parents:
diff changeset
   234
      */
06bc494ca11e Initial load
duke
parents:
diff changeset
   235
    public static void setOpenedIndexes(List<ZipFileIndex>indexes) throws IllegalStateException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   236
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   237
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   238
            if (zipFileIndexCache.isEmpty()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   239
                throw new IllegalStateException("Setting opened indexes should be called only when the ZipFileCache is empty. Call JavacFileManager.flush() before calling this method.");
06bc494ca11e Initial load
duke
parents:
diff changeset
   240
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   241
06bc494ca11e Initial load
duke
parents:
diff changeset
   242
            for (ZipFileIndex zfi : indexes) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   243
                zipFileIndexCache.put(zfi.zipFile, zfi);
06bc494ca11e Initial load
duke
parents:
diff changeset
   244
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   245
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   246
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   247
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   248
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   249
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   250
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   251
    private ZipFileIndex(File zipFile, RelativeDirectory symbolFilePrefix, boolean writeIndex,
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   252
            boolean useCache, String cacheLocation) throws IOException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   253
        this.zipFile = zipFile;
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   254
        this.symbolFilePrefix = symbolFilePrefix;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   255
        this.symbolFilePrefixLength = (symbolFilePrefix == null ? 0 :
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   256
            symbolFilePrefix.getPath().getBytes("UTF-8").length);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   257
        this.writeIndex = writeIndex;
06bc494ca11e Initial load
duke
parents:
diff changeset
   258
        this.usePreindexedCache = useCache;
06bc494ca11e Initial load
duke
parents:
diff changeset
   259
        this.preindexedCacheLocation = cacheLocation;
06bc494ca11e Initial load
duke
parents:
diff changeset
   260
06bc494ca11e Initial load
duke
parents:
diff changeset
   261
        if (zipFile != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   262
            this.zipFileLastModified = zipFile.lastModified();
06bc494ca11e Initial load
duke
parents:
diff changeset
   263
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   264
06bc494ca11e Initial load
duke
parents:
diff changeset
   265
        // Validate integrity of the zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
   266
        checkIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   267
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   268
06bc494ca11e Initial load
duke
parents:
diff changeset
   269
    public String toString() {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   270
        return "ZipFileIndex[" + zipFile + "]";
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   271
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   272
06bc494ca11e Initial load
duke
parents:
diff changeset
   273
    // Just in case...
06bc494ca11e Initial load
duke
parents:
diff changeset
   274
    protected void finalize() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   275
        closeFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   276
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   277
06bc494ca11e Initial load
duke
parents:
diff changeset
   278
    private boolean isUpToDate() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   279
        if (zipFile != null &&
06bc494ca11e Initial load
duke
parents:
diff changeset
   280
                ((!NON_BATCH_MODE) || zipFileLastModified == zipFile.lastModified()) &&
06bc494ca11e Initial load
duke
parents:
diff changeset
   281
                hasPopulatedData) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   282
            return true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   283
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   284
06bc494ca11e Initial load
duke
parents:
diff changeset
   285
        return false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   286
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   287
06bc494ca11e Initial load
duke
parents:
diff changeset
   288
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   289
     * Here we need to make sure that the ZipFileIndex is valid. Check the timestamp of the file and
06bc494ca11e Initial load
duke
parents:
diff changeset
   290
     * if its the same as the one at the time the index was build we don't need to reopen anything.
06bc494ca11e Initial load
duke
parents:
diff changeset
   291
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   292
    private void checkIndex() throws IOException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   293
        boolean isUpToDate = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   294
        if (!isUpToDate()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   295
            closeFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   296
            isUpToDate = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   297
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   298
06bc494ca11e Initial load
duke
parents:
diff changeset
   299
        if (zipRandomFile != null || isUpToDate) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   300
            lastReferenceTimeStamp = System.currentTimeMillis();
06bc494ca11e Initial load
duke
parents:
diff changeset
   301
            return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   302
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   303
06bc494ca11e Initial load
duke
parents:
diff changeset
   304
        hasPopulatedData = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   305
06bc494ca11e Initial load
duke
parents:
diff changeset
   306
        if (readIndex()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   307
            lastReferenceTimeStamp = System.currentTimeMillis();
06bc494ca11e Initial load
duke
parents:
diff changeset
   308
            return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   309
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   310
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   311
        directories = Collections.<RelativeDirectory, DirectoryEntry>emptyMap();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   312
        allDirs = Collections.<RelativeDirectory>emptySet();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   313
06bc494ca11e Initial load
duke
parents:
diff changeset
   314
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   315
            openFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   316
            long totalLength = zipRandomFile.length();
06bc494ca11e Initial load
duke
parents:
diff changeset
   317
            ZipDirectory directory = new ZipDirectory(zipRandomFile, 0L, totalLength, this);
06bc494ca11e Initial load
duke
parents:
diff changeset
   318
            directory.buildIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   319
        } finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   320
            if (zipRandomFile != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   321
                closeFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   322
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   323
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   324
06bc494ca11e Initial load
duke
parents:
diff changeset
   325
        lastReferenceTimeStamp = System.currentTimeMillis();
06bc494ca11e Initial load
duke
parents:
diff changeset
   326
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   327
06bc494ca11e Initial load
duke
parents:
diff changeset
   328
    private void openFile() throws FileNotFoundException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   329
        if (zipRandomFile == null && zipFile != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   330
            zipRandomFile = new RandomAccessFile(zipFile, "r");
06bc494ca11e Initial load
duke
parents:
diff changeset
   331
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   332
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   333
06bc494ca11e Initial load
duke
parents:
diff changeset
   334
    private void cleanupState() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   335
        // Make sure there is a valid but empty index if the file doesn't exist
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   336
        entries = Entry.EMPTY_ARRAY;
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   337
        directories = Collections.<RelativeDirectory, DirectoryEntry>emptyMap();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   338
        zipFileLastModified = NOT_MODIFIED;
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   339
        allDirs = Collections.<RelativeDirectory>emptySet();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   340
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   341
06bc494ca11e Initial load
duke
parents:
diff changeset
   342
    public void close() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   343
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   344
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   345
            writeIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   346
            closeFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   347
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   348
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   349
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   350
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   351
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   352
06bc494ca11e Initial load
duke
parents:
diff changeset
   353
    private void closeFile() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   354
        if (zipRandomFile != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   355
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   356
                zipRandomFile.close();
06bc494ca11e Initial load
duke
parents:
diff changeset
   357
            } catch (IOException ex) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   358
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   359
            zipRandomFile = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   360
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   361
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   362
06bc494ca11e Initial load
duke
parents:
diff changeset
   363
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   364
     * Returns the ZipFileIndexEntry for an absolute path, if there is one.
06bc494ca11e Initial load
duke
parents:
diff changeset
   365
     */
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   366
    Entry getZipIndexEntry(RelativePath path) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   367
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   368
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   369
            checkIndex();
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   370
            DirectoryEntry de = directories.get(path.dirname());
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   371
            String lookFor = path.basename();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   372
            return de == null ? null : de.getEntry(lookFor);
06bc494ca11e Initial load
duke
parents:
diff changeset
   373
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   374
        catch (IOException e) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   375
            return null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   376
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   377
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   378
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   379
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   380
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   381
06bc494ca11e Initial load
duke
parents:
diff changeset
   382
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   383
     * Returns a javac List of filenames within an absolute path in the ZipFileIndex.
06bc494ca11e Initial load
duke
parents:
diff changeset
   384
     */
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   385
    public com.sun.tools.javac.util.List<String> getFiles(RelativeDirectory path) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   386
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   387
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   388
            checkIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   389
06bc494ca11e Initial load
duke
parents:
diff changeset
   390
            DirectoryEntry de = directories.get(path);
06bc494ca11e Initial load
duke
parents:
diff changeset
   391
            com.sun.tools.javac.util.List<String> ret = de == null ? null : de.getFiles();
06bc494ca11e Initial load
duke
parents:
diff changeset
   392
06bc494ca11e Initial load
duke
parents:
diff changeset
   393
            if (ret == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   394
                return com.sun.tools.javac.util.List.<String>nil();
06bc494ca11e Initial load
duke
parents:
diff changeset
   395
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   396
            return ret;
06bc494ca11e Initial load
duke
parents:
diff changeset
   397
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   398
        catch (IOException e) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   399
            return com.sun.tools.javac.util.List.<String>nil();
06bc494ca11e Initial load
duke
parents:
diff changeset
   400
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   401
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   402
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   403
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   404
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   405
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   406
    public List<String> getDirectories(RelativeDirectory path) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   407
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   408
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   409
            checkIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   410
06bc494ca11e Initial load
duke
parents:
diff changeset
   411
            DirectoryEntry de = directories.get(path);
06bc494ca11e Initial load
duke
parents:
diff changeset
   412
            com.sun.tools.javac.util.List<String> ret = de == null ? null : de.getDirectories();
06bc494ca11e Initial load
duke
parents:
diff changeset
   413
06bc494ca11e Initial load
duke
parents:
diff changeset
   414
            if (ret == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   415
                return com.sun.tools.javac.util.List.<String>nil();
06bc494ca11e Initial load
duke
parents:
diff changeset
   416
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   417
06bc494ca11e Initial load
duke
parents:
diff changeset
   418
            return ret;
06bc494ca11e Initial load
duke
parents:
diff changeset
   419
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   420
        catch (IOException e) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   421
            return com.sun.tools.javac.util.List.<String>nil();
06bc494ca11e Initial load
duke
parents:
diff changeset
   422
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   423
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   424
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   425
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   426
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   427
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   428
    public Set<RelativeDirectory> getAllDirectories() {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   429
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   430
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   431
            checkIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   432
            if (allDirs == Collections.EMPTY_SET) {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   433
                allDirs = new HashSet<RelativeDirectory>(directories.keySet());
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   434
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   435
06bc494ca11e Initial load
duke
parents:
diff changeset
   436
            return allDirs;
06bc494ca11e Initial load
duke
parents:
diff changeset
   437
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   438
        catch (IOException e) {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   439
            return Collections.<RelativeDirectory>emptySet();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   440
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   441
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   442
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   443
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   444
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   445
06bc494ca11e Initial load
duke
parents:
diff changeset
   446
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   447
     * Tests if a specific path exists in the zip.  This method will return true
06bc494ca11e Initial load
duke
parents:
diff changeset
   448
     * for file entries and directories.
06bc494ca11e Initial load
duke
parents:
diff changeset
   449
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   450
     * @param path A path within the zip.
06bc494ca11e Initial load
duke
parents:
diff changeset
   451
     * @return True if the path is a file or dir, false otherwise.
06bc494ca11e Initial load
duke
parents:
diff changeset
   452
     */
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   453
    public boolean contains(RelativePath path) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   454
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   455
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   456
            checkIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   457
            return getZipIndexEntry(path) != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   458
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   459
        catch (IOException e) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   460
            return false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   461
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   462
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   463
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   464
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   465
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   466
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   467
    public boolean isDirectory(RelativePath path) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   468
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   469
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   470
            // The top level in a zip file is always a directory.
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   471
            if (path.getPath().length() == 0) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   472
                lastReferenceTimeStamp = System.currentTimeMillis();
06bc494ca11e Initial load
duke
parents:
diff changeset
   473
                return true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   474
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   475
06bc494ca11e Initial load
duke
parents:
diff changeset
   476
            checkIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   477
            return directories.get(path) != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   478
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   479
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   480
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   481
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   482
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   483
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   484
    public long getLastModified(RelativeFile path) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   485
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   486
        try {
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   487
            Entry entry = getZipIndexEntry(path);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   488
            if (entry == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   489
                throw new FileNotFoundException();
06bc494ca11e Initial load
duke
parents:
diff changeset
   490
            return entry.getLastModified();
06bc494ca11e Initial load
duke
parents:
diff changeset
   491
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   492
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   493
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   494
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   495
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   496
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   497
    public int length(RelativeFile path) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   498
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   499
        try {
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   500
            Entry entry = getZipIndexEntry(path);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   501
            if (entry == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   502
                throw new FileNotFoundException();
06bc494ca11e Initial load
duke
parents:
diff changeset
   503
06bc494ca11e Initial load
duke
parents:
diff changeset
   504
            if (entry.isDir) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   505
                return 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
   506
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   507
06bc494ca11e Initial load
duke
parents:
diff changeset
   508
            byte[] header = getHeader(entry);
06bc494ca11e Initial load
duke
parents:
diff changeset
   509
            // entry is not compressed?
06bc494ca11e Initial load
duke
parents:
diff changeset
   510
            if (get2ByteLittleEndian(header, 8) == 0) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   511
                return entry.compressedSize;
06bc494ca11e Initial load
duke
parents:
diff changeset
   512
            } else {
06bc494ca11e Initial load
duke
parents:
diff changeset
   513
                return entry.size;
06bc494ca11e Initial load
duke
parents:
diff changeset
   514
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   515
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   516
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   517
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   518
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   519
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   520
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   521
    public byte[] read(RelativeFile path) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   522
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   523
        try {
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   524
            Entry entry = getZipIndexEntry(path);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   525
            if (entry == null)
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   526
                throw new FileNotFoundException("Path not found in ZIP: " + path.path);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   527
            return read(entry);
06bc494ca11e Initial load
duke
parents:
diff changeset
   528
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   529
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   530
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   531
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   532
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   533
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   534
    byte[] read(Entry entry) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   535
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   536
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   537
            openFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   538
            byte[] result = readBytes(entry);
06bc494ca11e Initial load
duke
parents:
diff changeset
   539
            closeFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   540
            return result;
06bc494ca11e Initial load
duke
parents:
diff changeset
   541
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   542
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   543
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   544
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   545
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   546
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   547
    public int read(RelativeFile path, byte[] buffer) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   548
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   549
        try {
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   550
            Entry entry = getZipIndexEntry(path);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   551
            if (entry == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   552
                throw new FileNotFoundException();
06bc494ca11e Initial load
duke
parents:
diff changeset
   553
            return read(entry, buffer);
06bc494ca11e Initial load
duke
parents:
diff changeset
   554
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   555
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   556
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   557
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   558
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   559
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   560
    int read(Entry entry, byte[] buffer)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   561
            throws IOException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   562
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   563
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   564
            int result = readBytes(entry, buffer);
06bc494ca11e Initial load
duke
parents:
diff changeset
   565
            return result;
06bc494ca11e Initial load
duke
parents:
diff changeset
   566
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   567
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   568
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   569
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   570
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   571
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   572
    private byte[] readBytes(Entry entry) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   573
        byte[] header = getHeader(entry);
06bc494ca11e Initial load
duke
parents:
diff changeset
   574
        int csize = entry.compressedSize;
06bc494ca11e Initial load
duke
parents:
diff changeset
   575
        byte[] cbuf = new byte[csize];
06bc494ca11e Initial load
duke
parents:
diff changeset
   576
        zipRandomFile.skipBytes(get2ByteLittleEndian(header, 26) + get2ByteLittleEndian(header, 28));
06bc494ca11e Initial load
duke
parents:
diff changeset
   577
        zipRandomFile.readFully(cbuf, 0, csize);
06bc494ca11e Initial load
duke
parents:
diff changeset
   578
06bc494ca11e Initial load
duke
parents:
diff changeset
   579
        // is this compressed - offset 8 in the ZipEntry header
06bc494ca11e Initial load
duke
parents:
diff changeset
   580
        if (get2ByteLittleEndian(header, 8) == 0)
06bc494ca11e Initial load
duke
parents:
diff changeset
   581
            return cbuf;
06bc494ca11e Initial load
duke
parents:
diff changeset
   582
06bc494ca11e Initial load
duke
parents:
diff changeset
   583
        int size = entry.size;
06bc494ca11e Initial load
duke
parents:
diff changeset
   584
        byte[] buf = new byte[size];
06bc494ca11e Initial load
duke
parents:
diff changeset
   585
        if (inflate(cbuf, buf) != size)
06bc494ca11e Initial load
duke
parents:
diff changeset
   586
            throw new ZipException("corrupted zip file");
06bc494ca11e Initial load
duke
parents:
diff changeset
   587
06bc494ca11e Initial load
duke
parents:
diff changeset
   588
        return buf;
06bc494ca11e Initial load
duke
parents:
diff changeset
   589
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   590
06bc494ca11e Initial load
duke
parents:
diff changeset
   591
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   592
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   593
     */
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   594
    private int readBytes(Entry entry, byte[] buffer) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   595
        byte[] header = getHeader(entry);
06bc494ca11e Initial load
duke
parents:
diff changeset
   596
06bc494ca11e Initial load
duke
parents:
diff changeset
   597
        // entry is not compressed?
06bc494ca11e Initial load
duke
parents:
diff changeset
   598
        if (get2ByteLittleEndian(header, 8) == 0) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   599
            zipRandomFile.skipBytes(get2ByteLittleEndian(header, 26) + get2ByteLittleEndian(header, 28));
06bc494ca11e Initial load
duke
parents:
diff changeset
   600
            int offset = 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
   601
            int size = buffer.length;
06bc494ca11e Initial load
duke
parents:
diff changeset
   602
            while (offset < size) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   603
                int count = zipRandomFile.read(buffer, offset, size - offset);
06bc494ca11e Initial load
duke
parents:
diff changeset
   604
                if (count == -1)
06bc494ca11e Initial load
duke
parents:
diff changeset
   605
                    break;
06bc494ca11e Initial load
duke
parents:
diff changeset
   606
                offset += count;
06bc494ca11e Initial load
duke
parents:
diff changeset
   607
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   608
            return entry.size;
06bc494ca11e Initial load
duke
parents:
diff changeset
   609
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   610
06bc494ca11e Initial load
duke
parents:
diff changeset
   611
        int csize = entry.compressedSize;
06bc494ca11e Initial load
duke
parents:
diff changeset
   612
        byte[] cbuf = new byte[csize];
06bc494ca11e Initial load
duke
parents:
diff changeset
   613
        zipRandomFile.skipBytes(get2ByteLittleEndian(header, 26) + get2ByteLittleEndian(header, 28));
06bc494ca11e Initial load
duke
parents:
diff changeset
   614
        zipRandomFile.readFully(cbuf, 0, csize);
06bc494ca11e Initial load
duke
parents:
diff changeset
   615
06bc494ca11e Initial load
duke
parents:
diff changeset
   616
        int count = inflate(cbuf, buffer);
06bc494ca11e Initial load
duke
parents:
diff changeset
   617
        if (count == -1)
06bc494ca11e Initial load
duke
parents:
diff changeset
   618
            throw new ZipException("corrupted zip file");
06bc494ca11e Initial load
duke
parents:
diff changeset
   619
06bc494ca11e Initial load
duke
parents:
diff changeset
   620
        return entry.size;
06bc494ca11e Initial load
duke
parents:
diff changeset
   621
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   622
06bc494ca11e Initial load
duke
parents:
diff changeset
   623
    //----------------------------------------------------------------------------
06bc494ca11e Initial load
duke
parents:
diff changeset
   624
    // Zip utilities
06bc494ca11e Initial load
duke
parents:
diff changeset
   625
    //----------------------------------------------------------------------------
06bc494ca11e Initial load
duke
parents:
diff changeset
   626
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   627
    private byte[] getHeader(Entry entry) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   628
        zipRandomFile.seek(entry.offset);
06bc494ca11e Initial load
duke
parents:
diff changeset
   629
        byte[] header = new byte[30];
06bc494ca11e Initial load
duke
parents:
diff changeset
   630
        zipRandomFile.readFully(header);
06bc494ca11e Initial load
duke
parents:
diff changeset
   631
        if (get4ByteLittleEndian(header, 0) != 0x04034b50)
06bc494ca11e Initial load
duke
parents:
diff changeset
   632
            throw new ZipException("corrupted zip file");
06bc494ca11e Initial load
duke
parents:
diff changeset
   633
        if ((get2ByteLittleEndian(header, 6) & 1) != 0)
06bc494ca11e Initial load
duke
parents:
diff changeset
   634
            throw new ZipException("encrypted zip file"); // offset 6 in the header of the ZipFileEntry
06bc494ca11e Initial load
duke
parents:
diff changeset
   635
        return header;
06bc494ca11e Initial load
duke
parents:
diff changeset
   636
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   637
06bc494ca11e Initial load
duke
parents:
diff changeset
   638
  /*
06bc494ca11e Initial load
duke
parents:
diff changeset
   639
   * Inflate using the java.util.zip.Inflater class
06bc494ca11e Initial load
duke
parents:
diff changeset
   640
   */
06bc494ca11e Initial load
duke
parents:
diff changeset
   641
    private static Inflater inflater;
06bc494ca11e Initial load
duke
parents:
diff changeset
   642
    private int inflate(byte[] src, byte[] dest) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   643
06bc494ca11e Initial load
duke
parents:
diff changeset
   644
        // construct the inflater object or reuse an existing one
06bc494ca11e Initial load
duke
parents:
diff changeset
   645
        if (inflater == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   646
            inflater = new Inflater(true);
06bc494ca11e Initial load
duke
parents:
diff changeset
   647
06bc494ca11e Initial load
duke
parents:
diff changeset
   648
        synchronized (inflater) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   649
            inflater.reset();
06bc494ca11e Initial load
duke
parents:
diff changeset
   650
            inflater.setInput(src);
06bc494ca11e Initial load
duke
parents:
diff changeset
   651
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   652
                return inflater.inflate(dest);
06bc494ca11e Initial load
duke
parents:
diff changeset
   653
            } catch (DataFormatException ex) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   654
                return -1;
06bc494ca11e Initial load
duke
parents:
diff changeset
   655
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   656
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   657
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   658
06bc494ca11e Initial load
duke
parents:
diff changeset
   659
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   660
     * return the two bytes buf[pos], buf[pos+1] as an unsigned integer in little
06bc494ca11e Initial load
duke
parents:
diff changeset
   661
     * endian format.
06bc494ca11e Initial load
duke
parents:
diff changeset
   662
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   663
    private static int get2ByteLittleEndian(byte[] buf, int pos) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   664
        return (buf[pos] & 0xFF) + ((buf[pos+1] & 0xFF) << 8);
06bc494ca11e Initial load
duke
parents:
diff changeset
   665
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   666
06bc494ca11e Initial load
duke
parents:
diff changeset
   667
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   668
     * return the 4 bytes buf[i..i+3] as an integer in little endian format.
06bc494ca11e Initial load
duke
parents:
diff changeset
   669
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   670
    private static int get4ByteLittleEndian(byte[] buf, int pos) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   671
        return (buf[pos] & 0xFF) + ((buf[pos + 1] & 0xFF) << 8) +
06bc494ca11e Initial load
duke
parents:
diff changeset
   672
                ((buf[pos + 2] & 0xFF) << 16) + ((buf[pos + 3] & 0xFF) << 24);
06bc494ca11e Initial load
duke
parents:
diff changeset
   673
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   674
06bc494ca11e Initial load
duke
parents:
diff changeset
   675
    /* ----------------------------------------------------------------------------
06bc494ca11e Initial load
duke
parents:
diff changeset
   676
     * ZipDirectory
06bc494ca11e Initial load
duke
parents:
diff changeset
   677
     * ----------------------------------------------------------------------------*/
06bc494ca11e Initial load
duke
parents:
diff changeset
   678
06bc494ca11e Initial load
duke
parents:
diff changeset
   679
    private class ZipDirectory {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   680
        private RelativeDirectory lastDir;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   681
        private int lastStart;
06bc494ca11e Initial load
duke
parents:
diff changeset
   682
        private int lastLen;
06bc494ca11e Initial load
duke
parents:
diff changeset
   683
06bc494ca11e Initial load
duke
parents:
diff changeset
   684
        byte[] zipDir;
06bc494ca11e Initial load
duke
parents:
diff changeset
   685
        RandomAccessFile zipRandomFile = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   686
        ZipFileIndex zipFileIndex = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   687
06bc494ca11e Initial load
duke
parents:
diff changeset
   688
        public ZipDirectory(RandomAccessFile zipRandomFile, long start, long end, ZipFileIndex index) throws IOException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   689
            this.zipRandomFile = zipRandomFile;
06bc494ca11e Initial load
duke
parents:
diff changeset
   690
            this.zipFileIndex = index;
06bc494ca11e Initial load
duke
parents:
diff changeset
   691
06bc494ca11e Initial load
duke
parents:
diff changeset
   692
            findCENRecord(start, end);
06bc494ca11e Initial load
duke
parents:
diff changeset
   693
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   694
06bc494ca11e Initial load
duke
parents:
diff changeset
   695
        /*
06bc494ca11e Initial load
duke
parents:
diff changeset
   696
         * Reads zip file central directory.
06bc494ca11e Initial load
duke
parents:
diff changeset
   697
         * For more details see readCEN in zip_util.c from the JDK sources.
06bc494ca11e Initial load
duke
parents:
diff changeset
   698
         * This is a Java port of that function.
06bc494ca11e Initial load
duke
parents:
diff changeset
   699
         */
06bc494ca11e Initial load
duke
parents:
diff changeset
   700
        private void findCENRecord(long start, long end) throws IOException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   701
            long totalLength = end - start;
06bc494ca11e Initial load
duke
parents:
diff changeset
   702
            int endbuflen = 1024;
06bc494ca11e Initial load
duke
parents:
diff changeset
   703
            byte[] endbuf = new byte[endbuflen];
06bc494ca11e Initial load
duke
parents:
diff changeset
   704
            long endbufend = end - start;
06bc494ca11e Initial load
duke
parents:
diff changeset
   705
06bc494ca11e Initial load
duke
parents:
diff changeset
   706
            // There is a variable-length field after the dir offset record. We need to do consequential search.
06bc494ca11e Initial load
duke
parents:
diff changeset
   707
            while (endbufend >= 22) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   708
                if (endbufend < endbuflen)
06bc494ca11e Initial load
duke
parents:
diff changeset
   709
                    endbuflen = (int)endbufend;
06bc494ca11e Initial load
duke
parents:
diff changeset
   710
                long endbufpos = endbufend - endbuflen;
06bc494ca11e Initial load
duke
parents:
diff changeset
   711
                zipRandomFile.seek(start + endbufpos);
06bc494ca11e Initial load
duke
parents:
diff changeset
   712
                zipRandomFile.readFully(endbuf, 0, endbuflen);
06bc494ca11e Initial load
duke
parents:
diff changeset
   713
                int i = endbuflen - 22;
06bc494ca11e Initial load
duke
parents:
diff changeset
   714
                while (i >= 0 &&
06bc494ca11e Initial load
duke
parents:
diff changeset
   715
                        !(endbuf[i] == 0x50 &&
06bc494ca11e Initial load
duke
parents:
diff changeset
   716
                        endbuf[i + 1] == 0x4b &&
06bc494ca11e Initial load
duke
parents:
diff changeset
   717
                        endbuf[i + 2] == 0x05 &&
06bc494ca11e Initial load
duke
parents:
diff changeset
   718
                        endbuf[i + 3] == 0x06 &&
06bc494ca11e Initial load
duke
parents:
diff changeset
   719
                        endbufpos + i + 22 +
06bc494ca11e Initial load
duke
parents:
diff changeset
   720
                        get2ByteLittleEndian(endbuf, i + 20) == totalLength)) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   721
                    i--;
06bc494ca11e Initial load
duke
parents:
diff changeset
   722
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   723
06bc494ca11e Initial load
duke
parents:
diff changeset
   724
                if (i >= 0) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   725
                    zipDir = new byte[get4ByteLittleEndian(endbuf, i + 12) + 2];
06bc494ca11e Initial load
duke
parents:
diff changeset
   726
                    zipDir[0] = endbuf[i + 10];
06bc494ca11e Initial load
duke
parents:
diff changeset
   727
                    zipDir[1] = endbuf[i + 11];
06bc494ca11e Initial load
duke
parents:
diff changeset
   728
                    zipRandomFile.seek(start + get4ByteLittleEndian(endbuf, i + 16));
06bc494ca11e Initial load
duke
parents:
diff changeset
   729
                    zipRandomFile.readFully(zipDir, 2, zipDir.length - 2);
06bc494ca11e Initial load
duke
parents:
diff changeset
   730
                    return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   731
                } else {
06bc494ca11e Initial load
duke
parents:
diff changeset
   732
                    endbufend = endbufpos + 21;
06bc494ca11e Initial load
duke
parents:
diff changeset
   733
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   734
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   735
            throw new ZipException("cannot read zip file");
06bc494ca11e Initial load
duke
parents:
diff changeset
   736
        }
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   737
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   738
        private void buildIndex() throws IOException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   739
            int entryCount = get2ByteLittleEndian(zipDir, 0);
06bc494ca11e Initial load
duke
parents:
diff changeset
   740
06bc494ca11e Initial load
duke
parents:
diff changeset
   741
            // Add each of the files
06bc494ca11e Initial load
duke
parents:
diff changeset
   742
            if (entryCount > 0) {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   743
                directories = new HashMap<RelativeDirectory, DirectoryEntry>();
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   744
                ArrayList<Entry> entryList = new ArrayList<Entry>();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   745
                int pos = 2;
06bc494ca11e Initial load
duke
parents:
diff changeset
   746
                for (int i = 0; i < entryCount; i++) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   747
                    pos = readEntry(pos, entryList, directories);
06bc494ca11e Initial load
duke
parents:
diff changeset
   748
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   749
06bc494ca11e Initial load
duke
parents:
diff changeset
   750
                // Add the accumulated dirs into the same list
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   751
                for (RelativeDirectory d: directories.keySet()) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   752
                    // use shared RelativeDirectory objects for parent dirs
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   753
                    RelativeDirectory parent = getRelativeDirectory(d.dirname().getPath());
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   754
                    String file = d.basename();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   755
                    Entry zipFileIndexEntry = new Entry(parent, file);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   756
                    zipFileIndexEntry.isDir = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   757
                    entryList.add(zipFileIndexEntry);
06bc494ca11e Initial load
duke
parents:
diff changeset
   758
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   759
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   760
                entries = entryList.toArray(new Entry[entryList.size()]);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   761
                Arrays.sort(entries);
06bc494ca11e Initial load
duke
parents:
diff changeset
   762
            } else {
06bc494ca11e Initial load
duke
parents:
diff changeset
   763
                cleanupState();
06bc494ca11e Initial load
duke
parents:
diff changeset
   764
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   765
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   766
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   767
        private int readEntry(int pos, List<Entry> entryList,
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   768
                Map<RelativeDirectory, DirectoryEntry> directories) throws IOException {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   769
            if (get4ByteLittleEndian(zipDir, pos) != 0x02014b50) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   770
                throw new ZipException("cannot read zip file entry");
06bc494ca11e Initial load
duke
parents:
diff changeset
   771
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   772
06bc494ca11e Initial load
duke
parents:
diff changeset
   773
            int dirStart = pos + 46;
06bc494ca11e Initial load
duke
parents:
diff changeset
   774
            int fileStart = dirStart;
06bc494ca11e Initial load
duke
parents:
diff changeset
   775
            int fileEnd = fileStart + get2ByteLittleEndian(zipDir, pos + 28);
06bc494ca11e Initial load
duke
parents:
diff changeset
   776
06bc494ca11e Initial load
duke
parents:
diff changeset
   777
            if (zipFileIndex.symbolFilePrefixLength != 0 &&
06bc494ca11e Initial load
duke
parents:
diff changeset
   778
                    ((fileEnd - fileStart) >= symbolFilePrefixLength)) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   779
                dirStart += zipFileIndex.symbolFilePrefixLength;
06bc494ca11e Initial load
duke
parents:
diff changeset
   780
               fileStart += zipFileIndex.symbolFilePrefixLength;
06bc494ca11e Initial load
duke
parents:
diff changeset
   781
            }
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   782
            // Force any '\' to '/'. Keep the position of the last separator.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   783
            for (int index = fileStart; index < fileEnd; index++) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   784
                byte nextByte = zipDir[index];
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   785
                if (nextByte == (byte)'\\') {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   786
                    zipDir[index] = (byte)'/';
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   787
                    fileStart = index + 1;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   788
                } else if (nextByte == (byte)'/') {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   789
                    fileStart = index + 1;
06bc494ca11e Initial load
duke
parents:
diff changeset
   790
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   791
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   792
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   793
            RelativeDirectory directory = null;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   794
            if (fileStart == dirStart)
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   795
                directory = getRelativeDirectory("");
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   796
            else if (lastDir != null && lastLen == fileStart - dirStart - 1) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   797
                int index = lastLen - 1;
06bc494ca11e Initial load
duke
parents:
diff changeset
   798
                while (zipDir[lastStart + index] == zipDir[dirStart + index]) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   799
                    if (index == 0) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   800
                        directory = lastDir;
06bc494ca11e Initial load
duke
parents:
diff changeset
   801
                        break;
06bc494ca11e Initial load
duke
parents:
diff changeset
   802
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   803
                    index--;
06bc494ca11e Initial load
duke
parents:
diff changeset
   804
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   805
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   806
06bc494ca11e Initial load
duke
parents:
diff changeset
   807
            // Sub directories
06bc494ca11e Initial load
duke
parents:
diff changeset
   808
            if (directory == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   809
                lastStart = dirStart;
06bc494ca11e Initial load
duke
parents:
diff changeset
   810
                lastLen = fileStart - dirStart - 1;
06bc494ca11e Initial load
duke
parents:
diff changeset
   811
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   812
                directory = getRelativeDirectory(new String(zipDir, dirStart, lastLen, "UTF-8"));
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   813
                lastDir = directory;
06bc494ca11e Initial load
duke
parents:
diff changeset
   814
06bc494ca11e Initial load
duke
parents:
diff changeset
   815
                // Enter also all the parent directories
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   816
                RelativeDirectory tempDirectory = directory;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   817
06bc494ca11e Initial load
duke
parents:
diff changeset
   818
                while (directories.get(tempDirectory) == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   819
                    directories.put(tempDirectory, new DirectoryEntry(tempDirectory, zipFileIndex));
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   820
                    if (tempDirectory.path.indexOf("/") == tempDirectory.path.length() - 1)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   821
                        break;
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   822
                    else {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   823
                        // use shared RelativeDirectory objects for parent dirs
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   824
                        tempDirectory = getRelativeDirectory(tempDirectory.dirname().getPath());
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   825
                    }
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   826
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   827
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   828
            else {
06bc494ca11e Initial load
duke
parents:
diff changeset
   829
                if (directories.get(directory) == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   830
                    directories.put(directory, new DirectoryEntry(directory, zipFileIndex));
06bc494ca11e Initial load
duke
parents:
diff changeset
   831
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   832
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   833
06bc494ca11e Initial load
duke
parents:
diff changeset
   834
            // For each dir create also a file
06bc494ca11e Initial load
duke
parents:
diff changeset
   835
            if (fileStart != fileEnd) {
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   836
                Entry entry = new Entry(directory,
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   837
                        new String(zipDir, fileStart, fileEnd - fileStart, "UTF-8"));
06bc494ca11e Initial load
duke
parents:
diff changeset
   838
06bc494ca11e Initial load
duke
parents:
diff changeset
   839
                entry.setNativeTime(get4ByteLittleEndian(zipDir, pos + 12));
06bc494ca11e Initial load
duke
parents:
diff changeset
   840
                entry.compressedSize = get4ByteLittleEndian(zipDir, pos + 20);
06bc494ca11e Initial load
duke
parents:
diff changeset
   841
                entry.size = get4ByteLittleEndian(zipDir, pos + 24);
06bc494ca11e Initial load
duke
parents:
diff changeset
   842
                entry.offset = get4ByteLittleEndian(zipDir, pos + 42);
06bc494ca11e Initial load
duke
parents:
diff changeset
   843
                entryList.add(entry);
06bc494ca11e Initial load
duke
parents:
diff changeset
   844
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   845
06bc494ca11e Initial load
duke
parents:
diff changeset
   846
            return pos + 46 +
06bc494ca11e Initial load
duke
parents:
diff changeset
   847
                    get2ByteLittleEndian(zipDir, pos + 28) +
06bc494ca11e Initial load
duke
parents:
diff changeset
   848
                    get2ByteLittleEndian(zipDir, pos + 30) +
06bc494ca11e Initial load
duke
parents:
diff changeset
   849
                    get2ByteLittleEndian(zipDir, pos + 32);
06bc494ca11e Initial load
duke
parents:
diff changeset
   850
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   851
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   852
06bc494ca11e Initial load
duke
parents:
diff changeset
   853
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   854
     * Returns the last modified timestamp of a zip file.
06bc494ca11e Initial load
duke
parents:
diff changeset
   855
     * @return long
06bc494ca11e Initial load
duke
parents:
diff changeset
   856
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   857
    public long getZipFileLastModified() throws IOException {
06bc494ca11e Initial load
duke
parents:
diff changeset
   858
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   859
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   860
            checkIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
   861
            return zipFileLastModified;
06bc494ca11e Initial load
duke
parents:
diff changeset
   862
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   863
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
   864
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
   865
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   866
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   867
06bc494ca11e Initial load
duke
parents:
diff changeset
   868
    /** ------------------------------------------------------------------------
06bc494ca11e Initial load
duke
parents:
diff changeset
   869
     *  DirectoryEntry class
06bc494ca11e Initial load
duke
parents:
diff changeset
   870
     * -------------------------------------------------------------------------*/
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   871
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   872
    static class DirectoryEntry {
06bc494ca11e Initial load
duke
parents:
diff changeset
   873
        private boolean filesInited;
06bc494ca11e Initial load
duke
parents:
diff changeset
   874
        private boolean directoriesInited;
06bc494ca11e Initial load
duke
parents:
diff changeset
   875
        private boolean zipFileEntriesInited;
06bc494ca11e Initial load
duke
parents:
diff changeset
   876
        private boolean entriesInited;
06bc494ca11e Initial load
duke
parents:
diff changeset
   877
06bc494ca11e Initial load
duke
parents:
diff changeset
   878
        private long writtenOffsetOffset = 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
   879
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   880
        private RelativeDirectory dirName;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   881
06bc494ca11e Initial load
duke
parents:
diff changeset
   882
        private com.sun.tools.javac.util.List<String> zipFileEntriesFiles = com.sun.tools.javac.util.List.<String>nil();
06bc494ca11e Initial load
duke
parents:
diff changeset
   883
        private com.sun.tools.javac.util.List<String> zipFileEntriesDirectories = com.sun.tools.javac.util.List.<String>nil();
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   884
        private com.sun.tools.javac.util.List<Entry>  zipFileEntries = com.sun.tools.javac.util.List.<Entry>nil();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   885
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   886
        private List<Entry> entries = new ArrayList<Entry>();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   887
06bc494ca11e Initial load
duke
parents:
diff changeset
   888
        private ZipFileIndex zipFileIndex;
06bc494ca11e Initial load
duke
parents:
diff changeset
   889
06bc494ca11e Initial load
duke
parents:
diff changeset
   890
        private int numEntries;
06bc494ca11e Initial load
duke
parents:
diff changeset
   891
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   892
        DirectoryEntry(RelativeDirectory dirName, ZipFileIndex index) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   893
            filesInited = false;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   894
            directoriesInited = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   895
            entriesInited = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
   896
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   897
            this.dirName = dirName;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   898
            this.zipFileIndex = index;
06bc494ca11e Initial load
duke
parents:
diff changeset
   899
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   900
06bc494ca11e Initial load
duke
parents:
diff changeset
   901
        private com.sun.tools.javac.util.List<String> getFiles() {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   902
            if (!filesInited) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   903
                initEntries();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   904
                for (Entry e : entries) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   905
                    if (!e.isDir) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   906
                        zipFileEntriesFiles = zipFileEntriesFiles.append(e.name);
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   907
                    }
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   908
                }
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   909
                filesInited = true;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   910
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   911
            return zipFileEntriesFiles;
06bc494ca11e Initial load
duke
parents:
diff changeset
   912
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   913
06bc494ca11e Initial load
duke
parents:
diff changeset
   914
        private com.sun.tools.javac.util.List<String> getDirectories() {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   915
            if (!directoriesInited) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   916
                initEntries();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   917
                for (Entry e : entries) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   918
                    if (e.isDir) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   919
                        zipFileEntriesDirectories = zipFileEntriesDirectories.append(e.name);
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   920
                    }
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   921
                }
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   922
                directoriesInited = true;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   923
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   924
            return zipFileEntriesDirectories;
06bc494ca11e Initial load
duke
parents:
diff changeset
   925
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   926
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   927
        private com.sun.tools.javac.util.List<Entry> getEntries() {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   928
            if (!zipFileEntriesInited) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   929
                initEntries();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   930
                zipFileEntries = com.sun.tools.javac.util.List.nil();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   931
                for (Entry zfie : entries) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   932
                    zipFileEntries = zipFileEntries.append(zfie);
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   933
                }
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
   934
                zipFileEntriesInited = true;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   935
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   936
            return zipFileEntries;
06bc494ca11e Initial load
duke
parents:
diff changeset
   937
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   938
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   939
        private Entry getEntry(String rootName) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   940
            initEntries();
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   941
            int index = Collections.binarySearch(entries, new Entry(dirName, rootName));
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   942
            if (index < 0) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   943
                return null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   944
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   945
06bc494ca11e Initial load
duke
parents:
diff changeset
   946
            return entries.get(index);
06bc494ca11e Initial load
duke
parents:
diff changeset
   947
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   948
06bc494ca11e Initial load
duke
parents:
diff changeset
   949
        private void initEntries() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   950
            if (entriesInited) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   951
                return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   952
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   953
06bc494ca11e Initial load
duke
parents:
diff changeset
   954
            if (!zipFileIndex.readFromIndex) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   955
                int from = -Arrays.binarySearch(zipFileIndex.entries,
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   956
                        new Entry(dirName, ZipFileIndex.MIN_CHAR)) - 1;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   957
                int to = -Arrays.binarySearch(zipFileIndex.entries,
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   958
                        new Entry(dirName, MAX_CHAR)) - 1;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   959
06bc494ca11e Initial load
duke
parents:
diff changeset
   960
                for (int i = from; i < to; i++) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   961
                    entries.add(zipFileIndex.entries[i]);
06bc494ca11e Initial load
duke
parents:
diff changeset
   962
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   963
            } else {
06bc494ca11e Initial load
duke
parents:
diff changeset
   964
                File indexFile = zipFileIndex.getIndexFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   965
                if (indexFile != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   966
                    RandomAccessFile raf = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   967
                    try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   968
                        raf = new RandomAccessFile(indexFile, "r");
06bc494ca11e Initial load
duke
parents:
diff changeset
   969
                        raf.seek(writtenOffsetOffset);
06bc494ca11e Initial load
duke
parents:
diff changeset
   970
06bc494ca11e Initial load
duke
parents:
diff changeset
   971
                        for (int nFiles = 0; nFiles < numEntries; nFiles++) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   972
                            // Read the name bytes
06bc494ca11e Initial load
duke
parents:
diff changeset
   973
                            int zfieNameBytesLen = raf.readInt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   974
                            byte [] zfieNameBytes = new byte[zfieNameBytesLen];
06bc494ca11e Initial load
duke
parents:
diff changeset
   975
                            raf.read(zfieNameBytes);
06bc494ca11e Initial load
duke
parents:
diff changeset
   976
                            String eName = new String(zfieNameBytes, "UTF-8");
06bc494ca11e Initial load
duke
parents:
diff changeset
   977
06bc494ca11e Initial load
duke
parents:
diff changeset
   978
                            // Read isDir
06bc494ca11e Initial load
duke
parents:
diff changeset
   979
                            boolean eIsDir = raf.readByte() == (byte)0 ? false : true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   980
06bc494ca11e Initial load
duke
parents:
diff changeset
   981
                            // Read offset of bytes in the real Jar/Zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
   982
                            int eOffset = raf.readInt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   983
06bc494ca11e Initial load
duke
parents:
diff changeset
   984
                            // Read size of the file in the real Jar/Zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
   985
                            int eSize = raf.readInt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   986
06bc494ca11e Initial load
duke
parents:
diff changeset
   987
                            // Read compressed size of the file in the real Jar/Zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
   988
                            int eCsize = raf.readInt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   989
06bc494ca11e Initial load
duke
parents:
diff changeset
   990
                            // Read java time stamp of the file in the real Jar/Zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
   991
                            long eJavaTimestamp = raf.readLong();
06bc494ca11e Initial load
duke
parents:
diff changeset
   992
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
   993
                            Entry rfie = new Entry(dirName, eName);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   994
                            rfie.isDir = eIsDir;
06bc494ca11e Initial load
duke
parents:
diff changeset
   995
                            rfie.offset = eOffset;
06bc494ca11e Initial load
duke
parents:
diff changeset
   996
                            rfie.size = eSize;
06bc494ca11e Initial load
duke
parents:
diff changeset
   997
                            rfie.compressedSize = eCsize;
06bc494ca11e Initial load
duke
parents:
diff changeset
   998
                            rfie.javatime = eJavaTimestamp;
06bc494ca11e Initial load
duke
parents:
diff changeset
   999
                            entries.add(rfie);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1000
                        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1001
                    } catch (Throwable t) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1002
                        // Do nothing
06bc494ca11e Initial load
duke
parents:
diff changeset
  1003
                    } finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1004
                        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1005
                            if (raf == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1006
                                raf.close();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1007
                            }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1008
                        } catch (Throwable t) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1009
                            // Do nothing
06bc494ca11e Initial load
duke
parents:
diff changeset
  1010
                        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1011
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1012
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1013
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1014
06bc494ca11e Initial load
duke
parents:
diff changeset
  1015
            entriesInited = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1016
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1017
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1018
        List<Entry> getEntriesAsCollection() {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1019
            initEntries();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1020
06bc494ca11e Initial load
duke
parents:
diff changeset
  1021
            return entries;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1022
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1023
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1024
06bc494ca11e Initial load
duke
parents:
diff changeset
  1025
    private boolean readIndex() {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1026
        if (triedToReadIndex || !usePreindexedCache) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1027
            return false;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1028
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1029
06bc494ca11e Initial load
duke
parents:
diff changeset
  1030
        boolean ret = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1031
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1032
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1033
            triedToReadIndex = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1034
            RandomAccessFile raf = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1035
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1036
                File indexFileName = getIndexFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1037
                raf = new RandomAccessFile(indexFileName, "r");
06bc494ca11e Initial load
duke
parents:
diff changeset
  1038
06bc494ca11e Initial load
duke
parents:
diff changeset
  1039
                long fileStamp = raf.readLong();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1040
                if (zipFile.lastModified() != fileStamp) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1041
                    ret = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1042
                } else {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1043
                    directories = new HashMap<RelativeDirectory, DirectoryEntry>();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1044
                    int numDirs = raf.readInt();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1045
                    for (int nDirs = 0; nDirs < numDirs; nDirs++) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1046
                        int dirNameBytesLen = raf.readInt();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1047
                        byte [] dirNameBytes = new byte[dirNameBytesLen];
06bc494ca11e Initial load
duke
parents:
diff changeset
  1048
                        raf.read(dirNameBytes);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1049
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1050
                        RelativeDirectory dirNameStr = getRelativeDirectory(new String(dirNameBytes, "UTF-8"));
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1051
                        DirectoryEntry de = new DirectoryEntry(dirNameStr, this);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1052
                        de.numEntries = raf.readInt();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1053
                        de.writtenOffsetOffset = raf.readLong();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1054
                        directories.put(dirNameStr, de);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1055
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1056
                    ret = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1057
                    zipFileLastModified = fileStamp;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1058
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1059
            } catch (Throwable t) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1060
                // Do nothing
06bc494ca11e Initial load
duke
parents:
diff changeset
  1061
            } finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1062
                if (raf != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1063
                    try {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1064
                        raf.close();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1065
                    } catch (Throwable tt) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1066
                        // Do nothing
06bc494ca11e Initial load
duke
parents:
diff changeset
  1067
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1068
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1069
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1070
            if (ret == true) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1071
                readFromIndex = true;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1072
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1073
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1074
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1075
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1076
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1077
06bc494ca11e Initial load
duke
parents:
diff changeset
  1078
        return ret;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1079
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1080
06bc494ca11e Initial load
duke
parents:
diff changeset
  1081
    private boolean writeIndex() {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1082
        boolean ret = false;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1083
        if (readFromIndex || !usePreindexedCache) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1084
            return true;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1085
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1086
06bc494ca11e Initial load
duke
parents:
diff changeset
  1087
        if (!writeIndex) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1088
            return true;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1089
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1090
06bc494ca11e Initial load
duke
parents:
diff changeset
  1091
        File indexFile = getIndexFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1092
        if (indexFile == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1093
            return false;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1094
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1095
06bc494ca11e Initial load
duke
parents:
diff changeset
  1096
        RandomAccessFile raf = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1097
        long writtenSoFar = 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1098
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1099
            raf = new RandomAccessFile(indexFile, "rw");
06bc494ca11e Initial load
duke
parents:
diff changeset
  1100
06bc494ca11e Initial load
duke
parents:
diff changeset
  1101
            raf.writeLong(zipFileLastModified);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1102
            writtenSoFar += 8;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1103
06bc494ca11e Initial load
duke
parents:
diff changeset
  1104
            List<DirectoryEntry> directoriesToWrite = new ArrayList<DirectoryEntry>();
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1105
            Map<RelativeDirectory, Long> offsets = new HashMap<RelativeDirectory, Long>();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1106
            raf.writeInt(directories.keySet().size());
06bc494ca11e Initial load
duke
parents:
diff changeset
  1107
            writtenSoFar += 4;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1108
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1109
            for (RelativeDirectory dirName: directories.keySet()) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1110
                DirectoryEntry dirEntry = directories.get(dirName);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1111
06bc494ca11e Initial load
duke
parents:
diff changeset
  1112
                directoriesToWrite.add(dirEntry);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1113
06bc494ca11e Initial load
duke
parents:
diff changeset
  1114
                // Write the dir name bytes
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1115
                byte [] dirNameBytes = dirName.getPath().getBytes("UTF-8");
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1116
                int dirNameBytesLen = dirNameBytes.length;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1117
                raf.writeInt(dirNameBytesLen);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1118
                writtenSoFar += 4;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1119
06bc494ca11e Initial load
duke
parents:
diff changeset
  1120
                raf.write(dirNameBytes);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1121
                writtenSoFar += dirNameBytesLen;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1122
06bc494ca11e Initial load
duke
parents:
diff changeset
  1123
                // Write the number of files in the dir
1789
7ac8c0815000 6765045: Remove rawtypes warnings from langtools
mcimadamore
parents: 1205
diff changeset
  1124
                List<Entry> dirEntries = dirEntry.getEntriesAsCollection();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1125
                raf.writeInt(dirEntries.size());
06bc494ca11e Initial load
duke
parents:
diff changeset
  1126
                writtenSoFar += 4;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1127
06bc494ca11e Initial load
duke
parents:
diff changeset
  1128
                offsets.put(dirName, new Long(writtenSoFar));
06bc494ca11e Initial load
duke
parents:
diff changeset
  1129
06bc494ca11e Initial load
duke
parents:
diff changeset
  1130
                // Write the offset of the file's data in the dir
06bc494ca11e Initial load
duke
parents:
diff changeset
  1131
                dirEntry.writtenOffsetOffset = 0L;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1132
                raf.writeLong(0L);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1133
                writtenSoFar += 8;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1134
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1135
06bc494ca11e Initial load
duke
parents:
diff changeset
  1136
            for (DirectoryEntry de : directoriesToWrite) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1137
                // Fix up the offset in the directory table
06bc494ca11e Initial load
duke
parents:
diff changeset
  1138
                long currFP = raf.getFilePointer();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1139
06bc494ca11e Initial load
duke
parents:
diff changeset
  1140
                long offsetOffset = offsets.get(de.dirName).longValue();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1141
                raf.seek(offsetOffset);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1142
                raf.writeLong(writtenSoFar);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1143
06bc494ca11e Initial load
duke
parents:
diff changeset
  1144
                raf.seek(currFP);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1145
06bc494ca11e Initial load
duke
parents:
diff changeset
  1146
                // Now write each of the files in the DirectoryEntry
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1147
                List<Entry> entries = de.getEntriesAsCollection();
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1148
                for (Entry zfie : entries) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1149
                    // Write the name bytes
06bc494ca11e Initial load
duke
parents:
diff changeset
  1150
                    byte [] zfieNameBytes = zfie.name.getBytes("UTF-8");
06bc494ca11e Initial load
duke
parents:
diff changeset
  1151
                    int zfieNameBytesLen = zfieNameBytes.length;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1152
                    raf.writeInt(zfieNameBytesLen);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1153
                    writtenSoFar += 4;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1154
                    raf.write(zfieNameBytes);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1155
                    writtenSoFar += zfieNameBytesLen;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1156
06bc494ca11e Initial load
duke
parents:
diff changeset
  1157
                    // Write isDir
06bc494ca11e Initial load
duke
parents:
diff changeset
  1158
                    raf.writeByte(zfie.isDir ? (byte)1 : (byte)0);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1159
                    writtenSoFar += 1;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1160
06bc494ca11e Initial load
duke
parents:
diff changeset
  1161
                    // Write offset of bytes in the real Jar/Zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
  1162
                    raf.writeInt(zfie.offset);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1163
                    writtenSoFar += 4;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1164
06bc494ca11e Initial load
duke
parents:
diff changeset
  1165
                    // Write size of the file in the real Jar/Zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
  1166
                    raf.writeInt(zfie.size);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1167
                    writtenSoFar += 4;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1168
06bc494ca11e Initial load
duke
parents:
diff changeset
  1169
                    // Write compressed size of the file in the real Jar/Zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
  1170
                    raf.writeInt(zfie.compressedSize);
06bc494ca11e Initial load
duke
parents:
diff changeset
  1171
                    writtenSoFar += 4;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1172
06bc494ca11e Initial load
duke
parents:
diff changeset
  1173
                    // Write java time stamp of the file in the real Jar/Zip file
06bc494ca11e Initial load
duke
parents:
diff changeset
  1174
                    raf.writeLong(zfie.getLastModified());
06bc494ca11e Initial load
duke
parents:
diff changeset
  1175
                    writtenSoFar += 8;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1176
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1177
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1178
        } catch (Throwable t) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1179
            // Do nothing
06bc494ca11e Initial load
duke
parents:
diff changeset
  1180
        } finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1181
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1182
                if (raf != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1183
                    raf.close();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1184
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1185
            } catch(IOException ioe) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1186
                // Do nothing
06bc494ca11e Initial load
duke
parents:
diff changeset
  1187
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1188
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1189
06bc494ca11e Initial load
duke
parents:
diff changeset
  1190
        return ret;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1191
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1192
06bc494ca11e Initial load
duke
parents:
diff changeset
  1193
    public boolean writeZipIndex() {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1194
        lock.lock();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1195
        try {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1196
            return writeIndex();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1197
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1198
        finally {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1199
            lock.unlock();
06bc494ca11e Initial load
duke
parents:
diff changeset
  1200
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1201
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1202
06bc494ca11e Initial load
duke
parents:
diff changeset
  1203
    private File getIndexFile() {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1204
        if (zipIndexFile == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1205
            if (zipFile == null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1206
                return null;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1207
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1208
06bc494ca11e Initial load
duke
parents:
diff changeset
  1209
            zipIndexFile = new File((preindexedCacheLocation == null ? "" : preindexedCacheLocation) +
06bc494ca11e Initial load
duke
parents:
diff changeset
  1210
                    zipFile.getName() + ".index");
06bc494ca11e Initial load
duke
parents:
diff changeset
  1211
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1212
06bc494ca11e Initial load
duke
parents:
diff changeset
  1213
        return zipIndexFile;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1214
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
  1215
06bc494ca11e Initial load
duke
parents:
diff changeset
  1216
    public File getZipFile() {
06bc494ca11e Initial load
duke
parents:
diff changeset
  1217
        return zipFile;
06bc494ca11e Initial load
duke
parents:
diff changeset
  1218
    }
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1219
4073
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1220
    File getAbsoluteFile() {
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1221
        File absFile = (absFileRef == null ? null : absFileRef.get());
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1222
        if (absFile == null) {
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1223
            absFile = zipFile.getAbsoluteFile();
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1224
            absFileRef = new SoftReference<File>(absFile);
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1225
        }
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1226
        return absFile;
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1227
    }
9788f4549740 6838467: JSR199 FileObjects don't obey general contract of equals.
jjg
parents: 3380
diff changeset
  1228
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1229
    private RelativeDirectory getRelativeDirectory(String path) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1230
        RelativeDirectory rd;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1231
        SoftReference<RelativeDirectory> ref = relativeDirectoryCache.get(path);
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1232
        if (ref != null) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1233
            rd = ref.get();
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1234
            if (rd != null)
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1235
                return rd;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1236
        }
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1237
        rd = new RelativeDirectory(path);
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1238
        relativeDirectoryCache.put(path, new SoftReference<RelativeDirectory>(rd));
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1239
        return rd;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1240
    }
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1241
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1242
    static class Entry implements Comparable<Entry> {
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1243
        public static final Entry[] EMPTY_ARRAY = {};
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1244
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1245
        // Directory related
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1246
        RelativeDirectory dir;
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1247
        boolean isDir;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1248
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1249
        // File related
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1250
        String name;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1251
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1252
        int offset;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1253
        int size;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1254
        int compressedSize;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1255
        long javatime;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1256
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1257
        private int nativetime;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1258
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1259
        public Entry(RelativePath path) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1260
            this(path.dirname(), path.basename());
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1261
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1262
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1263
        public Entry(RelativeDirectory directory, String name) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1264
            this.dir = directory;
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1265
            this.name = name;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1266
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1267
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1268
        public String getName() {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1269
            return new RelativeFile(dir, name).getPath();
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1270
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1271
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1272
        public String getFileName() {
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1273
            return name;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1274
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1275
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1276
        public long getLastModified() {
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1277
            if (javatime == 0) {
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1278
                    javatime = dosToJavaTime(nativetime);
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1279
            }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1280
            return javatime;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1281
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1282
865
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1283
        // based on dosToJavaTime in java.util.Zip, but avoiding the
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1284
        // use of deprecated Date constructor
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1285
        private static long dosToJavaTime(int dtime) {
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1286
            Calendar c = Calendar.getInstance();
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1287
            c.set(Calendar.YEAR,        ((dtime >> 25) & 0x7f) + 1980);
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1288
            c.set(Calendar.MONTH,       ((dtime >> 21) & 0x0f) - 1);
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1289
            c.set(Calendar.DATE,        ((dtime >> 16) & 0x1f));
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1290
            c.set(Calendar.HOUR_OF_DAY, ((dtime >> 11) & 0x1f));
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1291
            c.set(Calendar.MINUTE,      ((dtime >>  5) & 0x3f));
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1292
            c.set(Calendar.SECOND,      ((dtime <<  1) & 0x3e));
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1293
            c.set(Calendar.MILLISECOND, 0);
21668f049d28 6725036: javac returns incorrect value for lastModifiedTime() when source is a zip file archive
jjg
parents: 810
diff changeset
  1294
            return c.getTimeInMillis();
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1295
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1296
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1297
        void setNativeTime(int natTime) {
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1298
            nativetime = natTime;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1299
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1300
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1301
        public boolean isDirectory() {
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1302
            return isDir;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1303
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1304
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1305
        public int compareTo(Entry other) {
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1306
            RelativeDirectory otherD = other.dir;
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1307
            if (dir != otherD) {
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1308
                int c = dir.compareTo(otherD);
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1309
                if (c != 0)
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1310
                    return c;
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1311
            }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1312
            return name.compareTo(other.name);
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1313
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1314
1205
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1315
        @Override
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1316
        public boolean equals(Object o) {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1317
            if (!(o instanceof Entry))
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1318
                return false;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1319
            Entry other = (Entry) o;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1320
            return dir.equals(other.dir) && name.equals(other.name);
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1321
        }
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1322
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1323
        @Override
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1324
        public int hashCode() {
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1325
            int hash = 7;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1326
            hash = 97 * hash + (this.dir != null ? this.dir.hashCode() : 0);
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1327
            hash = 97 * hash + (this.name != null ? this.name.hashCode() : 0);
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1328
            return hash;
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1329
        }
b316e32eb90c 6508981: cleanup file separator handling in JavacFileManager
jjg
parents: 865
diff changeset
  1330
810
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1331
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1332
        public String toString() {
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1333
            return isDir ? ("Dir:" + dir + " : " + name) :
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1334
                (dir + ":" + name);
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1335
        }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1336
    }
e4b6a6d206e6 6714365: refactor JavacFileManager to move nested classes to top level
jjg
parents: 731
diff changeset
  1337
10
06bc494ca11e Initial load
duke
parents:
diff changeset
  1338
}