langtools/src/jdk.javadoc/share/classes/com/sun/tools/javadoc/main/ToolOption.java
author jjg
Mon, 09 May 2016 16:52:15 -0700
changeset 37938 42baa89d2156
parent 36526 langtools/src/jdk.javadoc/share/classes/com/sun/tools/javadoc/ToolOption.java@3b41f1c69604
child 38617 d93a7f64e231
permissions -rw-r--r--
8075703: jdk.javadoc module exports com.sun.tools.javadoc package which contains a lot of internal API. Reviewed-by: 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: 31936
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
37938
42baa89d2156 8075703: jdk.javadoc module exports com.sun.tools.javadoc package which contains a lot of internal API.
jjg
parents: 36526
diff changeset
    26
package com.sun.tools.javadoc.main;
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    27
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    28
import java.util.LinkedHashMap;
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    29
import java.util.Map;
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    30
import java.util.StringTokenizer;
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    31
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    32
import com.sun.tools.javac.code.Flags;
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    33
import com.sun.tools.javac.main.Option;
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    34
import com.sun.tools.javac.util.ListBuffer;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    35
import com.sun.tools.javac.util.Options;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    36
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) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    52
            helper.setFileManagerOpt(Option.BOOTCLASSPATH, 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) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    59
            helper.setFileManagerOpt(Option.CLASSPATH, 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) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    66
            helper.setFileManagerOpt(Option.CP, arg);
