@API(type=NOT_EXTENDABLE,
src=PUBLIC)
public interface WSOptionsStorage
Modifier and Type | Method and Description |
---|---|
void |
addOptionListener(WSOptionListener 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(WSOptionListener 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 addOptionListener(WSOptionListener 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(WSOptionListener 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 - 2014. All rights reserved.