Class XMLPreferenceManager


  • public class XMLPreferenceManager
    extends PreferenceManager
    An extension of PreferenceManager which store the preference in XML.
    Version:
    $Id: XMLPreferenceManager.java 1808001 2017-09-11 09:51:29Z ssteiner $
    • Field Detail

      • xmlParserClassName

        protected java.lang.String xmlParserClassName
        The XML parser
      • PREFERENCE_ENCODING

        public static final java.lang.String PREFERENCE_ENCODING
        The XML encoding used to store properties
        See Also:
        Constant Field Values
    • Constructor Detail

      • XMLPreferenceManager

        public XMLPreferenceManager​(java.lang.String prefFileName)
        Creates a preference manager.
        Parameters:
        prefFileName - the name of the preference file.
      • XMLPreferenceManager

        public XMLPreferenceManager​(java.lang.String prefFileName,
                                    java.util.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​(java.lang.String prefFileName,
                                    java.lang.String parser)
        Creates a preference manager.
        Parameters:
        prefFileName - the name of the preference file.
        parser - The XML parser class name.
      • XMLPreferenceManager

        public XMLPreferenceManager​(java.lang.String prefFileName,
                                    java.util.Map defaults,
                                    java.lang.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.