langtools/test/tools/javac/api/T6877206.java
author jjg
Tue, 08 Sep 2009 11:12:13 -0700
changeset 3782 ae62279eeb46
child 5520 86e4b9a9da40
permissions -rw-r--r--
6419701: DefaultFileManager clean up: URI.create 6483788: DefaultFileManager.ZipFileObject.toUri() fails to escape space characters 6501502: JSR 199: FileObject.toUri should return file:///c:/ or file:/c:/ not file://c:/ 6877206: JavaFileObject.toUri returns bogus URI (win) 6877223: tests @ignored because of issues with File.toURI on Windows Reviewed-by: mcimadamore, alanb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3782
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     1
/*
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
     2
 * Copyright 2009 Sun Microsystems, Inc.  All Rights Reserved.
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
 *
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    21
 * have any questions.
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
        File rt_jar = findRtJar();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    56
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);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    65
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    66
        for (boolean useJavaUtilZip: new boolean[] { false, true }) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    67
            test(createFileManager(useJavaUtilZip), createJar("jar", entries), "p", entries.length);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    68
            test(createFileManager(useJavaUtilZip), createJar("jar jar", entries), "p", entries.length);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    69
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    70
            for (boolean useSymbolFile: new boolean[] { false, true }) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    71
                test(createFileManager(useJavaUtilZip, useSymbolFile), rt_jar, "java.lang.ref", -1);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    72
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    73
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    74
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    75
        // Verify that we hit all the impl classes we intended
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    76
        checkCoverage("classes", foundClasses,
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    77
                "RegularFileObject", "SymbolFileObject", "ZipFileIndexFileObject", "ZipFileObject");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    78
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    79
        // Verify that we hit the jar files we intended, specifically ct.sym as well as rt.jar
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    80
        checkCoverage("jar files", foundJars,
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    81
                "ct.sym", "jar", "jar jar", "rt.jar");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    82
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    83
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    84
    // use a new file manager for each test
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    85
    void test(StandardJavaFileManager fm, File f, String pkg, int expect) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    86
        JarURLConnection c;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    87
        System.err.println("Test " + f);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    88
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    89
            fm.setLocation(StandardLocation.CLASS_PATH, Collections.singleton(f));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    90
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    91
            int count = 0;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    92
            for (JavaFileObject fo: fm.list(StandardLocation.CLASS_PATH,
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    93
                    pkg, EnumSet.allOf(JavaFileObject.Kind.class), true)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    94
                System.err.println("checking " + fo);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    95
                // record the file object class name for coverage checks later
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    96
                foundClasses.add(fo.getClass().getSimpleName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    97
                testFileObject(fo);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
    98
                count++;
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
            if (expect > 0 && count != expect)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   102
                throw new Exception("wrong number of entries found: "
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   103
                        + count + ", expected " + expect);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   104
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   105
            fm.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   106
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   107
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   108
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   109
    void testFileObject(JavaFileObject fo) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   110
        // test the validity of the result of toUri() by using URLConnection
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   111
        // and comparing the results of reading from the connection with the
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   112
        // result of reading from the file object directly.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   113
        URI uri = fo.toUri();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   114
        System.err.println("uri: " + uri);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   115
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   116
        URLConnection urlconn = uri.toURL().openConnection();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   117
        if (urlconn instanceof JarURLConnection) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   118
            JarURLConnection jarconn = (JarURLConnection) urlconn;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   119
            File f = new File(jarconn.getJarFile().getName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   120
            // record access to the jar file for coverage checks later
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   121
            foundJars.add(f.getName());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   122
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   123
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   124
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   125
            byte[] uriData = read(urlconn.getInputStream());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   126
            byte[] foData = read(fo.openInputStream());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   127
            if (!Arrays.equals(uriData, foData)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   128
                if (uriData.length != foData.length)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   129
                    throw new Exception("data size differs: uri data "
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   130
                            + uriData.length + " bytes, fo data " + foData.length+ " bytes");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   131
                for (int i = 0; i < uriData.length; i++) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   132
                    if (uriData[i] != foData[i])
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   133
                    throw new Exception("unexpected data returned at offset " + i
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   134
                            + ", uri data " + uriData[i] + ", fo data " + foData[i]);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   135
                }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   136
                throw new AssertionError("cannot find difference");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   137
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   138
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   139
            // In principle, simply closing the result of urlconn.getInputStream()
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   140
            // should have been sufficient. But the internal JarURLConnection
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   141
            // does not close the JarFile in an expeditious manner, thus preventing
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   142
            // jtreg from deleting the jar file before starting the next test.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   143
            // Therefore we force access to the JarURLConnection to close the
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   144
            // JarFile when necessary.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   145
            if (urlconn instanceof JarURLConnection) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   146
                JarURLConnection jarconn = (JarURLConnection) urlconn;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   147
                jarconn.getJarFile().close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   148
            }
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
    void checkCoverage(String label, Set<String> found, String... expect) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   153
        Set<String> e = new TreeSet<String>(Arrays.asList(expect));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   154
        if (!found.equals(e)) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   155
            e.removeAll(found);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   156
            throw new Exception("expected " + label + " not used: " + e);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   157
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   158
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   159
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   160
    JavacFileManager createFileManager() {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   161
        return createFileManager(false, false);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   162
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   163
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   164
    JavacFileManager createFileManager(boolean useJavaUtilZip) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   165
        return createFileManager(useJavaUtilZip, false);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   166
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   167
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   168
    JavacFileManager createFileManager(boolean useJavaUtilZip, boolean useSymbolFile) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   169
        // javac should really not be using system properties like this
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   170
        // -- it should really be using (hidden) options -- but until then
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   171
        // take care to leave system properties as we find them, so as not
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   172
        // to adversely affect other tests that might follow.
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   173
        String prev = System.getProperty("useJavaUtilZip");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   174
        boolean resetProperties = false;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   175
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   176
            if (useJavaUtilZip) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   177
                System.setProperty("useJavaUtilZip", "true");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   178
                resetProperties = true;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   179
            } else if (System.getProperty("useJavaUtilZip") != null) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   180
                System.getProperties().remove("useJavaUtilZip");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   181
                resetProperties = true;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   182
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   183
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   184
            Context c = new Context();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   185
            if (!useSymbolFile) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   186
                Options options = Options.instance(c);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   187
                options.put("ignore.symbol.file", "true");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   188
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   189
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   190
            return new JavacFileManager(c, false, null);
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
            if (resetProperties) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   193
                if (prev == null) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   194
                    System.getProperties().remove("useJavaUtilZip");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   195
                } else {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   196
                    System.setProperty("useJavaUtilZip", prev);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   197
                }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   198
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   199
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   200
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   201
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   202
    File createDir(String name, String... entries) throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   203
        File dir = new File(name);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   204
        if (!dir.mkdirs())
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   205
            throw new Exception("cannot create directories " + dir);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   206
        for (String e: entries) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   207
            writeFile(new File(dir, e), e);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   208
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   209
        return dir;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   210
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   211
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   212
    File createJar(String name, String... entries) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   213
        File jar = new File(name);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   214
        OutputStream out = new FileOutputStream(jar);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   215
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   216
            JarOutputStream jos = new JarOutputStream(out);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   217
            for (String e: entries) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   218
                jos.putNextEntry(new ZipEntry(e));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   219
                jos.write(e.getBytes());
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   220
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   221
            jos.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   222
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   223
            out.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   224
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   225
        return jar;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   226
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   227
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   228
    File findRtJar() throws Exception {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   229
        File java_home = new File(System.getProperty("java.home"));
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   230
        if (java_home.getName().equals("jre"))
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   231
            java_home = java_home.getParentFile();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   232
        File rt_jar = new File(new File(new File(java_home, "jre"), "lib"), "rt.jar");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   233
        if (!rt_jar.exists())
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   234
            throw new Exception("can't find rt.jar");
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   235
        return rt_jar;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   236
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   237
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   238
    byte[] read(InputStream in) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   239
        byte[] data = new byte[1024];
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   240
        int offset = 0;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   241
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   242
            int n;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   243
            while ((n = in.read(data, offset, data.length - offset)) != -1) {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   244
                offset += n;
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   245
                if (offset == data.length)
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   246
                    data = Arrays.copyOf(data, 2 * data.length);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   247
            }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   248
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   249
            in.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   250
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   251
        return Arrays.copyOf(data, offset);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   252
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   253
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   254
    void writeFile(File f, String s) throws IOException {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   255
        f.getParentFile().mkdirs();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   256
        FileWriter out = new FileWriter(f);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   257
        try {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   258
            out.write(s);
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   259
        } finally {
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   260
            out.close();
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   261
        }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   262
    }
ae62279eeb46 6419701: DefaultFileManager clean up: URI.create
jjg
parents:
diff changeset
   263
}