annotate test/sematest/TestEditor.java @ 318:dc57e24ea3df

*** empty log message ***
author kono
date Wed, 08 Oct 2008 10:09:02 +0900
parents 20fb70068089
children 6ceb222570cb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
1 package test.sematest;
311847db7429 *** empty log message ***
pin
parents:
diff changeset
2
311847db7429 *** empty log message ***
pin
parents:
diff changeset
3 import java.io.IOException;
311847db7429 *** empty log message ***
pin
parents:
diff changeset
4 import java.net.InetSocketAddress;
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
5 import java.nio.channels.SelectionKey;
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
6 import java.util.LinkedList;
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
7
311847db7429 *** empty log message ***
pin
parents:
diff changeset
8 import rep.REP;
311847db7429 *** empty log message ***
pin
parents:
diff changeset
9 import rep.REPCommand;
311847db7429 *** empty log message ***
pin
parents:
diff changeset
10 import rep.REPCommandPacker;
311847db7429 *** empty log message ***
pin
parents:
diff changeset
11 import rep.channel.REPLogger;
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
12 import rep.channel.REPSelectionKey;
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
13 import rep.channel.REPSelector;
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
14 import rep.channel.REPSocketChannel;
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
15 import test.Text;
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
16
311847db7429 *** empty log message ***
pin
parents:
diff changeset
17
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
18 /**
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
19 * @author kono
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
20 * Basic Temote Editor client implementation
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
21 * should support multi-session
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
22 * currently multi-session requires new channel, that is
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
23 * only one session for this editor.
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
24 */
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
25 public class TestEditor extends Thread{
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
26 private InetSocketAddress semaIP;
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
27 private REPLogger ns;
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
28 private int seq = 0;
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
29 private int prevSeq = 0;
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
30 public Text text;
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
31 public LinkedList<REPCommand> cmds;
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
32 private int eid = 0;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
33 private int sid = 0;
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
34 REPSocketChannel<REPCommand> channel;
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
35 REPCommand nop = new REPCommand(REP.REPCMD_NOP, 0, 0, 0, 0, "");
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
36 boolean running = true;
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
37 long timeout = 1;
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
38 private String name;
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
39 private boolean inputLock=false;
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
40 public boolean detached=false;
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
41 public boolean master=false;
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
42 private int syncCounter=0;
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
43 private boolean hasInputLock=true;
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
44
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
45
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
46 public TestEditor(String name, String _host,int _port, boolean master){
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
47 super(name);
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
48 LinkedList<REPCommand>cmdList = new LinkedList<REPCommand>();
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
49 String[] txts = {
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
50 "aaa", "bbb", "ccc", "ddd", "eee",
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
51 };
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
52 semaIP = new InetSocketAddress(_host, _port);
311847db7429 *** empty log message ***
pin
parents:
diff changeset
53 ns = REPLogger.singleton();
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
54 this.name = name;
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
55 cmds = cmdList;
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
56 if (master) {
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
57 this.master=true;
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
58 text = new Text(txts);
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
59 cmds.add(new REPCommand(REP.SMCMD_PUT,0,0,0,0,name+"-file"));
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
60 cmds.add(new REPCommand(REP.REPCMD_INSERT,0,0,0,0,"m0"));
304
75192c844a8d *** empty log message ***
kono
parents: 303
diff changeset
61 //cmds.add(new REPCommand(REP.REPCMD_DELETE,0,0,0,0,"m0"));
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
62 cmds.add(new REPCommand(REP.SMCMD_QUIT,0,0,0,0,""));
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
63 } else {
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
64 text = new Text(new String[0]);
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
65 cmds.add(new REPCommand(REP.SMCMD_JOIN,0,0,0,0,name));
304
75192c844a8d *** empty log message ***
kono
parents: 303
diff changeset
66 //cmds.add(new REPCommand(REP.REPCMD_INSERT,0,0,0,0,"c0"));
75192c844a8d *** empty log message ***
kono
parents: 303
diff changeset
67 //cmds.add(new REPCommand(REP.REPCMD_DELETE,0,0,0,0,"c0"));
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
68 }
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
69 }
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
70
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
71 public TestEditor(String name, String _host,int _port, boolean master,
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
72 String[] txts,LinkedList<REPCommand> cmdList){
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
73 super(name);
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
74 semaIP = new InetSocketAddress(_host, _port);
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
75 ns = REPLogger.singleton();
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
76 this.name = name;
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
77 cmds = cmdList;
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
78 if (master) {
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
79 this.master=true;
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
80 text = new Text(txts);
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
81 }
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
82 }
311847db7429 *** empty log message ***
pin
parents:
diff changeset
83
311847db7429 *** empty log message ***
pin
parents:
diff changeset
84 public void run(){
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
85 /*
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
86 * Create Socket and connect to the session manager
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
87 */
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
88 try {
311847db7429 *** empty log message ***
pin
parents:
diff changeset
89 channel = REPSocketChannel.<REPCommand>create(new REPCommandPacker());
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
90 } catch (IOException e) { return; }
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
91
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
92 ns.writeLog("try to connect to SessionManager whose ip is "+semaIP+" "+name, 1);
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
93 try {
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
94 while (!channel.connect(semaIP)){
311847db7429 *** empty log message ***
pin
parents:
diff changeset
95 ns.writeLog("SeMa not listen to socket yet, wait", 1);
311847db7429 *** empty log message ***
pin
parents:
diff changeset
96 }
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
97 } catch (IOException e) { return; }
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
98 ns.writeLog("successes to connect "+name);
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
99 /*
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
100 * Start editor main loop
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
101 * public REPCommand(REP cmd,int sid,int eid, int seq, int lineno, String string)
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
102 */
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
103 try {
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
104 mainloop();
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
105 } catch (IOException e) {
311847db7429 *** empty log message ***
pin
parents:
diff changeset
106 }
311847db7429 *** empty log message ***
pin
parents:
diff changeset
107 }
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
108
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
109 /*
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
110 * Editor main loop with input lock
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
111 */
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
112 private void mainloop() throws IOException {
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
113
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
114 channel.configureBlocking(false);
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
115 REPSelector<REPCommand> selector = REPSelector.create();
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
116 channel.register(selector, SelectionKey.OP_READ);
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
117 while(running) {
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
118 if (inputLock) {
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
119 // No user input during merge mode (optional)
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
120 if (selector.select(0)>0) {
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
121 handle(channel.read());
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
122 }
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
123 continue;
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
124 } else if (selector.select(timeout)<=0) {
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
125 if (syncCounter>0) {
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
126 syncText(); // send the master editor buffer to clients.
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
127 }
288
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
128 userInput();
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
129 }
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
130 // selector(timeout) returns 0, but it may contain readable channel..
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
131 for(REPSelectionKey<REPCommand> key : selector.selectedKeys1()) {
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
132 REPSocketChannel<REPCommand> ch = key.channel1();
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
133 handle(ch.read());
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
134 }
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
135 }
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
136 }
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
137
300
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
138 private void syncText() {
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
139 /*
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
140 * Send delete/insert one at a time to synchronize
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
141 * all clients. SYNC is requested by the session manager.
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
142 */
300
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
143 if (syncCounter>text.size()) {
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
144 syncCounter=0;
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
145 } else {
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
146 int i=syncCounter-1;
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
147 REPCommand del = new REPCommand(REP.REPCMD_DELETE,sid,eid,0,i, text.get(i));
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
148 REPCommand ins = new REPCommand(REP.REPCMD_INSERT,sid,eid,0,i, text.get(i));
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
149 sendCommand(del);
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
150 sendCommand(ins);
300
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
151 syncCounter++;
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
152 }
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
153 }
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
154
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
155 /*
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
156 * Simulate User Input
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
157 */
288
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
158 private void userInput() {
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
159 REPCommand cmd = cmds.poll();
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
160 if (cmd!=null) {
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
161 switch(cmd.cmd) {
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
162 case REPCMD_INSERT:
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
163 text.insert(cmd.lineno, cmd.string);
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
164 sendCommand(cmd);
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
165 break;
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
166 case REPCMD_DELETE:
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
167 String del = text.delete(cmd.lineno);
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
168 cmd.setString(del);
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
169 sendCommand(cmd);
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
170 break;
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
171 case SMCMD_QUIT:
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
172 /*
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
173 * start termination phase 1 by the master editor.
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
174 * after this command do not send any user input.
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
175 * clients simply disconnect from the session manager.
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
176 */
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
177 cmds.clear();
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
178 sendCommand(cmd);
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
179 break;
299
d13dad30fd24 *** empty log message ***
kono
parents: 298
diff changeset
180 case SMCMD_JOIN:
d13dad30fd24 *** empty log message ***
kono
parents: 298
diff changeset
181 case SMCMD_PUT:
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
182 sendCommand(cmd);
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
183 prevSeq = seq;
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
184 /*
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
185 * To prevent confusion, stop user input until the ack
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
186 */
300
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
187 inputLock = true; // wait until ACK
299
d13dad30fd24 *** empty log message ***
kono
parents: 298
diff changeset
188 break;
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
189 default:
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
190 assert(false);
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
191 }
288
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
192 } else {
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
193 // no more command to send
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
194 timeout = 0;
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
195 }
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
196 }
d93b062eadaa *** empty log message ***
kono
parents: 286
diff changeset
197
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
198
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
199 private void sendCommand(REPCommand cmd1) {
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
200 REPCommand cmd = new REPCommand(cmd1);
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
201 cmd.setSEQID(seq++);
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
202 cmd.setEID(eid);
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
203 cmd.setSID(sid);
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
204 ns.writeLog(name +" send "+cmd);
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
205 channel.write(cmd);
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
206 }
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
207
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
208 private void forwardCommand(REPCommand cmd1) {
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
209 REPCommand cmd = new REPCommand(cmd1);
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
210 ns.writeLog(name +" forward "+cmd);
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
211 channel.write(cmd);
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
212 }
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
213
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
214 private void handle(REPCommand cmd) {
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
215 if (cmd==null) return;
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
216 ns.writeLog(name +": read "+cmd);
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
217 switch(cmd.cmd) {
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
218 case REPCMD_INSERT :
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
219 text.insert(cmd.lineno, cmd.string);
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
220 if (cmd.eid!=REP.MERGE_EID.id)
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
221 addNop();
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
222 forwardCommand(cmd);
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
223 break;
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
224 case REPCMD_INSERT_ACK :
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
225 assert(false);
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
226 break;
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
227 case REPCMD_DELETE :
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
228 String del = text.delete(cmd.lineno);
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
229 if (cmd.eid!=REP.MERGE_EID.id)
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
230 addNop();
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
231 cmd.setString(del);
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
232 forwardCommand(cmd);
297
9c553308b918 *** empty log message ***
kono
parents: 288
diff changeset
233 break;
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
234 case REPCMD_DELETE_ACK :
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
235 assert(false);
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
236 break;
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
237 case REPCMD_NOP :
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
238 if (cmd.eid!=REP.MERGE_EID.id)
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
239 addNop();
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
240 forwardCommand(cmd);
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
241 break; case REPCMD_CLOSE :
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
242 case REPCMD_CLOSE_2 :
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
243 assert(false);
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
244 break;
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
245
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
246 case SMCMD_JOIN_ACK :
30c993e89286 TestEditor
kono
parents: 285
diff changeset
247 sid = cmd.sid;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
248 eid = cmd.eid;
300
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
249 inputLock = false;
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
250 break;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
251 case SMCMD_PUT_ACK :
30c993e89286 TestEditor
kono
parents: 285
diff changeset
252 sid = cmd.sid;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
253 eid = cmd.eid;
300
8f6b7a1890b2 *** empty log message ***
kono
parents: 299
diff changeset
254 inputLock = false;
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
255 break;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
256 case SMCMD_QUIT :
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
257 if (cmd.eid!=eid)
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
258 forwardCommand(cmd);
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
259 else
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
260 sendCommand(new REPCommand(REP.SMCMD_QUIT_2,
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
261 sid, eid, seq, 0, ""));
318
dc57e24ea3df *** empty log message ***
kono
parents: 315
diff changeset
262 // stop input processing after this command
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
263 cmds.clear();
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
264 break;
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
265 case SMCMD_QUIT_ACK :
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
266 assert(false);
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
267 break;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
268 case SMCMD_START_MERGE :
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
269 // lock user input during merge (optional)
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
270 inputLock = hasInputLock;
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
271 cmd.cmd = REP.SMCMD_START_MERGE_ACK;
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
272 sendCommand(cmd);
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
273 break;
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
274 case SMCMD_START_MERGE_ACK :
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
275 assert(false);
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
276 break;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
277 case SMCMD_END_MERGE :
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
278 inputLock = false;
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
279 break;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
280 case SMCMD_QUIT_2 :
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
281 if (cmd.eid!=eid) {
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
282 forwardCommand(cmd);
303
41f05c8ff02b *** empty log message ***
kono
parents: 302
diff changeset
283 }
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
284 running = false;
30c993e89286 TestEditor
kono
parents: 285
diff changeset
285 break;
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
286 case SMCMD_SYNC:
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
287 // start contents sync with newly joined editor
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
288 cmd.cmd = REP.SMCMD_SYNC_ACK;
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
289 forwardCommand(cmd);
302
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
290 if (cmd.eid==eid)
4ee012f19855 *** empty log message ***
kono
parents: 300
diff changeset
291 syncCounter = 1;
298
cf9328e66d25 *** empty log message ***
kono
parents: 297
diff changeset
292 break;
286
30c993e89286 TestEditor
kono
parents: 285
diff changeset
293 default:
30c993e89286 TestEditor
kono
parents: 285
diff changeset
294 assert(false);
30c993e89286 TestEditor
kono
parents: 285
diff changeset
295 break;
285
b468f24c3e09 TestEditor
kono
parents: 284
diff changeset
296 }
284
90965a3bd4f3 editor simulator
kono
parents: 193
diff changeset
297 }
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
298
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
299 private void addNop() {
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
300 if (seq!=prevSeq) return;
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
301 // We haven't send any command, add nop before retransmition.
315
20fb70068089 *** empty log message ***
kono
parents: 313
diff changeset
302 sendCommand(nop);
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
303 prevSeq = seq;
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
304 }
193
311847db7429 *** empty log message ***
pin
parents:
diff changeset
305 }