Class NameSpacedProperties
- java.lang.Object
-
- java.util.Dictionary<K,V>
-
- java.util.Hashtable<java.lang.Object,java.lang.Object>
-
- java.util.Properties
-
- org.intermine.webservice.server.jbrowse.util.NameSpacedProperties
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Cloneable,java.util.Map<java.lang.Object,java.lang.Object>
public class NameSpacedProperties extends java.util.PropertiesClass for simplifying access to sets of namespaces properties. This class translates all accesses tokeyto accesses tonamespace + "." + keyin the parent set of properties. Note that this class is read-only. New properties should not be added to it.- Author:
- Alex Kalderimis.
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description NameSpacedProperties(java.lang.String namespace, java.util.Properties parents)Build a new name-spaced property set with a given parent set of properties, and the designated name-space.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.StringgetProperty(java.lang.String key)java.lang.StringgetProperty(java.lang.String key, java.lang.String ifAbsent)java.util.Enumeration<?>propertyNames()java.lang.Objectput(java.lang.Object key, java.lang.Object value)voidputAll(java.util.Map<? extends java.lang.Object,? extends java.lang.Object> mapping)java.lang.ObjectsetProperty(java.lang.String key, java.lang.String value)-
Methods inherited from class java.util.Properties
clear, clone, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keys, keySet, list, list, load, load, loadFromXML, merge, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, save, size, store, store, storeToXML, storeToXML, storeToXML, stringPropertyNames, toString, values
-
-
-
-
Constructor Detail
-
NameSpacedProperties
public NameSpacedProperties(java.lang.String namespace, java.util.Properties parents)Build a new name-spaced property set with a given parent set of properties, and the designated name-space.- Parameters:
namespace- The prefix to append to all property access.parents- The source of all property look-ups.
-
-
Method Detail
-
getProperty
public java.lang.String getProperty(java.lang.String key)
- Overrides:
getPropertyin classjava.util.Properties
-
getProperty
public java.lang.String getProperty(java.lang.String key, java.lang.String ifAbsent)- Overrides:
getPropertyin classjava.util.Properties
-
propertyNames
public java.util.Enumeration<?> propertyNames()
- Overrides:
propertyNamesin classjava.util.Properties
-
setProperty
public java.lang.Object setProperty(java.lang.String key, java.lang.String value)- Overrides:
setPropertyin classjava.util.Properties
-
put
public java.lang.Object put(java.lang.Object key, java.lang.Object value)- Specified by:
putin interfacejava.util.Map<java.lang.Object,java.lang.Object>- Overrides:
putin classjava.util.Properties
-
putAll
public void putAll(java.util.Map<? extends java.lang.Object,? extends java.lang.Object> mapping)
- Specified by:
putAllin interfacejava.util.Map<java.lang.Object,java.lang.Object>- Overrides:
putAllin classjava.util.Properties
-
-