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