annotate rep/REPCommand.java @ 471:d2762d669617

sleep command to wait for singleton prevention
author one
date Tue, 12 Oct 2010 10:19:59 +0900
parents 4b87f89b3afd
children 7420dea70dd7
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
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
3 import rep.REP;
141
6f15a8880ed8 *** empty log message ***
pin
parents: 119
diff changeset
4
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
5 public class REPCommand {
271
kono
parents: 144
diff changeset
6 public REP cmd;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
7 public int sid;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
8 public int eid;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
9 public int seq;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
10 public int len;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
11 public int lineno;
141
6f15a8880ed8 *** empty log message ***
pin
parents: 119
diff changeset
12
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
13 public String string;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
14
284
90965a3bd4f3 editor simulator
kono
parents: 276
diff changeset
15 public REPCommand(REP cmd,int sid,int eid, int seq, int lineno, String string) {
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
16 this.cmd = cmd;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
17 this.sid = sid;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
18 this.eid = eid;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
19 this.seq = seq;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
20 this.lineno = lineno;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
21 this.string = string;
141
6f15a8880ed8 *** empty log message ***
pin
parents: 119
diff changeset
22 }
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 341
diff changeset
23
141
6f15a8880ed8 *** empty log message ***
pin
parents: 119
diff changeset
24 public REPCommand(REPCommand cmd){
339
bb9e202af4d8 *** empty log message ***
kono
parents: 284
diff changeset
25 this(cmd.cmd, cmd.sid, cmd.eid, cmd.seq, cmd.lineno, cmd.string);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
26 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
27
25
2b4863af8804 *** empty log message ***
pin
parents: 19
diff changeset
28 public REPCommand() {
2b4863af8804 *** empty log message ***
pin
parents: 19
diff changeset
29 }
341
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 340
diff changeset
30
271
kono
parents: 144
diff changeset
31 public REPCommand(int cmd, int sid, int eid, int seq, int lineno,
kono
parents: 144
diff changeset
32 int textsiz, String string) {
kono
parents: 144
diff changeset
33 this.cmd = REP.newREP(cmd);
kono
parents: 144
diff changeset
34 this.sid = sid;
kono
parents: 144
diff changeset
35 this.eid = eid;
kono
parents: 144
diff changeset
36 this.seq = seq;
kono
parents: 144
diff changeset
37 this.lineno = lineno;
kono
parents: 144
diff changeset
38 this.string = string;
kono
parents: 144
diff changeset
39 }
kono
parents: 144
diff changeset
40
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
41 public String toString(){
339
bb9e202af4d8 *** empty log message ***
kono
parents: 284
diff changeset
42 String repCmdString = cmd + ",sid=" + sid + ",eid=" + eid + ",seq=" + seq +
340
f55843e829d6 *** empty log message ***
kono
parents: 339
diff changeset
43 ",lineno=" + lineno ;
f55843e829d6 *** empty log message ***
kono
parents: 339
diff changeset
44 if (string!=null) repCmdString += ",sz=" + string.length() +"," + string;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
45 return repCmdString;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
46 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
47
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
48 public void setEID(int eid2) {
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
49 this.eid = eid2;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
50 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
51
271
kono
parents: 144
diff changeset
52 public void setCMD(REP cmd2) {
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
53 this.cmd = cmd2;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
54 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
55
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
56 public void setSID(int sessionID) {
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
57 this.sid = sessionID;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
58 }
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
59
12
aee937370052 *** empty log message ***
pin
parents: 8
diff changeset
60 public void setString(String string2) {
aee937370052 *** empty log message ***
pin
parents: 8
diff changeset
61 string = string2;
aee937370052 *** empty log message ***
pin
parents: 8
diff changeset
62 }
aee937370052 *** empty log message ***
pin
parents: 8
diff changeset
63
141
6f15a8880ed8 *** empty log message ***
pin
parents: 119
diff changeset
64 public void setSEQID(int i) {
6f15a8880ed8 *** empty log message ***
pin
parents: 119
diff changeset
65 seq = i;
75
a636b651dbce *** empty log message ***
pin
parents: 25
diff changeset
66 }
17
806e34a6fecd *** empty log message ***
pin
parents: 12
diff changeset
67
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
68 }