annotate rep/SessionList.java @ 320:83790b8b8174

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