oracle.ide.util
Class OrderedProperties
java.lang.Object
|
+--java.util.Dictionary
|
+--java.util.Hashtable
|
+--java.util.Properties
|
+--oracle.ide.util.OrderedProperties
- All Implemented Interfaces:
- java.lang.Cloneable, java.util.Map, java.io.Serializable
- Direct Known Subclasses:
- PlatformProperties
- public class OrderedProperties
- extends java.util.Properties
- See Also:
- Serialized Form
Inner classes inherited from class java.util.Map |
java.util.Map.Entry |
Fields inherited from class java.util.Properties |
defaults |
Method Summary |
java.util.Iterator |
keysAndData()
|
void |
load(java.io.InputStream is)
Loads properties from an InputStream. |
java.lang.Object |
put(java.lang.Object key,
java.lang.Object value)
|
java.lang.Object |
remove(java.lang.Object key)
|
void |
save(java.io.OutputStream out,
java.lang.String header)
|
void |
store(java.io.OutputStream out,
java.lang.String header)
Save properties to an OutputStream. |
Methods inherited from class java.util.Properties |
getProperty, getProperty, list, list, propertyNames, setProperty |
Methods inherited from class java.util.Hashtable |
clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, putAll, rehash, size, toString, values |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
OrderedProperties
public OrderedProperties()
OrderedProperties
public OrderedProperties(java.util.Properties defaults)
put
public java.lang.Object put(java.lang.Object key,
java.lang.Object value)
- Overrides:
put
in class java.util.Hashtable
remove
public java.lang.Object remove(java.lang.Object key)
- Overrides:
remove
in class java.util.Hashtable
keysAndData
public java.util.Iterator keysAndData()
load
public void load(java.io.InputStream is)
throws java.io.IOException
- Loads properties from an InputStream.
- Overrides:
load
in class java.util.Properties
- Parameters:
in
- the input stream- Throws:
java.io.IOException
- Error when reading from input stream.
save
public void save(java.io.OutputStream out,
java.lang.String header)
- Overrides:
save
in class java.util.Properties
store
public void store(java.io.OutputStream out,
java.lang.String header)
throws java.io.IOException
- Save properties to an OutputStream. Use the header as
a comment at the top of the file.
- Overrides:
store
in class java.util.Properties