public class ConfigurationManager
extends java.lang.Object
ConfigurationPlugin Configuration, if it exist| Constructor and Description |
|---|
ConfigurationManager(java.util.List<Plugin> plugins,
java.util.prefs.Preferences prefRoot,
Configuration conf) |
| Modifier and Type | Method and Description |
|---|---|
void |
deserializeConfiguration()
Return the previously serialized configuration, and deserialize it for the application and the Plugins.
|
void |
deserializeConfiguration(java.io.File dir)
Return the previously serialized configuration, and deserialize it it for the application and the Plugins.
|
void |
deserializeConfiguration(java.util.prefs.Preferences root)
Return the previously serialized configuration, and deserialize it for the application and the Plugins in a
user-defined Preferences root.
|
void |
deserializeConfiguration(java.util.prefs.Preferences root,
java.io.File dir)
Return the previously serialized configuration, and deserialize it for the application and the Plugins in a
user-defined Preferences root.
|
void |
deserializeMainConfiguration()
Return the previously serialized configuration, and deserialize it for the application.
|
void |
deserializeMainConfiguration(java.io.File dir)
Return the previously serialized configuration, and deserialize it for the application.
|
void |
deserializeMainConfiguration(java.util.prefs.Preferences root)
Return the previously serialized configuration, and deserialize it for the application in a user-defined Preferences root.
|
void |
deserializeMainConfiguration(java.util.prefs.Preferences root,
java.io.File dir)
Return the previously serialized configuration, and deserialize it for the application in a user-defined Preferences root.
|
void |
deserializePluginsConfiguration(java.util.List<Plugin> plugins)
Return the previously serialized configuration for Plugins, and deserialize it.
|
void |
deserializePluginsConfiguration(java.util.List<Plugin> plugins,
java.util.prefs.Preferences root)
Return the previously serialized configuration for Plugins, and deserialize it in a user-defined Preferences root.
|
void |
deserializePluginsConfiguration(java.util.List<Plugin> plugins,
java.util.prefs.Preferences root,
java.io.File dir)
Return the previously serialized configuration for Plugins, and deserialize it in a user-defined Preferences root.
|
java.util.prefs.Preferences |
getPreferencesRoot()
Return the Preferences root.
|
void |
serializeConfiguration(java.util.List<Plugin> plugins)
Serialize the configuration in a user-defined root, using a null directory as the default for the serialization.
|
void |
serializeConfiguration(java.util.List<Plugin> plugins,
java.io.File dir)
Serialize the configuration in a user-defined root.
|
void |
serializeConfiguration(java.util.List<Plugin> plugins,
java.util.prefs.Preferences root)
Serialize the configuration, using a null directory as the default for the serialization.
|
void |
serializeConfiguration(java.util.List<Plugin> plugins,
java.util.prefs.Preferences root,
java.io.File dir)
Serialize the configuration, using a directory as the default for the serialization.
|
public ConfigurationManager(java.util.List<Plugin> plugins, java.util.prefs.Preferences prefRoot, Configuration conf)
public java.util.prefs.Preferences getPreferencesRoot()
public void deserializeConfiguration(java.io.File dir)
Configurationdir - the reference directory for the configuration. If the directory is null, the default one will be usedpublic void deserializeConfiguration()
Configurationpublic void deserializeConfiguration(java.util.prefs.Preferences root,
java.io.File dir)
root - the preferences rootdir - the directory to use as a current directory to store File preferences. This parameter can
be used for the configuration to define the File preference path relative to the directory, but a
Configuration might also not take this parameter into account at alldeserializeMainConfiguration()public void deserializeConfiguration(java.util.prefs.Preferences root)
root - the preferences rootdeserializeMainConfiguration()public void deserializeMainConfiguration(java.io.File dir)
This deserialization will update:
Configurationdir - the reference directory for the configuration. If the directory is null, the default one will be usedpublic void deserializeMainConfiguration()
This deserialization will update:
Configurationpublic void deserializeMainConfiguration(java.util.prefs.Preferences root,
java.io.File dir)
root - the preferences rootdir - the directory to use as a current directory to store File preferences. This parameter can
be used for the configuration to define the File preference path relative to the directory, but a
Configuration might also not take this parameter into account at alldeserializeMainConfiguration()public void deserializeMainConfiguration(java.util.prefs.Preferences root)
root - the preferences rootdeserializeMainConfiguration()public void deserializePluginsConfiguration(java.util.List<Plugin> plugins)
This deserialization will update :
ConfigurationConfigurationplugins - the list of Pluginspublic void deserializePluginsConfiguration(java.util.List<Plugin> plugins, java.util.prefs.Preferences root, java.io.File dir)
plugins - the list of Pluginsroot - the preferences rootdir - the reference directory for the deserializationdeserializePluginsConfiguration(java.util.List)public void deserializePluginsConfiguration(java.util.List<Plugin> plugins, java.util.prefs.Preferences root)
plugins - the list of Pluginsroot - the preferences rootpublic void serializeConfiguration(java.util.List<Plugin> plugins, java.io.File dir) throws java.util.prefs.BackingStoreException
This serialization will use the state of :
ConfigurationConfigurationplugins - the list of Pluginsdir - the reference directory for the serializationjava.util.prefs.BackingStoreException - if the serialization could not be performedpublic void serializeConfiguration(java.util.List<Plugin> plugins) throws java.util.prefs.BackingStoreException
plugins - the list of Pluginsjava.util.prefs.BackingStoreException - if the serialization could not be performedserializeConfiguration(java.util.List, java.util.prefs.Preferences, java.io.File)public void serializeConfiguration(java.util.List<Plugin> plugins, java.util.prefs.Preferences root, java.io.File dir) throws java.util.prefs.BackingStoreException
This serialization will use the state of :
ConfigurationConfigurationplugins - the list of Pluginsdir - the reference directory for the serializationroot - the Preferences rootjava.util.prefs.BackingStoreException - if the serialization could not be performedpublic void serializeConfiguration(java.util.List<Plugin> plugins, java.util.prefs.Preferences root) throws java.util.prefs.BackingStoreException
plugins - the list of Pluginsroot - the Preferences rootjava.util.prefs.BackingStoreException - if the serialization could not be performedserializeConfiguration(java.util.List, java.util.prefs.Preferences, java.io.File)