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, stringPropertyNamespublic 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.Propertiesplugin - 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