public interface  org.graalvm.options.OptionValues extends java.lang.Object
{
public abstract org.graalvm.options.OptionDescriptors getDescriptors();
public void set(org.graalvm.options.OptionKey, java.lang.Object)
{
org.graalvm.options.OptionValues v;
java.lang.UnsupportedOperationException v;
org.graalvm.options.OptionKey v;
java.lang.Object v;
v := @this: org.graalvm.options.OptionValues;
v := @parameter: org.graalvm.options.OptionKey;
v := @parameter: java.lang.Object;
v = new java.lang.UnsupportedOperationException;
specialinvoke v.<java.lang.UnsupportedOperationException: void <init>()>();
throw v;
}
public abstract java.lang.Object get(org.graalvm.options.OptionKey);
public abstract boolean hasBeenSet(org.graalvm.options.OptionKey);
public boolean hasSetOptions()
{
org.graalvm.options.OptionValues v;
java.util.Iterator v;
org.graalvm.options.OptionKey v;
java.lang.Object v;
org.graalvm.options.OptionDescriptors v;
boolean v, v;
v := @this: org.graalvm.options.OptionValues;
v = interfaceinvoke v.<org.graalvm.options.OptionValues: org.graalvm.options.OptionDescriptors getDescriptors()>();
v = interfaceinvoke v.<org.graalvm.options.OptionDescriptors: java.util.Iterator iterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
v = virtualinvoke v.<org.graalvm.options.OptionDescriptor: org.graalvm.options.OptionKey getKey()>();
v = interfaceinvoke v.<org.graalvm.options.OptionValues: boolean hasBeenSet(org.graalvm.options.OptionKey)>(v);
if v == 0 goto label;
return 1;
label:
return 0;
}
}