annotate rep/Editor.java @ 74:391d44c94799

*** empty log message ***
author pin
date Sun, 25 Nov 2007 02:26:23 +0900
parents 6ead43b2475e
children 9381b4734a0b
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
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
3 import java.nio.channels.SocketChannel;
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
4 import java.util.StringTokenizer;
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
5
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
6 public class Editor {
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
7 private int eid;
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
8 private SocketChannel myChannel;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
9 private SocketChannel nextChannel;
21
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
10 private String host;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
11 private String port;
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
12 //public int getEID;
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
13 private String file;
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
14
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
15 public Editor(int editorNo, SocketChannel channel){
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
16 this.eid = editorNo;
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
17 this.myChannel = channel;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
18 }
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
19
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
20 public Editor(SocketChannel channel) {
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
21 this.myChannel = channel;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
22 setHostAndPort(myChannel);
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
23 }
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
24
74
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
25 public Editor() {
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
26 }
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
27
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
28 private void setHostAndPort(SocketChannel channel) {
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
29 String socketString = channel.socket().getRemoteSocketAddress().toString();
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
30 String[] split = socketString.split("/");
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
31 int length = split.length;
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
32 String hostAndPort = split[length-1];
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
33 split = hostAndPort.split(":");
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
34 host = split[0];
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
35 port = split[1];
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
36 }
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
37
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
38 public SocketChannel getChannel() {
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
39 return myChannel;
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
40 }
21
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
41
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
42 public void setHost(String host){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
43 this.host = host;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
44 }
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
45 public void setPort(String port){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
46 this.port = port;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
47 }
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
48
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
49 public String getHost(){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
50 return host;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
51 }
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
52 public String getPort(){
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
53 return port;
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
54 }
2d4bab638a71 *** empty log message ***
pin
parents: 2
diff changeset
55
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
56 public int getEID() {
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
57 return eid;
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
58 }
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
59
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
60 public void setEID(int eid) {
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
61 this.eid = eid;
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
62 }
24
7012a944e58f *** empty log message ***
pin
parents: 23
diff changeset
63 public String toString(){
74
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
64 return (host + ":" + port + ":" + file);
391d44c94799 *** empty log message ***
pin
parents: 56
diff changeset
65 //return ("eid:" + eid + ":" + myChannel.socket().getLocalSocketAddress().toString());
24
7012a944e58f *** empty log message ***
pin
parents: 23
diff changeset
66 }
23
01657c033761 *** empty log message ***
pin
parents: 21
diff changeset
67
38
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
68 public String getName() {
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
69 return file;
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
70 }
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
71
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
72 public void setName(String string) {
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
73 file = string;
38
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
74 }
de8638eb0edd *** empty log message ***
pin
parents: 24
diff changeset
75
56
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
76 public void send(REPCommand repCmd) {
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
77 REPPacketSend send = new REPPacketSend(myChannel);
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
78 send.send(repCmd);
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
79 }
6ead43b2475e *** empty log message ***
pin
parents: 39
diff changeset
80
1
3f5bf0255f5e *** empty log message ***
pin
parents:
diff changeset
81 }