langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/file/BaseFileManager.java
author jjg
Wed, 16 Nov 2016 11:53:24 -0800
changeset 42260 2b4da2bf6660
parent 41637 7b24b4c32ee6
child 42408 d6f09ae68eab
permissions -rw-r--r--
8169676: boolean result of Option.process is often ignored Reviewed-by: ksrini, jlahoda
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
     1
/*
35807
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
     2
 * Copyright (c) 2009, 2016, Oracle and/or its affiliates. All rights reserved.
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
     4
 *
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 4548
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 4548
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    10
 *
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    15
 * accompanied this code).
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    16
 *
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    20
 *
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 4548
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 4548
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 4548
diff changeset
    23
 * questions.
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    24
 */
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    25
29780
8f8e54a1fa20 8076420: Consolidate javac file handling in javac.file package
jjg
parents: 29291
diff changeset
    26
package com.sun.tools.javac.file;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    27
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    28
import java.io.IOException;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    29
import java.io.InputStream;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    30
import java.lang.ref.SoftReference;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    31
import java.lang.reflect.Constructor;
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
    32
import java.lang.reflect.Method;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    33
import java.net.URL;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    34
import java.net.URLClassLoader;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    35
import java.nio.ByteBuffer;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    36
import java.nio.CharBuffer;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    37
import java.nio.charset.Charset;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    38
import java.nio.charset.CharsetDecoder;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    39
import java.nio.charset.CoderResult;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    40
import java.nio.charset.CodingErrorAction;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    41
import java.nio.charset.IllegalCharsetNameException;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    42
import java.nio.charset.UnsupportedCharsetException;
27579
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 27379
diff changeset
    43
import java.nio.file.Path;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    44
import java.util.Collection;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    45
import java.util.HashMap;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    46
import java.util.Iterator;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    47
import java.util.Map;
29291
076c277565f7 8073550: java* tools: replace obj.getClass hacks with Assert.checkNonNull or Objects.requireNonNull
mcimadamore
parents: 27579
diff changeset
    48
import java.util.Objects;
11314
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
    49
import java.util.Set;
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    50
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    51
import javax.tools.JavaFileManager;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    52
import javax.tools.JavaFileObject;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    53
import javax.tools.JavaFileObject.Kind;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    54
11314
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
    55
import com.sun.tools.javac.main.Option;
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
    56
import com.sun.tools.javac.main.OptionHelper;
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
    57
import com.sun.tools.javac.main.OptionHelper.GrumpyHelper;
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
    58
import com.sun.tools.javac.resources.CompilerProperties.Errors;
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
    59
import com.sun.tools.javac.util.Abort;
29780
8f8e54a1fa20 8076420: Consolidate javac file handling in javac.file package
jjg
parents: 29291
diff changeset
    60
import com.sun.tools.javac.util.Context;
8f8e54a1fa20 8076420: Consolidate javac file handling in javac.file package
jjg
parents: 29291
diff changeset
    61
import com.sun.tools.javac.util.DefinedBy;
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
    62
import com.sun.tools.javac.util.DefinedBy.Api;
29780
8f8e54a1fa20 8076420: Consolidate javac file handling in javac.file package
jjg
parents: 29291
diff changeset
    63
import com.sun.tools.javac.util.Log;
8f8e54a1fa20 8076420: Consolidate javac file handling in javac.file package
jjg
parents: 29291
diff changeset
    64
