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, stringPropertyNamesprotected XMLPreferenceManager.XMLProperties()
public void load(java.io.InputStream is)
throws java.io.IOException
load in class java.util.Propertiesjava.io.IOExceptionpublic 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.Propertiesjava.io.IOExceptionCopyright ? 2009 Apache Software Foundation. All Rights Reserved.