langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/ToolOption.java
author jjg
Wed, 10 Aug 2016 15:47:46 -0700
changeset 40308 274367a99f98
parent 37393 a9ba8bd6697b
child 40508 74ef30d16fb9
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:
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
     1
/*
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
     2
 * Copyright (c) 2012, 2016, Oracle and/or its affiliates. All rights reserved.
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
     4
 *
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    10
 *
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    15
 * accompanied this code).
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    16
 *
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    20
 *
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    23
 * questions.
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    24
 */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    25
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
    26
package jdk.javadoc.internal.tool;
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    27
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
    28
import java.util.ArrayList;
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    29
import java.util.LinkedHashMap;
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
    30
import java.util.List;
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    31
import java.util.Map;
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    32
import java.util.StringTokenizer;
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    33
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    34
import com.sun.tools.javac.main.Option;
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
    35
import com.sun.tools.javac.main.OptionHelper;
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    36
import com.sun.tools.javac.util.Options;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    37
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    38
/**
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    39
 * javadoc tool options.
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    40
 *
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    41
 *  <p><b>This is NOT part of any supported API.
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    42
 *  If you write code that depends on this, you do so at your own risk.
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    43
 *  This code and its internal interfaces are subject to change or
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    44
 *  deletion without notice.</b>
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    45
 */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    46
