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.Properties
Class for simplifying access to sets of namespaces properties. This class translates all accesses tokey
to accesses tonamespace + "." + key
in 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.String
getProperty(java.lang.String key)
java.lang.String
getProperty(java.lang.String key, java.lang.String ifAbsent)
java.util.Enumeration<?>
propertyNames()
java.lang.Object
put(java.lang.Object key, java.lang.Object value)
void
putAll(java.util.Map<? extends java.lang.Object,? extends java.lang.Object> mapping)
java.lang.Object
setProperty(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:
getProperty
in classjava.util.Properties
-
getProperty
public java.lang.String getProperty(java.lang.String key, java.lang.String ifAbsent)
- Overrides:
getProperty
in classjava.util.Properties
-
propertyNames
public java.util.Enumeration<?> propertyNames()
- Overrides:
propertyNames
in classjava.util.Properties
-
setProperty
public java.lang.Object setProperty(java.lang.String key, java.lang.String value)
- Overrides:
setProperty
in classjava.util.Properties
-
put
public java.lang.Object put(java.lang.Object key, java.lang.Object value)
- Specified by:
put
in interfacejava.util.Map<java.lang.Object,java.lang.Object>
- Overrides:
put
in classjava.util.Properties
-
putAll
public void putAll(java.util.Map<? extends java.lang.Object,? extends java.lang.Object> mapping)
- Specified by:
putAll
in interfacejava.util.Map<java.lang.Object,java.lang.Object>
- Overrides:
putAll
in classjava.util.Properties
-
-