public interface NamedConfiguration
PluginsConfigurations,
PluginManifestKeys.KEY_PLUGIN_CONFIG| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
DEFAULT_CONFIG |
| Modifier and Type | Method and Description |
|---|---|
default void |
getConfiguration(java.util.prefs.Preferences pref,
java.io.File dir,
java.lang.String confName)
Called when the Preferences key-value entries must be updated with the configuration, for a configuration name.
|
default java.util.Set<java.lang.String> |
getConfigurationPropertiesNames(java.lang.String confName)
Return the names of the configuration properties for a named configuration.
|
default java.lang.Object |
getConfigurationProperty(java.io.File dir,
java.lang.String propertyName,
java.lang.String confName)
Return the property with a specified name for a named configuration.
|
default java.lang.Class |
getConfigurationPropertyType(java.lang.String propertyName,
java.lang.String confName)
Return the type of the property with a specified name for a named configuration.
|
default java.lang.Object |
getDefaultConfigurationProperty(java.lang.String propertyName,
java.lang.String confName)
Return the default value for a property with a specified name for a named configuration.
|
default boolean |
hasConfigurationProperty(java.lang.String propertyName,
java.lang.String confName)
Return true if there is a property with a specified name for a named configuration.
|
default void |
putConfiguration(java.util.prefs.Preferences pref,
java.io.File dir,
java.lang.String confName)
Called when the configuration must be filled with key-value entries stored in a Preferences, for a configuration name.
|
default void |
setConfigurationProperty(java.io.File dir,
java.lang.String propertyName,
java.lang.String confName,
java.lang.Object property)
Set the value of the property with a specified name for a named configuration.Return null by default.
|
static final java.lang.String DEFAULT_CONFIG
default void putConfiguration(java.util.prefs.Preferences pref,
java.io.File dir,
java.lang.String confName)
pref - the Preferencesdir - 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 allconfName - the configuration namedefault void getConfiguration(java.util.prefs.Preferences pref,
java.io.File dir,
java.lang.String confName)
pref - the Preferencesdir - 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 allconfName - the configuration namedefault java.util.Set<java.lang.String> getConfigurationPropertiesNames(java.lang.String confName)
confName - the configuration namedefault boolean hasConfigurationProperty(java.lang.String propertyName,
java.lang.String confName)
propertyName - the property nameconfName - the configuration namedefault java.lang.Object getConfigurationProperty(java.io.File dir,
java.lang.String propertyName,
java.lang.String confName)
dir - the base directorypropertyName - the property nameconfName - the configuration namedefault java.lang.Object getDefaultConfigurationProperty(java.lang.String propertyName,
java.lang.String confName)
propertyName - the property nameconfName - the configuration namedefault java.lang.Class getConfigurationPropertyType(java.lang.String propertyName,
java.lang.String confName)
propertyName - the property nameconfName - the configuration namedefault void setConfigurationProperty(java.io.File dir,
java.lang.String propertyName,
java.lang.String confName,
java.lang.Object property)
dir - the base directorypropertyName - the property nameconfName - the configuration nameproperty - the property value