langtools/src/share/classes/com/sun/tools/javac/util/BaseFileManager.java
author ohair
Tue, 28 Dec 2010 15:54:52 -0800
changeset 7681 1f0819a3341f
parent 7335 8b390fd27190
child 10461 998e642f9811
permissions -rw-r--r--
6962318: Update copyright year Reviewed-by: xdono
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
     1
/*
7681
1f0819a3341f 6962318: Update copyright year
ohair
parents: 7335
diff changeset
     2
 * Copyright (c) 2009, 2010, 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
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    26
package com.sun.tools.javac.util;
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 com.sun.tools.javac.code.Source;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    29
import com.sun.tools.javac.main.JavacOption;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    30
import com.sun.tools.javac.main.OptionName;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    31
import com.sun.tools.javac.main.RecognizedOptions;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    32
import com.sun.tools.javac.util.JCDiagnostic.SimpleDiagnosticPosition;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    33
import java.io.ByteArrayOutputStream;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    34
import java.io.Closeable;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    35
import java.io.IOException;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    36
import java.io.InputStream;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    37
import java.io.OutputStreamWriter;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    38
import java.lang.ref.SoftReference;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    39
import java.lang.reflect.Constructor;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    40
import java.net.URL;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    41
import java.net.URLClassLoader;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    42
import java.nio.ByteBuffer;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    43
import java.nio.CharBuffer;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    44
import java.nio.charset.Charset;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    45
import java.nio.charset.CharsetDecoder;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    46
import java.nio.charset.CoderResult;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    47
import java.nio.charset.CodingErrorAction;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    48
import java.nio.charset.IllegalCharsetNameException;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    49
import java.nio.charset.UnsupportedCharsetException;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    50
import java.util.Collection;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    51
import java.util.HashMap;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    52
import java.util.Iterator;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    53
import java.util.Map;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    54
import javax.tools.JavaFileObject;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    55
import javax.tools.JavaFileObject.Kind;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    56
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    57
/**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    58
 * Utility methods for building a filemanager.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    59
 * There are no references here to file-system specific objects such as
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    60
 * java.io.File or java.nio.file.Path.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    61
 */
7335
8b390fd27190 6900037: javac should warn if earlier -source is used and bootclasspath not set
jjg
parents: 5520
diff changeset
    62
public abstract class BaseFileManager {
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    63
    protected BaseFileManager(Charset charset) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    64
        this.charset = charset;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    65
        byteBufferCache = new ByteBufferCache();
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
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    68
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    69
     * Set the context for JavacPathFileManager.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    70
     */
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    71
    protected void setContext(Context context) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    72
        log = Log.instance(context);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    73
        options = Options.instance(context);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    74
        classLoaderClass = options.get("procloader");
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    75
    }
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
     * The log to be used for error reporting.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    79
     */
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    80
    public Log log;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    81
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    82
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    83
     * User provided charset (through javax.tools).
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    84
     */
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    85
    protected Charset charset;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    86
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    87
    protected Options options;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    88
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    89
    protected String classLoaderClass;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    90
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    91
    protected Source getSource() {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    92
        String sourceName = options.get(OptionName.SOURCE);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    93
        Source source = null;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    94
        if (sourceName != null)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    95
            source = Source.lookup(sourceName);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    96
        return (source != null ? source : Source.DEFAULT);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    97
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    98
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
    99
    protected ClassLoader getClassLoader(URL[] urls) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   100
        ClassLoader thisClassLoader = getClass().getClassLoader();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   101
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   102
        // Bug: 6558476
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   103
        // Ideally, ClassLoader should be Closeable, but before JDK7 it is not.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   104
        // On older versions, try the following, to get a closeable classloader.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   105
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   106
        // 1: Allow client to specify the class to use via hidden option
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   107
        if (classLoaderClass != null) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   108
            try {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   109
                Class<? extends ClassLoader> loader =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   110
                        Class.forName(classLoaderClass).asSubclass(ClassLoader.class);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   111
                Class<?>[] constrArgTypes = { URL[].class, ClassLoader.class };
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   112
                Constructor<? extends ClassLoader> constr = loader.getConstructor(constrArgTypes);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   113
                return constr.newInstance(new Object[] { urls, thisClassLoader });
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   114
            } catch (Throwable t) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   115
                // ignore errors loading user-provided class loader, fall through
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
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   119
        // 2: If URLClassLoader implements Closeable, use that.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   120
        if (Closeable.class.isAssignableFrom(URLClassLoader.class))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   121
            return new URLClassLoader(urls, thisClassLoader);
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
        // 3: Try using private reflection-based CloseableURLClassLoader
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   124
        try {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   125
            return new CloseableURLClassLoader(urls, thisClassLoader);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   126
        } catch (Throwable t) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   127
            // ignore errors loading workaround class loader, fall through
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
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   130
        // 4: If all else fails, use plain old standard URLClassLoader
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   131
        return new URLClassLoader(urls, thisClassLoader);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   132
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   133
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   134
    // <editor-fold defaultstate="collapsed" desc="Option handling">
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   135
    public boolean handleOption(String current, Iterator<String> remaining) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   136
        for (JavacOption o: javacFileManagerOptions) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   137
            if (o.matches(current))  {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   138
                if (o.hasArg()) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   139
                    if (remaining.hasNext()) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   140
                        if (!o.process(options, current, remaining.next()))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   141
                            return true;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   142
                    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   143
                } else {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   144
                    if (!o.process(options, current))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   145
                        return true;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   146
                }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   147
                // operand missing, or process returned false
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   148
                throw new IllegalArgumentException(current);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   149
            }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   150
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   151
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   152
        return false;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   153
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   154
    // where
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   155
        private static JavacOption[] javacFileManagerOptions =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   156
            RecognizedOptions.getJavacFileManagerOptions(
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   157
            new RecognizedOptions.GrumpyHelper());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   158
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   159
    public int isSupportedOption(String option) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   160
        for (JavacOption o : javacFileManagerOptions) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   161
            if (o.matches(option))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   162
                return o.hasArg() ? 1 : 0;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   163
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   164
        return -1;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   165
    }
