langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/main/Option.java
author jjg
Wed, 10 Aug 2016 15:47:46 -0700
changeset 40308 274367a99f98
parent 40232 4995ab1a4558
child 40762 f8883aa0053c
permissions -rw-r--r--
8136930: Simplify use of module-system options by custom launchers 8160489: Multiple -Xpatch lines ignored by javac 8156998: javac should support new option -XinheritRuntimeEnvironment Reviewed-by: jlahoda, ksrini
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
     1
/*
36153
ed5063b304be 8149600: javac, remove unused options, step 2
vromero
parents: 31506
diff changeset
     2
 * Copyright (c) 2006, 2016, Oracle and/or its affiliates. All rights reserved.
11315
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
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    28
import java.io.FileWriter;
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    29
import java.io.PrintWriter;
36157
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
    30
import java.nio.file.Files;
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
    31
import java.nio.file.Path;
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
    32
import java.nio.file.Paths;
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    33
import java.text.Collator;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    34
import java.util.Arrays;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    35
import java.util.Collections;
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    36
import java.util.Comparator;
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    37
import java.util.EnumSet;
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    38
import java.util.Iterator;
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    39
import java.util.LinkedHashMap;
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    40
import java.util.Locale;
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    41
import java.util.Map;
31506
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
    42
import java.util.ServiceLoader;
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    43
import java.util.Set;
31506
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
    44
import java.util.TreeSet;
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
    45
import java.util.stream.Collectors;
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
    46
import java.util.stream.StreamSupport;
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    47
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    48
import javax.lang.model.SourceVersion;
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    49
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    50
import com.sun.tools.doclint.DocLint;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    51
import com.sun.tools.javac.code.Lint;
23114
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
    52
import com.sun.tools.javac.code.Lint.LintCategory;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    53
import com.sun.tools.javac.code.Source;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    54
import com.sun.tools.javac.code.Type;
15724
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
    55
import com.sun.tools.javac.jvm.Profile;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    56
import com.sun.tools.javac.jvm.Target;
31506
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
    57
import com.sun.tools.javac.platform.PlatformProvider;
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    58
import com.sun.tools.javac.processing.JavacProcessingEnvironment;
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    59
import com.sun.tools.javac.resources.CompilerProperties.Errors;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    60
import com.sun.tools.javac.util.Assert;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    61
import com.sun.tools.javac.util.JDK9Wrappers;
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    62
import com.sun.tools.javac.util.Log;
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    63
import com.sun.tools.javac.util.Log.PrefixKind;
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    64
import com.sun.tools.javac.util.Log.WriterKind;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    65
import com.sun.tools.javac.util.Options;
22153
f9f06fcca59d 8029800: Flags.java uses String.toLowerCase without specifying Locale
jlahoda
parents: 19670
diff changeset
    66
import com.sun.tools.javac.util.StringUtils;
31506
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
    67
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    68
import static com.sun.tools.javac.main.Option.ChoiceKind.*;
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
    69
import static com.sun.tools.javac.main.Option.OptionGroup.*;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    70
import static com.sun.tools.javac.main.Option.OptionKind.*;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    71
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    72
/**
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    73
 * Options for javac.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    74
 * The specific Option to handle a command-line option can be found by calling
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    75
 * {@link #lookup}, which search some or all of the members of this enum in order,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    76
 * looking for the first {@link #matches match}.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    77
 * The action for an Option is performed {@link #handleOption}, which determines
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    78
 * whether an argument is needed and where to find it;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
    79
 * {@code handleOption} then calls {@link #process process} providing a suitable
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    80
 * {@link OptionHelper} to provide access the compiler state.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    81
 *
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    82
 * <p><b>This is NOT part of any supported API.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    83
 * If you write code that depends on this, you do so at your own
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    84
 * risk.  This code and its internal interfaces are subject to change
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    85
 * or deletion without notice.</b></p>
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    86
 */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    87
