public interface TruffleOptionDescriptors extends OptionDescriptors
OptionDescriptors
enhanced to provide a sandbox policy for options.EMPTY
Modifier and Type | Method and Description |
---|---|
SandboxPolicy |
getSandboxPolicy(String key)
Returns a
SandboxPolicy for an option key . |
create, createUnion, get, iterator
forEach, spliterator
SandboxPolicy getSandboxPolicy(String key)
SandboxPolicy
for an option key
.