public final class OptionDescriptorsMap extends Object implements OptionDescriptors
| Constructor and Description |
|---|
OptionDescriptorsMap(org.graalvm.collections.EconomicMap<String,OptionDescriptor> map) |
| Modifier and Type | Method and Description |
|---|---|
OptionDescriptor |
get(String key)
Gets the
OptionDescriptor matching a given option name or null if this option
descriptor set doesn't contain a matching option name. |
Iterator<OptionDescriptor> |
iterator() |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEach, spliteratorpublic OptionDescriptorsMap(org.graalvm.collections.EconomicMap<String,OptionDescriptor> map)
public OptionDescriptor get(String key)
OptionDescriptorsOptionDescriptor matching a given option name or null if this option
descriptor set doesn't contain a matching option name.get in interface OptionDescriptorspublic Iterator<OptionDescriptor> iterator()
iterator in interface Iterable<OptionDescriptor>