annotate rep/Session.java @ 144:0bf7f8d0f5f7

*** empty log message ***
author pin
date Wed, 27 Aug 2008 22:55:43 +0900
parents 617a47cb0150
children 5cc8cd48bded
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
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
3 import java.nio.channels.SocketChannel;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
4 import java.util.LinkedList;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
5 import java.util.List;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
6
131
617a47cb0150 *** empty log message ***
pin
parents: 96
diff changeset
7 import rep.channel.REPSocketChannel;
617a47cb0150 *** empty log message ***
pin
parents: 96
diff changeset
8
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
9 public class Session {
38
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
10 private Editor masterEditor;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
11 private int sessionID;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
12 private String sessionName;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
13 private LinkedList<Editor> editorList = new LinkedList<Editor>();
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
14 private String masterHost;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
15 private String masterPort;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
16 private LinkedList<REPNode> routingTable = new LinkedList<REPNode>();
66
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
17 private int incrementEID;
67
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
18 private boolean isOwner = false;
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 3
diff changeset
19
131
617a47cb0150 *** empty log message ***
pin
parents: 96
diff changeset
20 public Session(int sessionID, String string, REPSocketChannel channel) {
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
21 masterEditor = new Editor(sessionID, channel);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
22 this.sessionID = sessionID;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
23 this.sessionName = string;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
24 }
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
25 public Session(Editor editor) {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
26 masterEditor = editor;
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
27 masterHost = editor.getHost();
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
28 masterPort = editor.getPort();
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
29 this.sessionID = 0;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
30 this.sessionName = editor.getName();
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
31 }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
32
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
33 public Session(int sid, Editor editor) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
34 sessionID = sid;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
35 masterEditor = editor;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
36 editorList.add(editor);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
37 }
131
617a47cb0150 *** empty log message ***
pin
parents: 96
diff changeset
38 public void addEditor(int editorID, REPSocketChannel channel) {
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
39 editorList.add(new Editor(editorID, channel));
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
40 }
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
41 public LinkedList<Editor> getEditorList() {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
42 if(editorList == null) System.out.println("null!");
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
43 return editorList;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
44 }
3
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
45 public String toString(){
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
46 return sessionName;
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
47 }
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
48 public int getSID() {
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
49 return sessionID;
38
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
50 }
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
51 public Editor getMaster() {
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
52 return masterEditor;
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
53 }
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
54 public String getName() {
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
55 return sessionName;
de8638eb0edd *** empty log message ***
pin
parents: 9
diff changeset
56 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
57 public void addEditor(Editor editor) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
58 int eid = editorList.size();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
59 editor.setEID(eid);
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
60 editorList.add(editor);
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
61 }
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
62 public void setSID(int sessionID2) {
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
63 sessionID = sessionID2;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
64 }
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
65 public void addToRoutingTable(Editor editor) {
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
66 routingTable.add(new REPNode(editor));
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
67 }
66
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
68 public boolean isOwner() {
67
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
69 return isOwner;
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
70 }
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
71 public void setOwner(boolean b) {
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
72 isOwner = true;
66
99196780bbf5 *** empty log message ***
pin
parents: 56
diff changeset
73 }
70
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
74 public void sendToEditor(REPCommand repCmd) {
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
75 for(Editor editor : editorList){
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
76 REPPacketSend send = new REPPacketSend(editor.getChannel());
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
77 send.send(repCmd);
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
78 }
248d774be113 *** empty log message ***
pin
parents: 67
diff changeset
79 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
80 public Editor getEditor(REPSocketChannel<REPCommand> channel) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
81 // TODO Auto-generated method stub
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
82 for(Editor editor : editorList){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
83 if(editor.getChannel() == channel) return editor;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
84 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
85 return null;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
86 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
87 public void translate(REPSocketChannel<REPCommand> channel, REPCommand command) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
88 Editor editor = getEditor(channel);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
89 LinkedList<REPCommand> commandList = editor.translate(command);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
90 Editor nextEditor = getNextEditor(editor);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
91
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
92 for(REPCommand cmd: commandList){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
93 nextEditor.send(cmd);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
94 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
95 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
96 private Editor getNextEditor(Editor editor) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
97 int eid = editor.getEID();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
98 int neid = (eid+1)%editorList.size();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
99 Editor nextEditor = editorList.get(neid);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
100 return nextEditor;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 131
diff changeset
101 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
102 }