Mercurial > hg > RemoteEditor > REPSessionManager

annotate rep/SessionList.java @ 359:fa041bae35f1

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