annotate rep/Editor.java @ 202:ffedaf382e0c

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