|
222
|
1 package rep;
|
|
|
2
|
|
|
3 import rep.channel.REPSocketChannel;
|
|
|
4
|
|
|
5 public class SelectButtonEvent<P> implements SessionManagerEvent{
|
|
|
6
|
|
|
7 private REPSocketChannel<P> editorChannel;
|
|
|
8 private int sid;
|
|
|
9 private int eid;
|
|
|
10 private SessionManager manager;
|
|
|
11
|
|
227
|
12 public SelectButtonEvent(EditorPlus<P> editor, SessionPlus session, SessionManagerEventListener listener) {
|
|
|
13 this.editorChannel = editor.getChannel();
|
|
|
14 this.eid = editor.getEID();
|
|
|
15 this.sid = session.getSID();
|
|
222
|
16 this.manager = (SessionManager)listener;
|
|
|
17 }
|
|
|
18
|
|
|
19 public REPSocketChannel<P> getEditorChannel() {
|
|
|
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 }
|
