src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionKey.java

*** 90,95 ****
--- 90,105 ----
       */
      public T getValue(OptionValues values) {
          return values.get(this);
      }
  
+     /**
+      * Returns <code>true</code> if a value for this key has been set for the given option values or
+      * <code>false</code> if no value has been set.
+      *
+      * @since 1.0
+      */
+     public boolean hasBeenSet(OptionValues values) {
+         return values.hasBeenSet(this);
+     }
+ 
  }