|
8
|
1 package rep;
|
|
|
2
|
|
128
|
3 import rep.channel.REPSocketChannel;
|
|
8
|
4
|
|
212
|
5 public class REPActionEvent<P> implements SessionManagerEvent{
|
|
128
|
6
|
|
|
7 private REPSocketChannel<P> editorChannel;
|
|
8
|
8 private int sid;
|
|
|
9 private int eid;
|
|
212
|
10 private SessionManager manager;
|
|
8
|
11
|
|
212
|
12 public REPActionEvent(EditorPlus<P> plus, SessionPlus plus2, SessionManager manager) {
|
|
8
|
13 this.editorChannel = plus.getChannel();
|
|
|
14 this.eid = plus.getEID();
|
|
|
15 this.sid = plus2.getSID();
|
|
212
|
16 this.manager = manager;
|
|
8
|
17 }
|
|
|
18
|
|
128
|
19 public REPSocketChannel<P> getEditorChannel() {
|
|
8
|
20 return editorChannel;
|
|
|
21 }
|
|
|
22
|
|
|
23 public int getSID() {
|
|
|
24 return sid;
|
|
|
25 }
|
|
|
26
|
|
|
27 public int getEID() {
|
|
|
28 return eid;
|
|
|
29 }
|
|
|
30
|
|
212
|
31 public void exec() {
|
|
|
32 manager.selectSession(this);
|
|
|
33 }
|
|
|
34
|
|
8
|
35 }
|
