langtools/src/jdk.javadoc/share/classes/com/sun/tools/javadoc/main/ToolOption.java
author jjg
Fri, 27 May 2016 13:06:58 -0700
changeset 38617 d93a7f64e231
parent 37938 42baa89d2156
child 40308 274367a99f98
permissions -rw-r--r--
8157606: deprecate com.sun.javadoc 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
 */
38617
d93a7f64e231 8157606: deprecate com.sun.javadoc API
jjg
parents: 37938
diff changeset
    46
@Deprecated
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    47
public enum ToolOption {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    48
    // ----- options for underlying compiler -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    49
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    50
    BOOTCLASSPATH("-bootclasspath", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    51
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    52
        public void process(Helper helper, String arg) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    53
            helper.setFileManagerOpt(Option.BOOTCLASSPATH, arg);
14543
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    57
    CLASSPATH("-classpath", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    58
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    59
        public void process(Helper helper, String arg) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    60
            helper.setFileManagerOpt(Option.CLASSPATH, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    61
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    62
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    63
18898
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    64
    CP("-cp", true) {
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    65
        @Override
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    66
        public void process(Helper helper, String arg) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    67
            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
    68
        }
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    69
    },
0eab5f5e3d1d 8009924: some langtools tools do not accept -cp as an alias for -classpath
vromero
parents: 14543
diff changeset
    70
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    71
    EXTDIRS("-extdirs", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    72
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    73
        public void process(Helper helper, String arg) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    74
            helper.setFileManagerOpt(Option.EXTDIRS, arg);
14543
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    78
    SOURCEPATH("-sourcepath", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    79
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    80
        public void process(Helper helper, String arg) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    81
            helper.setFileManagerOpt(Option.SOURCEPATH, arg);
14543
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    85
    SYSCLASSPATH("-sysclasspath", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    86
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    87
        public void process(Helper helper, String arg) {
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
    88
            helper.setFileManagerOpt(Option.BOOTCLASSPATH, arg);
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    89
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    90
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
    91
36526
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    92
    MODULESOURCEPATH("-modulesourcepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    93
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    94
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    95
            helper.setFileManagerOpt(Option.MODULESOURCEPATH, arg);
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
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
    99
    UPGRADEMODULEPATH("-upgrademodulepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   100
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   101
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   102
            helper.setFileManagerOpt(Option.UPGRADEMODULEPATH, arg);
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
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   106
    SYSTEM("-system", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   107
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   108
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   109
            helper.setFileManagerOpt(Option.SYSTEM, arg);
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
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   113
    MODULEPATH("-modulepath", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   114
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   115
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   116
            helper.setFileManagerOpt(Option.MODULEPATH, arg);
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
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   120
    ADDMODS("-addmods", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   121
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   122
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   123
            helper.setCompilerOpt(opt, arg);
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
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   127
    LIMITMODS("-limitmods", true) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   128
        @Override
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   129
        public void process(Helper helper, String arg) {
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   130
            helper.setCompilerOpt(opt, arg);
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   131
        }
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   132
    },
3b41f1c69604 8142968: Module System implementation
alanb
parents: 31936
diff changeset
   133
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   134
    ENCODING("-encoding", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   135
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   136
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   137
            helper.encoding = arg;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   138
            helper.setCompilerOpt(opt, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   139
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   140
    },
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   141
31936
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   142
    RELEASE("-release", true) {
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   143
        @Override
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   144
        public void process(Helper helper, String arg) {
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   145
            helper.setCompilerOpt(opt, arg);
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
    },
02f1cfc234a0 8086737: Add support for -release to Javadoc
jlahoda
parents: 25874
diff changeset
   148
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   149
    SOURCE("-source", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   150
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   151
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   152
            helper.setCompilerOpt(opt, arg);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   156
    XMAXERRS("-Xmaxerrs", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   157
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   158
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   159
            helper.setCompilerOpt(opt, arg);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   163
    XMAXWARNS("-Xmaxwarns", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   164
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   165
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   166
            helper.setCompilerOpt(opt, arg);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   170
    // ----- doclet options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   171
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   172
    DOCLET("-doclet", true), // handled in setDocletInvoker
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   173
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   174
    DOCLETPATH("-docletpath", true), // handled in setDocletInvoker
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   175
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   176
    // ----- selection options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   177
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   178
    SUBPACKAGES("-subpackages", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   179
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   180
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   181
            helper.addToList(helper.subPackages, arg);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   185
    EXCLUDE("-exclude", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   186
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   187
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   188
            helper.addToList(helper.excludedPackages, arg);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   192
    // ----- filtering options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   193
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   194
    PACKAGE("-package") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   195
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   196
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   197
            helper.setFilter(
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   198
                    Flags.PUBLIC | Flags.PROTECTED | ModifierFilter.PACKAGE);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   202
    PRIVATE("-private") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   203
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   204
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   205
            helper.setFilter(ModifierFilter.ALL_ACCESS);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   209
    PROTECTED("-protected") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   210
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   211
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   212
            helper.setFilter(Flags.PUBLIC | Flags.PROTECTED);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   216
    PUBLIC("-public") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   217
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   218
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   219
            helper.setFilter(Flags.PUBLIC);
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   223
    // ----- output control options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   224
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   225
    PROMPT("-prompt") {
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) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   228
            helper.compOpts.put("-prompt", "-prompt");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   229
            helper.promptOnError = true;
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   233
    QUIET("-quiet") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   234
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   235
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   236
            helper.quiet = true;
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   240
    VERBOSE("-verbose") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   241
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   242
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   243
            helper.compOpts.put("-verbose", "");
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   247
    XWERROR("-Xwerror") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   248
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   249
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   250
            helper.rejectWarnings = true;
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   255
    // ----- other options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   256
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   257
    BREAKITERATOR("-breakiterator") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   258
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   259
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   260
            helper.breakiterator = true;
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   264
    LOCALE("-locale", true) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   265
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   266
        public void process(Helper helper, String arg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   267
            helper.docLocale = arg;
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   271
    OVERVIEW("-overview", true),
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   272
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   273
    XCLASSES("-Xclasses") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   274
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   275
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   276
            helper.docClasses = true;
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   281
    // ----- help options -----
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   282
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   283
    HELP("-help") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   284
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   285
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   286
            helper.usage();
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   290
    X("-X") {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   291
        @Override
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   292
        public void process(Helper helper) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   293
            helper.Xusage();
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
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   297
    public final String opt;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   298
    public final boolean hasArg;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   299
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   300
    ToolOption(String opt) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   301
        this(opt, false);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   302
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   303
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   304
    ToolOption(String opt, boolean hasArg) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   305
        this.opt = opt;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   306
        this.hasArg = hasArg;
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
    void process(Helper helper, String arg) { }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   310
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   311
    void process(Helper helper) { }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   312
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   313
    static ToolOption get(String name) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   314
        for (ToolOption o: values()) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   315
            if (name.equals(o.opt))
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   316
                return o;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   317
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   318
        return null;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   319
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   320
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   321
    static abstract class Helper {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   322
        /** List of decoded options. */
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 18898
diff changeset
   323
        final ListBuffer<String[]> options = new ListBuffer<>();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   324
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   325
        /** Selected packages, from -subpackages. */
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 18898
diff changeset
   326
        final ListBuffer<String> subPackages = new ListBuffer<>();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   327
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   328
        /** Excluded packages, from -exclude. */
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 18898
diff changeset
   329
        final ListBuffer<String> excludedPackages = new ListBuffer<>();
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   330
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   331
        // File manager options
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   332
        final Map<Option, String> fileManagerOpts = new LinkedHashMap<>();
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   333
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   334
        /** javac options, set by various options. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   335
        Options compOpts; // = Options.instance(context)
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   336
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   337
        /* Encoding for javac, and files written? set by -encoding. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   338
        String encoding = null;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   339
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   340
        /** Set by -breakiterator. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   341
        boolean breakiterator = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   342
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   343
        /** Set by -quiet. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   344
        boolean quiet = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   345
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   346
        /** Set by -Xclasses. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   347
        boolean docClasses = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   348
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   349
        /** Set by -Xwerror. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   350
        boolean rejectWarnings = false;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   351
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   352
        /** Set by -prompt. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   353
        boolean promptOnError;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   354
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   355
        /** Set by -locale. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   356
        String docLocale = "";
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   357
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   358
        /** Set by -public, private, -protected, -package. */
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   359
        ModifierFilter showAccess = null;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   360
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   361
        abstract void usage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   362
        abstract void Xusage();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   363
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   364
        abstract void usageError(String msg, Object... args);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   365
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   366
        void addToList(ListBuffer<String> list, String str){
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   367
            StringTokenizer st = new StringTokenizer(str, ":");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   368
            String current;
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   369
            while(st.hasMoreTokens()){
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   370
                current = st.nextToken();
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   371
                list.append(current);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   372
            }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   373
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   374
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   375
        void setFilter(long filterBits) {
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   376
            if (showAccess != null) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   377
                usageError("main.incompatible.access.flags");
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   378
            }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   379
            showAccess = new ModifierFilter(filterBits);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   380
        }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   381
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   382
        void setCompilerOpt(String opt, String arg) {
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   383
            if (compOpts.get(opt) != null) {
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   384
                usageError("main.option.already.seen", opt);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   385
            }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   386
            compOpts.put(opt, arg);
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   387
        }
24897
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   388
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   389
        void setFileManagerOpt(Option opt, String arg) {
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   390
            fileManagerOpts.put(opt, arg);
655b72d7b96e 7026941: 199: path options ignored when reusing filemanager across tasks
jjg
parents: 22163
diff changeset
   391
        }
14543
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   392
    }
43edeaf6d0a9 8003257: refactor javadoc tool option handling
jjg
parents:
diff changeset
   393
}