langtools/test/tools/javadoc/BadOptionsTest.java
author ascarpino
Fri, 12 May 2017 08:20:11 -0700
changeset 45992 38bdf44057b9
parent 42269 24a766b7c106
child 45742 36bf0f2436ad
permissions -rw-r--r--
8179998: Clear certificate chain connections Reviewed-by: mullan, ahgross, rhalade, igerasim
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
42260
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     1
/*
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     2
 * Copyright (c) 2002, 2016, Oracle and/or its affiliates. All rights reserved.
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     4
 *
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     7
 * published by the Free Software Foundation.
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     8
 *
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    13
 * accompanied this code).
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    14
 *
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    18
 *
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    21
 * questions.
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    22
 */
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    23
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    24
/*
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    25
 * @test
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    26
 * @bug 8169676
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    27
 * @summary boolean result of Option.process is often ignored
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    28
 * @modules jdk.compiler/com.sun.tools.javac.api
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    29
 * @modules jdk.compiler/com.sun.tools.javac.main
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    30
 * @modules jdk.javadoc/jdk.javadoc.internal.api
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    31
 * @modules jdk.javadoc/jdk.javadoc.internal.tool
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    32
 * @library /tools/lib
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    33
 * @build toolbox.JavacTask toolbox.JavadocTask toolbox.TestRunner toolbox.ToolBox
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    34
 * @run main BadOptionsTest
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    35
 */
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    36
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    37
import java.io.IOException;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    38
import java.nio.file.Path;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    39
import java.nio.file.Paths;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    40
import java.util.ArrayList;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    41
import java.util.Arrays;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    42
import java.util.HashSet;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    43
import java.util.List;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    44
import java.util.ListIterator;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    45
import java.util.Locale;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    46
import java.util.Objects;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    47
import java.util.Set;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    48
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    49
import javax.lang.model.SourceVersion;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    50
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    51
import jdk.javadoc.doclet.Doclet;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    52
import jdk.javadoc.doclet.DocletEnvironment;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    53
import jdk.javadoc.doclet.Reporter;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    54
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    55
import toolbox.JavadocTask;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    56
import toolbox.ModuleBuilder;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    57
import toolbox.Task;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    58
import toolbox.TestRunner;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    59
import toolbox.ToolBox;
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    60
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    61
/*
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    62
 * This is primarily a test of the error reporting mechanisms
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    63
 * for bad options provided by javac and utilized by javadoc.
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    64
 * It is not an exhaustive test of all bad option forms detected
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    65
 * by javac/javadoc.
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    66
 */
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    67
public class BadOptionsTest extends TestRunner {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    68
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    69
    public static void main(String... args) throws Exception {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    70
        BadOptionsTest t = new BadOptionsTest();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    71
        t.runTests();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    72
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    73
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    74
    private final ToolBox tb = new ToolBox();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    75
    private final Path src = Paths.get("src");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    76
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    77
    BadOptionsTest() throws IOException {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    78
        super(System.err);
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    79
        init();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    80
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    81
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    82
    void init() throws IOException {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    83
        tb.writeJavaFiles(src,
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    84
                "public class C { }");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    85
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    86
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    87
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    88
    @Test
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    89
    public void testAddModulesEmptyArg() {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    90
        Task.Result result = new JavadocTask(tb, Task.Mode.CMDLINE)
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    91
                .options("-Xold",
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    92
                        "--add-modules", "")
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    93
                .files(src.resolve("C.java"))
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    94
                .run(Task.Expect.FAIL)
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    95
                .writeAll();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    96
        checkFound(result.getOutput(Task.OutputKind.DIRECT),
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    97
                "javadoc: error - no value for --add-modules option");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    98
        checkNotFound(result, "Exception", "at jdk.javadoc/");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
    99
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   100
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   101
    @Test
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   102
    public void testAddModulesBadName() {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   103
        Task.Result result = new JavadocTask(tb, Task.Mode.CMDLINE)
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   104
                .options("-Xold", "-quiet",
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   105
                        "--add-modules", "123")
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   106
                .files(src.resolve("C.java"))
42269
24a766b7c106 8164590: javac --inherit-runtime-environment fails with "cannot find modules: ALL-DEFAULT"
jjg
parents: 42260
diff changeset
   107
                .run(Task.Expect.FAIL)
42260
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   108
                .writeAll();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   109
        checkFound(result.getOutput(Task.OutputKind.DIRECT),
42269
24a766b7c106 8164590: javac --inherit-runtime-environment fails with "cannot find modules: ALL-DEFAULT"
jjg
parents: 42260
diff changeset
   110
                "error: bad name in value for --add-modules option: '123'");
42260
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   111
        checkNotFound(result, "Exception", "at jdk.javadoc/");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   112
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   113
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   114
    @Test
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   115
    public void testAddExportsEmptyArg() {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   116
        Task.Result result = new JavadocTask(tb, Task.Mode.CMDLINE)
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   117
                .options("-Xold",
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   118
                        "--add-exports", "")
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   119
                .files(src.resolve("C.java"))
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   120
                .run(Task.Expect.FAIL)
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   121
                .writeAll();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   122
        checkFound(result.getOutput(Task.OutputKind.DIRECT),
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   123
                "javadoc: error - no value for --add-exports option");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   124
        checkNotFound(result, "Exception", "at jdk.javadoc/");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   125
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   126
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   127
    @Test
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   128
    public void testAddExportsBadArg() {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   129
        Task.Result result = new JavadocTask(tb, Task.Mode.CMDLINE)
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   130
                .options("-Xold",
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   131
                        "--add-exports", "m/p")
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   132
                .files(src.resolve("C.java"))
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   133
                .run(Task.Expect.FAIL)
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   134
                .writeAll();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   135
        checkFound(result.getOutput(Task.OutputKind.DIRECT),
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   136
                "javadoc: error - bad value for --add-exports option");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   137
        checkNotFound(result, "Exception", "at jdk.javadoc/");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   138
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   139
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   140
    @Test
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   141
    public void testAddExportsBadName() {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   142
        Task.Result result = new JavadocTask(tb, Task.Mode.CMDLINE)
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   143
                .options("-Xold",
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   144
                        "--add-exports", "m!/p1=m2")
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   145
                .files(src.resolve("C.java"))
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   146
                .run()
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   147
                .writeAll();
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   148
        checkFound(result.getOutput(Task.OutputKind.DIRECT),
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   149
                "warning: bad name in value for --add-exports option: 'm!'");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   150
        checkNotFound(result, "Exception", "at jdk.javadoc/");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   151
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   152
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   153
    private void checkFound(String log, String... expect) {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   154
        for (String e : expect) {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   155
            if (!log.contains(e)) {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   156
                error("Expected string not found: '" + e + "'");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   157
            }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   158
        }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   159
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   160
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   161
    private void checkNotFound(Task.Result result, String... unexpected) {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   162
        for (Task.OutputKind k : Task.OutputKind.values()) {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   163
            String r = result.getOutput(k);
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   164
            for (String u : unexpected) {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   165
                if (r.contains(u)) {
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   166
                    error("Unexpected string found: '" + u + "'");
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   167
                }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   168
            }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   169
        }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   170
    }
2b4da2bf6660 8169676: boolean result of Option.process is often ignored
jjg
parents:
diff changeset
   171
}