langtools/src/share/classes/com/sun/tools/javac/main/OptionHelper.java
author mcimadamore
Wed, 06 Feb 2013 14:03:39 +0000
changeset 15705 c4124695db0c
parent 11315 ee0b12cdcb8e
child 24897 655b72d7b96e
permissions -rw-r--r--
8007463: Cleanup inference related classes Summary: Make Infer.InferenceContext an inner class; adjust bound replacement logic in Type.UndetVar Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     1
/*
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     2
 * Copyright (c) 2006, 2011, Oracle and/or its affiliates. All rights reserved.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     4
 *
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    10
 *
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    15
 * accompanied this code).
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    16
 *
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    20
 *
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    23
 * questions.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    24
 */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    25
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    26
package com.sun.tools.javac.main;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    27
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    28
import com.sun.tools.javac.util.Log;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    29
import com.sun.tools.javac.util.Log.PrefixKind;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    30
import java.io.File;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    31
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    32
/**
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    33
 * Helper object to be used by {@link Option#process}, providing access to
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    34
 * the compilation environment.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    35
 *
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    36
 * <p><b>This is NOT part of any supported API.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    37
 * If you write code that depends on this, you do so at your own
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    38
 * risk.  This code and its internal interfaces are subject to change
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    39
 * or deletion without notice.</b></p>
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    40
 */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    41
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    42
public abstract class OptionHelper {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    43
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    44
    /** Get the current value of an option. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    45
    public abstract String get(Option option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    46
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    47
    /** Set the value of an option. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    48
    public abstract void put(String name, String value);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    49
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    50
    /** Remove any prior value for an option. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    51
    public abstract void remove(String name);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    52
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    53
    /** Get access to the Log for the compilation. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    54
    public abstract Log getLog();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    55
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    56
    /** Get the name of the tool, such as "javac", to be used in info like -help. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    57
    public abstract String getOwnName();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    58
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    59
    /** Report an error. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    60
    abstract void error(String key, Object... args);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    61
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    62
    /** Record a file to be compiled. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    63
    abstract void addFile(File f);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    64
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    65
    /** Record the name of a class for annotation processing. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    66
    abstract void addClassName(String s);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    67
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    68
    /** An implementation of OptionHelper that mostly throws exceptions. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    69
    public static class GrumpyHelper extends OptionHelper {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    70
        private final Log log;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    71
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    72
        public GrumpyHelper(Log log) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    73
            this.log = log;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    74
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    75
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    76
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    77
        public Log getLog() {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    78
            return log;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    79
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    80
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    81
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    82
        public String getOwnName() {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    83
            throw new IllegalStateException();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    84
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    85
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    86
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    87
        public String get(Option option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    88
            throw new IllegalArgumentException();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    89
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    90
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    91
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    92
        public void put(String name, String value) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    93
            throw new IllegalArgumentException();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    94
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    95
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    96
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    97
        public void remove(String name) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    98
            throw new IllegalArgumentException();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    99
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   100
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   101
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   102
        void error(String key, Object... args) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   103
            throw new IllegalArgumentException(log.localize(PrefixKind.JAVAC, key, args));
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   104
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   105
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   106
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   107
        public void addFile(File f) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   108
            throw new IllegalArgumentException(f.getPath());
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   109
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   110
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   111
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   112
        public void addClassName(String s) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   113
            throw new IllegalArgumentException(s);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   114
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   115
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   116
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   117
}