public interface GraphConfigspace
extends java.lang.Iterable<java.util.Map.Entry<java.lang.String,java.lang.Object>>
GraphConfig. Contains configuration options which
can be inspected and changed.
Iterating over a GraphConfigspace returns all the configuration entries (i.e. configuration option identifiers
and their associated value) that have been set within the space.| Modifier and Type | Method and Description |
|---|---|
default boolean |
contains(java.lang.String configOption) |
java.lang.Object |
get(java.lang.String configOption) |
GraphConfigspace |
set(java.lang.String configOption,
java.lang.Object value)
Sets the given configuration option to the provided value.
|
default GraphConfigspace |
unset(java.lang.String configOption)
Removes the given configuration option (and its associated value - if any) from this configuration space.
|
default boolean contains(java.lang.String configOption)
configOption - The string identifier of a configuration option within this Configspacejava.lang.Object get(java.lang.String configOption)
configOption - The string identifier of a configuration option within this ConfigspaceGraphConfigspace set(java.lang.String configOption, java.lang.Object value)
GraphConfig#applyChanges() is called.
Make sure to call this method after all configuration changes have been made. *configOption - The string identifier of a configuration option within this Configspacevalue - The value to set the configuration option tojava.lang.IllegalArgumentException - If the provided value is invalid for the given optiondefault GraphConfigspace unset(java.lang.String configOption)
configOption - the name of the option