public interface ISettingsService
Modifier and Type | Method and Description |
---|---|
jadex.commons.future.IFuture<java.lang.Void> |
deregisterPropertiesProvider(java.lang.String id)
Deregister a property provider.
|
jadex.commons.future.IFuture<jadex.commons.Properties> |
getProperties(java.lang.String id)
Get the properties for a given id.
|
jadex.commons.future.IFuture<java.lang.Void> |
loadProperties()
Load the default platform properties.
|
jadex.commons.future.IFuture<java.lang.Void> |
registerPropertiesProvider(java.lang.String id,
jadex.commons.IPropertiesProvider provider)
Register a property provider.
|
jadex.commons.future.IFuture<java.lang.Void> |
saveProperties()
Save the platform properties to the default location.
|
jadex.commons.future.IFuture<java.lang.Void> |
setProperties(java.lang.String id,
jadex.commons.Properties props)
Set the properties for a given id.
|
jadex.commons.future.IFuture<java.lang.Void> |
setSaveOnExit(boolean saveonexit)
Set the save on exit policy.
|
jadex.commons.future.IFuture<java.lang.Void> registerPropertiesProvider(java.lang.String id, jadex.commons.IPropertiesProvider provider)
id
- A unique id to identify the properties (e.g. component or service name).provider
- The properties provider.jadex.commons.future.IFuture<java.lang.Void> deregisterPropertiesProvider(java.lang.String id)
id
- A unique id to identify the properties (e.g. component or service name).jadex.commons.future.IFuture<java.lang.Void> setProperties(java.lang.String id, jadex.commons.Properties props)
id
- A unique id to identify the properties (e.g. component or service name).properties
- The properties to set.jadex.commons.future.IFuture<jadex.commons.Properties> getProperties(java.lang.String id)
id
- A unique id to identify the properties (e.g. component or service name).jadex.commons.future.IFuture<java.lang.Void> loadProperties()
jadex.commons.future.IFuture<java.lang.Void> saveProperties()
jadex.commons.future.IFuture<java.lang.Void> setSaveOnExit(boolean saveonexit)
saveonexit
- The saveonexit flag.