annotate rep/SelectButtonEvent.java @ 324:e235998427a6 before-merge-fix

try to fix merger
author kono
date Sat, 11 Oct 2008 16:31:03 +0900
parents 83790b8b8174
children 4fae49280699
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
222
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
1 package rep;
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
2
316
77f443f6dc9f add session manager channel handler
kono
parents: 252
diff changeset
3 import java.io.IOException;
77f443f6dc9f add session manager channel handler
kono
parents: 252
diff changeset
4
246
a91d04a13d59 *** empty log message ***
kono
parents: 227
diff changeset
5 public class SelectButtonEvent implements SessionManagerEvent{
222
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
6
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
7 private int sid;
320
83790b8b8174 *** empty log message ***
kono
parents: 316
diff changeset
8 private Forwarder editor;
252
526ee0354067 *** empty log message ***
pin
parents: 246
diff changeset
9 private SessionManager manager;
222
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
10
316
77f443f6dc9f add session manager channel handler
kono
parents: 252
diff changeset
11 public SelectButtonEvent(Forwarder editor, Session session, SessionManagerEventListener listener) {
320
83790b8b8174 *** empty log message ***
kono
parents: 316
diff changeset
12 this.editor = editor;
227
cbd67817e9cd *** empty log message ***
pin
parents: 222
diff changeset
13 this.sid = session.getSID();
252
526ee0354067 *** empty log message ***
pin
parents: 246
diff changeset
14 this.manager = (SessionManager)listener;
222
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
15 }
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
16
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
17 public int getSID() {
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
18 return sid;
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
19 }
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
20
320
83790b8b8174 *** empty log message ***
kono
parents: 316
diff changeset
21 public Forwarder getEditor() {
83790b8b8174 *** empty log message ***
kono
parents: 316
diff changeset
22 return editor;
222
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
23 }
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
24
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
25 public void exec() {
316
77f443f6dc9f add session manager channel handler
kono
parents: 252
diff changeset
26 try {
77f443f6dc9f add session manager channel handler
kono
parents: 252
diff changeset
27 manager.selectSession(this);
77f443f6dc9f add session manager channel handler
kono
parents: 252
diff changeset
28 } catch (IOException e) {
77f443f6dc9f add session manager channel handler
kono
parents: 252
diff changeset
29 }
222
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
30 }
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
31
18d6a7140fa3 *** empty log message ***
pin
parents:
diff changeset
32 }