import com.sun.tools.javac.util.Options;
10813
95b39a692cd0 7101146: Paths should more directly managed by BaseFileManager
jjg
parents: 10461
diff changeset
    65
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    66
/**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    67
 * Utility methods for building a filemanager.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    68
 * There are no references here to file-system specific objects such as
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    69
 * java.io.File or java.nio.file.Path.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    70
 */
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    71
public abstract class BaseFileManager implements JavaFileManager {
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    72
    protected BaseFileManager(Charset charset) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    73
        this.charset = charset;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    74
        byteBufferCache = new ByteBufferCache();
10818
e95eb04c68cc 7104039: refactor/cleanup javac Paths class
jjg
parents: 10813
diff changeset
    75
        locations = createLocations();
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    76
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    77
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    78
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    79
     * Set the context for JavacPathFileManager.
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    80
     * @param context the context containing items to be associated with the file manager
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    81
     */
10813
95b39a692cd0 7101146: Paths should more directly managed by BaseFileManager
jjg
parents: 10461
diff changeset
    82
    public void setContext(Context context) {
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    83
        log = Log.instance(context);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    84
        options = Options.instance(context);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    85
        classLoaderClass = options.get("procloader");
41637
7b24b4c32ee6 8145471: javac changes for enhanced deprecation
jjg
parents: 41155
diff changeset
    86
7b24b4c32ee6 8145471: javac changes for enhanced deprecation
jjg
parents: 41155
diff changeset
    87
        // Avoid initializing Lint
7b24b4c32ee6 8145471: javac changes for enhanced deprecation
jjg
parents: 41155
diff changeset
    88
        boolean warn = options.isLintSet("path");
7b24b4c32ee6 8145471: javac changes for enhanced deprecation
jjg
parents: 41155
diff changeset
    89
        locations.update(log, warn, FSInfo.instance(context));
35807
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    90
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    91
        // Setting this option is an indication that close() should defer actually closing
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    92
        // the file manager until after a specified period of inactivity.
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    93
        // This is to accomodate clients which save references to Symbols created for use
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    94
        // within doclets or annotation processors, and which then attempt to use those
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    95
        // references after the tool exits, having closed any internally managed file manager.
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    96
        // Ideally, such clients should run the tool via the javax.tools API, providing their
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    97
        // own file manager, which can be closed by the client when all use of that file
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    98
        // manager is complete.
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
    99
        // If the option has a numeric value, it will be interpreted as the duration,
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   100
        // in seconds, of the period of inactivity to wait for, before the file manager
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   101
        // is actually closed.
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   102
        // See also deferredClose().
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   103
        String s = options.get("fileManager.deferClose");
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   104
        if (s != null) {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   105
            try {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   106
                deferredCloseTimeout = (int) (Float.parseFloat(s) * 1000);
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   107
            } catch (NumberFormatException e) {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   108
                deferredCloseTimeout = 60 * 1000;  // default: one minute, in millis
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   109
            }
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   110
        }
10813
95b39a692cd0 7101146: Paths should more directly managed by BaseFileManager
jjg
parents: 10461
diff changeset
   111
    }
95b39a692cd0 7101146: Paths should more directly managed by BaseFileManager
jjg
parents: 10461
diff changeset
   112
10818
e95eb04c68cc 7104039: refactor/cleanup javac Paths class
jjg
parents: 10813
diff changeset
   113
    protected Locations createLocations() {
e95eb04c68cc 7104039: refactor/cleanup javac Paths class
jjg
parents: 10813
diff changeset
   114
        return new Locations();
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   115
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   116
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   117
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   118
     * The log to be used for error reporting.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   119
     */
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   120
    public Log log;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   121
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   122
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   123
     * User provided charset (through javax.tools).
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   124
     */
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   125
    protected Charset charset;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   126
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   127
    protected Options options;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   128
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   129
    protected String classLoaderClass;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   130
10818
e95eb04c68cc 7104039: refactor/cleanup javac Paths class
jjg
parents: 10813
diff changeset
   131
    protected Locations locations;
10813
95b39a692cd0 7101146: Paths should more directly managed by BaseFileManager
jjg
parents: 10461
diff changeset
   132
27379
5ae894733e09 8062579: JavacTask, DocumentationTask impls should close file manager when possible
jjg
parents: 27318
diff changeset
   133
    /**
5ae894733e09 8062579: JavacTask, DocumentationTask impls should close file manager when possible
jjg
parents: 27318
diff changeset
   134
     * A flag for clients to use to indicate that this file manager should
5ae894733e09 8062579: JavacTask, DocumentationTask impls should close file manager when possible
jjg
parents: 27318
diff changeset
   135
     * be closed when it is no longer required.
5ae894733e09 8062579: JavacTask, DocumentationTask impls should close file manager when possible
jjg
parents: 27318
diff changeset
   136
     */
5ae894733e09 8062579: JavacTask, DocumentationTask impls should close file manager when possible
jjg
parents: 27318
diff changeset
   137
    public boolean autoClose;
5ae894733e09 8062579: JavacTask, DocumentationTask impls should close file manager when possible
jjg
parents: 27318
diff changeset
   138
35807
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   139
    /**
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   140
     * Wait for a period of inactivity before calling close().
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   141
     * The length of the period of inactivity is given by {@code deferredCloseTimeout}
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   142
     */
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   143
    protected void deferredClose() {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   144
        Thread t = new Thread(getClass().getName() + " DeferredClose") {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   145
            @Override
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   146
            public void run() {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   147
                try {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   148
                    synchronized (BaseFileManager.this) {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   149
                        long now = System.currentTimeMillis();
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   150
                        while (now < lastUsedTime + deferredCloseTimeout) {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   151
                            BaseFileManager.this.wait(lastUsedTime + deferredCloseTimeout - now);
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   152
                            now = System.currentTimeMillis();
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   153
                        }
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   154
                        deferredCloseTimeout = 0;
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   155
                        close();
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   156
                    }
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   157
                } catch (InterruptedException e) {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   158
                } catch (IOException e) {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   159
                }
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   160
            }
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   161
        };
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   162
        t.setDaemon(true);
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   163
        t.start();
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   164
    }
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   165
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   166
    synchronized void updateLastUsedTime() {
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   167
        if (deferredCloseTimeout > 0) { // avoid updating the time unnecessarily
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   168
            lastUsedTime = System.currentTimeMillis();
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   169
        }
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   170
    }
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   171
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   172
    private long lastUsedTime = System.currentTimeMillis();
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   173
    protected long deferredCloseTimeout = 0;
2eb1d877da0f 8147801: java.nio.file.ClosedFileSystemException when using Javadoc API's in JDK9
jjg
parents: 29780
diff changeset
   174
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   175
    protected ClassLoader getClassLoader(URL[] urls) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   176
        ClassLoader thisClassLoader = getClass().getClassLoader();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   177
16796
53060909017b 7059170: Assume availablility of URLClassLoader.close
darcy
parents: 14801
diff changeset
   178
        // Allow the following to specify a closeable classloader
53060909017b 7059170: Assume availablility of URLClassLoader.close
darcy
parents: 14801
diff changeset
   179
        // other than URLClassLoader.
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   180
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   181
        // 1: Allow client to specify the class to use via hidden option
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   182
        if (classLoaderClass != null) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   183
            try {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   184
                Class<? extends ClassLoader> loader =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   185
                        Class.forName(classLoaderClass).asSubclass(ClassLoader.class);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   186
                Class<?>[] constrArgTypes = { URL[].class, ClassLoader.class };
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   187
                Constructor<? extends ClassLoader> constr = loader.getConstructor(constrArgTypes);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   188
                return ensureReadable(constr.newInstance(urls, thisClassLoader));
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   189
            } catch (ReflectiveOperationException t) {
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   190
                // ignore errors loading user-provided class loader, fall through
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   191
            }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   192
        }
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   193
        return ensureReadable(new URLClassLoader(urls, thisClassLoader));
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   194
    }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   195
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   196
    /**
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   197
     * Ensures that the unnamed module of the given classloader is readable to this
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   198
     * module.
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   199
     */
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   200
    private ClassLoader ensureReadable(ClassLoader targetLoader) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   201
        try {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   202
            Method getModuleMethod = Class.class.getMethod("getModule");
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   203
            Object thisModule = getModuleMethod.invoke(this.getClass());
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   204
            Method getUnnamedModuleMethod = ClassLoader.class.getMethod("getUnnamedModule");
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   205
            Object targetModule = getUnnamedModuleMethod.invoke(targetLoader);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   206
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   207
            Class<?> moduleClass = getModuleMethod.getReturnType();
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   208
            Method addReadsMethod = moduleClass.getMethod("addReads", moduleClass);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   209
            addReadsMethod.invoke(thisModule, targetModule);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   210
        } catch (NoSuchMethodException e) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   211
            // ignore
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   212
        } catch (Exception e) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   213
            throw new Abort(e);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   214
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   215
        return targetLoader;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   216
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   217
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   218
    public boolean isDefaultBootClassPath() {
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   219
        return locations.isDefaultBootClassPath();
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   220
    }
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   221
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   222
    // <editor-fold defaultstate="collapsed" desc="Option handling">
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
   223
    @Override @DefinedBy(Api.COMPILER)
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   224
    public boolean handleOption(String current, Iterator<String> remaining) {
11314
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   225
        OptionHelper helper = new GrumpyHelper(log) {
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   226
            @Override
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   227
            public String get(Option option) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   228
                return options.get(option);
11314
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   229
            }
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   230
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   231
            @Override
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   232
            public void put(String name, String value) {
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   233
                options.put(name, value);
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   234
            }
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   235
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   236
            @Override
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   237
            public void remove(String name) {
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   238
                options.remove(name);
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   239
            }
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   240
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   241
            @Override
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   242
            public boolean handleFileManagerOption(Option option, String value) {
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   243
                return handleOption(option, value);
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   244
            }
11314
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   245
        };
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   246
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   247
        Option o = Option.lookup(current, javacFileManagerOptions);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   248
        if (o == null) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   249
            return false;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   250
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   251
42260
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents: 41637
diff changeset
   252
        try {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents: 41637
diff changeset
   253
            o.handleOption(helper, current, remaining);
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents: 41637
diff changeset
   254
        } catch (Option.InvalidValueException e) {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents: 41637
diff changeset
   255
            throw new IllegalArgumentException(e.getMessage(), e);
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents: 41637
diff changeset
   256
        }
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   257
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   258
        return true;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   259
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   260
    // where