public enum ToolOption {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    47
    // ----- options for underlying compiler -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    48
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    49
    BOOTCLASSPATH("-bootclasspath", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    50
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    51
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    52
            helper.setFileManagerOpt(Option.BOOT_CLASS_PATH, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    53
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    54
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    55
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    56
    CLASSPATH("-classpath", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    57
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    58
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    59
            helper.setFileManagerOpt(Option.CLASS_PATH, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    60
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    61
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    62
18898
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    63
    CP("-cp", true) {
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    64
        @Override
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    65
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    66
            helper.setFileManagerOpt(Option.CLASS_PATH, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    67
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    68
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    69
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    70
    CLASS_PATH("--class-path", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    71
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    72
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    73
            helper.setFileManagerOpt(Option.CLASS_PATH, arg);
18898
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    74
        }
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    75
    },
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    76
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    77
    EXTDIRS("-extdirs", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    78
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    79
        public void process(Helper helper, String arg) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    80
            helper.setFileManagerOpt(Option.EXTDIRS, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    81
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    82
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    83
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    84
    SOURCEPATH("-sourcepath", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    85
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    86
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    87
            helper.setFileManagerOpt(Option.SOURCE_PATH, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    88
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    89
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    90
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    91
    SOURCE_PATH("--source-path", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    92
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    93
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
    94
            helper.setFileManagerOpt(Option.SOURCE_PATH, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    95
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    96
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    97
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    98
    SYSCLASSPATH("-sysclasspath", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    99
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   100
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   101
            helper.setFileManagerOpt(Option.BOOT_CLASS_PATH, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   102
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   103
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   104
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   105
    MODULESOURCEPATH("-modulesourcepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   106
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   107
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   108
            helper.setFileManagerOpt(Option.MODULE_SOURCE_PATH, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   109
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   110
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   111
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   112
    MODULE_SOURCE_PATH("--module-source-path", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   113
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   114
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   115
            helper.setFileManagerOpt(Option.MODULE_SOURCE_PATH, arg);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   116
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   117
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   118
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   119
    UPGRADEMODULEPATH("-upgrademodulepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   120
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   121
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   122
            helper.setFileManagerOpt(Option.UPGRADE_MODULE_PATH, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   123
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   124
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   125
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   126
    UPGRADE_MODULE_PATH("--upgrade-module-path", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   127
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   128
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   129
            helper.setFileManagerOpt(Option.UPGRADE_MODULE_PATH, arg);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   130
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   131
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   132
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   133
    SYSTEM("-system", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   134
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   135
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   136
            helper.setFileManagerOpt(Option.SYSTEM, arg);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   137
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   138
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   139
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   140
    SYSTEM_("--system", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   141
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   142
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   143
            helper.setFileManagerOpt(Option.SYSTEM, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   144
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   145
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   146
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   147
    MODULEPATH("-modulepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   148
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   149
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   150
            helper.setFileManagerOpt(Option.MODULE_PATH, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   151
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   152
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   153
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   154
    MODULE_PATH("--module-path", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   155
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   156
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   157
            helper.setFileManagerOpt(Option.MODULE_PATH, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   158
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   159
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   160
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   161
    P("-p", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   162
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   163
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   164
            helper.setFileManagerOpt(Option.MODULE_PATH, arg);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   165
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   166
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   167
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   168
    ADDMODS("-addmods", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   169
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   170
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   171
            Option.ADD_MODULES.process(helper.getOptionHelper(), opt, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   172
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   173
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   174
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   175
    ADD_MODULES("--add-modules", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   176
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   177
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   178
            Option.ADD_MODULES.process(helper.getOptionHelper(), opt, arg);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   179
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   180
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   181
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   182
    LIMITMODS("-limitmods", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   183
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   184
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   185
            Option.LIMIT_MODULES.process(helper.getOptionHelper(), opt, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   186
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   187
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   188
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   189
    LIMIT_MODULES("--limit-modules", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   190
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   191
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   192
            Option.LIMIT_MODULES.process(helper.getOptionHelper(), opt, arg);
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   193
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   194
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 35426
diff changeset
   195
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   196
    ENCODING("-encoding", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   197
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   198
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   199
            helper.encoding = arg;
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   200
            helper.setFileManagerOpt(Option.ENCODING, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   201
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   202
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   203
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   204
    RELEASE("--release", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   205
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   206
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   207
            Option.RELEASE.process(helper.getOptionHelper(), opt, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   208
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   209
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   210
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   211
    RELEASE_OLD("-release", true) {
31936
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   212
        @Override
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   213
        public void process(Helper helper, String arg) {
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   214
            Option.RELEASE.process(helper.getOptionHelper(), opt, arg);
31936
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   215
        }
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   216
    },
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   217
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   218
    SOURCE("-source", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   219
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   220
        public void process(Helper helper, String arg) {
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   221
            Option.SOURCE.process(helper.getOptionHelper(), opt, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   222
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   223
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   224
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   225
    XMAXERRS("-Xmaxerrs", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   226
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   227
        public void process(Helper helper, String arg) {
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   228
            Option.XMAXERRS.process(helper.getOptionHelper(), opt, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   229
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   230
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   231
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   232
    XMAXWARNS("-Xmaxwarns", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   233
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   234
        public void process(Helper helper, String arg) {
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   235
            Option.XMAXWARNS.process(helper.getOptionHelper(), opt, arg);
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   236
        }
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   237
    },
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   238
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   239
    XADDREADS("-XaddReads:", false) {
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   240
        @Override
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   241
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   242
            Option.ADD_READS.process(helper.getOptionHelper(), arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   243
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   244
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   245
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   246
    ADD_READS("--add-reads", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   247
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   248
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   249
            Option.ADD_READS.process(helper.getOptionHelper(), opt, arg);
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   250
        }
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   251
    },
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   252
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   253
    ADDEXPORTS("-XaddExports:", false) {
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   254
        @Override
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   255
        public void process(Helper helper, String arg) {
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   256
            Option.ADD_EXPORTS.process(helper.getOptionHelper(), arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   257
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   258
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   259
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   260
    ADD_EXPORTS("--add-exports", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   261
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   262
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   263
            Option.ADD_EXPORTS.process(helper.getOptionHelper(), opt, arg);
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   264
        }
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   265
    },
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   266
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   267
    XMODULE("-Xmodule:", false) {
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   268
        @Override
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   269
        public void process(Helper helper, String arg) {
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   270
            Option.XMODULE.process(helper.getOptionHelper(), arg);
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   271
        }
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   272
    },
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   273
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   274
    XPATCH("-Xpatch:", false) {
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   275
        @Override
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   276
        public void process(Helper helper, String arg) {
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   277
            Option.XMODULE.process(helper.getOptionHelper(), arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   278
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   279
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   280
40308
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   281
    PATCH_MODULE("--patch-module", true) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   282
        @Override
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   283
        public void process(Helper helper, String arg) {
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   284
            Option.PATCH_MODULE.process(helper.getOptionHelper(), opt, arg);
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   285
        }
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   286
    },
274367a99f98 8136930: Simplify use of module-system options by custom launchers
jjg
parents: 37393
diff changeset
   287
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   288
    // ----- doclet options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   289
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   290
    DOCLET("-doclet", true), // handled in setDocletInvoker
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   291
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   292
    DOCLETPATH("-docletpath", true), // handled in setDocletInvoker
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   293
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   294
    // ----- selection options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   295
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   296
    SUBPACKAGES("-subpackages", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   297
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   298
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   299
            helper.addToList(helper.subPackages, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   300
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   301
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   302
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   303
    EXCLUDE("-exclude", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   304
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   305
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   306
            helper.addToList(helper.excludedPackages, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   307
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   308
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   309
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   310
    // ----- filtering options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   311
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   312
    PACKAGE("-package") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   313
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   314
        public void process(Helper helper) {
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   315
            helper.setFilter("package");
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   316
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   317
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   318
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   319
    PRIVATE("-private") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   320
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   321
        public void process(Helper helper) {
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   322
            helper.setFilter("private");
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   323
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   324
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   325
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   326
    PROTECTED("-protected") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   327
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   328
        public void process(Helper helper) {
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   329
            helper.setFilter("protected");
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   330
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   331
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   332
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   333
    PUBLIC("-public") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   334
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   335
        public void process(Helper helper) {
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   336
            helper.setFilter("public");
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   337
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   338
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   339
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   340
    // ----- output control options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   341
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   342
    PROMPT("-prompt") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   343
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   344
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   345
            helper.compOpts.put("-prompt", "-prompt");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   346
            helper.promptOnError = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   347
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   348
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   349
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   350
    QUIET("-quiet") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   351
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   352
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   353
            helper.quiet = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   354
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   355
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   356
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   357
    VERBOSE("-verbose") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   358
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   359
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   360
            helper.compOpts.put("-verbose", "");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   361
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   362
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   363
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   364
    XWERROR("-Xwerror") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   365
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   366
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   367
            helper.rejectWarnings = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   368
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   369
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   370
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   371
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   372
    // ----- other options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   373
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   374
    BREAKITERATOR("-breakiterator") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   375
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   376
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   377
            helper.breakiterator = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   378
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   379
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   380
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   381
    LOCALE("-locale", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   382
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   383
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   384
            helper.docLocale = arg;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   385
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   386
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   387
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   388
    // the doclet consumes this
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   389
    OVERVIEW("-overview", true) {
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   390
        @Override
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   391
        public void process(Helper helper, String arg) {
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   392
            helper.setOverviewpath(arg);
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   393
        }
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   394
    },
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   395
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   396
    XCLASSES("-Xclasses") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   397
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   398
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   399
            helper.docClasses = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   400
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   401
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   402
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   403
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   404
    // ----- help options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   405
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   406
    HELP("-help") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   407
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   408
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   409
            helper.usage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   410
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   411
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   412
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   413
    X("-X") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   414
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   415
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   416
            helper.Xusage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   417
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   418
    };
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   419
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   420
    public final String opt;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   421
    public final boolean hasArg;
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   422
    public final boolean hasSuffix; // ex: foo:bar or -foo=bar
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   423
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   424
    ToolOption(String opt) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   425
        this(opt, false);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   426
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   427
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   428
    ToolOption(String opt, boolean hasArg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   429
        this.opt = opt;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   430
        this.hasArg = hasArg;
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   431
        char lastChar = opt.charAt(opt.length() - 1);
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   432
        this.hasSuffix = lastChar == ':' || lastChar == '=';
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   433
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   434
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   435
    void process(Helper helper, String arg) { }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   436
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   437
    void process(Helper helper) { }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   438
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   439
    static ToolOption get(String name) {
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   440
        String oname = name;
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   441
        if (name.contains(":")) {
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   442
            oname = name.substring(0, name.indexOf(':') + 1);
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   443
        } else if (name.contains("=")) {
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   444
            oname = name.substring(0, name.indexOf('=') + 1);
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   445
        }
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   446
        for (ToolOption o : values()) {
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   447
            if (oname.equals(o.opt)) {
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   448
                return o;
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   449
            }
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   450
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   451
        return null;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   452
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   453
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   454
    static abstract class Helper {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   455
        /** List of decoded options. */
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   456
        final List<List<String>> options = new ArrayList<>();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   457
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   458
        /** Selected packages, from -subpackages. */
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   459
        final List<String> subPackages = new ArrayList<>();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   460
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   461
        /** Excluded packages, from -exclude. */
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   462
        final List<String> excludedPackages = new ArrayList<>();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   463
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   464
        // File manager options
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   465
        final Map<Option, String> fileManagerOpts = new LinkedHashMap<>();
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   466
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   467
        /** javac options, set by various options. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   468
        Options compOpts; // = Options.instance(context)
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   469
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   470
        /* Encoding for javac, and files written? set by -encoding. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   471
        String encoding = null;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   472
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   473
        /** Set by -breakiterator. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   474
        boolean breakiterator = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   475
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   476
        /** Set by -quiet. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   477
        boolean quiet = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   478
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   479
        /** Set by -Xclasses. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   480
        boolean docClasses = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   481
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   482
        /** Set by -Xwerror. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   483
        boolean rejectWarnings = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   484
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   485
        /** Set by -prompt. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   486
        boolean promptOnError;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   487
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   488
        /** Set by -locale. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   489
        String docLocale = "";
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   490
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   491
        /** Set by -public, private, -protected, -package. */
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   492
        String showAccess = null;
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   493
        String overviewpath;
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   494
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   495
        abstract void usage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   496
        abstract void Xusage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   497
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   498
        abstract void usageError(String msg, Object... args);
37393
a9ba8bd6697b 8152818: Javadoc must support module options supported by javac.
ksrini
parents: 36526
diff changeset
   499
        abstract OptionHelper getOptionHelper();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   500
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   501
        void addToList(List<String> list, String str){
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   502
            StringTokenizer st = new StringTokenizer(str, ":");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   503
            String current;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   504
            while(st.hasMoreTokens()){
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   505
                current = st.nextToken();
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   506
                list.add(current);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   507
            }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   508
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   509
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   510
        void setFilter(String showAccess) {
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   511
            if (showAccess != null) {
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   512
                if (!"public".equals(showAccess)
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   513
                        && !"protected".equals(showAccess)
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   514
                        && !"private".equals(showAccess)
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   515
                        && !"package".equals(showAccess)) {
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   516
                    usageError("main.incompatible.access.flags");
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   517
                }
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   518
                this.showAccess = showAccess;
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   519
            }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   520
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   521
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   522
        void setFileManagerOpt(Option opt, String arg) {
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   523
            fileManagerOpts.put(opt, arg);
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   524
        }
35426
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   525
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   526
        private void setOverviewpath(String arg) {
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   527
            this.overviewpath = arg;
374342e56a56 8035473: [javadoc] Revamp the existing Doclet APIs
ksrini
parents: 31936
diff changeset
   528
        }
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   529
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   530
}