comparison rep/REPCommand.java @ 339:bb9e202af4d8

*** empty log message ***
author kono
date Sun, 12 Oct 2008 19:51:53 +0900
parents 90965a3bd4f3
children f55843e829d6
comparison
equal deleted inserted replaced
338:bcb4ea4ff208 339:bb9e202af4d8
25 this.lineno = lineno; 25 this.lineno = lineno;
26 this.string = string; 26 this.string = string;
27 this.throughMaster = false; 27 this.throughMaster = false;
28 } 28 }
29 public REPCommand(REPCommand cmd){ 29 public REPCommand(REPCommand cmd){
30 this(cmd.cmd, cmd.sid, cmd.eid, cmd.seq, cmd.lineno, new String(cmd.string)); 30 this(cmd.cmd, cmd.sid, cmd.eid, cmd.seq, cmd.lineno, cmd.string);
31 } 31 }
32 32
33 public REPCommand() { 33 public REPCommand() {
34 // TODO Auto-generated constructor stub 34 // TODO Auto-generated constructor stub
35 } 35 }
43 this.string = string; 43 this.string = string;
44 this.throughMaster = false; 44 this.throughMaster = false;
45 } 45 }
46 46
47 public String toString(){ 47 public String toString(){
48 String repCmdString = new String(cmd + ",sid=" + sid + ",eid=" + eid + ",seq=" + seq + 48 String repCmdString = cmd + ",sid=" + sid + ",eid=" + eid + ",seq=" + seq +
49 ",lineno=" + lineno + ",sz=" + string.length() + "," + string); 49 ",lineno=" + lineno + ",sz=" + string.length() + "," + string;
50 return repCmdString; 50 return repCmdString;
51 } 51 }
52 52
53 public void setEID(int eid2) { 53 public void setEID(int eid2) {
54 this.eid = eid2; 54 this.eid = eid2;