14801
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 11314
diff changeset
   261
        private static final Set<Option> javacFileManagerOptions =
11314
b612aaca08d0 7120736: refactor javac option handling
jjg
parents: 11053
diff changeset
   262
            Option.getJavacFileManagerOptions();
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   263
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
   264
    @Override @DefinedBy(Api.COMPILER)
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   265
    public int isSupportedOption(String option) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   266
        Option o = Option.lookup(option, javacFileManagerOptions);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   267
        return (o == null) ? -1 : o.hasArg() ? 1 : 0;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   268
    }
7335
8b390fd27190 6900037: javac should warn if earlier -source is used and bootclasspath not set
jjg
parents: 5520
diff changeset
   269
37394
c36230ee15d9 8149757: Implement Multi-Release JAR aware JavacFileManager for javac
jjg
parents: 36526
diff changeset
   270
    protected String multiReleaseValue;
c36230ee15d9 8149757: Implement Multi-Release JAR aware JavacFileManager for javac
jjg
parents: 36526
diff changeset
   271
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   272
    /**
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   273
     * Common back end for OptionHelper handleFileManagerOption.
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   274
     * @param option the option whose value to be set
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   275
     * @param value the value for the option
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   276
     * @return true if successful, and false otherwise
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   277
     */
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   278
    public boolean handleOption(Option option, String value) {
36155
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   279
        switch (option) {
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   280
            case ENCODING:
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   281
                encodingName = value;
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   282
                return true;
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   283
37394
c36230ee15d9 8149757: Implement Multi-Release JAR aware JavacFileManager for javac
jjg
parents: 36526
diff changeset
   284
            case MULTIRELEASE:
c36230ee15d9 8149757: Implement Multi-Release JAR aware JavacFileManager for javac
jjg
parents: 36526
diff changeset
   285
                multiReleaseValue = value;
41155
93dad90c22c1 8156568: Update javac to support compiling against a modular JAR that is a multi-release JAR
sadayapalam
parents: 40308
diff changeset
   286
                locations.setMultiReleaseValue(value);
37394
c36230ee15d9 8149757: Implement Multi-Release JAR aware JavacFileManager for javac
jjg
parents: 36526
diff changeset
   287
                return true;
c36230ee15d9 8149757: Implement Multi-Release JAR aware JavacFileManager for javac
jjg
parents: 36526
diff changeset
   288
36155
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   289
            default:
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   290
                return locations.handleOption(option, value);
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   291
        }
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   292
    }
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   293
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   294
    /**
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   295
     * Call handleOption for collection of options and corresponding values.
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   296
     * @param map a collection of options and corresponding values
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   297
     * @return true if all the calls are successful
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   298
     */
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   299
    public boolean handleOptions(Map<Option, String> map) {
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   300
        boolean ok = true;
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   301
        for (Map.Entry<Option, String> e: map.entrySet()) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   302
            try {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   303
                ok = ok & handleOption(e.getKey(), e.getValue());
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   304
            } catch (IllegalArgumentException ex) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 39362
diff changeset
   305
                log.error(Errors.IllegalArgumentForOption(e.getKey().getPrimaryName(), ex.getMessage()));
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   306
                ok = false;
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   307
            }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36155
