4 import java.awt.event.*;
\r
5 import javax.swing.*;
\r
6 import jalview.jbgui.GWebserviceInfo;
\r
8 public class WebserviceInfo extends GWebserviceInfo
\r
11 public static final int STATE_QUEUING = 0;
\r
12 public static final int STATE_RUNNING = 1;
\r
13 public static final int STATE_STOPPED_OK = 2;
\r
14 public static final int STATE_CANCELLED_OK = 3;
\r
15 public static final int STATE_STOPPED_ERROR = 4;
\r
16 public static final int STATE_STOPPED_SERVERERROR = 5;
\r
17 int currentStatus = STATE_QUEUING;
\r
22 jalview.ws.WSClientI thisService;
\r
23 boolean serviceIsCancellable;
\r
24 public jalview.ws.WSClientI getthisService() {
\r
27 public void setthisService(jalview.ws.WSClientI newservice) {
\r
28 thisService = newservice;
\r
29 serviceIsCancellable = newservice.isCancellable();
\r
32 public WebserviceInfo(String title, String info)
\r
34 init(title, info, 520, 500);
\r
37 public WebserviceInfo(String title, String info, int width, int height)
\r
39 init(title, info, width, height);
\r
42 void init(String title, String info, int width, int height)
\r
44 JInternalFrame frame = new JInternalFrame();
\r
45 frame.setContentPane(this);
\r
46 Desktop.addInternalFrame(frame, title, width, height);
\r
50 java.net.URL url = getClass().getResource("/images/logo.gif");
\r
51 image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
\r
52 MediaTracker mt = new MediaTracker(this);
\r
53 mt.addImage(image, 0);
\r
58 catch (Exception ex)
\r
62 AnimatedPanel ap = new AnimatedPanel();
\r
63 titlePanel.add(ap, BorderLayout.CENTER);
\r
64 Thread thread = new Thread(ap);
\r
68 public void setStatus(int status)
\r
70 currentStatus = status;
\r
73 public String getInfoText()
\r
74 { return infoText.getText(); }
\r
76 public void setInfoText(String text)
\r
77 { infoText.setText(text); }
\r
79 public void appendInfoText(String text)
\r
80 { infoText.append(text); }
\r
82 public String getProgressText()
\r
83 { return progressText.getText(); }
\r
85 public void setProgressText(String text)
\r
86 { progressText.setText(text); }
\r
88 public void appendProgressText(String text)
\r
89 { progressText.append(text); }
\r
91 protected void cancel_actionPerformed(ActionEvent e)
\r
93 if (!serviceIsCancellable)
\r
94 JOptionPane.showInternalMessageDialog(Desktop.desktop,
\r
95 "This job cannot be cancelled." ,
\r
97 ,JOptionPane.WARNING_MESSAGE);
\r
99 thisService.cancelJob();
\r
103 class AnimatedPanel extends JPanel implements Runnable
\r
108 startTime = System.currentTimeMillis();
\r
109 while(currentStatus<STATE_STOPPED_OK)
\r
114 int units = (int)((System.currentTimeMillis()-startTime)/10f);
\r
117 startTime = System.currentTimeMillis();
\r
121 catch (Exception ex)
\r
124 cancel.setEnabled(false);
\r
128 synchronized public void paintComponent(Graphics g1)
\r
130 Graphics2D g = (Graphics2D) g1;
\r
131 g.setColor(Color.white);
\r
132 g.fillRect(0, 0, getWidth(), getHeight());
\r
135 g.rotate(Math.toRadians(angle), 28, 28);
\r
136 g.drawImage(image, 10, 10, this);
\r
137 g.rotate( -Math.toRadians(angle), 28, 28);
\r
139 g.setFont(new Font("Arial", Font.BOLD, 12));
\r
140 g.setColor(Color.black);
\r
141 switch(currentStatus)
\r
143 case STATE_QUEUING:
\r
144 g.drawString(title.concat(" - queuing"), 60, 30);
\r
146 case STATE_RUNNING:
\r
147 g.drawString(title.concat(" - running"), 60, 30);
\r
149 case STATE_STOPPED_OK:
\r
150 g.drawString(title.concat(" - complete"), 60, 30);
\r
153 case STATE_CANCELLED_OK:
\r
154 g.drawString(title.concat(" - job cancelled!"), 60, 30);
\r
157 case STATE_STOPPED_ERROR:
\r
158 g.drawString(title.concat(" - job error!"), 60, 30);
\r
160 case STATE_STOPPED_SERVERERROR:
\r
161 g.drawString(title.concat(" - Server Error! (try later)"), 60, 30);
\r