Mercurial > hg > RemoteEditor > REPSessionManager

annotate rep/SessionList.java @ 471:d2762d669617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sleep command to wait for singleton prevention
author one
date Tue, 12 Oct 2010 10:19:59 +0900
parents 1d5b608f39da
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
1 package rep;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
2
358
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
3
130
fc15d8fd1326 *** empty log message ***
kent
parents: 122
diff changeset
4
358
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
5 import java.util.HashMap;
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
6
358
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
7 public class SessionList extends HashMap<Integer,Session>{
357
6ae9dcb30a12 *** empty log message ***
kono
parents: 337
diff changeset
8 /**
6ae9dcb30a12 *** empty log message ***
kono
parents: 337
diff changeset
9 *
6ae9dcb30a12 *** empty log message ***
kono
parents: 337
diff changeset
10 */
6ae9dcb30a12 *** empty log message ***
kono
parents: 337
diff changeset
11 private static final long serialVersionUID = 1L;
6ae9dcb30a12 *** empty log message ***
kono
parents: 337
diff changeset
12 private int sid_root = 0;
3
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
13
8
b774b87cc2c1 *** empty log message ***
pin
parents: 3
diff changeset
14
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
15 // public String getXML() {
122
790c8dd42a7b *** empty log message ***
kono
parents: 120
diff changeset
16 ///* SessionListをXMLに書き出す。ときの形式
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
17 // * <Session>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
18 // * <editor>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
19 // * <sid/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
20 // * <host/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
21 // * <port/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
22 // * <filename/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
23 // * </editor>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
24 // * <editor>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
25 // * <sid/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
26 // * <host/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
27 // * <port/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
28 // * </editor>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
29 // * </Session>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
30 // * <SessionManager>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
31 // * <host/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
32 // * <port/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
33 // * </SessionManager>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
34 // * <Session>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
35 // * </Session>
41
86a1553028ad *** empty log message ***
pin
parents: 39
diff changeset
36 // *
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
37 // StringWriter str = null;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
38 // try {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
39 // str = new StringWriter();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
40 // DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
41 // DocumentBuilder builder = factory.newDocumentBuilder();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
42 // Document doc = builder.newDocument();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
43 // Element root = doc.getDocumentElement();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
44 // root = doc.createElement("SessionList");
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
45 // for(Session session : session4){
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
46 // Element element = doc.createElement("Session");
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
47 // root.appendChild(element);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
48 // Element element2 = doc.createElement("editor");
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
49 // element.appendChild(element2);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
50 // Editor editor = session.getMaster();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
51 // Element element3 = doc.createElement(editor.getHost());
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
52 // Element element4 = doc.createElement(editor.getPort());
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
53 // Element element5 = doc.createElement(editor.getName());
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
54 // element5 = doc.createElement(session.getName());
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
55 // element2.appendChild(element3);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
56 // element2.appendChild(element4);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
57 // element2.appendChild(element5);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
58 //
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
59 // }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
60 // doc.appendChild(root);
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
61 //
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
62 // TransformerFactory tfactory = TransformerFactory.newInstance();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
63 // Transformer transformer = tfactory.newTransformer();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
64 // StreamResult result = new StreamResult(str);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
65 // //transformer.transform(new DOMSource(doc), new StreamResult(System.out));
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
66 // transformer.transform(new DOMSource(doc), result);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
67 // System.out.println(str);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
68 ////
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
69 //// XMLEncoder e = new XMLEncoder(System.out);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
70 //// e.writeObject(session4);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
71 //// e.writeObject(stringlist);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
72 //// e.close();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
73 //
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
74 // //System.out.println(doc);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
75 // }catch (Exception e){
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
76 // e.printStackTrace();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
77 // }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
78 // return str.toString();
41
86a1553028ad *** empty log message ***
pin
parents: 39
diff changeset
79 // }*/
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
80
358
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
81
66
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
82 public Session getSession(int sid) {
358
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
83 return get(sid);
66
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
84 }
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
85
357
6ae9dcb30a12 *** empty log message ***
kono
parents: 337
diff changeset
86 public int newSessionID() {
6ae9dcb30a12 *** empty log message ***
kono
parents: 337
diff changeset
87 return ++sid_root ;
77
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
88 }
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
89
358
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
90 public void merge(SessionList receivedSessionList) {
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
91 for(Session s:receivedSessionList.values()) {
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
92 int sid = s.getSID();
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
93 if (containsKey(sid)) {
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
94 get(sid).merge(s);
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
95 } else {
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
96 put(sid,s);
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
97 }
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
98 }
358
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
99 }
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
100
034acadc0cdc *** empty log message ***
kono
parents: 357
diff changeset
101
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
102 }