diff changeset
   308
        }
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   309
        return ok;
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   310
    }
7335
8b390fd27190 6900037: javac should warn if earlier -source is used and bootclasspath not set
jjg
parents: 5520
diff changeset
   311
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   312
    // </editor-fold>
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   313
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   314
    // <editor-fold defaultstate="collapsed" desc="Encoding">
36155
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   315
    private String encodingName;
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   316
    private String defaultEncodingName;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   317
    private String getDefaultEncodingName() {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   318
        if (defaultEncodingName == null) {
39362
5ac5af2acb57 8132857: Historical name of default encoding shown on encoding mismatch
jlahoda
parents: 38511
diff changeset
   319
            defaultEncodingName = Charset.defaultCharset().name();
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   320
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   321
        return defaultEncodingName;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   322
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   323
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   324
    public String getEncodingName() {
36155
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 35807
diff changeset
   325
        return (encodingName != null) ? encodingName : getDefaultEncodingName();
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   326
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   327
27318
4660a5da7d90 8062376: Suppress cast warnings when using NIO buffers
rwarburton
parents: 26266
diff changeset
   328
    @SuppressWarnings("cast")
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   329
    public CharBuffer decode(ByteBuffer inbuf, boolean ignoreEncodingErrors) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   330
        String encodingName = getEncodingName();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   331
        CharsetDecoder decoder;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   332
        try {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   333
            decoder = getDecoder(encodingName, ignoreEncodingErrors);
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   334
        } catch (IllegalCharsetNameException | UnsupportedCharsetException e) {
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   335
            log.error("unsupported.encoding", encodingName);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   336
            return (CharBuffer)CharBuffer.allocate(1).flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   337
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   338
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   339
        // slightly overestimate the buffer size to avoid reallocation.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   340
        float factor =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   341
            decoder.averageCharsPerByte() * 0.8f +
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   342
            decoder.maxCharsPerByte() * 0.2f;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   343
        CharBuffer dest = CharBuffer.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   344
            allocate(10 + (int)(inbuf.remaining()*factor));
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   345
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   346
        while (true) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   347
            CoderResult result = decoder.decode(inbuf, dest, true);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   348
            dest.flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   349
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   350
            if (result.isUnderflow()) { // done reading
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   351
                // make sure there is at least one extra character
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   352
                if (dest.limit() == dest.capacity()) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   353
                    dest = CharBuffer.allocate(dest.capacity()+1).put(dest);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   354
                    dest.flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   355
                }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   356
                return dest;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   357
            } else if (result.isOverflow()) { // buffer too small; expand
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   358
                int newCapacity =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   359
                    10 + dest.capacity() +
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   360
                    (int)(inbuf.remaining()*decoder.maxCharsPerByte());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   361
                dest = CharBuffer.allocate(newCapacity).put(dest);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   362
            } else if (result.isMalformed() || result.isUnmappable()) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   363
                // bad character in input
38511
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   364
                StringBuilder unmappable = new StringBuilder();
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   365
                int len = result.length();
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   366
38511
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   367
                for (int i = 0; i < len; i++) {
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   368
                    unmappable.append(String.format("%02X", inbuf.get()));
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   369
                }
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   370
38511
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   371
                String charsetName = charset == null ? encodingName : charset.name();
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   372
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   373
                log.error(dest.limit(),
d934635453ad 8078559: Update error message to indicate illegal character when encoding set to ascii
jlahoda
parents: 37394
diff changeset
   374
                          Errors.IllegalCharForEncoding(unmappable.toString(), charsetName));
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   375
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   376
                // undo the flip() to prepare the output buffer
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   377
                // for more translation
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   378
                dest.position(dest.limit());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   379
                dest.limit(dest.capacity());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   380
                dest.put((char)0xfffd); // backward compatible
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   381
            } else {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   382
                throw new AssertionError(result);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   383
            }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   384
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   385
        // unreached
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   386
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   387
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   388
    public CharsetDecoder getDecoder(String encodingName, boolean ignoreEncodingErrors) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   389
        Charset cs = (this.charset == null)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   390
            ? Charset.forName(encodingName)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   391
            : this.charset;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   392
        CharsetDecoder decoder = cs.newDecoder();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   393
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   394
        CodingErrorAction action;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   395
        if (ignoreEncodingErrors)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   396
            action = CodingErrorAction.REPLACE;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   397
        else
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   398
            action = CodingErrorAction.REPORT;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   399
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   400
        return decoder
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   401
            .onMalformedInput(action)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   402
            .onUnmappableCharacter(action);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   403
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   404
    // </editor-fold>
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   405
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   406
    // <editor-fold defaultstate="collapsed" desc="ByteBuffers">
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   407
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   408
     * Make a byte buffer from an input stream.
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   409
     * @param in the stream
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   410
     * @return a byte buffer containing the contents of the stream
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   411
     * @throws IOException if an error occurred while reading the stream
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   412
     */
27318
4660a5da7d90 8062376: Suppress cast warnings when using NIO buffers
rwarburton
parents: 26266
diff changeset
   413
    @SuppressWarnings("cast")
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   414
    public ByteBuffer makeByteBuffer(InputStream in)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   415
        throws IOException {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   416
        int limit = in.available();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   417
        if (limit < 1024) limit = 1024;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   418
        ByteBuffer result = byteBufferCache.get(limit);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   419
        int position = 0;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   420
        while (in.available() != 0) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   421
            if (position >= limit)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   422
                // expand buffer
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   423
                result = ByteBuffer.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   424
                    allocate(limit <<= 1).
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   425
                    put((ByteBuffer)result.flip());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   426
            int count = in.read(result.array(),
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   427
                position,
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   428
                limit - position);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   429
            if (count < 0) break;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   430
            result.position(position += count);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   431
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   432
        return (ByteBuffer)result.flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   433
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   434
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   435
    public void recycleByteBuffer(ByteBuffer bb) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   436
        byteBufferCache.put(bb);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   437
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   438
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   439
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   440
     * A single-element cache of direct byte buffers.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   441
     */
27318
4660a5da7d90 8062376: Suppress cast warnings when using NIO buffers
rwarburton
parents: 26266
diff changeset
   442
    @SuppressWarnings("cast")
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   443
    private static class ByteBufferCache {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   444
        private ByteBuffer cached;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   445
        ByteBuffer get(int capacity) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   446
            if (capacity < 20480) capacity = 20480;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   447
            ByteBuffer result =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   448
                (cached != null && cached.capacity() >= capacity)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   449
                ? (ByteBuffer)cached.clear()
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   450
                : ByteBuffer.allocate(capacity + capacity>>1);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   451
            cached = null;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   452
            return result;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   453
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   454
        void put(ByteBuffer x) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   455
            cached = x;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   456
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   457
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   458
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   459
    private final ByteBufferCache byteBufferCache;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   460
    // </editor-fold>
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   461
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   462
    // <editor-fold defaultstate="collapsed" desc="Content cache">
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   463
    public CharBuffer getCachedContent(JavaFileObject file) {
10461
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   464
        ContentCacheEntry e = contentCache.get(file);
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   465
        if (e == null)
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   466
            return null;
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   467
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   468
        if (!e.isValid(file)) {
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   469
            contentCache.remove(file);
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   470
            return null;
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   471
        }
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   472
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   473
        return e.getValue();
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   474
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   475
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   476
    public void cache(JavaFileObject file, CharBuffer cb) {
10461
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   477
        contentCache.put(file, new ContentCacheEntry(file, cb));
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   478
    }
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   479
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   480
    public void flushCache(JavaFileObject file) {
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   481
        contentCache.remove(file);
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   482
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   483
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 16796
diff changeset
   484
    protected final Map<JavaFileObject, ContentCacheEntry> contentCache = new HashMap<>();
10461
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   485
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   486
    protected static class ContentCacheEntry {
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   487
        final long timestamp;
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   488
        final SoftReference<CharBuffer> ref;
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   489
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   490
        ContentCacheEntry(JavaFileObject file, CharBuffer cb) {
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   491
            this.timestamp = file.getLastModified();
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 16796
diff changeset
   492
            this.ref = new SoftReference<>(cb);
10461
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   493
        }
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   494
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   495
        boolean isValid(JavaFileObject file) {
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   496
            return timestamp == file.getLastModified();
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   497
        }
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   498
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   499
        CharBuffer getValue() {
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   500
            return ref.get();
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   501
        }
998e642f9811 7068451: Regression: javac compiles fixed sources against previous, not current, version of generated sources
jjg
parents: 7681
diff changeset
   502
    }
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   503
    // </editor-fold>
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   504
27579
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 27379
diff changeset
   505
    public static Kind getKind(Path path) {
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 27379
diff changeset
   506
        return getKind(path.getFileName().toString());
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 27379
diff changeset
   507
    }
d1a63c99cdd5 8049367: Modular Run-Time Images
chegar
parents: 27379
diff changeset
   508
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   509
    public static Kind getKind(String name) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   510
        if (name.endsWith(Kind.CLASS.extension))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   511
            return Kind.CLASS;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   512
        else if (name.endsWith(Kind.SOURCE.extension))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   513
            return Kind.SOURCE;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   514
        else if (name.endsWith(Kind.HTML.extension))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   515
            return Kind.HTML;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   516
        else
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   517
            return Kind.OTHER;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   518
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   519
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   520
    protected static <T> T nullCheck(T o) {
29291
076c277565f7 8073550: java* tools: replace obj.getClass hacks with Assert.checkNonNull or Objects.requireNonNull
mcimadamore
parents: 27579
diff changeset
   521
        return Objects.requireNonNull(o);
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   522
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   523
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   524
    protected static <T> Collection<T> nullCheck(Collection<T> it) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   525
        for (T t : it)
29291
076c277565f7 8073550: java* tools: replace obj.getClass hacks with Assert.checkNonNull or Objects.requireNonNull
mcimadamore
parents: 27579
diff changeset
   526
            Objects.requireNonNull(t);
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   527
        return it;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   528
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   529
}