public class UrlMapperHandler.MapProperties
extends java.util.Properties
Constructor and Description |
---|
UrlMapperHandler.MapProperties(java.util.Properties props,
java.util.Dictionary dict) |
Modifier and Type | Method and Description |
---|---|
void |
addItem(java.lang.String name,
java.lang.String value) |
java.lang.String |
getProperty(java.lang.String key) |
java.lang.String |
getProperty(java.lang.String key,
java.lang.String dflt) |
list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames
public UrlMapperHandler.MapProperties(java.util.Properties props, java.util.Dictionary dict)
public void addItem(java.lang.String name, java.lang.String value)
public java.lang.String getProperty(java.lang.String key, java.lang.String dflt)
getProperty
in class java.util.Properties
public java.lang.String getProperty(java.lang.String key)
getProperty
in class java.util.Properties