@API(type=NOT_EXTENDABLE,
src=PUBLIC)
public interface OptionsStorage
Modifier and Type | Method and Description |
---|---|
void |
addOptionListener(OptionListener listener)
Adds an
OptionListener to the current set of options. |
java.lang.String |
getOption(java.lang.String key,
java.lang.String defaultValue)
Provides the value of the option associated with the specified key.
|
void |
removeOptionListener(OptionListener listener)
Removes an option listener from the current set of option listeners.
|
void |
setOption(java.lang.String key,
java.lang.String value)
Modifies the value of an option.
|
void |
setOptionsDoctypePrefix(java.lang.String optionsDoctypePrefix)
Sets the options doctype prefix which is used to prefix options like a namespace.
|
void setOptionsDoctypePrefix(java.lang.String optionsDoctypePrefix)
optionsDoctypePrefix
- The document type prefix used to build the options keys.
This should not be null
.void addOptionListener(OptionListener listener)
OptionListener
to the current set of options.
The listener is notified when the value of its associated option changes.listener
- The OptionListener
to be added.void removeOptionListener(OptionListener listener)
listener
- The OptionListener
to be removed.java.lang.String getOption(java.lang.String key, java.lang.String defaultValue)
key
- The key that uniquely identifies an option.defaultValue
- The default value for the specified option.void setOption(java.lang.String key, java.lang.String value)
null
The option will be removed from storage.key
- The key of the option whose value is to be modified.value
- The new value of the option. If null
the option will be removed from the storage.© Copyright SyncRO Soft SRL 2002 - 2016. All rights reserved.