javac/main/Option.java

67 import static com.sun.tools.javac.main.Option.ChoiceKind.*;
68 import static com.sun.tools.javac.main.Option.OptionGroup.*;
69 import static com.sun.tools.javac.main.Option.OptionKind.*;
73  * The specific Option to handle a command-line option can be found by calling
76  * The action for an Option is performed {@link #handleOption}, which determines
86 public enum Option {
458     // new Option("-prompt",                                        "opt.prompt"),
726                     for (Option o : getSupportedRuntimeOptions()) {
758         private Option[] getSupportedRuntimeOptions() {
759             Option[] supportedRuntimeOptions = {
820      * The kind of an Option. This is used by the -help and -X options.
832      * The group for an Option. This determines the situations in which the
926     public static Option lookup(String arg) {
927         return lookup(arg, EnumSet.allOf(Option.class));
936     public static Option lookup(String arg, Set<Option> options) {
937         for (Option option: options) {
950         Comparator<Option> comp = new Comparator<Option>() {
955             public int compare(Option o1, Option o2) {
969     Option(String text, String descrKey,
974     Option(String text, String argsNameKey, String descrKey,
979     Option(String text, String argsNameKey, String descrKey,
984     Option(String text, String argsNameKey, String descrKey, OptionKind kind, OptionGroup group,
989     Option(String text, String descrKey,
996     private Option(String text, String argsNameKey, String descrKey,
1083             if (getArgKind() == Option.ArgKind.ADJACENT) {
1300     static Set<Option> getJavaCompilerOptions() {
1301         return EnumSet.allOf(Option.class);
1308     public static Set<Option> getJavacFileManagerOptions() {
1317     public static Set<Option> getJavacToolOptions() {
1321     private static Set<Option> getOptions(OptionGroup group) {
1322         return Arrays.stream(Option.values())
1324                 .collect(Collectors.toCollection(() -> EnumSet.noneOf(Option.class)));