X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=a26007262dbdf4ff745be8dfcb2c4024ed9ff53f;hb=4263dac5b885f760215fa599eb453e1221767d04;hp=0a098e5ea650201f3534338f8a3cb985cab2848d;hpb=588042b69abf8e60bcc950b24c283933c7dd422f;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 0a098e5..a260072 100755 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -18,209 +18,296 @@ */ package jalview.gui; +import jalview.jbgui.*; + import java.awt.*; import java.awt.event.*; + import javax.swing.*; -import jalview.jbgui.*; -public class WebserviceInfo - extends GWebserviceInfo +/** + * Base class for web service client thread and gui + * + * @author $author$ + * @version $Revision$ + */ +public class WebserviceInfo extends GWebserviceInfo { - public static final int STATE_QUEUING = 0; - public static final int STATE_RUNNING = 1; - public static final int STATE_STOPPED_OK = 2; - public static final int STATE_CANCELLED_OK = 3; - public static final int STATE_STOPPED_ERROR = 4; - public static final int STATE_STOPPED_SERVERERROR = 5; - int currentStatus = STATE_QUEUING; - Image image; - int angle = 0; - String title = ""; - jalview.ws.WSClientI thisService; - boolean serviceIsCancellable; - - public WebserviceInfo(String title, String info) - { - init(title, info, 520, 500); - } - - public WebserviceInfo(String title, String info, int width, int height) - { - init(title, info, width, height); - } - - public jalview.ws.WSClientI getthisService() - { - return thisService; - } - - public void setthisService(jalview.ws.WSClientI newservice) - { - thisService = newservice; - serviceIsCancellable = newservice.isCancellable(); - } - - void init(String title, String info, int width, int height) - { - JInternalFrame frame = new JInternalFrame(); - frame.setContentPane(this); - Desktop.addInternalFrame(frame, title, width, height); - - this.title = title; - setInfoText(info); - - java.net.URL url = getClass().getResource("/images/logo.gif"); - image = java.awt.Toolkit.getDefaultToolkit().createImage(url); - - MediaTracker mt = new MediaTracker(this); - mt.addImage(image, 0); - - try + /** Job is Queued */ + public static final int STATE_QUEUING = 0; + + /** Job is Running */ + public static final int STATE_RUNNING = 1; + + /** Job has finished with no errors */ + public static final int STATE_STOPPED_OK = 2; + + /** Job has been cancelled with no errors */ + public static final int STATE_CANCELLED_OK = 3; + + /** job has stopped because of some error */ + public static final int STATE_STOPPED_ERROR = 4; + + /** job has failed because of some unavoidable service interruption */ + public static final int STATE_STOPPED_SERVERERROR = 5; + int currentStatus = STATE_QUEUING; + Image image; + int angle = 0; + String title = ""; + jalview.ws.WSClientI thisService; + boolean serviceIsCancellable; + + /** + * Creates a new WebserviceInfo object. + * + * @param title short name and job type + * @param info reference or other human readable description + */ + public WebserviceInfo(String title, String info) { - mt.waitForID(0); + init(title, info, 520, 500); } - catch (Exception ex) + + /** + * Creates a new WebserviceInfo object. + * + * @param title DOCUMENT ME! + * @param info DOCUMENT ME! + * @param width DOCUMENT ME! + * @param height DOCUMENT ME! + */ + public WebserviceInfo(String title, String info, int width, int height) { + init(title, info, width, height); } - AnimatedPanel ap = new AnimatedPanel(); - titlePanel.add(ap, BorderLayout.CENTER); - - Thread thread = new Thread(ap); - thread.start(); - } - - public void setStatus(int status) - { - currentStatus = status; - } - - public String getInfoText() - { - return infoText.getText(); - } - - public void setInfoText(String text) - { - infoText.setText(text); - } - - public void appendInfoText(String text) - { - infoText.append(text); - } - - public String getProgressText() - { - return progressText.getText(); - } - - public void setProgressText(String text) - { - progressText.setText(text); - } - - public void appendProgressText(String text) - { - progressText.append(text); - } - - protected void cancel_actionPerformed(ActionEvent e) - { - if (!serviceIsCancellable) + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public jalview.ws.WSClientI getthisService() { - JOptionPane.showInternalMessageDialog(Desktop.desktop, - "This job cannot be cancelled.", - "Cancel job", - JOptionPane.WARNING_MESSAGE); + return thisService; } - else + + /** + * DOCUMENT ME! + * + * @param newservice DOCUMENT ME! + */ + public void setthisService(jalview.ws.WSClientI newservice) { - thisService.cancelJob(); + thisService = newservice; + serviceIsCancellable = newservice.isCancellable(); } - } - - class AnimatedPanel - extends JPanel implements Runnable - { - long startTime = 0; - public void run() + /** + * DOCUMENT ME! + * + * @param title DOCUMENT ME! + * @param info DOCUMENT ME! + * @param width DOCUMENT ME! + * @param height DOCUMENT ME! + */ + void init(String title, String info, int width, int height) { - startTime = System.currentTimeMillis(); + JInternalFrame frame = new JInternalFrame(); + frame.setContentPane(this); + Desktop.addInternalFrame(frame, title, width, height); - while (currentStatus < STATE_STOPPED_OK) - { + this.title = title; + setInfoText(info); + + java.net.URL url = getClass().getResource("/images/logo.gif"); + image = java.awt.Toolkit.getDefaultToolkit().createImage(url); + + MediaTracker mt = new MediaTracker(this); + mt.addImage(image, 0); try { - Thread.sleep(50); - - int units = (int) ( (System.currentTimeMillis() - startTime) / 10f); - angle += units; - angle %= 360; - startTime = System.currentTimeMillis(); - repaint(); + mt.waitForID(0); } catch (Exception ex) { } - } - angle = 0; - cancel.setEnabled(false); + AnimatedPanel ap = new AnimatedPanel(); + titlePanel.add(ap, BorderLayout.CENTER); + + Thread thread = new Thread(ap); + thread.start(); } - synchronized public void paintComponent(Graphics g1) + /** + * DOCUMENT ME! + * + * @param status integer status from state constants + */ + public void setStatus(int status) { - Graphics2D g = (Graphics2D) g1; - g.setColor(Color.white); - g.fillRect(0, 0, getWidth(), getHeight()); + currentStatus = status; + } - if (image != null) - { - g.rotate(Math.toRadians(angle), 28, 28); - g.drawImage(image, 10, 10, this); - g.rotate( -Math.toRadians(angle), 28, 28); - } + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public String getInfoText() + { + return infoText.getText(); + } - g.setFont(new Font("Arial", Font.BOLD, 12)); - g.setColor(Color.black); + /** + * DOCUMENT ME! + * + * @param text DOCUMENT ME! + */ + public void setInfoText(String text) + { + infoText.setText(text); + } - switch (currentStatus) - { - case STATE_QUEUING: - g.drawString(title.concat(" - queuing"), 60, 30); + /** + * DOCUMENT ME! + * + * @param text DOCUMENT ME! + */ + public void appendInfoText(String text) + { + infoText.append(text); + } - break; + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public String getProgressText() + { + return progressText.getText(); + } - case STATE_RUNNING: - g.drawString(title.concat(" - running"), 60, 30); + /** + * DOCUMENT ME! + * + * @param text DOCUMENT ME! + */ + public void setProgressText(String text) + { + progressText.setText(text); + } - break; + /** + * DOCUMENT ME! + * + * @param text DOCUMENT ME! + */ + public void appendProgressText(String text) + { + progressText.append(text); + } - case STATE_STOPPED_OK: - g.drawString(title.concat(" - complete"), 60, 30); + /** + * Gui action for cancelling the current job, if possible. + * + * @param e DOCUMENT ME! + */ + protected void cancel_actionPerformed(ActionEvent e) + { + if (!serviceIsCancellable) + { + JOptionPane.showInternalMessageDialog(Desktop.desktop, + "This job cannot be cancelled.\nJust close the window.", "Cancel job", + JOptionPane.WARNING_MESSAGE); + } + else + { + thisService.cancelJob(); + } + } - break; + class AnimatedPanel extends JPanel implements Runnable + { + long startTime = 0; - case STATE_CANCELLED_OK: - g.drawString(title.concat(" - job cancelled!"), 60, 30); + public void run() + { + startTime = System.currentTimeMillis(); + + while (currentStatus < STATE_STOPPED_OK) + { + try + { + Thread.sleep(50); + + int units = (int) ((System.currentTimeMillis() - startTime) / 10f); + angle += units; + angle %= 360; + startTime = System.currentTimeMillis(); + repaint(); + } + catch (Exception ex) + { + } + } + + angle = 0; + cancel.setEnabled(false); + } - break; + synchronized public void paintComponent(Graphics g1) + { + Graphics2D g = (Graphics2D) g1; + g.setColor(Color.white); + g.fillRect(0, 0, getWidth(), getHeight()); - case STATE_STOPPED_ERROR: - g.drawString(title.concat(" - job error!"), 60, 30); + if (image != null) + { + g.rotate(Math.toRadians(angle), 28, 28); + g.drawImage(image, 10, 10, this); + g.rotate(-Math.toRadians(angle), 28, 28); + } - break; + g.setFont(new Font("Arial", Font.BOLD, 12)); + g.setColor(Color.black); - case STATE_STOPPED_SERVERERROR: - g.drawString(title.concat(" - Server Error! (try later)"), 60, - 30); + switch (currentStatus) + { + case STATE_QUEUING: + g.drawString(title.concat(" - queuing"), 60, 30); - break; - } + break; + + case STATE_RUNNING: + g.drawString(title.concat(" - running"), 60, 30); + + break; + + case STATE_STOPPED_OK: + g.drawString(title.concat(" - complete"), 60, 30); + + break; + + case STATE_CANCELLED_OK: + g.drawString(title.concat(" - job cancelled!"), 60, 30); + + break; + + case STATE_STOPPED_ERROR: + g.drawString(title.concat(" - job error!"), 60, 30); + + break; + + case STATE_STOPPED_SERVERERROR: + g.drawString(title.concat(" - Server Error! (try later)"), 60, + 30); + + break; + } + } } - } }