hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.options/src/org/graalvm/compiler/options/OptionValues.java
author iveresov
Wed, 22 Mar 2017 13:42:45 -0700
changeset 46344 694c102fd8ed
child 46371 0337d0617e7b
permissions -rw-r--r--
8177046: Update Graal Summary: Update Graal, make appropriate changes to AOT, and the build system. Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     1
/*
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     2
 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     4
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     8
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    13
 * accompanied this code).
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    14
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    18
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    21
 * questions.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    22
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    23
package org.graalvm.compiler.options;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    24
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    25
import java.io.PrintStream;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    26
import java.util.ArrayList;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    27
import java.util.Collections;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    28
import java.util.Comparator;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    29
import java.util.List;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    30
import java.util.Map;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    31
import java.util.SortedMap;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    32
import java.util.TreeMap;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    33
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    34
import org.graalvm.util.EconomicMap;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    35
import org.graalvm.util.Equivalence;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    36
import org.graalvm.util.MapCursor;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    37
import org.graalvm.util.UnmodifiableEconomicMap;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    38
import org.graalvm.util.UnmodifiableMapCursor;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    39
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    40
/**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    41
 * A context for obtaining values for {@link OptionKey}s.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    42
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    43
public class OptionValues {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    44
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    45
    private final EconomicMap<OptionKey<?>, Object> values = newOptionMap();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    46
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    47
    protected OptionValues set(OptionKey<?> key, Object value) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    48
        values.put(key, encodeNull(value));
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    49
        return this;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    50
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    51
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    52
    boolean containsKey(OptionKey<?> key) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    53
        return values.containsKey(key);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    54
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    55
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    56
    public OptionValues(OptionValues initialValues, UnmodifiableEconomicMap<OptionKey<?>, Object> extraPairs) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    57
        if (initialValues != null) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    58
            values.putAll(initialValues.values);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    59
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    60
        UnmodifiableMapCursor<OptionKey<?>, Object> cursor = extraPairs.getEntries();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    61
        while (cursor.advance()) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    62
            values.put(cursor.getKey(), encodeNull(cursor.getValue()));
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    63
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    64
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    65
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    66
    public OptionValues(OptionValues initialValues, OptionKey<?> key1, Object value1, Object... extraPairs) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    67
        this(initialValues, asMap(key1, value1, extraPairs));
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    68
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    69
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    70
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    71
     * Creates a new map suitable for using {@link OptionKey}s as keys.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    72
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    73
    public static EconomicMap<OptionKey<?>, Object> newOptionMap() {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    74
        return EconomicMap.create(Equivalence.IDENTITY);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    75
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    76
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    77
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    78
     * Gets an immutable view of the key/value pairs in this object.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    79
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    80
    public UnmodifiableEconomicMap<OptionKey<?>, Object> getMap() {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    81
        return values;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    82
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    83
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    84
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    85
     * @param key1 first key in map
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    86
     * @param value1 first value in map
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    87
     * @param extraPairs key/value pairs of the form {@code [key1, value1, key2, value2, ...]}
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    88
     * @return a map containing the key/value pairs as entries
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    89
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    90
    public static EconomicMap<OptionKey<?>, Object> asMap(OptionKey<?> key1, Object value1, Object... extraPairs) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    91
        EconomicMap<OptionKey<?>, Object> map = newOptionMap();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    92
        map.put(key1, value1);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    93
        for (int i = 0; i < extraPairs.length; i += 2) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    94
            OptionKey<?> key = (OptionKey<?>) extraPairs[i];
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    95
            Object value = extraPairs[i + 1];
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    96
            map.put(key, value);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    97
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    98
        return map;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    99
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   100
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   101
    public OptionValues(EconomicMap<OptionKey<?>, Object> values) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   102
        MapCursor<OptionKey<?>, Object> cursor = values.getEntries();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   103
        while (cursor.advance()) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   104
            this.values.put(cursor.getKey(), encodeNull(cursor.getValue()));
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   105
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   106
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   107
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   108
    @SuppressWarnings("unchecked")
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   109
    <T> T get(OptionKey<T> key) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   110
        Object value = values.get(key);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   111
        if (value == null) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   112
            return key.getDefaultValue();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   113
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   114
        return (T) decodeNull(value);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   115
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   116
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   117
    private static final Object NULL = new Object();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   118
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   119
    private static Object encodeNull(Object value) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   120
        return value == null ? NULL : value;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   121
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   122
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   123
    private static Object decodeNull(Object value) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   124
        return value == NULL ? null : value;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   125
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   126
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   127
    @Override
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   128
    public String toString() {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   129
        Comparator<OptionKey<?>> comparator = new Comparator<OptionKey<?>>() {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   130
            @Override
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   131
            public int compare(OptionKey<?> o1, OptionKey<?> o2) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   132
                return o1.getName().compareTo(o2.getName());
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   133
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   134
        };
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   135
        SortedMap<OptionKey<?>, Object> sorted = new TreeMap<>(comparator);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   136
        MapCursor<OptionKey<?>, Object> cursor = values.getEntries();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   137
        while (cursor.advance()) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   138
            sorted.put(cursor.getKey(), cursor.getValue());
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   139
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   140
        return sorted.toString();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   141
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   142
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   143
    private static final int PROPERTY_LINE_WIDTH = 80;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   144
    private static final int PROPERTY_HELP_INDENT = 10;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   145
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   146
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   147
     * Wraps some given text to one or more lines of a given maximum width.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   148
     *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   149
     * @param text text to wrap
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   150
     * @param width maximum width of an output line, exception for words in {@code text} longer than
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   151
     *            this value
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   152
     * @return {@code text} broken into lines
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   153
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   154
    private static List<String> wrap(String text, int width) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   155
        List<String> lines = Collections.singletonList(text);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   156
        if (text.length() > width) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   157
            String[] chunks = text.split("\\s+");
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   158
            lines = new ArrayList<>();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   159
            StringBuilder line = new StringBuilder();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   160
            for (String chunk : chunks) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   161
                if (line.length() + chunk.length() > width) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   162
                    lines.add(line.toString());
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   163
                    line.setLength(0);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   164
                }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   165
                if (line.length() != 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   166
                    line.append(' ');
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   167
                }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   168
                String[] embeddedLines = chunk.split("%n", -2);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   169
                if (embeddedLines.length == 1) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   170
                    line.append(chunk);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   171
                } else {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   172
                    for (int i = 0; i < embeddedLines.length; i++) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   173
                        line.append(embeddedLines[i]);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   174
                        if (i < embeddedLines.length - 1) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   175
                            lines.add(line.toString());
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   176
                            line.setLength(0);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   177
                        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   178
                    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   179
                }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   180
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   181
            if (line.length() != 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   182
                lines.add(line.toString());
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   183
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   184
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   185
        return lines;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   186
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   187
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   188
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   189
     * Prints a help message to {@code out} describing all options available via {@code loader}. The
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   190
     * key/value for each option is separated by {@code :=} if the option has an entry in this
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   191
     * object otherwise {@code =} is used as the separator.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   192
     *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   193
     * @param loader
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   194
     * @param out
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   195
     * @param namePrefix
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   196
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   197
    public void printHelp(Iterable<OptionDescriptors> loader, PrintStream out, String namePrefix) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   198
        SortedMap<String, OptionDescriptor> sortedOptions = new TreeMap<>();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   199
        for (OptionDescriptors opts : loader) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   200
            for (OptionDescriptor desc : opts) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   201
                String name = desc.getName();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   202
                OptionDescriptor existing = sortedOptions.put(name, desc);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   203
                assert existing == null || existing == desc : "Option named \"" + name + "\" has multiple definitions: " + existing.getLocation() + " and " + desc.getLocation();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   204
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   205
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   206
        for (Map.Entry<String, OptionDescriptor> e : sortedOptions.entrySet()) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   207
            OptionDescriptor desc = e.getValue();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   208
            Object value = desc.getOptionKey().getValue(this);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   209
            if (value instanceof String) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   210
                value = '"' + String.valueOf(value) + '"';
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   211
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   212
            String help = desc.getHelp();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   213
            if (desc.getOptionKey() instanceof EnumOptionKey) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   214
                EnumOptionKey<?> eoption = (EnumOptionKey<?>) desc.getOptionKey();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   215
                String evalues = eoption.getAllValues().toString();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   216
                if (help.length() > 0 && !help.endsWith(".")) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   217
                    help += ".";
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   218
                }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   219
                help += " Valid values are: " + evalues.substring(1, evalues.length() - 1);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   220
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   221
            String name = namePrefix + e.getKey();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   222
            String assign = containsKey(desc.optionKey) ? ":=" : "=";
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   223
            String typeName = desc.getOptionKey() instanceof EnumOptionKey ? "String" : desc.getType().getSimpleName();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   224
            String linePrefix = String.format("%s %s %s ", name, assign, value);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   225
            int typeStartPos = PROPERTY_LINE_WIDTH - typeName.length();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   226
            int linePad = typeStartPos - linePrefix.length();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   227
            if (linePad > 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   228
                out.printf("%s%-" + linePad + "s[%s]%n", linePrefix, "", typeName);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   229
            } else {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   230
                out.printf("%s[%s]%n", linePrefix, typeName);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   231
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   232
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   233
            if (help.length() != 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   234
                List<String> helpLines = wrap(help, PROPERTY_LINE_WIDTH - PROPERTY_HELP_INDENT);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   235
                for (int i = 0; i < helpLines.size(); i++) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   236
                    out.printf("%" + PROPERTY_HELP_INDENT + "s%s%n", "", helpLines.get(i));
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   237
                }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   238
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   239
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   240
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   241
}