X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=9dadee758da8b16b4facc59addca5edc2294a683;hb=d187567c926fed31f9cd9bda0dc112bc4d1b1261;hp=0a098e5ea650201f3534338f8a3cb985cab2848d;hpb=588042b69abf8e60bcc950b24c283933c7dd422f;p=jalview.git

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index 0a098e5..9dadee7 100755
--- a/src/jalview/gui/WebserviceInfo.java
+++ b/src/jalview/gui/WebserviceInfo.java
@@ -18,209 +18,330 @@
  */
 package jalview.gui;
 
+import jalview.jbgui.*;
+
 import java.awt.*;
 import java.awt.event.*;
+import java.awt.image.*;
+
 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;
+    JInternalFrame frame;
+
+    /**
+     * 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();
+        frame = new JInternalFrame();
+        frame.setContentPane(this);
+        Desktop.addInternalFrame(frame, title, width, height);
+        frame.setClosable(false);
+
+        this.title = title;
+        setInfoText(info);
 
-      while (currentStatus < STATE_STOPPED_OK)
-      {
+        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();
+    }
+
+    /**
+     * DOCUMENT ME!
+     *
+     * @param status integer status from state constants
+     */
+    public void setStatus(int status)
+    {
+        currentStatus = status;
+    }
+
+    /**
+     * DOCUMENT ME!
+     *
+     * @return DOCUMENT ME!
+     */
+    public String getInfoText()
+    {
+        return infoText.getText();
+    }
+
+    /**
+     * DOCUMENT ME!
+     *
+     * @param text DOCUMENT ME!
+     */
+    public void setInfoText(String text)
+    {
+        infoText.setText(text);
+    }
+
+    /**
+     * DOCUMENT ME!
+     *
+     * @param text DOCUMENT ME!
+     */
+    public void appendInfoText(String text)
+    {
+        infoText.append(text);
+    }
+
+    /**
+     * DOCUMENT ME!
+     *
+     * @return DOCUMENT ME!
+     */
+    public String getProgressText()
+    {
+        return progressText.getText();
+    }
+
+    /**
+     * DOCUMENT ME!
+     *
+     * @param text DOCUMENT ME!
+     */
+    public void setProgressText(String text)
+    {
+        progressText.setText(text);
+    }
+
+    /**
+     * DOCUMENT ME!
+     *
+     * @param text DOCUMENT ME!
+     */
+    public void appendProgressText(String text)
+    {
+        progressText.append(text);
+    }
+
+    /**
+     * 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
+        {
+            frame.setClosable(true);
+            thisService.cancelJob();
+        }
+    }
+
+    public void setResultsReady()
+    {
+      frame.setClosable(true);
+      buttonPanel.remove(cancel);
+      buttonPanel.add(showResultsNewFrame);
+      buttonPanel.add(mergeResults);
+      buttonPanel.setLayout(new GridLayout(2,1,5,5));
+      buttonPanel.validate();
+      validate();
     }
 
-    synchronized public void paintComponent(Graphics g1)
+
+    class AnimatedPanel extends JPanel implements Runnable
     {
-      Graphics2D g = (Graphics2D) g1;
-      g.setColor(Color.white);
-      g.fillRect(0, 0, getWidth(), getHeight());
+        long startTime = 0;
+        BufferedImage offscreen;
 
-      if (image != null)
-      {
-        g.rotate(Math.toRadians(angle), 28, 28);
-        g.drawImage(image, 10, 10, this);
-        g.rotate( -Math.toRadians(angle), 28, 28);
-      }
+        public void run()
+        {
+            startTime = System.currentTimeMillis();
+            Graphics2D g = null;
+
+            while (currentStatus < STATE_STOPPED_OK)
+            {
+                try
+                {
+                    Thread.sleep(50);
+
+                    int units = (int) ( (System.currentTimeMillis() - startTime) /
+                                       10f);
+                    angle += units;
+                    angle %= 360;
+                    startTime = System.currentTimeMillis();
+
+                    if (offscreen == null || offscreen.getWidth(this) != getWidth()
+                        || offscreen.getHeight(this) != getHeight())
+                    {
+                      offscreen = new BufferedImage(getWidth(), getHeight(),
+                                                    BufferedImage.TYPE_INT_ARGB);
+                      g = (Graphics2D) offscreen.getGraphics();
+                    }
+
+                    g.setColor(Color.white);
+                    g.fillRect(0, 0, getWidth(), getHeight());
+
+                    g.setFont(new Font("Arial", Font.BOLD, 12));
+                    g.setColor(Color.black);
+
+                    switch (currentStatus)
+                    {
+                      case STATE_QUEUING:
+                        g.drawString(title.concat(" - queuing"), 60, 30);
+
+                        break;
 
-      g.setFont(new Font("Arial", Font.BOLD, 12));
-      g.setColor(Color.black);
+                      case STATE_RUNNING:
+                        g.drawString(title.concat(" - running"), 60, 30);
 
-      switch (currentStatus)
-      {
-        case STATE_QUEUING:
-          g.drawString(title.concat(" - queuing"), 60, 30);
+                        break;
 
-          break;
+                      case STATE_STOPPED_OK:
+                        g.drawString(title.concat(" - complete"), 60, 30);
 
-        case STATE_RUNNING:
-          g.drawString(title.concat(" - running"), 60, 30);
+                        break;
 
-          break;
+                      case STATE_CANCELLED_OK:
+                        g.drawString(title.concat(" - job cancelled!"), 60, 30);
 
-        case STATE_STOPPED_OK:
-          g.drawString(title.concat(" - complete"), 60, 30);
+                        break;
 
-          break;
+                      case STATE_STOPPED_ERROR:
+                        g.drawString(title.concat(" - job error!"), 60, 30);
 
-        case STATE_CANCELLED_OK:
-          g.drawString(title.concat(" - job cancelled!"), 60, 30);
+                        break;
 
-          break;
+                      case STATE_STOPPED_SERVERERROR:
+                        g.drawString(title.concat(" - Server Error! (try later)"),
+                                     60,
+                                     30);
 
-        case STATE_STOPPED_ERROR:
-          g.drawString(title.concat(" - job error!"), 60, 30);
+                        break;
+                    }
 
-          break;
 
-        case STATE_STOPPED_SERVERERROR:
-          g.drawString(title.concat(" - Server Error! (try later)"), 60,
-                       30);
+                    if (currentStatus >= STATE_STOPPED_OK)
+                      angle = 0;
 
-          break;
-      }
+                    if (image != null)
+                    {
+                      g.rotate(Math.toRadians(angle), 28, 28);
+                      g.drawImage(image, 10, 10, this);
+                      g.rotate( -Math.toRadians(angle), 28, 28);
+                    }
+
+
+                    repaint();
+                }
+                catch (Exception ex)
+                {
+                }
+            }
+
+            cancel.setEnabled(false);
+        }
+
+        public void paintComponent(Graphics g1)
+        {
+            g1.drawImage(offscreen, 0,0,this);
+        }
     }
-  }
 }