annotate rep/Editor.java @ 155:bbd2801d8ce0

*** empty log message ***
author pin
date Thu, 28 Aug 2008 15:39:20 +0900
parents 2ce1a378da85
children 3841cc75b808
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
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
3 import java.io.IOException;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
4 import java.nio.ByteBuffer;
122
790c8dd42a7b *** empty log message ***
kono
parents: 83
diff changeset
5 import java.util.LinkedList;
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
6 import java.util.List;
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
7
131
617a47cb0150 *** empty log message ***
pin
parents: 122
diff changeset
8 import rep.channel.REPSocketChannel;
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
9 import rep.translater.TranslaterImp1;
131
617a47cb0150 *** empty log message ***
pin
parents: 122
diff changeset
10
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
11 public class Editor {
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
12 private int eid;
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
13 private REPSocketChannel<REPCommand> myChannel;
21
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
14 private String host;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
15 private String port;
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
16 private String file;
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
17 private TranslaterImp1 translater;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
18 private List<REPCommand> sentList;
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
19
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
20 public Editor(){
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
21 setHostAndPort(myChannel);
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
22 translater = new TranslaterImp1(eid);
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
23 sentList = new LinkedList<REPCommand>();
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
24 }
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
25
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
26 public Editor(int editorNo, REPSocketChannel<REPCommand> channel){
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
27 this.eid = editorNo;
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
28 this.myChannel = channel;
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
29 translater = new TranslaterImp1(eid);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
30 sentList = new LinkedList<REPCommand>();
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
31 setHostAndPort(myChannel);
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
32 }
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
33
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
34 public Editor(REPSocketChannel<REPCommand> channel) {
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
35 this.myChannel = channel;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
36 setHostAndPort(myChannel);
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
37 translater = new TranslaterImp1(eid);
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
38 sentList = new LinkedList<REPCommand>();
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
39 }
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
40
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
41 public LinkedList<REPCommand> translate(REPCommand command){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
42 LinkedList<REPCommand> list = new LinkedList<REPCommand>();
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
43 if(command.eid == eid){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
44 if(checkReturnedCommand(command)){
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
45 //エディタからのコマンドが元のエディタに戻ってきた
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
46 REPCommand[] cmds = translater.catchOwnCommand(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
47 sendMergedCommand(cmds);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
48 return null;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
49 }else{
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
50 //エディタからの新たな編集コマンド
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
51 sentList.add(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
52 translater.transSendCmd(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
53 list.add(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
54 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
55 }else{
152
2ce1a378da85 *** empty log message ***
pin
parents: 142
diff changeset
56 //他のエディタからの編集コマンド
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
57 REPCommand[] cmds = translater.transReceiveCmd(command);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
58 for(REPCommand cmd : cmds){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
59 list.add(cmd);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
60 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
61 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
62 return list;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
63 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
64
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
65 private void sendMergedCommand(REPCommand[] cmds) {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
66 for(int i = 0; i < cmds.length; i++){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
67 try {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
68 myChannel.write(pack(cmds[i]));
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
69 } catch (IOException e) {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
70 e.printStackTrace();
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 }
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
74
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
75 private boolean checkReturnedCommand(REPCommand command) {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
76 if(sentList.size() > 0){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
77 if(sentList.get(0).seq == command.seq){
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
78 sentList.remove(0);
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
79 return true;
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
80 }else{
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
81 System.out.println("error:Editor.checkReturnedCommand()");
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
82 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
83 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
84 return false;
74
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
85 }
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
86
132
70fc1e70652c *** empty log message ***
kent
parents: 131
diff changeset
87 private void setHostAndPort(REPSocketChannel<REPCommand> myChannel2) {
131
617a47cb0150 *** empty log message ***
pin
parents: 122
diff changeset
88 String socketString = myChannel2.socket().getRemoteSocketAddress().toString();
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
89 String[] split = socketString.split("/");
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
90 int length = split.length;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
91 String hostAndPort = split[length-1];
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
92 split = hostAndPort.split(":");
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
93 host = split[0];
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
94 port = split[1];
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 }
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
104 public void setPort(String port){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
105 this.port = port;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
106 }
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
107
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
108 public String getHost(){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
109 return host;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
110 }
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
111 public String getPort(){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
112 return port;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
113 }
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
114
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
115 public int getEID() {
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
116 return eid;
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
117 }
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
118
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
119 public void setEID(int eid) {
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
120 this.eid = eid;
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
121 }
24
7012a944e58f *** empty log message ***
pin
parents: 23
diff changeset
122 public String toString(){
74
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
123 return (host + ":" + port + ":" + file);
24
7012a944e58f *** empty log message ***
pin
parents: 23
diff changeset
124 }
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
125
38
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
126 public String getName() {
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
127 return file;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
128 }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
129
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
130 public void setName(String string) {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
131 file = string;
38
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
132 }
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
133
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
134 public void send(REPCommand repCmd) {
142
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
135 try {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
136 myChannel.write(pack(repCmd));
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
137 } catch (IOException e) {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
138 e.printStackTrace();
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
139 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
140 }
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
141
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
142 private ByteBuffer pack(REPCommand repCmd) {
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
143 // TODO Auto-generated method stub
abaf502e6d8f *** empty log message ***
pin
parents: 132
diff changeset
144 return null;
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
145 }
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
146
131
617a47cb0150 *** empty log message ***
pin
parents: 122
diff changeset
147 public void setChannel(REPSocketChannel channel) {
83
9381b4734a0b *** empty log message ***
pin
parents: 74
diff changeset
148 myChannel = channel;
9381b4734a0b *** empty log message ***
pin
parents: 74
diff changeset
149 }
9381b4734a0b *** empty log message ***
pin
parents: 74
diff changeset
150
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
151 }