Class XMLPreferenceManager

java.lang.Object

org.apache.batik.util.PreferenceManager

org.apache.batik.apps.svgbrowser.XMLPreferenceManager

public class XMLPreferenceManager
extends PreferenceManager

An extension of PreferenceManager which store the preference in XML.

Version:

$Id$

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	XMLPreferenceManager.XMLProperties	To store the preferences.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	PREFERENCE_ENCODING	The XML encoding used to store properties
protected String	xmlParserClassName	The XML parser

Fields inherited from class PreferenceManager

defaults, FILE_SEP, fullName, internal, prefFileName, USER_DIR, USER_HOME

Constructor Summary

Constructors

Constructor	Description
XMLPreferenceManager(String prefFileName)	Creates a preference manager.
XMLPreferenceManager(String prefFileName, String parser)	Creates a preference manager.
XMLPreferenceManager(String prefFileName, Map defaults)	Creates a preference manager.
XMLPreferenceManager(String prefFileName, Map defaults, String parser)	Creates a preference manager with a default values initialization map.

Method Summary

Methods inherited from class PreferenceManager

getBoolean, getColor, getDimension, getFile, getFiles, getFloat, getFont, getInteger, getPoint, getPreferenceDirectory, getRectangle, getString, getStrings, getSystemProperty, getURL, getURLs, load, save, setBoolean, setColor, setDimension, setFile, setFiles, setFloat, setFont, setInteger, setPoint, setPreferenceDirectory, setRectangle, setString, setStrings, setURL, setURLs

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

xmlParserClassName

protected String xmlParserClassName

The XML parser

PREFERENCE_ENCODING

public static final String PREFERENCE_ENCODING

The XML encoding used to store properties

See Also:

• Constant Field Values

Constructor Details

XMLPreferenceManager

public XMLPreferenceManager(String prefFileName)

Creates a preference manager.

Parameters:

prefFileName - the name of the preference file.

XMLPreferenceManager

public XMLPreferenceManager(String prefFileName,
 Map defaults)

Creates a preference manager.

Parameters:

prefFileName - the name of the preference file.

defaults - where to get defaults value if the value is not specified in the file.

XMLPreferenceManager

public XMLPreferenceManager(String prefFileName,
 String parser)

Creates a preference manager.

Parameters:

prefFileName - the name of the preference file.

parser - The XML parser class name.

XMLPreferenceManager

public XMLPreferenceManager(String prefFileName,
 Map defaults,
 String parser)

Creates a preference manager with a default values initialization map.

Parameters:

prefFileName - the name of the preference file.

defaults - where to get defaults value if the value is not specified in the file.

parser - The XML parser class name.