test/langtools/tools/javac/api/T6877206.java
author darcy
Fri, 02 Feb 2018 10:29:25 -0800
changeset 48723 6cb86bf0b51e
parent 47216 71c04702a3d5
permissions -rw-r--r--
8196623: Update JavaBaseTest.java to be version agnostic Reviewed-by: vromero
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     1
/*
30730
d3ce7619db2c 8076543: Add @modules as needed to the langtools tests
akulyakh
parents: 27579
diff changeset
     2
 * Copyright (c) 2009, 2015, 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)
30730
d3ce7619db2c 8076543: Add @modules as needed to the langtools tests
akulyakh
parents: 27579
diff changeset
    28
 * @modules jdk.compiler/com.sun.tools.javac.file
d3ce7619db2c 8076543: Add @modules as needed to the langtools tests
akulyakh
parents: 27579
diff changeset
    29
 *          jdk.compiler/com.sun.tools.javac.util
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    30
 */
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    31
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    32
import java.io.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    33
import java.net.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    34
import java.util.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    35
import java.util.jar.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    36
import java.util.zip.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    37
import javax.tools.*;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    38
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    39
import com.sun.tools.javac.file.JavacFileManager;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    40
import com.sun.tools.javac.util.Context;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    41
import com.sun.tools.javac.util.Options;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    42
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    43
// Test URIs returned from JavacFileManager and its support classes.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    44
// For a variety of file objects, verify the validity of FileObject.toUri()
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    45
// 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
    46
