X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=4d0c63485bb1177a3bd1917945125c411058ebc5;hb=153dd62dc91da13ae732600e6ea55ddbe15eab39;hp=63a289f0ecb0e9d5e981407ce161399990ec81bf;hpb=615b41750fca2811d8e26a22c71224725383c218;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 63a289f..4d0c634 100755 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -1,139 +1,627 @@ -package jalview.gui; - -import java.awt.*; -import java.awt.event.*; -import javax.swing.*; -import jalview.jbgui.GWebserviceInfo; - -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_STOPPED_ERROR = 3; - int currentStatus = STATE_QUEUING; - Image image; - int angle = 0; - - String title=""; - - 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); - } - - 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 - { - mt.waitForID(0); - } - catch (Exception ex) - {} - - - 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) - { - JOptionPane.showInternalMessageDialog(Desktop.desktop, - "Cancel not implemented yet!!" , - "Cancel job" - ,JOptionPane.WARNING_MESSAGE); - } - - - class AnimatedPanel extends JPanel implements Runnable - { - public void run() - { - while(currentStatus. + */ +package jalview.gui; + +import java.util.*; + +import java.awt.*; +import java.awt.event.*; +import java.awt.image.*; +import javax.swing.*; + +import jalview.jbgui.*; +import jalview.ws.WSClientI; + +/** + * Base class for web service client thread and gui + * + * @author $author$ + * @version $Revision$ + */ +public class WebserviceInfo extends GWebserviceInfo +{ + + /** 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; + + JTabbedPane subjobs = null; + + java.util.Vector jobPanes = null; + + private boolean serviceCanMergeResults = false; + + private boolean viewResultsImmediatly = true; + + // tabbed or not + public synchronized int addJobPane() + { + JScrollPane jobpane = new JScrollPane(); + JTextArea progressText = new JTextArea(); + progressText.setFont(new java.awt.Font("Verdana", 0, 10)); + progressText.setBorder(null); + progressText.setEditable(false); + progressText.setText("WS Job"); + progressText.setLineWrap(true); + progressText.setWrapStyleWord(true); + jobpane.setName("JobPane"); + jobpane.getViewport().add(progressText, null); + jobpane.setBorder(null); + if (jobPanes == null) + { + jobPanes = new Vector(); + } + int newpane = jobPanes.size(); + jobPanes.add(jobpane); + + if (newpane == 0) + { + this.add(jobpane, BorderLayout.CENTER); + } + else + { + if (newpane == 1) + { + // revert to a tabbed pane. + JScrollPane firstpane; + this.remove(firstpane = (JScrollPane) jobPanes.get(0)); + subjobs = new JTabbedPane(); + this.add(subjobs, BorderLayout.CENTER); + subjobs.add(firstpane); + subjobs.setTitleAt(0, firstpane.getName()); + } + subjobs.add(jobpane); + } + return newpane; // index for accessor methods below + } + + /** + * 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) + { + init(title, info, 520, 500); + } + + /** + * 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); + } + + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public jalview.ws.WSClientI getthisService() + { + return thisService; + } + + /** + * Update state of GUI based on client capabilities (like whether the job is + * cancellable, whether the 'merge results' button is shown. + * + * @param newservice + * service client to query for capabilities + */ + public void setthisService(jalview.ws.WSClientI newservice) + { + thisService = newservice; + serviceIsCancellable = newservice.isCancellable(); + frame.setClosable(!serviceIsCancellable); + serviceCanMergeResults = newservice.canMergeResults(); + rebuildButtonPanel(); + } + + private void rebuildButtonPanel() + { + if (buttonPanel != null) + { + buttonPanel.removeAll(); + if (serviceIsCancellable) + { + buttonPanel.add(cancel); + frame.setClosable(false); + } + else + { + frame.setClosable(true); + } + } + } + + /** + * 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) + { + frame = new JInternalFrame(); + frame.setContentPane(this); + Desktop.addInternalFrame(frame, title, width, height); + frame.setClosable(false); + + 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 + { + mt.waitForID(0); + } catch (Exception ex) + { + } + + AnimatedPanel ap = new AnimatedPanel(); + titlePanel.add(ap, BorderLayout.CENTER); + + Thread thread = new Thread(ap); + thread.start(); + final WebserviceInfo thisinfo = this; + frame.addInternalFrameListener(new javax.swing.event.InternalFrameAdapter() + { + public void internalFrameClosed( + javax.swing.event.InternalFrameEvent evt) + { + // System.out.println("Shutting down webservice client"); + WSClientI service = thisinfo.getthisService(); + if (service != null && service.isCancellable()) + { + service.cancelJob(); + } + }; + }); + frame.validate(); + + } + + /** + * DOCUMENT ME! + * + * @param status + * integer status from state constants + */ + public void setStatus(int status) + { + currentStatus = status; + } + + /** + * subjob status indicator + * + * @param jobpane + * @param status + */ + public void setStatus(int jobpane, int status) + { + if (jobpane < 0 || jobpane >= jobPanes.size()) + { + throw new Error("setStatus called for non-existent job pane." + + jobpane); + } + switch (status) + { + case STATE_QUEUING: + setProgressName(jobpane + " - QUEUED", jobpane); + break; + case STATE_RUNNING: + setProgressName(jobpane + " - RUNNING", jobpane); + break; + case STATE_STOPPED_OK: + setProgressName(jobpane + " - FINISHED", jobpane); + break; + case STATE_CANCELLED_OK: + setProgressName(jobpane + " - CANCELLED", jobpane); + break; + case STATE_STOPPED_ERROR: + setProgressName(jobpane + " - BROKEN", jobpane); + break; + case STATE_STOPPED_SERVERERROR: + setProgressName(jobpane + " - ALERT", jobpane); + break; + default: + setProgressName(jobpane + " - UNKNOWN STATE", jobpane); + } + } + + /** + * 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(int which) + { + if (jobPanes == null) + { + addJobPane(); + } + return ((JTextArea) ((JScrollPane) jobPanes.get(which)).getViewport() + .getComponent(0)).getText(); + } + + /** + * DOCUMENT ME! + * + * @param text + * DOCUMENT ME! + */ + public void setProgressText(int which, String text) + { + if (jobPanes == null) + { + addJobPane(); + } + ((JTextArea) ((JScrollPane) jobPanes.get(which)).getViewport() + .getComponent(0)).setText(text); + } + + /** + * DOCUMENT ME! + * + * @param text + * DOCUMENT ME! + */ + public void appendProgressText(int which, String text) + { + if (jobPanes == null) + { + addJobPane(); + } + ((JTextArea) ((JScrollPane) jobPanes.get(which)).getViewport() + .getComponent(0)).append(text); + } + + /** + * setProgressText(0, text) + */ + public void setProgressText(String text) + { + setProgressText(0, text); + } + + /** + * appendProgressText(0, text) + */ + public void appendProgressText(String text) + { + appendProgressText(0, text); + } + + /** + * getProgressText(0) + */ + public String getProgressText() + { + return getProgressText(0); + } + + /** + * get the tab title for a subjob + * + * @param which + * int + * @return String + */ + public String getProgressName(int which) + { + if (jobPanes == null) + { + addJobPane(); + } + if (subjobs != null) + { + return subjobs.getTitleAt(which); + } + else + { + return ((JScrollPane) jobPanes.get(which)).getViewport() + .getComponent(0).getName(); + } + } + + /** + * set the tab title for a subjob + * + * @param name + * String + * @param which + * int + */ + public void setProgressName(String name, int which) + { + if (subjobs != null) + { + subjobs.setTitleAt(which, name); + subjobs.revalidate(); + subjobs.repaint(); + } + JScrollPane c = (JScrollPane) jobPanes.get(which); + c.getViewport().getComponent(0).setName(name); + c.repaint(); + } + + /** + * Gui action for cancelling the current job, if possible. + * + * @param e + * DOCUMENT ME! + */ + protected void cancel_actionPerformed(ActionEvent e) + { + if (!serviceIsCancellable) + { + // JBPNote : TODO: We should REALLY just tell the WSClientI to cancel + // anyhow - it has to stop threads and clean up + // JBPNote : TODO: Instead of a warning, we should have an optional 'Are + // you sure?' prompt + warnUser("This job cannot be cancelled.\nJust close the window.", + "Cancel job"); + } + else + { + thisService.cancelJob(); + } + frame.setClosable(true); + } + + /** + * Spawns a thread that pops up a warning dialog box with the given message + * and title. + * + * @param message + * @param title + */ + public void warnUser(final String message, final String title) + { + javax.swing.SwingUtilities.invokeLater(new Runnable() + { + public void run() + { + JOptionPane.showInternalMessageDialog(Desktop.desktop, message, + title, JOptionPane.WARNING_MESSAGE); + + } + }); + } + + /** + * Set up GUI for user to get at results - and possibly automatically display + * them if viewResultsImmediatly is set. + */ + public void setResultsReady() + { + frame.setClosable(true); + buttonPanel.remove(cancel); + buttonPanel.add(showResultsNewFrame); + if (serviceCanMergeResults) + { + buttonPanel.add(mergeResults); + buttonPanel.setLayout(new GridLayout(2, 1, 5, 5)); + } + buttonPanel.validate(); + validate(); + if (viewResultsImmediatly) + { + showResultsNewFrame.doClick(); + } + } + + /** + * called when job has finished but no result objects can be passed back to + * user + */ + public void setFinishedNoResults() + { + frame.setClosable(true); + buttonPanel.remove(cancel); + buttonPanel.validate(); + validate(); + } + + class AnimatedPanel extends JPanel implements Runnable + { + long startTime = 0; + + BufferedImage offscreen; + + 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(); + + if (currentStatus >= STATE_STOPPED_OK) + { + angle = 0; + } + + repaint(); + } catch (Exception ex) + { + } + } + + cancel.setEnabled(false); + } + + void drawPanel() + { + if (offscreen == null || offscreen.getWidth(this) != getWidth() + || offscreen.getHeight(this) != getHeight()) + { + offscreen = new BufferedImage(getWidth(), getHeight(), + BufferedImage.TYPE_INT_ARGB); + } + + Graphics2D 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; + + 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; + } + + 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 paintComponent(Graphics g1) + { + drawPanel(); + + g1.drawImage(offscreen, 0, 0, this); + } + } +}