annotate rep/Session.java @ 275:3be92eb54b1c

*** empty log message ***
author kono
date Wed, 24 Sep 2008 17:31:57 +0900
parents ad487e63e3c8
children a549bd4dadb8
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
275
3be92eb54b1c *** empty log message ***
kono
parents: 274
diff changeset
3 import java.nio.channels.SelectionKey;
3be92eb54b1c *** empty log message ***
kono
parents: 274
diff changeset
4 import java.util.Iterator;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
5 import java.util.LinkedList;
224
6b0dd92b8e45 add optimizer to Editor
kent
parents: 181
diff changeset
6 import java.util.List;
6b0dd92b8e45 add optimizer to Editor
kent
parents: 181
diff changeset
7
275
3be92eb54b1c *** empty log message ***
kono
parents: 274
diff changeset
8 import rep.channel.REPSelectionKey;
131
617a47cb0150 *** empty log message ***
pin
parents: 96
diff changeset
9 import rep.channel.REPSocketChannel;
617a47cb0150 *** empty log message ***
pin
parents: 96
diff changeset
10
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
11 public class Session {
38
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
12 private Editor masterEditor;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
13 private int sessionID;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
14 private String sessionName;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
15 private LinkedList<Editor> editorList = new LinkedList<Editor>();
67
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
16 private boolean isOwner = false;
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 3
diff changeset
17
227
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
18 public Session(int sid, String name, Editor editor) {
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
19 this(sid, editor);
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
20 sessionName = name;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
21 }
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
22 public Session(Editor editor) {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
23 masterEditor = editor;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
24 this.sessionID = 0;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
25 this.sessionName = editor.getName();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
26 }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
27
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
28 public Session(int sid, Editor editor) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
29 sessionID = sid;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
30 masterEditor = editor;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
31 editorList.add(editor);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
32 }
179
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
33 public void addEditor(int editorID, REPSocketChannel<REPCommand> channel) {
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
34 editorList.add(new Editor(editorID, channel));
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
35 }
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
36 public LinkedList<Editor> getEditorList() {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
37 if(editorList == null) System.out.println("null!");
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
38 return editorList;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
39 }
3
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
40 public String toString(){
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
41 return sessionName;
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
42 }
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
43 public int getSID() {
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
44 return sessionID;
38
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
45 }
158
5cc8cd48bded *** empty log message ***
pin
parents: 144
diff changeset
46 public Editor getOwner() {
38
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
47 return masterEditor;
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
48 }
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
49 public String getName() {
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
50 return sessionName;
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
51 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
52 public void addEditor(Editor editor) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
53 int eid = editorList.size();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
54 editor.setEID(eid);
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
55 editorList.add(editor);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
56 }
274
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
57
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
58 public boolean deleteEditor(REPSocketChannel<REPCommand> channel) {
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
59 boolean flag = false;
275
3be92eb54b1c *** empty log message ***
kono
parents: 274
diff changeset
60
3be92eb54b1c *** empty log message ***
kono
parents: 274
diff changeset
61 for (Iterator<Editor> it = editorList.iterator();it.hasNext(); ) {
3be92eb54b1c *** empty log message ***
kono
parents: 274
diff changeset
62 Editor e = it.next();
3be92eb54b1c *** empty log message ***
kono
parents: 274
diff changeset
63 if (e.getChannel()==channel) {
3be92eb54b1c *** empty log message ***
kono
parents: 274
diff changeset
64 it.remove(); // to avoid concurrent modification
274
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
65 flag = true;
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
66 }
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
67 }
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
68 return flag;
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
69 }
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
70
227
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
71 public void setSID(int sid) {
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
72 sessionID = sid;
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
73 }
274
ad487e63e3c8 *** empty log message ***
kono
parents: 260
diff changeset
74
158
5cc8cd48bded *** empty log message ***
pin
parents: 144
diff changeset
75 public boolean hasOwner() {
67
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
76 return isOwner;
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
77 }
158
5cc8cd48bded *** empty log message ***
pin
parents: 144
diff changeset
78 public void hasOwner(boolean b) {
67
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
79 isOwner = true;
66
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
80 }
70
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
81 public void sendToEditor(REPCommand repCmd) {
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
82 for(Editor editor : editorList){
181
3a2c6c2f9761 *** empty log message ***
kent
parents: 179
diff changeset
83 editor.getChannel().write(repCmd);
70
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
84 }
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
85 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
86 public Editor getEditor(REPSocketChannel<REPCommand> channel) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
87 for(Editor editor : editorList){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
88 if(editor.getChannel() == channel) return editor;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
89 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
90 return null;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
91 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
92 public void translate(REPSocketChannel<REPCommand> channel, REPCommand command) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
93 Editor editor = getEditor(channel);
224
6b0dd92b8e45 add optimizer to Editor
kent
parents: 181
diff changeset
94 List<REPCommand> commandList = editor.translate(command);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
95 Editor nextEditor = getNextEditor(editor);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
96
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
97 for(REPCommand cmd: commandList){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
98 nextEditor.send(cmd);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
99 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
100 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
101 private Editor getNextEditor(Editor editor) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
102 int eid = editor.getEID();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
103 int neid = (eid+1)%editorList.size();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
104 Editor nextEditor = editorList.get(neid);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
105 return nextEditor;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
106 }
167
3dc194f5e28f *** empty log message ***
pin
parents: 158
diff changeset
107 public Editor getPrevEditor(Editor editor) {
3dc194f5e28f *** empty log message ***
pin
parents: 158
diff changeset
108 int eid = editor.getEID();
3dc194f5e28f *** empty log message ***
pin
parents: 158
diff changeset
109 int peid = (eid + editorList.size() - 1)%editorList.size();
3dc194f5e28f *** empty log message ***
pin
parents: 158
diff changeset
110 Editor prevEditor = editorList.get(peid);
3dc194f5e28f *** empty log message ***
pin
parents: 158
diff changeset
111 return prevEditor;
3dc194f5e28f *** empty log message ***
pin
parents: 158
diff changeset
112 }
259
9e36fd27e2b6 *** empty log message ***
pin
parents: 227
diff changeset
113 public void closeSession() {
260
07bbaa4815a7 *** empty log message ***
pin
parents: 259
diff changeset
114 REPCommand command = new REPCommand();
07bbaa4815a7 *** empty log message ***
pin
parents: 259
diff changeset
115 command.setCMD(REP.REPCMD_CLOSE);
07bbaa4815a7 *** empty log message ***
pin
parents: 259
diff changeset
116 for(Editor editor : editorList){
07bbaa4815a7 *** empty log message ***
pin
parents: 259
diff changeset
117 command.setEID(editor.getEID());
07bbaa4815a7 *** empty log message ***
pin
parents: 259
diff changeset
118 editor.send(command);
07bbaa4815a7 *** empty log message ***
pin
parents: 259
diff changeset
119 }
259
9e36fd27e2b6 *** empty log message ***
pin
parents: 227
diff changeset
120 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
121 }