org.graalvm.compiler.options

Class OptionDescriptorsMap

java.lang.Object

org.graalvm.compiler.options.OptionDescriptorsMap

All Implemented Interfaces:

Iterable<OptionDescriptor>, OptionDescriptors

public final class OptionDescriptorsMap
extends Object
implements OptionDescriptors

A OptionDescriptor implementation that wraps an existing map from Strings to OptionDescriptors.

Constructor Summary

Constructors

Constructor and Description
OptionDescriptorsMap(org.graalvm.collections.EconomicMap<String,OptionDescriptor> map)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

OptionDescriptorsMap

public OptionDescriptorsMap(org.graalvm.collections.EconomicMap<String,OptionDescriptor> map)

Method Detail

get

public OptionDescriptor get(String key)

Description copied from interface: OptionDescriptors

Gets the OptionDescriptor matching a given option name or null if this option descriptor set doesn't contain a matching option name.

Specified by:

get in interface OptionDescriptors

iterator

public Iterator<OptionDescriptor> iterator()

Specified by:

iterator in interface Iterable<OptionDescriptor>