7335
8b390fd27190 6900037: javac should warn if earlier -source is used and bootclasspath not set
jjg
parents: 5520
diff changeset
   166
8b390fd27190 6900037: javac should warn if earlier -source is used and bootclasspath not set
jjg
parents: 5520
diff changeset
   167
    public abstract boolean isDefaultBootClassPath();
8b390fd27190 6900037: javac should warn if earlier -source is used and bootclasspath not set
jjg
parents: 5520
diff changeset
   168
4548
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   169
    // </editor-fold>
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   170
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   171
    // <editor-fold defaultstate="collapsed" desc="Encoding">
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   172
    private String defaultEncodingName;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   173
    private String getDefaultEncodingName() {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   174
        if (defaultEncodingName == null) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   175
            defaultEncodingName =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   176
                new OutputStreamWriter(new ByteArrayOutputStream()).getEncoding();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   177
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   178
        return defaultEncodingName;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   179
    }
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
    public String getEncodingName() {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   182
        String encName = options.get(OptionName.ENCODING);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   183
        if (encName == null)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   184
            return getDefaultEncodingName();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   185
        else
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   186
            return encName;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   187
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   188
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   189
    public CharBuffer decode(ByteBuffer inbuf, boolean ignoreEncodingErrors) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   190
        String encodingName = getEncodingName();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   191
        CharsetDecoder decoder;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   192
        try {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   193
            decoder = getDecoder(encodingName, ignoreEncodingErrors);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   194
        } catch (IllegalCharsetNameException e) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   195
            log.error("unsupported.encoding", encodingName);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   196
            return (CharBuffer)CharBuffer.allocate(1).flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   197
        } catch (UnsupportedCharsetException e) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   198
            log.error("unsupported.encoding", encodingName);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   199
            return (CharBuffer)CharBuffer.allocate(1).flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   200
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   201
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   202
        // slightly overestimate the buffer size to avoid reallocation.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   203
        float factor =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   204
            decoder.averageCharsPerByte() * 0.8f +
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   205
            decoder.maxCharsPerByte() * 0.2f;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   206
        CharBuffer dest = CharBuffer.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   207
            allocate(10 + (int)(inbuf.remaining()*factor));
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   208
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   209
        while (true) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   210
            CoderResult result = decoder.decode(inbuf, dest, true);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   211
            dest.flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   212
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   213
            if (result.isUnderflow()) { // done reading
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   214
                // make sure there is at least one extra character
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   215
                if (dest.limit() == dest.capacity()) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   216
                    dest = CharBuffer.allocate(dest.capacity()+1).put(dest);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   217
                    dest.flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   218
                }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   219
                return dest;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   220
            } else if (result.isOverflow()) { // buffer too small; expand
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   221
                int newCapacity =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   222
                    10 + dest.capacity() +
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   223
                    (int)(inbuf.remaining()*decoder.maxCharsPerByte());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   224
                dest = CharBuffer.allocate(newCapacity).put(dest);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   225
            } else if (result.isMalformed() || result.isUnmappable()) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   226
                // bad character in input
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   227
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   228
                // report coding error (warn only pre 1.5)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   229
                if (!getSource().allowEncodingErrors()) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   230
                    log.error(new SimpleDiagnosticPosition(dest.limit()),
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   231
                              "illegal.char.for.encoding",
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   232
                              charset == null ? encodingName : charset.name());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   233
                } else {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   234
                    log.warning(new SimpleDiagnosticPosition(dest.limit()),
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   235
                                "illegal.char.for.encoding",
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   236
                                charset == null ? encodingName : charset.name());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   237
                }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   238
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   239
                // skip past the coding error
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   240
                inbuf.position(inbuf.position() + result.length());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   241
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   242
                // undo the flip() to prepare the output buffer
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   243
                // for more translation
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   244
                dest.position(dest.limit());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   245
                dest.limit(dest.capacity());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   246
                dest.put((char)0xfffd); // backward compatible
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   247
            } else {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   248
                throw new AssertionError(result);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   249
            }
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
        // unreached
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   252
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   253
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   254
    public CharsetDecoder getDecoder(String encodingName, boolean ignoreEncodingErrors) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   255
        Charset cs = (this.charset == null)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   256
            ? Charset.forName(encodingName)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   257
            : this.charset;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   258
        CharsetDecoder decoder = cs.newDecoder();
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
        CodingErrorAction action;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   261
        if (ignoreEncodingErrors)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   262
            action = CodingErrorAction.REPLACE;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   263
        else
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   264
            action = CodingErrorAction.REPORT;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   265
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   266
        return decoder
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   267
            .onMalformedInput(action)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   268
            .onUnmappableCharacter(action);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   269
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   270
    // </editor-fold>
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   271
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   272
    // <editor-fold defaultstate="collapsed" desc="ByteBuffers">
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   273
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   274
     * Make a byte buffer from an input stream.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   275
     */
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   276
    public ByteBuffer makeByteBuffer(InputStream in)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   277
        throws IOException {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   278
        int limit = in.available();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   279
        if (limit < 1024) limit = 1024;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   280
        ByteBuffer result = byteBufferCache.get(limit);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   281
        int position = 0;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   282
        while (in.available() != 0) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   283
            if (position >= limit)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   284
                // expand buffer
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   285
                result = ByteBuffer.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   286
                    allocate(limit <<= 1).
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   287
                    put((ByteBuffer)result.flip());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   288
            int count = in.read(result.array(),
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   289
                position,
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   290
                limit - position);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   291
            if (count < 0) break;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   292
            result.position(position += count);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   293
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   294
        return (ByteBuffer)result.flip();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   295
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   296
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   297
    public void recycleByteBuffer(ByteBuffer bb) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   298
        byteBufferCache.put(bb);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   299
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   300
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   301
    /**
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   302
     * A single-element cache of direct byte buffers.
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   303
     */
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   304
    private static class ByteBufferCache {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   305
        private ByteBuffer cached;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   306
        ByteBuffer get(int capacity) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   307
            if (capacity < 20480) capacity = 20480;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   308
            ByteBuffer result =
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   309
                (cached != null && cached.capacity() >= capacity)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   310
                ? (ByteBuffer)cached.clear()
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   311
                : ByteBuffer.allocate(capacity + capacity>>1);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   312
            cached = null;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   313
            return result;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   314
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   315
        void put(ByteBuffer x) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   316
            cached = x;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   317
        }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   318
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   319
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   320
    private final ByteBufferCache byteBufferCache;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   321
    // </editor-fold>
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
    // <editor-fold defaultstate="collapsed" desc="Content cache">
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   324
    public CharBuffer getCachedContent(JavaFileObject file) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   325
        SoftReference<CharBuffer> r = contentCache.get(file);
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   326
        return (r == null ? null : r.get());
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   327
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   328
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   329
    public void cache(JavaFileObject file, CharBuffer cb) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   330
        contentCache.put(file, new SoftReference<CharBuffer>(cb));
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   331
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   332
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   333
    protected final Map<JavaFileObject, SoftReference<CharBuffer>> contentCache
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   334
            = new HashMap<JavaFileObject, SoftReference<CharBuffer>>();
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   335
    // </editor-fold>
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   336
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   337
    public static Kind getKind(String name) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   338
        if (name.endsWith(Kind.CLASS.extension))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   339
            return Kind.CLASS;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   340
        else if (name.endsWith(Kind.SOURCE.extension))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   341
            return Kind.SOURCE;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   342
        else if (name.endsWith(Kind.HTML.extension))
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   343
            return Kind.HTML;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   344
        else
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   345
            return Kind.OTHER;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   346
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   347
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   348
    protected static <T> T nullCheck(T o) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   349
        o.getClass(); // null check
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   350
        return o;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   351
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   352
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   353
    protected static <T> Collection<T> nullCheck(Collection<T> it) {
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   354
        for (T t : it)
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   355
            t.getClass(); // null check
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   356
        return it;
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   357
    }
bc0d5b3c3b2d 6906175: bridge JSR199 and JSR 203 APIs
jjg
parents:
diff changeset
   358
}