Mercurial > hg > RemoteEditor > REPSessionManager

annotate rep/EditorPlus.java @ 12:aee937370052

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author pin
date Fri, 02 Nov 2007 13:37:45 +0900
parents b774b87cc2c1
children 291c62984ba0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
1 package rep;
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
2
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
3 import java.nio.channels.SocketChannel;
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
4
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
5 public class EditorPlus {
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
6
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
7 private int eid;
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
8 private SocketChannel channel;
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
9 public EditorPlus(int eid, SocketChannel channel) {
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
10 this.eid = eid;
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
11 this.channel = channel;
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
12 }
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
13 public String toString(){
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
14 return ("Editor:" + eid);
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
15 }
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
16 public int getEID(){
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
17 return eid;
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
18 }
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
19 public SocketChannel getChannel(){
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
20 return channel;
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
21
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
22 }
b774b87cc2c1 *** empty log message ***
pin
parents:
diff changeset
23 }