18898
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    67
        }
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    68
    },
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    69
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    70
    EXTDIRS("-extdirs", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    71
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    72
        public void process(Helper helper, String arg) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    73
            helper.setFileManagerOpt(Option.EXTDIRS, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    74
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    75
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    76
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    77
    SOURCEPATH("-sourcepath", 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.SOURCEPATH, 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
    SYSCLASSPATH("-sysclasspath", 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) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    87
            helper.setFileManagerOpt(Option.BOOTCLASSPATH, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    88
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    89
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    90
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    91
    MODULESOURCEPATH("-modulesourcepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    92
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    93
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    94
            helper.setFileManagerOpt(Option.MODULESOURCEPATH, arg);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    95
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    96
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    97
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    98
    UPGRADEMODULEPATH("-upgrademodulepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    99
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   100
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   101
            helper.setFileManagerOpt(Option.UPGRADEMODULEPATH, arg);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   102
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   103
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   104
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   105
    SYSTEM("-system", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   106
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   107
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   108
            helper.setFileManagerOpt(Option.SYSTEM, arg);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   109
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   110
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   111
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   112
    MODULEPATH("-modulepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   113
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   114
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   115
            helper.setFileManagerOpt(Option.MODULEPATH, arg);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   116
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   117
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   118
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   119
    ADDMODS("-addmods", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   120
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   121
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   122
            helper.setCompilerOpt(opt, arg);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   123
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   124
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   125
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   126
    LIMITMODS("-limitmods", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   127
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   128
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   129
            helper.setCompilerOpt(opt, arg);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   130
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   131
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   132
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   133
    ENCODING("-encoding", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   134
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   135
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   136
            helper.encoding = arg;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   137
            helper.setCompilerOpt(opt, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   138
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   139
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   140
31936
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   141
    RELEASE("-release", true) {
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   142
        @Override
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   143
        public void process(Helper helper, String arg) {
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   144
            helper.setCompilerOpt(opt, arg);
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   145
        }
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   146
    },
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   147
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   148
    SOURCE("-source", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   149
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   150
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   151
            helper.setCompilerOpt(opt, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   152
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   153
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   154
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   155
    XMAXERRS("-Xmaxerrs", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   156
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   157
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   158
            helper.setCompilerOpt(opt, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   159
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   160
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   161
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   162
    XMAXWARNS("-Xmaxwarns", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   163
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   164
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   165
            helper.setCompilerOpt(opt, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   166
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   167
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   168
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   169
    // ----- doclet options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   170
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   171
    DOCLET("-doclet", true), // handled in setDocletInvoker
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   172
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   173
    DOCLETPATH("-docletpath", true), // handled in setDocletInvoker
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   174
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   175
    // ----- selection options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   176
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   177
    SUBPACKAGES("-subpackages", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   178
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   179
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   180
            helper.addToList(helper.subPackages, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   181
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   182
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   183
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   184
    EXCLUDE("-exclude", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   185
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   186
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   187
            helper.addToList(helper.excludedPackages, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   188
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   189
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   190
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   191
    // ----- filtering options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   192
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   193
    PACKAGE("-package") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   194
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   195
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   196
            helper.setFilter(
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   197
                    Flags.PUBLIC | Flags.PROTECTED | ModifierFilter.PACKAGE);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   198
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   199
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   200
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   201
    PRIVATE("-private") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   202
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   203
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   204
            helper.setFilter(ModifierFilter.ALL_ACCESS);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   205
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   206
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   207
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   208
    PROTECTED("-protected") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   209
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   210
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   211
            helper.setFilter(Flags.PUBLIC | Flags.PROTECTED);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   212
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   213
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   214
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   215
    PUBLIC("-public") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   216
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   217
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   218
            helper.setFilter(Flags.PUBLIC);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   219
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   220
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   221
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   222
    // ----- output control options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   223
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   224
    PROMPT("-prompt") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   225
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   226
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   227
            helper.compOpts.put("-prompt", "-prompt");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   228
            helper.promptOnError = true;
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
    QUIET("-quiet") {
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) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   235
            helper.quiet = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   236
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   237
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   238
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   239
    VERBOSE("-verbose") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   240
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   241
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   242
            helper.compOpts.put("-verbose", "");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   243
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   244
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   245
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   246
    XWERROR("-Xwerror") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   247
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   248
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   249
            helper.rejectWarnings = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   250
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   251
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   252
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   253
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   254
    // ----- other options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   255
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   256
    BREAKITERATOR("-breakiterator") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   257
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   258
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   259
            helper.breakiterator = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   260
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   261
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   262
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   263
    LOCALE("-locale", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   264
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   265
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   266
            helper.docLocale = arg;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   267
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   268
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   269
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   270
    OVERVIEW("-overview", true),
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   271
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   272
    XCLASSES("-Xclasses") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   273
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   274
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   275
            helper.docClasses = true;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   276
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   277
        }
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
    // ----- help options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   281
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   282
    HELP("-help") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   283
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   284
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   285
            helper.usage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   286
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   287
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   288
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   289
    X("-X") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   290
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   291
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   292
            helper.Xusage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   293
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   294
    };
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   295
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   296
    public final String opt;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   297
    public final boolean hasArg;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   298
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   299
    ToolOption(String opt) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   300
        this(opt, false);
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
    ToolOption(String opt, boolean hasArg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   304
        this.opt = opt;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   305
        this.hasArg = hasArg;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   306
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   307
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   308
    void process(Helper helper, String arg) { }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   309
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   310
    void process(Helper helper) { }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   311
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   312
    static ToolOption get(String name) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   313
        for (ToolOption o: values()) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   314
            if (name.equals(o.opt))
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   315
                return o;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   316
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   317
        return null;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   318
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   319
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   320
    static abstract class Helper {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   321
        /** List of decoded options. */
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 18898
diff changeset
   322
        final ListBuffer<String[]> options = new ListBuffer<>();
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
        /** Selected packages, from -subpackages. */
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 18898
diff changeset
   325
        final ListBuffer<String> subPackages = new ListBuffer<>();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   326
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   327
        /** Excluded packages, from -exclude. */
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 18898
diff changeset
   328
        final ListBuffer<String> excludedPackages = new ListBuffer<>();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   329
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   330
        // File manager options
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   331
        final Map<Option, String> fileManagerOpts = new LinkedHashMap<>();
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   332
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   333
        /** javac options, set by various options. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   334
        Options compOpts; // = Options.instance(context)
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   335
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   336
        /* Encoding for javac, and files written? set by -encoding. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   337
        String encoding = null;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   338
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   339
        /** Set by -breakiterator. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   340
        boolean breakiterator = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   341
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   342
        /** Set by -quiet. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   343
        boolean quiet = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   344
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   345
        /** Set by -Xclasses. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   346
        boolean docClasses = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   347
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   348
        /** Set by -Xwerror. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   349
        boolean rejectWarnings = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   350
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   351
        /** Set by -prompt. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   352
        boolean promptOnError;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   353
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   354
        /** Set by -locale. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   355
        String docLocale = "";
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   356
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   357
        /** Set by -public, private, -protected, -package. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   358
        ModifierFilter showAccess = null;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   359
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   360
        abstract void usage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   361
        abstract void Xusage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   362
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   363
        abstract void usageError(String msg, Object... args);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   364
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   365
        void addToList(ListBuffer<String> list, String str){
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   366
            StringTokenizer st = new StringTokenizer(str, ":");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   367
            String current;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   368
            while(st.hasMoreTokens()){
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   369
                current = st.nextToken();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   370
                list.append(current);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   371
            }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   372
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   373
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   374
        void setFilter(long filterBits) {
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   375
            if (showAccess != null) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   376
                usageError("main.incompatible.access.flags");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   377
            }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   378
            showAccess = new ModifierFilter(filterBits);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   379
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   380
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   381
        void setCompilerOpt(String opt, String arg) {
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   382
            if (compOpts.get(opt) != null) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   383
                usageError("main.option.already.seen", opt);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   384
            }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   385
            compOpts.put(opt, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   386
        }
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   387
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   388
        void setFileManagerOpt(Option opt, String arg) {
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   389
            fileManagerOpts.put(opt, arg);
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   390
        }
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   391
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   392
}