de.mud.jta
public class PluginConfig extends java.util.Properties
Maintainer: Matthias L. Jugel
Constructor and Description |
---|
PluginConfig(java.util.Properties props) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getProperty(java.lang.String plugin,
java.lang.String key)
Get the property value for a certain plugin.
|
java.lang.String |
getProperty(java.lang.String plugin,
java.lang.String id,
java.lang.String key)
Get property value for a certain plugin with the specified id.
|
void |
setProperty(java.lang.String plugin,
java.lang.String key,
java.lang.String value)
Set the property value for a certain plugin.
|
void |
setProperty(java.lang.String plugin,
java.lang.String id,
java.lang.String key,
java.lang.String value)
Set the property value for a certain plugin and id.
|
getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames
public java.lang.String getProperty(java.lang.String plugin, java.lang.String id, java.lang.String key)
plugin
- the plugin to get the setup forid
- plugin id as specified in the config filekey
- the property key to search forpublic java.lang.String getProperty(java.lang.String plugin, java.lang.String key)
getProperty
in class java.util.Properties
plugin
- the plugin to get setup forkey
- the property key to search forpublic void setProperty(java.lang.String plugin, java.lang.String id, java.lang.String key, java.lang.String value)
plugin
- the name of the pluginid
- the unique id of the pluginkey
- the property keyvalue
- the new valuepublic void setProperty(java.lang.String plugin, java.lang.String key, java.lang.String value)
plugin
- the name of the pluginkey
- the property keyvalue
- the new value