protected class XMLPreferenceManager.XMLProperties
extends java.util.Properties
Modifier | Constructor and Description |
---|---|
protected |
XMLPreferenceManager.XMLProperties() |
Modifier and Type | Method and Description |
---|---|
void |
load(java.io.InputStream is)
Reads a property list (key and element pairs) from the input stream.
|
void |
store(java.io.OutputStream os,
java.lang.String header)
Writes this property list (key and element pairs) in this
Properties table to the output stream in a format suitable
for loading into a Properties table using the
load method. |
getProperty, getProperty, list, list, load, loadFromXML, propertyNames, save, setProperty, store, storeToXML, storeToXML, stringPropertyNames
protected XMLPreferenceManager.XMLProperties()
public void load(java.io.InputStream is) throws java.io.IOException
load
in class java.util.Properties
java.io.IOException
public void store(java.io.OutputStream os, java.lang.String header) throws java.io.IOException
Properties
table to the output stream in a format suitable
for loading into a Properties
table using the
load
method.
The stream is written using the ISO 8859-1 character encoding.store
in class java.util.Properties
java.io.IOException
Copyright ? 2009 Apache Software Foundation. All Rights Reserved.