annotate rep/SessionList.java @ 337:5ba5b7a9761b

use REPLogger
author kono
date Sun, 12 Oct 2008 18:42:18 +0900
parents 83790b8b8174
children 6ae9dcb30a12
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
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
3 import java.util.LinkedList;
130
fc15d8fd1326 *** empty log message ***
kent
parents: 122
diff changeset
4
fc15d8fd1326 *** empty log message ***
kent
parents: 122
diff changeset
5 import rep.channel.REPSocketChannel;
41
86a1553028ad *** empty log message ***
pin
parents: 39
diff changeset
6 import rep.xml.SessionXMLEncoder;
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
7
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
8 public class SessionList {
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
9
56
6ead43b2475e *** empty log message ***
pin
parents: 45
diff changeset
10 LinkedList<Session> sessionLinkedList = new LinkedList<Session>();
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
11 LinkedList<String> stringlist = new LinkedList<String>();
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
12 private int sessionID = 0;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
13 private int editorCount = 0;
80
f7a9b323458b *** empty log message ***
pin
parents: 77
diff changeset
14 private String maxHost;
120
99e598a1dbf8 *** empty log message ***
pin
parents: 101
diff changeset
15
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
16
130
fc15d8fd1326 *** empty log message ***
kent
parents: 122
diff changeset
17 public int addSession(REPSocketChannel<REPCommand> channel, String string) {
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
18 sessionID++;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
19 return sessionID;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
20
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
21 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
22
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
23 public int getNumberOfEditor() {
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
24 editorCount++;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
25 return editorCount;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
26 }
130
fc15d8fd1326 *** empty log message ***
kent
parents: 122
diff changeset
27
3
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
28 public String getSessionList() {
56
6ead43b2475e *** empty log message ***
pin
parents: 45
diff changeset
29 if (sessionLinkedList != null) {
337
5ba5b7a9761b use REPLogger
kono
parents: 320
diff changeset
30 SessionManager.logger.writeLog(
5ba5b7a9761b use REPLogger
kono
parents: 320
diff changeset
31 sessionLinkedList.toString());
56
6ead43b2475e *** empty log message ***
pin
parents: 45
diff changeset
32 return sessionLinkedList.toString();
3
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
33 }
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
34 return "{}";
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
35 }
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
36
8
b774b87cc2c1 *** empty log message ***
pin
parents: 3
diff changeset
37 public void sendSelect(int sid) {
158
5cc8cd48bded *** empty log message ***
pin
parents: 135
diff changeset
38 REPSocketChannel<REPCommand> channel = sessionLinkedList.get(sid-1).getOwner().getChannel();
284
90965a3bd4f3 editor simulator
kono
parents: 252
diff changeset
39 channel.write(new REPCommand(REP.SMCMD_SELECT, sid, 0, 0, 0, ""));
8
b774b87cc2c1 *** empty log message ***
pin
parents: 3
diff changeset
40 }
b774b87cc2c1 *** empty log message ***
pin
parents: 3
diff changeset
41
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
42 // public String getXML() {
122
790c8dd42a7b *** empty log message ***
kono
parents: 120
diff changeset
43 ///* SessionListをXMLに書き出す。ときの形式
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
44 // * <Session>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
45 // * <editor>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
46 // * <sid/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
47 // * <host/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
48 // * <port/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
49 // * <filename/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
50 // * </editor>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
51 // * <editor>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
52 // * <sid/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
53 // * <host/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
54 // * <port/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
55 // * </editor>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
56 // * </Session>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
57 // * <SessionManager>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
58 // * <host/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
59 // * <port/>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
60 // * </SessionManager>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
61 // * <Session>
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
62 // * </Session>
41
86a1553028ad *** empty log message ***
pin
parents: 39
diff changeset
63 // *
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
64 // StringWriter str = null;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
65 // try {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
66 // str = new StringWriter();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
67 // DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
68 // DocumentBuilder builder = factory.newDocumentBuilder();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
69 // Document doc = builder.newDocument();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
70 // Element root = doc.getDocumentElement();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
71 // root = doc.createElement("SessionList");
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
72 // for(Session session : session4){
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
73 // Element element = doc.createElement("Session");
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
74 // root.appendChild(element);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
75 // Element element2 = doc.createElement("editor");
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
76 // element.appendChild(element2);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
77 // Editor editor = session.getMaster();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
78 // Element element3 = doc.createElement(editor.getHost());
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
79 // Element element4 = doc.createElement(editor.getPort());
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
80 // Element element5 = doc.createElement(editor.getName());
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
81 // element5 = doc.createElement(session.getName());
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
82 // element2.appendChild(element3);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
83 // element2.appendChild(element4);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
84 // element2.appendChild(element5);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
85 //
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
86 // }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
87 // doc.appendChild(root);
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
88 //
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
89 // TransformerFactory tfactory = TransformerFactory.newInstance();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
90 // Transformer transformer = tfactory.newTransformer();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
91 // StreamResult result = new StreamResult(str);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
92 // //transformer.transform(new DOMSource(doc), new StreamResult(System.out));
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
93 // transformer.transform(new DOMSource(doc), result);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
94 // System.out.println(str);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
95 ////
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
96 //// XMLEncoder e = new XMLEncoder(System.out);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
97 //// e.writeObject(session4);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
98 //// e.writeObject(stringlist);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
99 //// e.close();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
100 //
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
101 // //System.out.println(doc);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
102 // }catch (Exception e){
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
103 // e.printStackTrace();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
104 // }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
105 // return str.toString();
41
86a1553028ad *** empty log message ***
pin
parents: 39
diff changeset
106 // }*/
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
107
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
108 public LinkedList<Session> getList() {
56
6ead43b2475e *** empty log message ***
pin
parents: 45
diff changeset
109 return sessionLinkedList;
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
110 }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
111
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
112 public String toXML() {
56
6ead43b2475e *** empty log message ***
pin
parents: 45
diff changeset
113 SessionXMLEncoder encoder = new SessionXMLEncoder(sessionLinkedList);
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
114 encoder.sessionListToXML();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
115 return null;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
116 }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
117
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
118 public int addSession(Session session) {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
119 sessionID++;
56
6ead43b2475e *** empty log message ***
pin
parents: 45
diff changeset
120 session.setSID(sessionID);
6ead43b2475e *** empty log message ***
pin
parents: 45
diff changeset
121 sessionLinkedList.add(session);
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
122 return sessionID;
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
123 }
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
124
66
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
125 public Session getSession(int sid) {
120
99e598a1dbf8 *** empty log message ***
pin
parents: 101
diff changeset
126 for(Session session : sessionLinkedList){
99e598a1dbf8 *** empty log message ***
pin
parents: 101
diff changeset
127 if(session.getSID() == sid){
99e598a1dbf8 *** empty log message ***
pin
parents: 101
diff changeset
128 return session;
99e598a1dbf8 *** empty log message ***
pin
parents: 101
diff changeset
129 }
99e598a1dbf8 *** empty log message ***
pin
parents: 101
diff changeset
130 }
66
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
131 return sessionLinkedList.get(sid - 1);
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
132 }
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
133
80
f7a9b323458b *** empty log message ***
pin
parents: 77
diff changeset
134 public void setMaxHost(String myHost) {
f7a9b323458b *** empty log message ***
pin
parents: 77
diff changeset
135 maxHost = myHost;
77
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
136 }
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
137
82
4bb583553a42 *** empty log message ***
pin
parents: 80
diff changeset
138 public String getMaxHost() {
80
f7a9b323458b *** empty log message ***
pin
parents: 77
diff changeset
139 return maxHost;
77
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
140 }
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
141
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
142 public void setList(LinkedList<Session> list) {
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
143 sessionLinkedList = list;
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
144 }
eb78312ea831 *** empty log message ***
pin
parents: 66
diff changeset
145
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
146 }