annotate rep/SessionManagerGUI.java @ 185:c2c47d7675a8

*** empty log message ***
author pin
date Fri, 29 Aug 2008 16:44:39 +0900
parents e5a7aad3fbc0
children 63f36334e8dc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
1 package rep;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
2
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
3 import java.awt.Container;
185
c2c47d7675a8 *** empty log message ***
pin
parents: 182
diff changeset
4 import java.awt.event.ComponentListener;
c2c47d7675a8 *** empty log message ***
pin
parents: 182
diff changeset
5
133
8dce4348966c *** empty log message ***
kono
parents: 122
diff changeset
6 import javax.swing.JFrame;
8dce4348966c *** empty log message ***
kono
parents: 122
diff changeset
7 import rep.channel.REPSocketChannel;
8
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
8
5
91a33a634fef *** empty log message ***
pin
parents: 2
diff changeset
9
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
10 public class SessionManagerGUI implements Runnable{
182
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
11
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
12 private SessionManager manager;
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
13
185
c2c47d7675a8 *** empty log message ***
pin
parents: 182
diff changeset
14 public static void main(String[] args){
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
15 SessionManagerGUI gui = new SessionManagerGUI();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
16 Thread th = new Thread( gui );
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
17 th.start();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
18 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
19
182
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
20 public SessionManagerGUI(SessionManager manager) {
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
21 this.manager = manager;
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
22 }
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
23
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
24 public SessionManagerGUI() {
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
25 // TODO Auto-generated constructor stub
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
26 }
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
27
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
28 private RPanel rp;
5
91a33a634fef *** empty log message ***
pin
parents: 2
diff changeset
29 //private ConnectionPanel rp;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
30 private JFrame frame;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
31
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
32 public void run() {
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
33 frame = new JFrame("SessionManager");
55
57a16534ba5a change window size
chiaki
parents: 8
diff changeset
34 frame.setBounds(100, 100, 600, 300);
5
91a33a634fef *** empty log message ***
pin
parents: 2
diff changeset
35 //rp = new ConnectionPanel();
185
c2c47d7675a8 *** empty log message ***
pin
parents: 182
diff changeset
36 rp = new RPanel(manager);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
37 Container cont = frame.getContentPane();
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
38 cont.add(rp);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
39
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
40 frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
41 frame.setVisible(true);
185
c2c47d7675a8 *** empty log message ***
pin
parents: 182
diff changeset
42
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
43 }
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
44
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
45 public void addConnectionListener(ConnectionListener listener) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
46 //System.out.println(rp.toString());
5
91a33a634fef *** empty log message ***
pin
parents: 2
diff changeset
47 System.out.print("waiting for launching GUI.");
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
48 while(rp == null){
5
91a33a634fef *** empty log message ***
pin
parents: 2
diff changeset
49 System.out.print(".");
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
50 try {
5
91a33a634fef *** empty log message ***
pin
parents: 2
diff changeset
51 Thread.sleep(200);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
52 } catch (InterruptedException e) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
53 e.printStackTrace();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
54 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
55 }
5
91a33a634fef *** empty log message ***
pin
parents: 2
diff changeset
56 System.out.println("");
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
57 rp.addConnectionListener(listener);
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
58 }
8
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
59
133
8dce4348966c *** empty log message ***
kono
parents: 122
diff changeset
60 public void setComboEditor(int eid, REPSocketChannel channel) {
8
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
61 rp.setComboEditor(eid, channel);
55
57a16534ba5a change window size
chiaki
parents: 8
diff changeset
62 rp.setTableEditor(eid, channel);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
63 }
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
64
133
8dce4348966c *** empty log message ***
kono
parents: 122
diff changeset
65 public void addREPActionListener(REPActionListener<REPCommand> listener) {
122
790c8dd42a7b *** empty log message ***
kono
parents: 55
diff changeset
66 rp.addREPActionListener(listener);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
67 }
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
68
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
69 public void setComboSession(int sessionID, String string) {
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
70 rp.setComboSession(sessionID, string);
55
57a16534ba5a change window size
chiaki
parents: 8
diff changeset
71 rp.setTableSession(sessionID, string);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
72 }
122
790c8dd42a7b *** empty log message ***
kono
parents: 55
diff changeset
73
179
763aad2da6b3 *** empty log message ***
pin
parents: 133
diff changeset
74 public void update() {
185
c2c47d7675a8 *** empty log message ***
pin
parents: 182
diff changeset
75 rp.update();
179
763aad2da6b3 *** empty log message ***
pin
parents: 133
diff changeset
76 }
763aad2da6b3 *** empty log message ***
pin
parents: 133
diff changeset
77
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
78 }