// object itself
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    47
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    48
public class T6877206 {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    49
    public static void main(String... args) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    50
        new T6877206().run();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    51
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    52
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    53
    Set<String> foundClasses = new TreeSet<String>();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    54
    Set<String> foundJars = new TreeSet<String>();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    55
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    56
    void run() throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    57
        // names for entries to be created in directories and jar files
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    58
        String[] entries = { "p/A.class", "p/resources/A-1.jpg" };
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    59
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    60
        // test various combinations of directories and jar files, intended to
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    61
        // cover all sources of URIs within JavacFileManager's support classes
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    62
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    63
        test(createFileManager(), createDir("dir", entries), "p", entries.length);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    64
        test(createFileManager(), createDir("a b/dir", entries), "p", entries.length);
34560
b6a567b677f7 8059976: Convert JavacFileManager to use java.nio.file internally
jjg
parents: 30730
diff changeset
    65
        test(createFileManager(), createJar("jar", entries), "p", entries.length);
b6a567b677f7 8059976: Convert JavacFileManager to use java.nio.file internally
jjg
parents: 30730
diff changeset
    66
        test(createFileManager(), createJar("jar jar", entries), "p", entries.length);
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    67
27579
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 9744
diff changeset
    68
        // Verify that we hit the files we intended
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    69
        checkCoverage("classes", foundClasses,
34560
b6a567b677f7 8059976: Convert JavacFileManager to use java.nio.file internally
jjg
parents: 30730
diff changeset
    70
                "DirectoryFileObject", "JarFileObject");
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    71
27579
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 9744
diff changeset
    72
        // Verify that we hit the jar files we intended
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 9744
diff changeset
    73
        checkCoverage("jar files", foundJars, "jar", "jar jar");
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    74
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    75
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    76
    // use a new file manager for each test
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    77
    void test(StandardJavaFileManager fm, File f, String pkg, int expect) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    78
        JarURLConnection c;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    79
        System.err.println("Test " + f);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    80
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    81
            fm.setLocation(StandardLocation.CLASS_PATH, Collections.singleton(f));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    82
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    83
            int count = 0;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    84
            for (JavaFileObject fo: fm.list(StandardLocation.CLASS_PATH,
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    85
                    pkg, EnumSet.allOf(JavaFileObject.Kind.class), true)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    86
                System.err.println("checking " + fo);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    87
                // record the file object class name for coverage checks later
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    88
                foundClasses.add(fo.getClass().getSimpleName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    89
                testFileObject(fo);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    90
                count++;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    91
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    92
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    93
            if (expect > 0 && count != expect)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    94
                throw new Exception("wrong number of entries found: "
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    95
                        + count + ", expected " + expect);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    96
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    97
            fm.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    98
        }
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
    void testFileObject(JavaFileObject fo) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   102
        // test the validity of the result of toUri() by using URLConnection
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   103
        // and comparing the results of reading from the connection with the
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   104
        // result of reading from the file object directly.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   105
        URI uri = fo.toUri();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   106
        System.err.println("uri: " + uri);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   107
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   108
        URLConnection urlconn = uri.toURL().openConnection();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   109
        if (urlconn instanceof JarURLConnection) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   110
            JarURLConnection jarconn = (JarURLConnection) urlconn;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   111
            File f = new File(jarconn.getJarFile().getName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   112
            // record access to the jar file for coverage checks later
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   113
            foundJars.add(f.getName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   114
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   115
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   116
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   117
            byte[] uriData = read(urlconn.getInputStream());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   118
            byte[] foData = read(fo.openInputStream());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   119
            if (!Arrays.equals(uriData, foData)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   120
                if (uriData.length != foData.length)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   121
                    throw new Exception("data size differs: uri data "
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   122
                            + uriData.length + " bytes, fo data " + foData.length+ " bytes");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   123
                for (int i = 0; i < uriData.length; i++) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   124
                    if (uriData[i] != foData[i])
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   125
                    throw new Exception("unexpected data returned at offset " + i
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   126
                            + ", uri data " + uriData[i] + ", fo data " + foData[i]);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   127
                }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   128
                throw new AssertionError("cannot find difference");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   129
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   130
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   131
            // In principle, simply closing the result of urlconn.getInputStream()
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   132
            // should have been sufficient. But the internal JarURLConnection
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   133
            // does not close the JarFile in an expeditious manner, thus preventing
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   134
            // jtreg from deleting the jar file before starting the next test.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   135
            // Therefore we force access to the JarURLConnection to close the
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   136
            // JarFile when necessary.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   137
            if (urlconn instanceof JarURLConnection) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   138
                JarURLConnection jarconn = (JarURLConnection) urlconn;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   139
                jarconn.getJarFile().close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   140
            }
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
    void checkCoverage(String label, Set<String> found, String... expect) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   145
        Set<String> e = new TreeSet<String>(Arrays.asList(expect));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   146
        if (!found.equals(e)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   147
            e.removeAll(found);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   148
            throw new Exception("expected " + label + " not used: " + e);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   149
        }
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
    JavacFileManager createFileManager() {
34560
b6a567b677f7 8059976: Convert JavacFileManager to use java.nio.file internally
jjg
parents: 30730
diff changeset
   153
        return createFileManager(false);
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   154
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   155
34560
b6a567b677f7 8059976: Convert JavacFileManager to use java.nio.file internally
jjg
parents: 30730
diff changeset
   156
    JavacFileManager createFileManager(boolean useSymbolFile) {
8432
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   157
        Context ctx = new Context();
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   158
        Options options = Options.instance(ctx);
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   159
        if (!useSymbolFile) {
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   160
            options.put("ignore.symbol.file", "true");
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   161
        }
d3380b1e4779 7018859: javac turn off the Zip optimization by default
ksrini
parents: 5520
diff changeset
   162
        return new JavacFileManager(ctx, false, null);
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   163
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   164
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   165
    File createDir(String name, String... entries) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   166
        File dir = new File(name);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   167
        if (!dir.mkdirs())
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   168
            throw new Exception("cannot create directories " + dir);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   169
        for (String e: entries) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   170
            writeFile(new File(dir, e), e);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   171
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   172
        return dir;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   173
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   174
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   175
    File createJar(String name, String... entries) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   176
        File jar = new File(name);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   177
        OutputStream out = new FileOutputStream(jar);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   178
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   179
            JarOutputStream jos = new JarOutputStream(out);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   180
            for (String e: entries) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   181
                jos.putNextEntry(new ZipEntry(e));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   182
                jos.write(e.getBytes());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   183
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   184
            jos.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   185
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   186
            out.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   187
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   188
        return jar;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   189
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   190
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   191
    byte[] read(InputStream in) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   192
        byte[] data = new byte[1024];
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   193
        int offset = 0;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   194
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   195
            int n;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   196
            while ((n = in.read(data, offset, data.length - offset)) != -1) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   197
                offset += n;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   198
                if (offset == data.length)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   199
                    data = Arrays.copyOf(data, 2 * data.length);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   200
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   201
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   202
            in.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   203
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   204
        return Arrays.copyOf(data, offset);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   205
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   206
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   207
    void writeFile(File f, String s) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   208
        f.getParentFile().mkdirs();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   209
        FileWriter out = new FileWriter(f);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   210
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   211
            out.write(s);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   212
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   213
            out.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   214
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   215
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   216
}