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.
  • 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:
  • 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.