annotate rep/Editor.java @ 212:e8f716498caf

*** empty log message ***
author pin
date Sat, 30 Aug 2008 15:49:42 +0900
parents 63f36334e8dc
children 4d9b32666ed2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
1 package rep;
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
2
122
790c8dd42a7b *** empty log message ***
kono
parents: 83
diff changeset
3 import java.util.LinkedList;
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
4 import java.util.List;
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
5
131
617a47cb0150 *** empty log message ***
pin
parents: 122
diff changeset
6 import rep.channel.REPSocketChannel;
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
7 import rep.translater.TranslaterImp1;
131
617a47cb0150 *** empty log message ***
pin
parents: 122
diff changeset
8
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
9 public class Editor {
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
10 private int eid;
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
11 private REPSocketChannel<REPCommand> myChannel;
21
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
12 private String host;
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
13 private String file;
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
14 private TranslaterImp1 translater;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
15 private List<REPCommand> sentList;
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
16
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
17 public Editor(){
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
18 setHostAndPort(myChannel);
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
19 translater = new TranslaterImp1(eid);
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
20 sentList = new LinkedList<REPCommand>();
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
21 }
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
22
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
23 public Editor(int editorNo, REPSocketChannel<REPCommand> channel){
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
24 this.eid = editorNo;
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
25 this.myChannel = channel;
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
26 translater = new TranslaterImp1(eid);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
27 sentList = new LinkedList<REPCommand>();
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
28 setHostAndPort(myChannel);
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
29 }
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
30
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
31 public Editor(REPSocketChannel<REPCommand> channel) {
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
32 this.myChannel = channel;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
33 setHostAndPort(myChannel);
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
34 translater = new TranslaterImp1(eid);
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
35 sentList = new LinkedList<REPCommand>();
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
36 }
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
37
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
38 public LinkedList<REPCommand> translate(REPCommand command){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
39 LinkedList<REPCommand> list = new LinkedList<REPCommand>();
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
40 if(command.eid == eid){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
41 if(checkReturnedCommand(command)){
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
42 //エディタからのコマンドが元のエディタに戻ってきた
164
3841cc75b808 *** empty log message ***
pin
parents: 155
diff changeset
43 //マージして送信
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
44 REPCommand[] cmds = translater.catchOwnCommand(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
45 sendMergedCommand(cmds);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
46 return null;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
47 }else{
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
48 //エディタからの新たな編集コマンド
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
49 sentList.add(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
50 translater.transSendCmd(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
51 list.add(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
52 }
179
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
53 }else if(eid == REP.MERGE_EID){
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
54 //マージコマンドが返ってきた
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
55 if(translater.checkMergeConflict(command)){
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
56 //マージ中にエディタからの割り込みがあった場合
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
57 LinkedList<REPCommand> mergeAgainList = translater.getMergeAgain();
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
58 for(REPCommand againCommand: mergeAgainList){
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
59 myChannel.write(againCommand);
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
60 }
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
61 }
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
62 }else{
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
63 //他のエディタからの編集コマンド
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
64 REPCommand[] cmds = translater.transReceiveCmd(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
65 for(REPCommand cmd : cmds){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
66 list.add(cmd);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
67 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
68 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
69 return list;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
70 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
71
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
72 private void sendMergedCommand(REPCommand[] cmds) {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
73 for(int i = 0; i < cmds.length; i++){
179
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
74 REPCommand mergeCommand = cmds[i];
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
75 mergeCommand.setEID(REP.MERGE_EID);
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
76 myChannel.write(mergeCommand);
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
77 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
78 }
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
79
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
80 private boolean checkReturnedCommand(REPCommand command) {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
81 if(sentList.size() > 0){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
82 if(sentList.get(0).seq == command.seq){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
83 sentList.remove(0);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
84 return true;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
85 }else{
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
86 System.out.println("error:Editor.checkReturnedCommand()");
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
87 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
88 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
89 return false;
74
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
90 }
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
91
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
92 private void setHostAndPort(REPSocketChannel<REPCommand> myChannel2) {
195
63f36334e8dc *** empty log message ***
pin
parents: 179
diff changeset
93 //host = myChannel2.socket().getRemoteSocketAddress().toString();
178
a097b1d619a1 *** empty log message ***
pin
parents: 164
diff changeset
94
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
95 }
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
96
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
97 public REPSocketChannel<REPCommand> getChannel() {
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
98 return myChannel;
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
99 }
21
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
100
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
101 public void setHost(String host){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
102 this.host = host;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
103 }
178
a097b1d619a1 *** empty log message ***
pin
parents: 164
diff changeset
104
21
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
105
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
106 public String getHost(){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
107 return host;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
108 }
178
a097b1d619a1 *** empty log message ***
pin
parents: 164
diff changeset
109
21
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
110
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
111 public int getEID() {
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
112 return eid;
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
113 }
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
114
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
115 public void setEID(int eid) {
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
116 this.eid = eid;
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
117 }
24
7012a944e58f *** empty log message ***
pin
parents: 23
diff changeset
118 public String toString(){
178
a097b1d619a1 *** empty log message ***
pin
parents: 164
diff changeset
119 return (host + ":" + file);
24
7012a944e58f *** empty log message ***
pin
parents: 23
diff changeset
120 }
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
121
38
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
122 public String getName() {
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
123 return file;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
124 }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
125
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
126 public void setName(String string) {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
127 file = string;
38
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
128 }
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
129
179
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
130 public void send(REPCommand command) {
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
131 myChannel.write(command);
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
132 }
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
133
178
a097b1d619a1 *** empty log message ***
pin
parents: 164
diff changeset
134 public void setChannel(REPSocketChannel<REPCommand> channel) {
83
9381b4734a0b *** empty log message ***
pin
parents: 74
diff changeset
135 myChannel = channel;
9381b4734a0b *** empty log message ***
pin
parents: 74
diff changeset
136 }
9381b4734a0b *** empty log message ***
pin
parents: 74
diff changeset
137
164
3841cc75b808 *** empty log message ***
pin
parents: 155
diff changeset
138 public boolean isMerging() {
3841cc75b808 *** empty log message ***
pin
parents: 155
diff changeset
139 return translater.isMerging();
3841cc75b808 *** empty log message ***
pin
parents: 155
diff changeset
140 }
3841cc75b808 *** empty log message ***
pin
parents: 155
diff changeset
141
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
142 }