langtools/test/tools/javac/api/T6877206.java
author chegar
Wed, 03 Dec 2014 14:25:46 +0000
changeset 27579 d1a63c99cdd5
parent 9744 3e48977e539d
child 30730 d3ce7619db2c
permissions -rw-r--r--
8049367: Modular Run-Time Images Reviewed-by: jlahoda, ksrini Contributed-by: alan.bateman@oracle.com, alex.buckley@oracle.com, bradford.wetmore@oracle.com, chris.hegarty@oracle.com, erik.joelsson@oracle.com, james.laskey@oracle.com, jonathan.gibbons@oracle.com, karen.kinnear@oracle.com, magnus.ihse.bursie@oracle.com, mandy.chung@oracle.com, mark.reinhold@oracle.com, paul.sandoz@oracle.com, sundararajan.athijegannathan@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     1
/*
9744
3e48977e539d 7044486: open jdk repos have files with incorrect copyright headers, which can end up in src bundles
katleman
parents: 8837
diff changeset
     2
 * Copyright (c) 2009, 2011, Oracle and/or its affiliates. All rights reserved.
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     4
 *
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     7
 * published by the Free Software Foundation.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     8
 *
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    13
 * accompanied this code).
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    14
 *
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    18
 *
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3782
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3782
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3782
diff changeset
    21
 * questions.
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    22
 */
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    23
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    24
/*
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    25
 * @test
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    26
 * @bug 6877206
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    27
 * @summary JavaFileObject.toUri returns bogus URI (win)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    28
 */
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    29
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    30
import java.io.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    31
import java.net.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    32
import java.util.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    33
import java.util.jar.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    34
import java.util.zip.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    35
import javax.tools.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    36
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    37
import com.sun.tools.javac.file.JavacFileManager;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    38
import com.sun.tools.javac.util.Context;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    39
import com.sun.tools.javac.util.Options;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    40
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    41
// Test URIs returned from JavacFileManager and its support classes.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    42
// For a variety of file objects, verify the validity of FileObject.toUri()
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    43
// by verifying the URI exists and points to the same contents as the file
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    44
// object itself
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    45
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    46
public class T6877206 {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    47
    public static void main(String... args) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    48
        new T6877206().run();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    49
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    50
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    51
    Set<String> foundClasses = new TreeSet<String>();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    52
    Set<String> foundJars = new TreeSet<String>();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    53
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    54
    void run() throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    55
        // names for entries to be created in directories and jar files
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    56
        String[] entries = { "p/A.class", "p/resources/A-1.jpg" };
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    57
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    58
        // test various combinations of directories and jar files, intended to
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    59
        // cover all sources of URIs within JavacFileManager's support classes
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    60
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    61
        test(createFileManager(), createDir("dir", entries), "p", entries.length);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    62
        test(createFileManager(), createDir("a b/dir", entries), "p", entries.length);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    63
8432
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
    64
        for (boolean useOptimizedZip: new boolean[] { false, true }) {
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
    65
            test(createFileManager(useOptimizedZip), createJar("jar", entries), "p", entries.length);
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
    66
            test(createFileManager(useOptimizedZip), createJar("jar jar", entries), "p", entries.length);
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    67
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    68
27579
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 9744
diff changeset
    69
        // Verify that we hit the files we intended
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    70
        checkCoverage("classes", foundClasses,
27579
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 9744
diff changeset
    71
                "RegularFileObject", "ZipFileIndexFileObject", "ZipFileObject");
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    72
27579
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 9744
diff changeset
    73
        // Verify that we hit the jar files we intended
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 9744
diff changeset
    74
        checkCoverage("jar files", foundJars, "jar", "jar jar");
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    75
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    76
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    77
    // use a new file manager for each test
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    78
    void test(StandardJavaFileManager fm, File f, String pkg, int expect) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    79
        JarURLConnection c;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    80
        System.err.println("Test " + f);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    81
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    82
            fm.setLocation(StandardLocation.CLASS_PATH, Collections.singleton(f));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    83
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    84
            int count = 0;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    85
            for (JavaFileObject fo: fm.list(StandardLocation.CLASS_PATH,
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    86
                    pkg, EnumSet.allOf(JavaFileObject.Kind.class), true)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    87
                System.err.println("checking " + fo);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    88
                // record the file object class name for coverage checks later
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    89
                foundClasses.add(fo.getClass().getSimpleName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    90
                testFileObject(fo);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    91
                count++;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    92
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    93
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    94
            if (expect > 0 && count != expect)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    95
                throw new Exception("wrong number of entries found: "
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    96
                        + count + ", expected " + expect);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    97
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    98
            fm.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    99
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   100
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   101
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   102
    void testFileObject(JavaFileObject fo) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   103
        // test the validity of the result of toUri() by using URLConnection
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   104
        // and comparing the results of reading from the connection with the
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   105
        // result of reading from the file object directly.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   106
        URI uri = fo.toUri();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   107
        System.err.println("uri: " + uri);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   108
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   109
        URLConnection urlconn = uri.toURL().openConnection();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   110
        if (urlconn instanceof JarURLConnection) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   111
            JarURLConnection jarconn = (JarURLConnection) urlconn;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   112
            File f = new File(jarconn.getJarFile().getName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   113
            // record access to the jar file for coverage checks later
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   114
            foundJars.add(f.getName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   115
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   116
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   117
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   118
            byte[] uriData = read(urlconn.getInputStream());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   119
            byte[] foData = read(fo.openInputStream());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   120
            if (!Arrays.equals(uriData, foData)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   121
                if (uriData.length != foData.length)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   122
                    throw new Exception("data size differs: uri data "
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   123
                            + uriData.length + " bytes, fo data " + foData.length+ " bytes");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   124
                for (int i = 0; i < uriData.length; i++) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   125
                    if (uriData[i] != foData[i])
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   126
                    throw new Exception("unexpected data returned at offset " + i
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   127
                            + ", uri data " + uriData[i] + ", fo data " + foData[i]);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   128
                }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   129
                throw new AssertionError("cannot find difference");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   130
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   131
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   132
            // In principle, simply closing the result of urlconn.getInputStream()
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   133
            // should have been sufficient. But the internal JarURLConnection
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   134
            // does not close the JarFile in an expeditious manner, thus preventing
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   135
            // jtreg from deleting the jar file before starting the next test.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   136
            // Therefore we force access to the JarURLConnection to close the
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   137
            // JarFile when necessary.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   138
            if (urlconn instanceof JarURLConnection) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   139
                JarURLConnection jarconn = (JarURLConnection) urlconn;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   140
                jarconn.getJarFile().close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   141
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   142
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   143
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   144
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   145
    void checkCoverage(String label, Set<String> found, String... expect) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   146
        Set<String> e = new TreeSet<String>(Arrays.asList(expect));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   147
        if (!found.equals(e)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   148
            e.removeAll(found);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   149
            throw new Exception("expected " + label + " not used: " + e);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   150
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   151
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   152
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   153
    JavacFileManager createFileManager() {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   154
        return createFileManager(false, false);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   155
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   156
8432
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   157
    JavacFileManager createFileManager(boolean useOptimizedZip) {
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   158
        return createFileManager(useOptimizedZip, false);
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   159
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   160
8432
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   161
    JavacFileManager createFileManager(boolean useOptimizedZip, boolean useSymbolFile) {
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   162
        Context ctx = new Context();
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   163
        Options options = Options.instance(ctx);
8837
141b22c7e7b2 7021927: javac: regression in performance
ksrini
parents: 8432
diff changeset
   164
        options.put("useOptimizedZip", Boolean.toString(useOptimizedZip));
8432
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   165
        if (!useSymbolFile) {
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   166
            options.put("ignore.symbol.file", "true");
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   167
        }
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   168
        return new JavacFileManager(ctx, false, null);
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   169
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   170
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   171
    File createDir(String name, String... entries) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   172
        File dir = new File(name);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   173
        if (!dir.mkdirs())
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   174
            throw new Exception("cannot create directories " + dir);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   175
        for (String e: entries) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   176
            writeFile(new File(dir, e), e);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   177
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   178
        return dir;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   179
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   180
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   181
    File createJar(String name, String... entries) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   182
        File jar = new File(name);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   183
        OutputStream out = new FileOutputStream(jar);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   184
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   185
            JarOutputStream jos = new JarOutputStream(out);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   186
            for (String e: entries) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   187
                jos.putNextEntry(new ZipEntry(e));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   188
                jos.write(e.getBytes());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   189
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   190
            jos.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   191
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   192
            out.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   193
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   194
        return jar;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   195
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   196
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   197
    byte[] read(InputStream in) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   198
        byte[] data = new byte[1024];
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   199
        int offset = 0;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   200
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   201
            int n;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   202
            while ((n = in.read(data, offset, data.length - offset)) != -1) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   203
                offset += n;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   204
                if (offset == data.length)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   205
                    data = Arrays.copyOf(data, 2 * data.length);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   206
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   207
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   208
            in.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   209
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   210
        return Arrays.copyOf(data, offset);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   211
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   212
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   213
    void writeFile(File f, String s) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   214
        f.getParentFile().mkdirs();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   215
        FileWriter out = new FileWriter(f);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   216
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   217
            out.write(s);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   218
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   219
            out.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   220
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   221
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   222
}