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

Field Summary

Fields inherited from class java.util.Properties

defaults

Constructor Summary

OrderedProperties()

OrderedProperties(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

Constructor Detail

OrderedProperties

public OrderedProperties()

OrderedProperties

public OrderedProperties(java.util.Properties defaults)

Method Detail

put

public java.lang.Object put(java.lang.Object key,
                            java.lang.Object value)

remove

public java.lang.Object remove(java.lang.Object key)

keysAndData

public java.util.Iterator keysAndData()

load

public void load(java.io.InputStream is)
          throws java.io.IOException

Loads properties from an InputStream.

Throws:

java.io.IOException - Error when reading from input stream.

save

public void save(java.io.OutputStream out,
                 java.lang.String header)

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.

Throws:

java.io.IOException