[GR-19604] Minor option value fixes.

PullRequest: graal/5250
The-Alchemist · Jan 27, 2020 · a542dda · a542dda
2 parents 3e83a17 + 185fcef
commit a542dda
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/compiler/src/org.graalvm.compiler.options/src/org/graalvm/compiler/options/OptionKey.java b/compiler/src/org.graalvm.compiler.options/src/org/graalvm/compiler/options/OptionKey.java
@@ -27,6 +27,7 @@
 import java.util.Formatter;
 
 import org.graalvm.collections.EconomicMap;
+import org.graalvm.collections.UnmodifiableEconomicMap;
 
 /**
  * A key for an option. The value for an option is obtained from an {@link OptionValues} object.
@@ -145,7 +146,7 @@ public T getValue(OptionValues values) {
      * {@link #getDefaultValue()}.
      */
     @SuppressWarnings("unchecked")
-    public T getValueOrDefault(EconomicMap<OptionKey<?>, Object> values) {
+    public T getValueOrDefault(UnmodifiableEconomicMap<OptionKey<?>, Object> values) {
         if (!values.containsKey(this)) {
             return defaultValue;
         }
@@ -157,7 +158,7 @@ public T getValueOrDefault(EconomicMap<OptionKey<?>, Object> values) {
      * {@link #onValueUpdate(EconomicMap, Object, Object)} method is called once the value is set.
      *
      * @param values map of option values
-     * @param v the value to set for this key in {@code map}
+     * @param v the value to set for this key in {@code values}
      */
     @SuppressWarnings("unchecked")
     public void update(EconomicMap<OptionKey<?>, Object> values, Object v) {
@@ -170,7 +171,7 @@ public void update(EconomicMap<OptionKey<?>, Object> values, Object v) {
      * {@link #onValueUpdate(EconomicMap, Object, Object)} method is called once the value is set.
      *
      * @param values map of option values
-     * @param v the value to set for this key in {@code map}
+     * @param v the value to set for this key in {@code values}
      */
     @SuppressWarnings("unchecked")
     public void putIfAbsent(EconomicMap<OptionKey<?>, Object> values, Object v) {