public class ConfigurationManager
extends java.lang.Object
Configuration
Plugin
Configuration
, if it existConstructor 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)
Configuration
dir
- the reference directory for the configuration. If the directory is null, the default one will be usedpublic void deserializeConfiguration()
Configuration
public 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:
Configuration
dir
- the reference directory for the configuration. If the directory is null, the default one will be usedpublic void deserializeMainConfiguration()
This deserialization will update:
Configuration
public 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 :
Configuration
Configuration
plugins
- 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 :
Configuration
Configuration
plugins
- 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 :
Configuration
Configuration
plugins
- 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)