public interface OptionValues
OptionDescriptor.| Modifier and Type | Method and Description |
|---|---|
<T> T |
get(OptionKey<T> optionKey)
Returns the value of a given option.
|
OptionDescriptors |
getDescriptors()
Returns all available options.
|
boolean |
hasBeenSet(OptionKey<?> optionKey)
Determines if a value for
optionKey has been OptionValues.set(org.graalvm.options.OptionKey<T>, T) in this set of option
values. |
default boolean |
hasSetOptions()
Determines if a value for any of the option keys in
option
descriptors has been OptionValues.set(org.graalvm.options.OptionKey<T>, T) in this set of option values. |
<T> void |
set(OptionKey<T> optionKey,
T value)
Sets the value of
optionKey to value. |
OptionDescriptors getDescriptors()
<T> void set(OptionKey<T> optionKey, T value)
optionKey to value.IllegalArgumentException - if the given value is not validated by the option type of the key. Note that
the operation succeeds if the option key is not described by any of the
associated descriptors.<T> T get(OptionKey<T> optionKey)
descriptors the default value
of the given key is returned.boolean hasBeenSet(OptionKey<?> optionKey)
optionKey has been OptionValues.set(org.graalvm.options.OptionKey<T>, T) in this set of option
values.default boolean hasSetOptions()
option
descriptors has been OptionValues.set(org.graalvm.options.OptionKey<T>, T) in this set of option values.