| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 */  | 
 | 
 | 
 | 
package java.util.prefs;  | 
 | 
 | 
 | 
import java.util.*;  | 
 | 
import java.io.*;  | 
 | 
import javax.xml.parsers.*;  | 
 | 
import javax.xml.transform.*;  | 
 | 
import javax.xml.transform.dom.*;  | 
 | 
import javax.xml.transform.stream.*;  | 
 | 
import org.xml.sax.*;  | 
 | 
import org.w3c.dom.*;  | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 */  | 
 | 
class XmlSupport { | 
 | 
      | 
 | 
    private static final String PREFS_DTD_URI =  | 
 | 
        "http://java.sun.com/dtd/preferences.dtd";  | 
 | 
 | 
 | 
      | 
 | 
    private static final String PREFS_DTD =  | 
 | 
        "<?xml version=\"1.0\" encoding=\"UTF-8\"?>" +  | 
 | 
 | 
 | 
        "<!-- DTD for preferences -->"               +  | 
 | 
 | 
 | 
        "<!ELEMENT preferences (root) >"             +  | 
 | 
        "<!ATTLIST preferences"                      +  | 
 | 
        " EXTERNAL_XML_VERSION CDATA \"0.0\"  >"     +  | 
 | 
 | 
 | 
        "<!ELEMENT root (map, node*) >"              +  | 
 | 
        "<!ATTLIST root"                             +  | 
 | 
        "          type (system|user) #REQUIRED >"   +  | 
 | 
 | 
 | 
        "<!ELEMENT node (map, node*) >"              +  | 
 | 
        "<!ATTLIST node"                             +  | 
 | 
        "          name CDATA #REQUIRED >"           +  | 
 | 
 | 
 | 
        "<!ELEMENT map (entry*) >"                   +  | 
 | 
        "<!ATTLIST map"                              +  | 
 | 
        "  MAP_XML_VERSION CDATA \"0.0\"  >"         +  | 
 | 
        "<!ELEMENT entry EMPTY >"                    +  | 
 | 
        "<!ATTLIST entry"                            +  | 
 | 
        "          key CDATA #REQUIRED"              +  | 
 | 
        "          value CDATA #REQUIRED >"          ;  | 
 | 
      | 
 | 
 | 
 | 
     */  | 
 | 
    private static final String EXTERNAL_XML_VERSION = "1.0";  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
     */  | 
 | 
    private static final String MAP_XML_VERSION = "1.0";  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
     */  | 
 | 
    static void export(OutputStream os, final Preferences p, boolean subTree)  | 
 | 
        throws IOException, BackingStoreException { | 
 | 
        if (((AbstractPreferences)p).isRemoved())  | 
 | 
            throw new IllegalStateException("Node has been removed"); | 
 | 
        Document doc = createPrefsDoc("preferences"); | 
 | 
        Element preferences =  doc.getDocumentElement() ;  | 
 | 
        preferences.setAttribute("EXTERNAL_XML_VERSION", EXTERNAL_XML_VERSION); | 
 | 
        Element xmlRoot =  (Element)  | 
 | 
        preferences.appendChild(doc.createElement("root")); | 
 | 
        xmlRoot.setAttribute("type", (p.isUserNode() ? "user" : "system")); | 
 | 
 | 
 | 
          | 
 | 
        List<Preferences> ancestors = new ArrayList<>();  | 
 | 
 | 
 | 
        for (Preferences kid = p, dad = kid.parent(); dad != null;  | 
 | 
                                   kid = dad, dad = kid.parent()) { | 
 | 
            ancestors.add(kid);  | 
 | 
        }  | 
 | 
        Element e = xmlRoot;  | 
 | 
        for (int i=ancestors.size()-1; i >= 0; i--) { | 
 | 
            e.appendChild(doc.createElement("map")); | 
 | 
            e = (Element) e.appendChild(doc.createElement("node")); | 
 | 
            e.setAttribute("name", ancestors.get(i).name()); | 
 | 
        }  | 
 | 
        putPreferencesInXml(e, doc, p, subTree);  | 
 | 
 | 
 | 
        writeDoc(doc, os);  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
     */  | 
 | 
    private static void putPreferencesInXml(Element elt, Document doc,  | 
 | 
               Preferences prefs, boolean subTree) throws BackingStoreException  | 
 | 
    { | 
 | 
        Preferences[] kidsCopy = null;  | 
 | 
        String[] kidNames = null;  | 
 | 
 | 
 | 
        // Node is locked to export its contents and get a  | 
 | 
        // copy of children, then lock is released,  | 
 | 
          | 
 | 
        synchronized (((AbstractPreferences)prefs).lock) { | 
 | 
            // Check if this node was concurrently removed. If yes  | 
 | 
              | 
 | 
            if (((AbstractPreferences)prefs).isRemoved()) { | 
 | 
                elt.getParentNode().removeChild(elt);  | 
 | 
                return;  | 
 | 
            }  | 
 | 
              | 
 | 
            String[] keys = prefs.keys();  | 
 | 
            Element map = (Element) elt.appendChild(doc.createElement("map")); | 
 | 
            for (int i=0; i<keys.length; i++) { | 
 | 
                Element entry = (Element)  | 
 | 
                    map.appendChild(doc.createElement("entry")); | 
 | 
                entry.setAttribute("key", keys[i]); | 
 | 
                  | 
 | 
                entry.setAttribute("value", prefs.get(keys[i], null)); | 
 | 
            }  | 
 | 
              | 
 | 
            if (subTree) { | 
 | 
                  | 
 | 
                kidNames = prefs.childrenNames();  | 
 | 
                kidsCopy = new Preferences[kidNames.length];  | 
 | 
                for (int i = 0; i <  kidNames.length; i++)  | 
 | 
                    kidsCopy[i] = prefs.node(kidNames[i]);  | 
 | 
            }  | 
 | 
            // release lock  | 
 | 
        }  | 
 | 
 | 
 | 
        if (subTree) { | 
 | 
            for (int i=0; i < kidNames.length; i++) { | 
 | 
                Element xmlKid = (Element)  | 
 | 
                    elt.appendChild(doc.createElement("node")); | 
 | 
                xmlKid.setAttribute("name", kidNames[i]); | 
 | 
                putPreferencesInXml(xmlKid, doc, kidsCopy[i], subTree);  | 
 | 
            }  | 
 | 
        }  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
     */  | 
 | 
    static void importPreferences(InputStream is)  | 
 | 
        throws IOException, InvalidPreferencesFormatException  | 
 | 
    { | 
 | 
        try { | 
 | 
            Document doc = loadPrefsDoc(is);  | 
 | 
            String xmlVersion =  | 
 | 
                doc.getDocumentElement().getAttribute("EXTERNAL_XML_VERSION"); | 
 | 
            if (xmlVersion.compareTo(EXTERNAL_XML_VERSION) > 0)  | 
 | 
                throw new InvalidPreferencesFormatException(  | 
 | 
                "Exported preferences file format version " + xmlVersion +  | 
 | 
                " is not supported. This java installation can read" +  | 
 | 
                " versions " + EXTERNAL_XML_VERSION + " or older. You may need" +  | 
 | 
                " to install a newer version of JDK.");  | 
 | 
 | 
 | 
            Element xmlRoot = (Element) doc.getDocumentElement().  | 
 | 
                                               getChildNodes().item(0);  | 
 | 
            Preferences prefsRoot =  | 
 | 
                (xmlRoot.getAttribute("type").equals("user") ? | 
 | 
                            Preferences.userRoot() : Preferences.systemRoot());  | 
 | 
            ImportSubtree(prefsRoot, xmlRoot);  | 
 | 
        } catch(SAXException e) { | 
 | 
            throw new InvalidPreferencesFormatException(e);  | 
 | 
        }  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
     */  | 
 | 
    private static Document createPrefsDoc( String qname ) { | 
 | 
        try { | 
 | 
            DOMImplementation di = DocumentBuilderFactory.newInstance().  | 
 | 
                newDocumentBuilder().getDOMImplementation();  | 
 | 
            DocumentType dt = di.createDocumentType(qname, null, PREFS_DTD_URI);  | 
 | 
            return di.createDocument(null, qname, dt);  | 
 | 
        } catch(ParserConfigurationException e) { | 
 | 
            throw new AssertionError(e);  | 
 | 
        }  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
 | 
 | 
     */  | 
 | 
    private static Document loadPrefsDoc(InputStream in)  | 
 | 
        throws SAXException, IOException  | 
 | 
    { | 
 | 
        DocumentBuilderFactory dbf = DocumentBuilderFactory.newInstance();  | 
 | 
        dbf.setIgnoringElementContentWhitespace(true);  | 
 | 
        dbf.setValidating(true);  | 
 | 
        dbf.setCoalescing(true);  | 
 | 
        dbf.setIgnoringComments(true);  | 
 | 
        try { | 
 | 
            DocumentBuilder db = dbf.newDocumentBuilder();  | 
 | 
            db.setEntityResolver(new Resolver());  | 
 | 
            db.setErrorHandler(new EH());  | 
 | 
            return db.parse(new InputSource(in));  | 
 | 
        } catch (ParserConfigurationException e) { | 
 | 
            throw new AssertionError(e);  | 
 | 
        }  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
     */  | 
 | 
    private static final void writeDoc(Document doc, OutputStream out)  | 
 | 
        throws IOException  | 
 | 
    { | 
 | 
        try { | 
 | 
            TransformerFactory tf = TransformerFactory.newInstance();  | 
 | 
            try { | 
 | 
                tf.setAttribute("indent-number", new Integer(2)); | 
 | 
            } catch (IllegalArgumentException iae) { | 
 | 
                //Ignore the IAE. Should not fail the writeout even the  | 
 | 
                //transformer provider does not support "indent-number".  | 
 | 
            }  | 
 | 
            Transformer t = tf.newTransformer();  | 
 | 
            t.setOutputProperty(OutputKeys.DOCTYPE_SYSTEM, doc.getDoctype().getSystemId());  | 
 | 
            t.setOutputProperty(OutputKeys.INDENT, "yes");  | 
 | 
            //Transformer resets the "indent" info if the "result" is a StreamResult with  | 
 | 
            //an OutputStream object embedded, creating a Writer object on top of that  | 
 | 
              | 
 | 
            t.transform(new DOMSource(doc),  | 
 | 
                        new StreamResult(new BufferedWriter(new OutputStreamWriter(out, "UTF-8"))));  | 
 | 
        } catch(TransformerException e) { | 
 | 
            throw new AssertionError(e);  | 
 | 
        }  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
     */  | 
 | 
    private static void ImportSubtree(Preferences prefsNode, Element xmlNode) { | 
 | 
        NodeList xmlKids = xmlNode.getChildNodes();  | 
 | 
        int numXmlKids = xmlKids.getLength();  | 
 | 
          | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
         */  | 
 | 
        Preferences[] prefsKids;  | 
 | 
          | 
 | 
        synchronized (((AbstractPreferences)prefsNode).lock) { | 
 | 
              | 
 | 
            if (((AbstractPreferences)prefsNode).isRemoved())  | 
 | 
                return;  | 
 | 
 | 
 | 
              | 
 | 
            Element firstXmlKid = (Element) xmlKids.item(0);  | 
 | 
            ImportPrefs(prefsNode, firstXmlKid);  | 
 | 
            prefsKids = new Preferences[numXmlKids - 1];  | 
 | 
 | 
 | 
              | 
 | 
            for (int i=1; i < numXmlKids; i++) { | 
 | 
                Element xmlKid = (Element) xmlKids.item(i);  | 
 | 
                prefsKids[i-1] = prefsNode.node(xmlKid.getAttribute("name")); | 
 | 
            }  | 
 | 
        } // unlocked the node  | 
 | 
          | 
 | 
        for (int i=1; i < numXmlKids; i++)  | 
 | 
            ImportSubtree(prefsKids[i-1], (Element)xmlKids.item(i));  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
     */  | 
 | 
    private static void ImportPrefs(Preferences prefsNode, Element map) { | 
 | 
        NodeList entries = map.getChildNodes();  | 
 | 
        for (int i=0, numEntries = entries.getLength(); i < numEntries; i++) { | 
 | 
            Element entry = (Element) entries.item(i);  | 
 | 
            prefsNode.put(entry.getAttribute("key"), | 
 | 
                          entry.getAttribute("value")); | 
 | 
        }  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
     */  | 
 | 
    static void exportMap(OutputStream os, Map<String, String> map) throws IOException { | 
 | 
        Document doc = createPrefsDoc("map"); | 
 | 
        Element xmlMap = doc.getDocumentElement( ) ;  | 
 | 
        xmlMap.setAttribute("MAP_XML_VERSION", MAP_XML_VERSION); | 
 | 
 | 
 | 
        for (Iterator<Map.Entry<String, String>> i = map.entrySet().iterator(); i.hasNext(); ) { | 
 | 
            Map.Entry<String, String> e = i.next();  | 
 | 
            Element xe = (Element)  | 
 | 
                xmlMap.appendChild(doc.createElement("entry")); | 
 | 
            xe.setAttribute("key",   e.getKey()); | 
 | 
            xe.setAttribute("value", e.getValue()); | 
 | 
        }  | 
 | 
 | 
 | 
        writeDoc(doc, os);  | 
 | 
    }  | 
 | 
 | 
 | 
      | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
     */  | 
 | 
    static void importMap(InputStream is, Map<String, String> m)  | 
 | 
        throws IOException, InvalidPreferencesFormatException  | 
 | 
    { | 
 | 
        try { | 
 | 
            Document doc = loadPrefsDoc(is);  | 
 | 
            Element xmlMap = doc.getDocumentElement();  | 
 | 
              | 
 | 
            String mapVersion = xmlMap.getAttribute("MAP_XML_VERSION"); | 
 | 
            if (mapVersion.compareTo(MAP_XML_VERSION) > 0)  | 
 | 
                throw new InvalidPreferencesFormatException(  | 
 | 
                "Preferences map file format version " + mapVersion +  | 
 | 
                " is not supported. This java installation can read" +  | 
 | 
                " versions " + MAP_XML_VERSION + " or older. You may need" +  | 
 | 
                " to install a newer version of JDK.");  | 
 | 
 | 
 | 
            NodeList entries = xmlMap.getChildNodes();  | 
 | 
            for (int i=0, numEntries=entries.getLength(); i<numEntries; i++) { | 
 | 
                Element entry = (Element) entries.item(i);  | 
 | 
                m.put(entry.getAttribute("key"), entry.getAttribute("value")); | 
 | 
            }  | 
 | 
        } catch(SAXException e) { | 
 | 
            throw new InvalidPreferencesFormatException(e);  | 
 | 
        }  | 
 | 
    }  | 
 | 
 | 
 | 
    private static class Resolver implements EntityResolver { | 
 | 
        public InputSource resolveEntity(String pid, String sid)  | 
 | 
            throws SAXException  | 
 | 
        { | 
 | 
            if (sid.equals(PREFS_DTD_URI)) { | 
 | 
                InputSource is;  | 
 | 
                is = new InputSource(new StringReader(PREFS_DTD));  | 
 | 
                is.setSystemId(PREFS_DTD_URI);  | 
 | 
                return is;  | 
 | 
            }  | 
 | 
            throw new SAXException("Invalid system identifier: " + sid); | 
 | 
        }  | 
 | 
    }  | 
 | 
 | 
 | 
    private static class EH implements ErrorHandler { | 
 | 
        public void error(SAXParseException x) throws SAXException { | 
 | 
            throw x;  | 
 | 
        }  | 
 | 
        public void fatalError(SAXParseException x) throws SAXException { | 
 | 
            throw x;  | 
 | 
        }  | 
 | 
        public void warning(SAXParseException x) throws SAXException { | 
 | 
            throw x;  | 
 | 
        }  | 
 | 
    }  | 
 | 
}  |