public enum Option {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    88
    G("-g", "opt.g", STANDARD, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    89
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    90
    G_NONE("-g:none", "opt.g.none", STANDARD, BASIC) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    91
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    92
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    93
            helper.put("-g:", "none");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    94
            return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    95
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    96
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    97
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    98
    G_CUSTOM("-g:",  "opt.g.lines.vars.source",
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
    99
            STANDARD, BASIC, ANYOF, "lines", "vars", "source"),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   100
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   101
    XLINT("-Xlint", "opt.Xlint", EXTENDED, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   102
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   103
    XLINT_CUSTOM("-Xlint:", "opt.arg.Xlint", "opt.Xlint.custom", EXTENDED, BASIC, ANYOF, getXLintChoices()) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   104
        private final String LINT_KEY_FORMAT = LARGE_INDENT + "  %-" +
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   105
                (DEFAULT_SYNOPSIS_WIDTH + SMALL_INDENT.length() - LARGE_INDENT.length() - 2) + "s %s";
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 24298
diff changeset
   106
        @Override
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   107
        protected void help(Log log) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   108
            super.help(log);
40232
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   109
            log.printRawLines(WriterKind.STDOUT,
23114
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   110
                              String.format(LINT_KEY_FORMAT,
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   111
                                            "all",
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   112
                                            log.localize(PrefixKind.JAVAC, "opt.Xlint.all")));
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   113
            for (LintCategory lc : LintCategory.values()) {
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   114
                if (lc.hidden) continue;
40232
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   115
                log.printRawLines(WriterKind.STDOUT,
23114
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   116
                                  String.format(LINT_KEY_FORMAT,
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   117
                                                lc.option,
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   118
                                                log.localize(PrefixKind.JAVAC,
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   119
                                                             "opt.Xlint.desc." + lc.option)));
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   120
            }
40232
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   121
            log.printRawLines(WriterKind.STDOUT,
23114
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   122
                              String.format(LINT_KEY_FORMAT,
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   123
                                            "none",
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   124
                                            log.localize(PrefixKind.JAVAC, "opt.Xlint.none")));
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   125
        }
7fe55d6324d5 8033961: Formatting of -Xlint: command line help
jlahoda
parents: 22163
diff changeset
   126
    },
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   127
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   128
    XDOCLINT("-Xdoclint", "opt.Xdoclint", EXTENDED, BASIC),
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   129
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   130
    XDOCLINT_CUSTOM("-Xdoclint:", "opt.Xdoclint.subopts", "opt.Xdoclint.custom", EXTENDED, BASIC) {
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   131
        @Override
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   132
        public boolean matches(String option) {
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   133
            return DocLint.isValidOption(
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   134
                    option.replace(XDOCLINT_CUSTOM.primaryName, DocLint.XMSGS_CUSTOM_PREFIX));
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   135
        }
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   136
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   137
        @Override
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   138
        public boolean process(OptionHelper helper, String option) {
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   139
            String prev = helper.get(XDOCLINT_CUSTOM);
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   140
            String next = (prev == null) ? option : (prev + " " + option);
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   141
            helper.put(XDOCLINT_CUSTOM.primaryName, next);
14960
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   142
            return false;
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   143
        }
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   144
    },
ea7606a9683e 8004833: Integrate doclint support into javac
jjg
parents: 14801
diff changeset
   145
29427
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   146
    XDOCLINT_PACKAGE("-Xdoclint/package:", "opt.Xdoclint.package.args", "opt.Xdoclint.package.desc", EXTENDED, BASIC) {
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   147
        @Override
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   148
        public boolean matches(String option) {
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   149
            return DocLint.isValidOption(
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   150
                    option.replace(XDOCLINT_PACKAGE.primaryName, DocLint.XCHECK_PACKAGE));
29427
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   151
        }
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   152
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   153
        @Override
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   154
        public boolean process(OptionHelper helper, String option) {
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   155
            String prev = helper.get(XDOCLINT_PACKAGE);
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   156
            String next = (prev == null) ? option : (prev + " " + option);
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   157
            helper.put(XDOCLINT_PACKAGE.primaryName, next);
29427
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   158
            return false;
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   159
        }
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   160
    },
44f4e6905b67 8071851: Provide filtering of doclint checking based on packages
jlahoda
parents: 26264
diff changeset
   161
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   162
    // -nowarn is retained for command-line backward compatibility
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   163
    NOWARN("-nowarn", "opt.nowarn", STANDARD, BASIC) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   164
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   165
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   166
            helper.put("-Xlint:none", option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   167
            return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   168
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   169
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   170
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   171
    VERBOSE("-verbose", "opt.verbose", STANDARD, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   172
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   173
    // -deprecation is retained for command-line backward compatibility
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   174
    DEPRECATION("-deprecation", "opt.deprecation", STANDARD, BASIC) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   175
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   176
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   177
            helper.put("-Xlint:deprecation", option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   178
            return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   179
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   180
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   181
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   182
    CLASS_PATH("--class-path -classpath -cp", "opt.arg.path", "opt.classpath", STANDARD, FILEMANAGER),
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   183
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   184
    SOURCE_PATH("--source-path -sourcepath", "opt.arg.path", "opt.sourcepath", STANDARD, FILEMANAGER),
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   185
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   186
    MODULE_SOURCE_PATH("--module-source-path -modulesourcepath", "opt.arg.mspath", "opt.modulesourcepath", STANDARD, FILEMANAGER),
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   187
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   188
    MODULE_PATH("--module-path -p -modulepath -mp", "opt.arg.path", "opt.modulepath", STANDARD, FILEMANAGER),
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   189
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   190
    UPGRADE_MODULE_PATH("--upgrade-module-path -upgrademodulepath", "opt.arg.path", "opt.upgrademodulepath", STANDARD, FILEMANAGER),
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   191
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   192
    SYSTEM("--system -system", "opt.arg.jdk", "opt.system", STANDARD, FILEMANAGER),
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   193
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   194
    PATCH_MODULE("--patch-module -Xpatch:", "opt.arg.patch", "opt.patch", EXTENDED, FILEMANAGER) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   195
        // The deferred filemanager diagnostics mechanism assumes a single value per option,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   196
        // but --patch-module can be used multiple times, once per module. Therefore we compose
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   197
        // a value for the option containing the last value specified for each module, and separate
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   198
        // the the module=path pairs by an invalid path character, NULL.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   199
        // The standard file manager code knows to split apart the NULL-separated components.
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   200
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   201
        public boolean process(OptionHelper helper, String option, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   202
            if (!arg.contains("=")) { // could be more strict regeex, e.g. "(?i)[a-z0-9_.]+=.*"
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   203
                helper.error(Errors.LocnInvalidArgForXpatch(arg));
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   204
            }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   205
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   206
            String previous = helper.get(this);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   207
            if (previous == null) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   208
                return super.process(helper, option, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   209
            }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   210
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   211
            Map<String,String> map = new LinkedHashMap<>();
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   212
            for (String s : previous.split("\0")) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   213
                int sep = s.indexOf('=');
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   214
                map.put(s.substring(0, sep), s.substring(sep + 1));
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   215
            }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   216
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   217
            int sep = arg.indexOf('=');
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   218
            map.put(arg.substring(0, sep), arg.substring(sep + 1));
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   219
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   220
            StringBuilder sb = new StringBuilder();
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   221
            map.forEach((m, p) -> {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   222
                if (sb.length() > 0)
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   223
                    sb.append('\0');
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   224
                sb.append(m).append('=').append(p);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   225
            });
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   226
            return super.process(helper, option, sb.toString());
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   227
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   228
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   229
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   230
    BOOT_CLASS_PATH("--boot-class-path -bootclasspath", "opt.arg.path", "opt.bootclasspath", STANDARD, FILEMANAGER) {
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   231
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   232
        public boolean process(OptionHelper helper, String option, String arg) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   233
            helper.remove("-Xbootclasspath/p:");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   234
            helper.remove("-Xbootclasspath/a:");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   235
            return super.process(helper, option, arg);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   236
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   237
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   238
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   239
    XBOOTCLASSPATH_PREPEND("-Xbootclasspath/p:", "opt.arg.path", "opt.Xbootclasspath.p", EXTENDED, FILEMANAGER),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   240
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   241
    XBOOTCLASSPATH_APPEND("-Xbootclasspath/a:", "opt.arg.path", "opt.Xbootclasspath.a", EXTENDED, FILEMANAGER),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   242
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   243
    XBOOTCLASSPATH("-Xbootclasspath:", "opt.arg.path", "opt.bootclasspath", EXTENDED, FILEMANAGER) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   244
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   245
        public boolean process(OptionHelper helper, String option, String arg) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   246
            helper.remove("-Xbootclasspath/p:");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   247
            helper.remove("-Xbootclasspath/a:");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   248
            return super.process(helper, "-bootclasspath", arg);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   249
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   250
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   251
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   252
    EXTDIRS("-extdirs", "opt.arg.dirs", "opt.extdirs", STANDARD, FILEMANAGER),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   253
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   254
    DJAVA_EXT_DIRS("-Djava.ext.dirs=", "opt.arg.dirs", "opt.extdirs", EXTENDED, FILEMANAGER) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   255
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   256
        public boolean process(OptionHelper helper, String option, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   257
            return EXTDIRS.process(helper, "-extdirs", arg);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   258
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   259
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   260
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   261
    ENDORSEDDIRS("-endorseddirs", "opt.arg.dirs", "opt.endorseddirs", STANDARD, FILEMANAGER),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   262
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   263
    DJAVA_ENDORSED_DIRS("-Djava.endorsed.dirs=", "opt.arg.dirs", "opt.endorseddirs", EXTENDED, FILEMANAGER) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   264
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   265
        public boolean process(OptionHelper helper, String option, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   266
            return ENDORSEDDIRS.process(helper, "-endorseddirs", arg);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   267
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   268
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   269
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   270
    PROC("-proc:", "opt.proc.none.only", STANDARD, BASIC,  ONEOF, "none", "only"),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   271
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   272
    PROCESSOR("-processor", "opt.arg.class.list", "opt.processor", STANDARD, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   273
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   274
    PROCESSOR_PATH("--processor-path -processorpath", "opt.arg.path", "opt.processorpath", STANDARD, FILEMANAGER),
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   275
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   276
    PROCESSOR_MODULE_PATH("--processor-module-path -processormodulepath", "opt.arg.path", "opt.processormodulepath", STANDARD, FILEMANAGER),
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   277
15031
c4fad55a5681 8004727: Add compiler support for parameter reflection
jjg
parents: 14960
diff changeset
   278
    PARAMETERS("-parameters","opt.parameters", STANDARD, BASIC),
c4fad55a5681 8004727: Add compiler support for parameter reflection
jjg
parents: 14960
diff changeset
   279
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   280
    D("-d", "opt.arg.directory", "opt.d", STANDARD, FILEMANAGER),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   281
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   282
    S("-s", "opt.arg.directory", "opt.sourceDest", STANDARD, FILEMANAGER),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   283
12213
516b112d6c68 7150368: javac should include basic ability to generate native headers
jjg
parents: 11317
diff changeset
   284
    H("-h", "opt.arg.directory", "opt.headerDest", STANDARD, FILEMANAGER),
516b112d6c68 7150368: javac should include basic ability to generate native headers
jjg
parents: 11317
diff changeset
   285
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   286
    IMPLICIT("-implicit:", "opt.implicit", STANDARD, BASIC, ONEOF, "none", "class"),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   287
36155
1555ce1fcb4f 8149772: cleanup handling of -encoding in JavacFileManager
jjg
parents: 36153
diff changeset
   288
    ENCODING("-encoding", "opt.arg.encoding", "opt.encoding", STANDARD, FILEMANAGER),
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   289
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   290
    SOURCE("-source", "opt.arg.release", "opt.source", STANDARD, BASIC) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   291
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   292
        public boolean process(OptionHelper helper, String option, String operand) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   293
            Source source = Source.lookup(operand);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   294
            if (source == null) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   295
                helper.error("err.invalid.source", operand);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   296
                return true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   297
            }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   298
            return super.process(helper, option, operand);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   299
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   300
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   301
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   302
    TARGET("-target", "opt.arg.release", "opt.target", STANDARD, BASIC) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   303
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   304
        public boolean process(OptionHelper helper, String option, String operand) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   305
            Target target = Target.lookup(operand);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   306
            if (target == null) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   307
                helper.error("err.invalid.target", operand);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   308
                return true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   309
            }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   310
            return super.process(helper, option, operand);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   311
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   312
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   313
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   314
    RELEASE("--release -release", "opt.arg.release", "opt.release", STANDARD, BASIC) {
31506
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   315
        @Override
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   316
        protected void help(Log log) {
31506
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   317
            Iterable<PlatformProvider> providers =
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   318
                    ServiceLoader.load(PlatformProvider.class, Arguments.class.getClassLoader());
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   319
            Set<String> platforms = StreamSupport.stream(providers.spliterator(), false)
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   320
                                                 .flatMap(provider -> StreamSupport.stream(provider.getSupportedPlatformNames()
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   321
                                                                                                   .spliterator(),
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   322
                                                                                           false))
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   323
                                                 .collect(Collectors.toCollection(TreeSet :: new));
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   324
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   325
            StringBuilder targets = new StringBuilder();
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   326
            String delim = "";
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   327
            for (String platform : platforms) {
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   328
                targets.append(delim);
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   329
                targets.append(platform);
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   330
                delim = ", ";
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   331
            }
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   332
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   333
            super.help(log, log.localize(PrefixKind.JAVAC, descrKey, targets.toString()));
31506
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   334
        }
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   335
    },
4e07f827a794 8072480: javac should support compilation for a specific platform version
jlahoda
parents: 29427
diff changeset
   336
15724
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   337
    PROFILE("-profile", "opt.arg.profile", "opt.profile", STANDARD, BASIC) {
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   338
        @Override
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   339
        public boolean process(OptionHelper helper, String option, String operand) {
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   340
            Profile profile = Profile.lookup(operand);
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   341
            if (profile == null) {
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   342
                helper.error("err.invalid.profile", operand);
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   343
                return true;
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   344
            }
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   345
            return super.process(helper, option, operand);
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   346
        }
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   347
    },
3063fb01c8a1 8004182: Add support for profiles in javac
jjg
parents: 15043
diff changeset
   348
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   349
    VERSION("-version", "opt.version", STANDARD, INFO) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   350
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   351
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   352
            Log log = helper.getLog();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   353
            String ownName = helper.getOwnName();
40232
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   354
            log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "version", ownName,  JavaCompiler.version());
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   355
            return super.process(helper, option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   356
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   357
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   358
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   359
    FULLVERSION("-fullversion", null, HIDDEN, INFO) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   360
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   361
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   362
            Log log = helper.getLog();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   363
            String ownName = helper.getOwnName();
40232
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   364
            log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "fullVersion", ownName,  JavaCompiler.fullVersion());
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   365
            return super.process(helper, option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   366
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   367
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   368
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   369
    // Note: -h is already taken for "native header output directory".
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   370
    HELP("--help -help", "opt.help", STANDARD, INFO) {
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   371
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   372
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   373
            Log log = helper.getLog();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   374
            String ownName = helper.getOwnName();
40232
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   375
            log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "msg.usage.header", ownName);
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   376
            showHelp(log, OptionKind.STANDARD);
40232
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   377
            log.printNewline(WriterKind.STDOUT);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   378
            return super.process(helper, option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   379
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   380
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   381
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   382
    A("-A", "opt.arg.key.equals.value", "opt.A", STANDARD, BASIC, ArgKind.ADJACENT) {
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   383
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   384
        public boolean matches(String arg) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   385
            return arg.startsWith("-A");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   386
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   387
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   388
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   389
        public boolean hasArg() {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   390
            return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   391
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   392
        // Mapping for processor options created in
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   393
        // JavacProcessingEnvironment
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   394
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   395
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   396
            int argLength = option.length();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   397
            if (argLength == 2) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   398
                helper.error("err.empty.A.argument");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   399
                return true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   400
            }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   401
            int sepIndex = option.indexOf('=');
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   402
            String key = option.substring(2, (sepIndex != -1 ? sepIndex : argLength) );
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   403
            if (!JavacProcessingEnvironment.isValidOptionName(key)) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   404
                helper.error("err.invalid.A.key", option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   405
                return true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   406
            }
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   407
            helper.put(option, option);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   408
            return false;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   409
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   410
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   411
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   412
    X("-X", "opt.X", STANDARD, INFO) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   413
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   414
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   415
            Log log = helper.getLog();
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   416
            showHelp(log, OptionKind.EXTENDED);
40232
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   417
            log.printNewline(WriterKind.STDOUT);
4995ab1a4558 8162359: javac should use stdout for --help and --version
jjg
parents: 39812
diff changeset
   418
            log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "msg.usage.nonstandard.footer");
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   419
            return super.process(helper, option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   420
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   421
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   422
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   423
    // This option exists only for the purpose of documenting itself.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   424
    // It's actually implemented by the launcher.
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   425
    J("-J", "opt.arg.flag", "opt.J", STANDARD, INFO, ArgKind.ADJACENT) {
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   426
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   427
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   428
            throw new AssertionError
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   429
                ("the -J flag should be caught by the launcher.");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   430
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   431
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   432
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   433
    MOREINFO("-moreinfo", null, HIDDEN, BASIC) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   434
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   435
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   436
            Type.moreInfo = true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   437
            return super.process(helper, option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   438
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   439
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   440
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   441
    // treat warnings as errors
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   442
    WERROR("-Werror", "opt.Werror", STANDARD, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   443
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   444
    // prompt after each error
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   445
    // new Option("-prompt",                                        "opt.prompt"),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   446
    PROMPT("-prompt", null, HIDDEN, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   447
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   448
    // dump stack on error
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   449
    DOE("-doe", null, HIDDEN, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   450
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   451
    // output source after type erasure
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   452
    PRINTSOURCE("-printsource", null, HIDDEN, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   453
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   454
    // display warnings for generic unchecked operations
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   455
    WARNUNCHECKED("-warnunchecked", null, HIDDEN, BASIC) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   456
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   457
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   458
            helper.put("-Xlint:unchecked", option);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   459
            return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   460
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   461
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   462
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   463
    XMAXERRS("-Xmaxerrs", "opt.arg.number", "opt.maxerrs", EXTENDED, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   464
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   465
    XMAXWARNS("-Xmaxwarns", "opt.arg.number", "opt.maxwarns", EXTENDED, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   466
11316
4dcad625e72e 7111022: javac no long prints last round of processing
jjg
parents: 11315
diff changeset
   467
    XSTDOUT("-Xstdout", "opt.arg.file", "opt.Xstdout", EXTENDED, INFO) {
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   468
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   469
        public boolean process(OptionHelper helper, String option, String arg) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   470
            try {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   471
                Log log = helper.getLog();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   472
                log.setWriters(new PrintWriter(new FileWriter(arg), true));
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   473
            } catch (java.io.IOException e) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   474
                helper.error("err.error.writing.file", arg, e);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   475
                return true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   476
            }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   477
            return super.process(helper, option, arg);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   478
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   479
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   480
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   481
    XPRINT("-Xprint", "opt.print", EXTENDED, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   482
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   483
    XPRINTROUNDS("-XprintRounds", "opt.printRounds", EXTENDED, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   484
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   485
    XPRINTPROCESSORINFO("-XprintProcessorInfo", "opt.printProcessorInfo", EXTENDED, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   486
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   487
    XPREFER("-Xprefer:", "opt.prefer", EXTENDED, BASIC, ONEOF, "source", "newer"),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   488
24298
cc4f0f71a505 8028196: Javac allows timestamps inside rt.jar to affect compilation when using -sourcepath.
alundblad
parents: 23792
diff changeset
   489
    XXUSERPATHSFIRST("-XXuserPathsFirst", "opt.userpathsfirst", HIDDEN, BASIC),
cc4f0f71a505 8028196: Javac allows timestamps inside rt.jar to affect compilation when using -sourcepath.
alundblad
parents: 23792
diff changeset
   490
19670
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
   491
    // see enum PkgInfo
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   492
    XPKGINFO("-Xpkginfo:", "opt.pkginfo", EXTENDED, BASIC, ONEOF, "always", "legacy", "nonempty"),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   493
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   494
    /* -O is a no-op, accepted for backward compatibility. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   495
    O("-O", null, HIDDEN, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   496
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   497
    /* -Xjcov produces tables to support the code coverage tool jcov. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   498
    XJCOV("-Xjcov", null, HIDDEN, BASIC),
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   499
14548
aa687b312c97 8001098: Provide a simple light-weight "plug-in" mechanism for javac
jjg
parents: 12213
diff changeset
   500
    PLUGIN("-Xplugin:", "opt.arg.plugin", "opt.plugin", EXTENDED, BASIC) {
aa687b312c97 8001098: Provide a simple light-weight "plug-in" mechanism for javac
jjg
parents: 12213
diff changeset
   501
        @Override
aa687b312c97 8001098: Provide a simple light-weight "plug-in" mechanism for javac
jjg
parents: 12213
diff changeset
   502
        public boolean process(OptionHelper helper, String option) {
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   503
            String p = option.substring(option.indexOf(':') + 1).trim();
14548
aa687b312c97 8001098: Provide a simple light-weight "plug-in" mechanism for javac
jjg
parents: 12213
diff changeset
   504
            String prev = helper.get(PLUGIN);
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   505
            helper.put(PLUGIN.primaryName, (prev == null) ? p : prev + '\0' + p);
14548
aa687b312c97 8001098: Provide a simple light-weight "plug-in" mechanism for javac
jjg
parents: 12213
diff changeset
   506
            return false;
aa687b312c97 8001098: Provide a simple light-weight "plug-in" mechanism for javac
jjg
parents: 12213
diff changeset
   507
        }
aa687b312c97 8001098: Provide a simple light-weight "plug-in" mechanism for javac
jjg
parents: 12213
diff changeset
   508
    },
aa687b312c97 8001098: Provide a simple light-weight "plug-in" mechanism for javac
jjg
parents: 12213
diff changeset
   509
17582
4079713129dd 8012003: Method diagnostics resolution need to be simplified in some cases
mcimadamore
parents: 15724
diff changeset
   510
    XDIAGS("-Xdiags:", "opt.diags", EXTENDED, BASIC, ONEOF, "compact", "verbose"),
4079713129dd 8012003: Method diagnostics resolution need to be simplified in some cases
mcimadamore
parents: 15724
diff changeset
   511
39599
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   512
    XDEBUG("-Xdebug:", null, HIDDEN, BASIC) {
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   513
        @Override
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   514
        public boolean process(OptionHelper helper, String option) {
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   515
            String p = option.substring(option.indexOf(':') + 1).trim();
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   516
            String[] subOptions = p.split(";");
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   517
            for (String subOption : subOptions) {
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   518
                subOption = "debug." + subOption.trim();
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   519
                XD.process(helper, subOption, subOption);
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   520
            }
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   521
            return false;
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   522
        }
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   523
    },
3c7da4996d8c 8153407: javac, fold debug options
vromero
parents: 37848
diff changeset
   524
39601
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   525
    XSHOULDSTOP("-Xshouldstop:", null, HIDDEN, BASIC) {
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   526
        @Override
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   527
        public boolean process(OptionHelper helper, String option) {
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   528
            String p = option.substring(option.indexOf(':') + 1).trim();
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   529
            String[] subOptions = p.split(";");
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   530
            for (String subOption : subOptions) {
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   531
                subOption = "shouldstop." + subOption.trim();
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   532
                XD.process(helper, subOption, subOption);
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   533
            }
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   534
            return false;
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   535
        }
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   536
    },
5b37e511ae4b 8161020: javac, fold stop compilation options
vromero
parents: 39599
diff changeset
   537
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   538
    DIAGS("-diags:", null, HIDDEN, BASIC) {
39812
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   539
        @Override
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   540
        public boolean process(OptionHelper helper, String option) {
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   541
            return HiddenGroup.DIAGS.process(helper, option);
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   542
        }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   543
    },
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   544
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   545
    /* This is a back door to the compiler's option table.
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   546
     * -XDx=y sets the option x to the value y.
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   547
     * -XDx sets the option x to the value x.
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   548
     */
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   549
    XD("-XD", null, HIDDEN, BASIC) {
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   550
        @Override
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   551
        public boolean matches(String s) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   552
            return s.startsWith(primaryName);
39812
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   553
        }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   554
        @Override
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   555
        public boolean process(OptionHelper helper, String option) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   556
            return process(helper, option, option.substring(primaryName.length()));
39812
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   557
        }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   558
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   559
        @Override
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   560
        public boolean process(OptionHelper helper, String option, String arg) {
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   561
            int eq = arg.indexOf('=');
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   562
            String key = (eq < 0) ? arg : arg.substring(0, eq);
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   563
            String value = (eq < 0) ? arg : arg.substring(eq+1);
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   564
            helper.put(key, value);
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   565
            return false;
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   566
        }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   567
    },
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   568
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   569
    ADD_EXPORTS("--add-exports -XaddExports:", "opt.arg.addExports", "opt.addExports", EXTENDED, BASIC) {
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   570
        @Override
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   571
        public boolean process(OptionHelper helper, String option, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   572
            String prev = helper.get(ADD_EXPORTS);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   573
            helper.put(ADD_EXPORTS.primaryName, (prev == null) ? arg : prev + '\0' + arg);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   574
            return false;
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   575
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   576
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   577
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   578
    ADD_READS("--add-reads -XaddReads:", "opt.arg.addReads", "opt.addReads", EXTENDED, BASIC) {
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   579
        @Override
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   580
        public boolean process(OptionHelper helper, String option, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   581
            String prev = helper.get(ADD_READS);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   582
            helper.put(ADD_READS.primaryName, (prev == null) ? arg : prev + '\0' + arg);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   583
            return false;
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   584
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   585
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   586
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   587
    XMODULE("-Xmodule:", "opt.arg.module", "opt.module", EXTENDED, BASIC) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   588
        @Override
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   589
        public boolean process(OptionHelper helper, String option, String arg) {
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   590
            String prev = helper.get(XMODULE);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   591
            if (prev != null) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   592
                helper.error("err.option.too.many", XMODULE.primaryName);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   593
            }
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   594
            helper.put(XMODULE.primaryName, arg);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   595
            return false;
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   596
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   597
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   598
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   599
    MODULE("--module -m", "opt.arg.m", "opt.m", STANDARD, BASIC),
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   600
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   601
    ADD_MODULES("--add-modules -addmods", "opt.arg.addmods", "opt.addmods", STANDARD, BASIC),
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   602
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   603
    LIMIT_MODULES("--limit-modules -limitmods", "opt.arg.limitmods", "opt.limitmods", STANDARD, BASIC),
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   604
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   605
    // This option exists only for the purpose of documenting itself.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   606
    // It's actually implemented by the CommandLine class.
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   607
    AT("@", "opt.arg.file", "opt.AT", STANDARD, INFO, ArgKind.ADJACENT) {
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   608
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   609
        public boolean process(OptionHelper helper, String option) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   610
            throw new AssertionError("the @ flag should be caught by CommandLine.");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   611
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   612
    },
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   613
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   614
    // Standalone positional argument: source file or type name.
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   615
    SOURCEFILE("sourcefile", null, HIDDEN, INFO) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   616
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   617
        public boolean matches(String s) {
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   618
            if (s.endsWith(".java"))  // Java source file
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   619
                return true;
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   620
            int sep = s.indexOf('/');
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   621
            if (sep != -1) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   622
                return SourceVersion.isName(s.substring(0, sep))
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   623
                        && SourceVersion.isName(s.substring(sep + 1));
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   624
            } else {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   625
                return SourceVersion.isName(s);   // Legal type name
3b41f1c69604 8142968: Module System implementation
alanb
parents: 36157
diff changeset
   626
            }
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   627
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   628
        @Override
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   629
        public boolean process(OptionHelper helper, String option) {
14801
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 14548
diff changeset
   630
            if (option.endsWith(".java") ) {
36157
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
   631
                Path p = Paths.get(option);
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
   632
                if (!Files.exists(p)) {
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
   633
                    helper.error("err.file.not.found", p);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   634
                    return true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   635
                }
36157
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
   636
                if (!Files.isRegularFile(p)) {
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
   637
                    helper.error("err.file.not.file", p);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   638
                    return true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   639
                }
36157
fdbf6c9be2ab 8145472: replace remaining java.io.File with java.nio.file.Path
jjg
parents: 36155
diff changeset
   640
                helper.addFile(p);
14801
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 14548
diff changeset
   641
            } else {
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 14548
diff changeset
   642
                helper.addClassName(option);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   643
            }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   644
            return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   645
        }
37394
c36230ee15d9 8149757: Implement Multi-Release JAR aware JavacFileManager for javac
jjg
parents: 36526
diff changeset
   646
    },
c36230ee15d9 8149757: Implement Multi-Release JAR aware JavacFileManager for javac
jjg
parents: 36526
diff changeset
   647
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   648
    MULTIRELEASE("--multi-release -multi-release", "opt.arg.multi-release", "opt.multi-release", HIDDEN, FILEMANAGER),
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   649
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   650
    INHERIT_RUNTIME_ENVIRONMENT("--inherit-runtime-environment", "opt.inherit_runtime_environment",
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   651
            EXTENDED, BASIC) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   652
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   653
        public boolean process(OptionHelper helper, String option) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   654
            try {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   655
                Class.forName(JDK9Wrappers.VMHelper.VM_CLASSNAME);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   656
                String[] runtimeArgs = JDK9Wrappers.VMHelper.getRuntimeArguments();
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   657
                for (String arg : runtimeArgs) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   658
                    // Handle any supported runtime options; ignore all others.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   659
                    // The runtime arguments always use the single token form, e.g. "--name=value".
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   660
                    for (Option o : getSupportedRuntimeOptions()) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   661
                        if (o.matches(arg)) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   662
                            o.handleOption(helper, arg, Collections.emptyIterator());
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   663
                            break;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   664
                        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   665
                    }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   666
                }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   667
            } catch (ClassNotFoundException | SecurityException e) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   668
                helper.error("err.cannot.access.runtime.env");
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   669
            }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   670
            return false;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   671
        }
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   672
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   673
        private Option[] getSupportedRuntimeOptions() {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   674
            Option[] supportedRuntimeOptions = {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   675
                ADD_EXPORTS,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   676
                ADD_MODULES,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   677
                LIMIT_MODULES,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   678
                MODULE_PATH,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   679
                UPGRADE_MODULE_PATH,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   680
                PATCH_MODULE
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   681
            };
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   682
            return supportedRuntimeOptions;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   683
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   684
    };
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   685
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   686
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   687
     * The kind of argument, if any, accepted by this option. The kind is augmented
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   688
     * by characters in the name of the option.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   689
     */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   690
    public enum ArgKind {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   691
        /** This option does not take any argument. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   692
        NONE,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   693
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   694
// Not currently supported
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   695
//        /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   696
//         * This option takes an optional argument, which may be provided directly after an '='
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   697
//         * separator, or in the following argument position if that word does not itself appear
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   698
//         * to be the name of an option.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   699
//         */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   700
//        OPTIONAL,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   701
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   702
        /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   703
         * This option takes an argument.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   704
         * If the name of option ends with ':' or '=', the argument must be provided directly
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   705
         * after that separator.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   706
         * Otherwise, if may appear after an '=' or in the following argument position.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   707
         */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   708
        REQUIRED,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   709
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   710
        /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   711
         * This option takes an argument immediately after the option name, with no separator
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   712
         * character.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   713
         */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   714
        ADJACENT
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   715
    }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   716
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   717
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   718
     * The kind of an Option. This is used by the -help and -X options.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   719
     */
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   720
    public enum OptionKind {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   721
        /** A standard option, documented by -help. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   722
        STANDARD,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   723
        /** An extended option, documented by -X. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   724
        EXTENDED,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   725
        /** A hidden option, not documented. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   726
        HIDDEN,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   727
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   728
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   729
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   730
     * The group for an Option. This determines the situations in which the
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   731
     * option is applicable.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   732
     */
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   733
    enum OptionGroup {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   734
        /** A basic option, available for use on the command line or via the
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   735
         *  Compiler API. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   736
        BASIC,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   737
        /** An option for javac's standard JavaFileManager. Other file managers
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   738
         *  may or may not support these options. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   739
        FILEMANAGER,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   740
        /** A command-line option that requests information, such as -help. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   741
        INFO,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   742
        /** A command-line "option" representing a file or class name. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   743
        OPERAND
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   744
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   745
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   746
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   747
     * The kind of choice for "choice" options.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   748
     */
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   749
    enum ChoiceKind {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   750
        /** The expected value is exactly one of the set of choices. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   751
        ONEOF,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   752
        /** The expected value is one of more of the set of choices. */
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   753
        ANYOF
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   754
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   755
39812
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   756
    enum HiddenGroup {
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   757
        DIAGS("diags");
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   758
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   759
        final String text;
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   760
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   761
        HiddenGroup(String text) {
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   762
            this.text = text;
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   763
        }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   764
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   765
        public boolean process(OptionHelper helper, String option) {
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   766
            String p = option.substring(option.indexOf(':') + 1).trim();
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   767
            String[] subOptions = p.split(";");
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   768
            for (String subOption : subOptions) {
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   769
                subOption = text + "." + subOption.trim();
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   770
                XD.process(helper, subOption, subOption);
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   771
            }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   772
            return false;
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   773
        }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   774
    }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   775
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   776
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   777
     * The "primary name" for this option.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   778
     * This is the name that is used to put values in the {@link Options} table.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   779
     */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   780
    public final String primaryName;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   781
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   782
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   783
     * The set of names (primary name and aliases) for this option.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   784
     * Note that some names may end in a separator, to indicate that an argument must immediately
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   785
     * follow the separator (and cannot appear in the following argument position.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   786
     */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   787
    public final String[] names;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   788
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   789
    /** Documentation key for arguments. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   790
    protected final String argsNameKey;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   791
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   792
    /** Documentation key for description.
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   793
     */
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   794
    protected final String descrKey;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   795
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   796
    /** The kind of this option. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   797
    private final OptionKind kind;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   798
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   799
    /** The group for this option. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   800
    private final OptionGroup group;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   801
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   802
    /** The kind of argument for this option. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   803
    private final ArgKind argKind;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   804
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   805
    /** The kind of choices for this option, if any. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   806
    private final ChoiceKind choiceKind;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   807
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   808
    /** The choices for this option, if any, and whether or not the choices are hidden. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   809
    private final Map<String,Boolean> choices;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   810
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   811
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   812
     * Looks up the first option matching the given argument in the full set of options.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   813
     * @param arg the argument to be matches
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   814
     * @return the first option that matches, or null if none.
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   815
     */
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   816
    public static Option lookup(String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   817
        return lookup(arg, EnumSet.allOf(Option.class));
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   818
    }
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   819
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   820
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   821
     * Looks up the first option matching the given argument within a set of options.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   822
     * @param arg the argument to be matches
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   823
     * @return the first option that matches, or null if none.
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   824
     */
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   825
    public static Option lookup(String arg, Set<Option> options) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   826
        for (Option option: options) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   827
            if (option.matches(arg))
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   828
                return option;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   829
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   830
        return null;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   831
    }
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   832
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   833
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   834
     * Writes the "command line help" for given kind of option to the log.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   835
     * @param log the log
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   836
     * @param kind  the kind of options to select
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   837
     */
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   838
    private static void showHelp(Log log, OptionKind kind) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   839
        Comparator<Option> comp = new Comparator<Option>() {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   840
            final Collator collator = Collator.getInstance(Locale.US);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   841
            { collator.setStrength(Collator.PRIMARY); }
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   842
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   843
            @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   844
            public int compare(Option o1, Option o2) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   845
                return collator.compare(o1.primaryName, o2.primaryName);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   846
            }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   847
        };
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   848
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   849
        getJavaCompilerOptions()
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   850
                .stream()
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   851
                .filter(o -> o.kind == kind)
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   852
                .sorted(comp)
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   853
                .forEach(o -> {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   854
                    o.help(log);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   855
                });
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   856
    }
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   857
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   858
    Option(String text, String descrKey,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   859
            OptionKind kind, OptionGroup group) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   860
        this(text, null, descrKey, kind, group, null, null, ArgKind.NONE);
39812
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   861
    }
6272642715a1 8161019: javac, fold formatter options
vromero
parents: 39601
diff changeset
   862
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   863
    Option(String text, String argsNameKey, String descrKey,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   864
            OptionKind kind, OptionGroup group) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   865
        this(text, argsNameKey, descrKey, kind, group, null, null, ArgKind.REQUIRED);
14801
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 14548
diff changeset
   866
    }
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 14548
diff changeset
   867
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 14548
diff changeset
   868
    Option(String text, String argsNameKey, String descrKey,
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   869
            OptionKind kind, OptionGroup group, ArgKind ak) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   870
        this(text, argsNameKey, descrKey, kind, group, null, null, ak);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   871
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   872
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   873
    Option(String text, String argsNameKey, String descrKey, OptionKind kind, OptionGroup group,
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   874
            ChoiceKind choiceKind, Map<String,Boolean> choices) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   875
        this(text, argsNameKey, descrKey, kind, group, choiceKind, choices, ArgKind.REQUIRED);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   876
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   877
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   878
    Option(String text, String descrKey,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   879
            OptionKind kind, OptionGroup group,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   880
            ChoiceKind choiceKind, String... choices) {
14801
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 14548
diff changeset
   881
        this(text, null, descrKey, kind, group, choiceKind,
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   882
                createChoices(choices), ArgKind.REQUIRED);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   883
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   884
    // where
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   885
        private static Map<String,Boolean> createChoices(String... choices) {
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 22153
diff changeset
   886
            Map<String,Boolean> map = new LinkedHashMap<>();
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   887
            for (String c: choices)
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   888
                map.put(c, false);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   889
            return map;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   890
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   891
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   892
    private Option(String text, String argsNameKey, String descrKey,
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   893
            OptionKind kind, OptionGroup group,
14801
d66cab4ef397 8003967: detect and remove all mutable implicit static enum fields in langtools
vromero
parents: 14548
diff changeset
   894
            ChoiceKind choiceKind, Map<String,Boolean> choices,
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   895
            ArgKind argKind) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   896
        this.names = text.trim().split("\\s+");
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   897
        Assert.check(names.length >= 1);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   898
        this.primaryName = names[0];
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   899
        this.argsNameKey = argsNameKey;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   900
        this.descrKey = descrKey;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   901
        this.kind = kind;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   902
        this.group = group;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   903
        this.choiceKind = choiceKind;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   904
        this.choices = choices;
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   905
        this.argKind = argKind;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   906
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   907
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   908
    public String getPrimaryName() {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   909
        return primaryName;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   910
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   911
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   912
    public OptionKind getKind() {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   913
        return kind;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   914
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   915
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   916
    public ArgKind getArgKind() {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   917
        return argKind;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   918
    }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   919
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   920
    public boolean hasArg() {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   921
        return (argKind != ArgKind.NONE);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   922
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   923
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   924
    public boolean matches(String option) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   925
        for (String name: names) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   926
            if (matches(option, name))
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   927
                return true;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   928
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   929
        return false;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   930
    }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   931
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   932
    private boolean matches(String option, String name) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   933
        if (name.startsWith("--")) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   934
            return option.equals(name)
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   935
                    || hasArg() && option.startsWith(name + "=");
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   936
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   937
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   938
        boolean hasSuffix = (argKind == ArgKind.ADJACENT)
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   939
                || name.endsWith(":") || name.endsWith("=");
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   940
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   941
        if (!hasSuffix)
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   942
            return option.equals(name);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   943
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   944
        if (!option.startsWith(name))
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   945
            return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   946
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   947
        if (choices != null) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   948
            String arg = option.substring(name.length());
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   949
            if (choiceKind == ChoiceKind.ONEOF)
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   950
                return choices.keySet().contains(arg);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   951
            else {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   952
                for (String a: arg.split(",+")) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   953
                    if (!choices.keySet().contains(a))
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   954
                        return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   955
                }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   956
            }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   957
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   958
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   959
        return true;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   960
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
   961
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   962
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   963
     * Handles an option.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   964
     * If an argument for the option is required, depending on spec of the option, it will be found
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   965
     * as part of the current arg (following ':' or '=') or in the following argument.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   966
     * This is the recommended way to handle an option directly, instead of calling the underlying
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   967
     * {@link #process process} methods.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   968
     * @param helper a helper to provide access to the environment
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   969
     * @param arg the arg string that identified this option
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   970
     * @param rest the remaining strings to be analysed
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   971
     * @return true if the operation was successful, and false otherwise
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   972
     * @implNote The return value is the opposite of that used by {@link #process}.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   973
     */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   974
    public boolean handleOption(OptionHelper helper, String arg, Iterator<String> rest) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   975
        if (hasArg()) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   976
            String operand;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   977
            int sep = findSeparator(arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   978
            if (getArgKind() == Option.ArgKind.ADJACENT) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   979
                operand = arg.substring(primaryName.length());
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   980
            } else if (sep > 0) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   981
                operand = arg.substring(sep + 1);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   982
            } else {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   983
                if (!rest.hasNext()) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   984
                    helper.error("err.req.arg", arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   985
                    return false;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   986
                }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   987
                operand = rest.next();
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   988
            }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   989
            return !process(helper, arg, operand);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   990
        } else {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   991
            return !process(helper, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   992
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   993
    }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   994
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   995
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   996
     * Processes an option that either does not need an argument,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   997
     * or which contains an argument within it, following a separator.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   998
     * @param helper a helper to provide access to the environment
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
   999
     * @param option the option to be processed
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1000
     * @return true if an error occurred
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1001
     */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1002
    public boolean process(OptionHelper helper, String option) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1003
        if (argKind == ArgKind.NONE) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1004
            return process(helper, primaryName, option);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1005
        } else {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1006
            int sep = findSeparator(option);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1007
            return process(helper, primaryName, option.substring(sep + 1));
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1008
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1009
    }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1010
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1011
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1012
     * Processes an option by updating the environment via a helper object.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1013
     * @param helper a helper to provide access to the environment
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1014
     * @param option the option to be processed
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1015
     * @param arg the value to associate with the option, or a default value
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1016
     *  to be used if the option does not otherwise take an argument.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1017
     * @return true if an error occurred
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1018
     */
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1019
    public boolean process(OptionHelper helper, String option, String arg) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1020
        if (choices != null) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1021
            if (choiceKind == ChoiceKind.ONEOF) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1022
                // some clients like to see just one of option+choice set
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1023
                for (String s: choices.keySet())
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1024
                    helper.remove(primaryName + s);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1025
                String opt = primaryName + arg;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1026
                helper.put(opt, opt);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1027
                // some clients like to see option (without trailing ":")
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1028
                // set to arg
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1029
                String nm = primaryName.substring(0, primaryName.length() - 1);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1030
                helper.put(nm, arg);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1031
            } else {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1032
                // set option+word for each word in arg
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1033
                for (String a: arg.split(",+")) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1034
                    String opt = primaryName + a;
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1035
                    helper.put(opt, opt);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1036
                }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1037
            }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1038
        }
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1039
        helper.put(primaryName, arg);
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 24298
diff changeset
  1040
        if (group == OptionGroup.FILEMANAGER)
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 24298
diff changeset
  1041
            helper.handleFileManagerOption(this, arg);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1042
        return false;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1043
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1044
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1045
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1046
     * Scans a word to find the first separator character, either colon or equals.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1047
     * @param word the word to be scanned
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1048
     * @return the position of the first':' or '=' character in the word,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1049
     *  or -1 if none found
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1050
     */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1051
    private static int findSeparator(String word) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1052
        for (int i = 0; i < word.length(); i++) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1053
            switch (word.charAt(i)) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1054
                case ':': case '=':
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1055
                    return i;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1056
            }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1057
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1058
        return -1;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1059
    }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1060
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1061
    /** The indent for the option synopsis. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1062
    private static final String SMALL_INDENT = "  ";
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1063
    /** The automatic indent for the description. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1064
    private static final String LARGE_INDENT = "        ";
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1065
    /** The space allowed for the synopsis, if the description is to be shown on the same line. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1066
    private static final int DEFAULT_SYNOPSIS_WIDTH = 28;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1067
    /** The nominal maximum line length, when seeing if text will fit on a line. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1068
    private static final int DEFAULT_MAX_LINE_LENGTH = 80;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1069
    /** The format for a single-line help entry. */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1070
    private static final String COMPACT_FORMAT = SMALL_INDENT + "%-" + DEFAULT_SYNOPSIS_WIDTH + "s %s";
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1071
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1072
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1073
     * Writes help text for this option to the log.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1074
     * @param log the log
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1075
     */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1076
    protected void help(Log log) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1077
        help(log, log.localize(PrefixKind.JAVAC, descrKey));
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1078
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1079
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1080
    protected void help(Log log, String descr) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1081
        String synopses = Arrays.stream(names)
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1082
                .map(s -> helpSynopsis(s, log))
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1083
                .collect(Collectors.joining(", "));
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1084
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1085
        // If option synopses and description fit on a single line of reasonable length,
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1086
        // display using COMPACT_FORMAT
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1087
        if (synopses.length() < DEFAULT_SYNOPSIS_WIDTH
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1088
                && !descr.contains("\n")
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1089
                && (SMALL_INDENT.length() + DEFAULT_SYNOPSIS_WIDTH + 1 + descr.length() <= DEFAULT_MAX_LINE_LENGTH)) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1090
            log.printRawLines(WriterKind.STDOUT, String.format(COMPACT_FORMAT, synopses, descr));
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1091
            return;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1092
        }
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1093
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1094
        // If option synopses fit on a single line of reasonable length, show that;
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1095
        // otherwise, show 1 per line
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1096
        if (synopses.length() <= DEFAULT_MAX_LINE_LENGTH) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1097
            log.printRawLines(WriterKind.STDOUT, SMALL_INDENT + synopses);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1098
        } else {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1099
            for (String name: names) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1100
                log.printRawLines(WriterKind.STDOUT, SMALL_INDENT + helpSynopsis(name, log));
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1101
            }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1102
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1103
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1104
        // Finally, show the description
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1105
        log.printRawLines(WriterKind.STDOUT, LARGE_INDENT + descr.replace("\n", "\n" + LARGE_INDENT));
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1106
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1107
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1108
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1109
     * Composes the initial synopsis of one of the forms for this option.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1110
     * @param name the name of this form of the option
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1111
     * @param log the log used to localize the description of the arguments
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1112
     * @return  the synopsis
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1113
     */
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1114
    private String helpSynopsis(String name, Log log) {
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1115
        StringBuilder sb = new StringBuilder();
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1116
        sb.append(name);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1117
        if (argsNameKey == null) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1118
            if (choices != null) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1119
                String sep = "{";
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1120
                for (Map.Entry<String,Boolean> e: choices.entrySet()) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1121
                    if (!e.getValue()) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1122
                        sb.append(sep);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1123
                        sb.append(e.getKey());
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1124
                        sep = ",";
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1125
                    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1126
                }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1127
                sb.append("}");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1128
            }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1129
        } else {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1130
            if (!name.matches(".*[=:]$") && argKind != ArgKind.ADJACENT)
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1131
                sb.append(" ");
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1132
            sb.append(log.localize(PrefixKind.JAVAC, argsNameKey));
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1133
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1134
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1135
        return sb.toString();
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1136
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1137
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1138
    // For -XpkgInfo:value
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1139
    public enum PkgInfo {
19670
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1140
        /**
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1141
         * Always generate package-info.class for every package-info.java file.
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1142
         * The file may be empty if there annotations with a RetentionPolicy
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1143
         * of CLASS or RUNTIME.  This option may be useful in conjunction with
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1144
         * build systems (such as Ant) that expect javac to generate at least
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1145
         * one .class file for every .java file.
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1146
         */
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1147
        ALWAYS,
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1148
        /**
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1149
         * Generate a package-info.class file if package-info.java contains
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1150
         * annotations. The file may be empty if all the annotations have
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1151
         * a RetentionPolicy of SOURCE.
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1152
         * This value is just for backwards compatibility with earlier behavior.
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1153
         * Either of the other two values are to be preferred to using this one.
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1154
         */
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1155
        LEGACY,
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1156
        /**
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1157
         * Generate a package-info.class file if and only if there are annotations
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1158
         * in package-info.java to be written into it.
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1159
         */
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1160
        NONEMPTY;
197392292aad 8022744: javac -Xpkginfo command's documentation is sparse
jjg
parents: 17582
diff changeset
  1161
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1162
        public static PkgInfo get(Options options) {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1163
            String v = options.get(XPKGINFO);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1164
            return (v == null
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1165
                    ? PkgInfo.LEGACY
22153
f9f06fcca59d 8029800: Flags.java uses String.toLowerCase without specifying Locale
jlahoda
parents: 19670
diff changeset
  1166
                    : PkgInfo.valueOf(StringUtils.toUpperCase(v)));
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1167
        }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1168
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1169
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1170
    private static Map<String,Boolean> getXLintChoices() {
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 22153
diff changeset
  1171
        Map<String,Boolean> choices = new LinkedHashMap<>();
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1172
        choices.put("all", false);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1173
        for (Lint.LintCategory c : Lint.LintCategory.values())
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1174
            choices.put(c.option, c.hidden);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1175
        for (Lint.LintCategory c : Lint.LintCategory.values())
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1176
            choices.put("-" + c.option, c.hidden);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1177
        choices.put("none", false);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1178
        return choices;
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1179
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1180
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1181
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1182
     * Returns the set of options supported by the command line tool.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1183
     * @return the set of options.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1184
     */
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1185
    static Set<Option> getJavaCompilerOptions() {
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1186
        return EnumSet.allOf(Option.class);
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1187
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1188
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1189
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1190
     * Returns the set of options supported by the built-in file manager.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1191
     * @return the set of options.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1192
     */
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1193
    public static Set<Option> getJavacFileManagerOptions() {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1194
        return getOptions(FILEMANAGER);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1195
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1196
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1197
    /**
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1198
     * Returns the set of options supported by this implementation of
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1199
     * the JavaCompiler API, via {@link JavaCompiler#getTask}.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1200
     * @return the set of options.
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1201
     */
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1202
    public static Set<Option> getJavacToolOptions() {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1203
        return getOptions(BASIC);
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1204
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1205
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1206
    private static Set<Option> getOptions(OptionGroup group) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1207
        return Arrays.stream(Option.values())
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1208
                .filter(o -> o.group == group)
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 40232
diff changeset
  1209
                .collect(Collectors.toCollection(() -> EnumSet.noneOf(Option.class)));
11315
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1210
    }
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1211
ee0b12cdcb8e 7121164: renamed files not committed
jjg
parents:
diff changeset
  1212
}