Mercurial > hg > RemoteEditor > REPSessionManager

comparison rep/xml/SessionXMLEncoder.java @ 382:4b87f89b3afd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
REP Session Manager (Java version) new structure
author one@firefly.cr.ie.u-ryukyu.ac.jp
date Mon, 10 Nov 2008 22:07:45 +0900
parents fa041bae35f1
children
comparison
equal deleted inserted replaced
381:65fdb3dc1885 382:4b87f89b3afd
12 import javax.xml.transform.stream.StreamResult; 12 import javax.xml.transform.stream.StreamResult;
13 13
14 import org.w3c.dom.Document; 14 import org.w3c.dom.Document;
15 import org.w3c.dom.Element; 15 import org.w3c.dom.Element;
16 16
17 import rep.EditorPlus;
18 import rep.Session; 17 import rep.Session;
19 import rep.SessionList; 18 import rep.SessionList;
19 import rep.handler.REPNode;
20 20
21 public class SessionXMLEncoder { 21 public class SessionXMLEncoder {
22 DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance(); 22 DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();
23 TransformerFactory tfactory = TransformerFactory.newInstance(); 23 TransformerFactory tfactory = TransformerFactory.newInstance();
24 24
62 for(Session session : list.values()){ 62 for(Session session : list.values()){
63 Element elementSession = doc.createElement("Session"); 63 Element elementSession = doc.createElement("Session");
64 root.appendChild(elementSession); 64 root.appendChild(elementSession);
65 elementSession.setAttribute("sid", Integer.toString(session.getSID())); 65 elementSession.setAttribute("sid", Integer.toString(session.getSID()));
66 66
67 for(EditorPlus editor : session.getEditorList()){ 67 for(REPNode editor : session.getEditorList()){
68 Element elementEditor = doc.createElement("Editor"); 68 Element elementEditor = doc.createElement("Editor");
69 elementEditor.setAttribute("eid", Integer.toString(editor.getEID())); 69 elementEditor.setAttribute("eid", Integer.toString(editor.getEID()));
70 elementSession.appendChild(elementEditor); 70 elementSession.appendChild(elementEditor);
71 71
72 Element elementHost = doc.createElement("host"); 72 Element elementHost = doc.createElement("host");