2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3
10 * of the License, or (at your option) any later version.
12 * Jalview is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty
14 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
15 * PURPOSE. See the GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
19 * The Jalview Authors are detailed in the 'AUTHORS' file.
23 import jalview.jbgui.GWebserviceInfo;
24 import jalview.util.MessageManager;
25 import jalview.ws.WSClientI;
27 import java.awt.BorderLayout;
28 import java.awt.Color;
29 import java.awt.Dimension;
30 import java.awt.Graphics;
31 import java.awt.Graphics2D;
32 import java.awt.GridLayout;
33 import java.awt.Image;
34 import java.awt.MediaTracker;
35 import java.awt.RenderingHints;
36 import java.awt.event.ActionEvent;
37 import java.awt.image.BufferedImage;
38 import java.util.Vector;
40 import javax.swing.JComponent;
41 import javax.swing.JEditorPane;
42 import javax.swing.JInternalFrame;
43 import javax.swing.JPanel;
44 import javax.swing.JScrollPane;
45 import javax.swing.JTabbedPane;
46 import javax.swing.JTextArea;
47 import javax.swing.event.HyperlinkEvent;
48 import javax.swing.event.HyperlinkListener;
49 import javax.swing.event.InternalFrameAdapter;
50 import javax.swing.event.InternalFrameEvent;
51 import javax.swing.text.html.HTMLEditorKit;
52 import javax.swing.text.html.StyleSheet;
55 * Base class for web service client thread and gui TODO: create StAX parser to
56 * extract html body content reliably when preparing html formatted job statuses
61 public class WebserviceInfo extends GWebserviceInfo
62 implements HyperlinkListener, IProgressIndicator
66 public static final int STATE_QUEUING = 0;
69 public static final int STATE_RUNNING = 1;
71 /** Job has finished with no errors */
72 public static final int STATE_STOPPED_OK = 2;
74 /** Job has been cancelled with no errors */
75 public static final int STATE_CANCELLED_OK = 3;
77 /** job has stopped because of some error */
78 public static final int STATE_STOPPED_ERROR = 4;
80 /** job has failed because of some unavoidable service interruption */
81 public static final int STATE_STOPPED_SERVERERROR = 5;
83 int currentStatus = STATE_QUEUING;
91 jalview.ws.WSClientI thisService;
93 boolean serviceIsCancellable;
97 private IProgressIndicator progressBar;
100 public void setVisible(boolean aFlag)
102 super.setVisible(aFlag);
103 frame.setVisible(aFlag);
106 JTabbedPane subjobs = null;
108 java.util.Vector jobPanes = null;
110 private boolean serviceCanMergeResults = false;
112 private boolean viewResultsImmediatly = true;
118 * to indicate if results will be shown in a new window as soon as
119 * they are available.
121 public boolean isViewResultsImmediatly()
123 return viewResultsImmediatly;
130 * to indicate if results will be shown in a new window as soon as
131 * they are available.
133 public void setViewResultsImmediatly(boolean viewResultsImmediatly)
135 this.viewResultsImmediatly = viewResultsImmediatly;
138 private StyleSheet getStyleSheet(HTMLEditorKit editorKit)
141 // Copied blatantly from
142 // http://www.velocityreviews.com/forums/t132265-string-into-htmldocument.html
143 StyleSheet myStyleSheet = new StyleSheet();
145 myStyleSheet.addStyleSheet(editorKit.getStyleSheet());
147 editorKit.setStyleSheet(myStyleSheet);
150 * Set the style sheet rules here by reading them from the constants
154 * for (int ix=0; ix<CSS_RULES.length; ix++) {
156 * myStyleSheet.addRule(CSS_RULES[ix]);
165 public synchronized int addJobPane()
167 JScrollPane jobpane = new JScrollPane();
168 JComponent _progressText;
171 JEditorPane progressText = new JEditorPane("text/html", "");
172 progressText.addHyperlinkListener(this);
173 _progressText = progressText;
174 // progressText.setFont(new java.awt.Font("Verdana", 0, 10));
175 // progressText.setBorder(null);
176 progressText.setEditable(false);
178 * HTMLEditorKit myEditorKit = new HTMLEditorKit();
180 * StyleSheet myStyleSheet = getStyleSheet(myEditorKit);
182 * HTMLDocument tipDocument = (HTMLDocument)
183 * (myEditorKit.createDefaultDocument());
185 * progressText.setDocument(tipDocument);
186 */progressText.setText("<html><h1>WS Job</h1></html>");
190 JTextArea progressText = new JTextArea();
191 _progressText = progressText;
193 progressText.setFont(new java.awt.Font("Verdana", 0, 10));
194 progressText.setBorder(null);
195 progressText.setEditable(false);
196 progressText.setText("WS Job");
197 progressText.setLineWrap(true);
198 progressText.setWrapStyleWord(true);
200 jobpane.setName("JobPane");
201 jobpane.getViewport().add(_progressText, null);
202 jobpane.setBorder(null);
203 if (jobPanes == null)
205 jobPanes = new Vector();
207 int newpane = jobPanes.size();
208 jobPanes.add(jobpane);
212 this.add(jobpane, BorderLayout.CENTER);
218 // revert to a tabbed pane.
219 JScrollPane firstpane;
220 this.remove(firstpane = (JScrollPane) jobPanes.get(0));
221 subjobs = new JTabbedPane();
222 this.add(subjobs, BorderLayout.CENTER);
223 subjobs.add(firstpane);
224 subjobs.setTitleAt(0, firstpane.getName());
226 subjobs.add(jobpane);
228 return newpane; // index for accessor methods below
232 * Creates a new WebserviceInfo object.
235 * short name and job type
237 * reference or other human readable description
239 * true to display the webservices window immediatly (otherwise need
240 * to call setVisible(true))
242 public WebserviceInfo(String title, String info, boolean makeVisible)
244 init(title, info, 520, 500, makeVisible);
248 * Creates a new WebserviceInfo object.
259 public WebserviceInfo(String title, String info, int width, int height,
263 init(title, info, width, height, makeVisible);
269 * @return DOCUMENT ME!
271 public jalview.ws.WSClientI getthisService()
277 * Update state of GUI based on client capabilities (like whether the job is
278 * cancellable, whether the 'merge results' button is shown.
281 * service client to query for capabilities
283 public void setthisService(jalview.ws.WSClientI newservice)
285 thisService = newservice;
286 serviceIsCancellable = newservice.isCancellable();
287 frame.setClosable(!serviceIsCancellable);
288 serviceCanMergeResults = newservice.canMergeResults();
289 rebuildButtonPanel();
292 private void rebuildButtonPanel()
294 if (buttonPanel != null)
296 buttonPanel.removeAll();
297 if (serviceIsCancellable)
299 buttonPanel.add(cancel);
300 frame.setClosable(false);
304 frame.setClosable(true);
321 void init(String title, String info, int width, int height,
324 frame = new JInternalFrame();
325 frame.setContentPane(this);
326 Desktop.addInternalFrame(frame, title, makeVisible, width, height, Desktop.FRAME_ALLOW_RESIZE, Desktop.FRAME_SET_MIN_SIZE_300);
327 frame.setClosable(false);
329 progressBar = new ProgressBar(statusPanel, statusBar);
334 java.net.URL url = getClass()
335 .getResource("/images/Jalview_Logo_small_with_border.png");
336 image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
338 MediaTracker mt = new MediaTracker(this);
339 mt.addImage(image, 0);
344 } catch (Exception ex)
348 AnimatedPanel ap = new AnimatedPanel();
349 ap.setPreferredSize(new Dimension(60, 60));
350 titlePanel.add(ap, BorderLayout.WEST);
351 titlePanel.add(titleText, BorderLayout.CENTER);
352 setStatus(currentStatus);
354 Thread thread = new Thread(ap);
356 final WebserviceInfo thisinfo = this;
357 frame.addInternalFrameListener(
358 new InternalFrameAdapter()
361 public void internalFrameClosed(InternalFrameEvent evt)
363 // System.out.println("Shutting down webservice client");
364 WSClientI service = thisinfo.getthisService();
365 if (service != null && service.isCancellable())
379 * integer status from state constants
381 public void setStatus(int status)
383 currentStatus = status;
385 String message = null;
386 switch (currentStatus)
389 message = MessageManager.getString("label.state_queueing");
393 message = MessageManager.getString("label.state_running");
396 case STATE_STOPPED_OK:
397 message = MessageManager.getString("label.state_completed");
400 case STATE_CANCELLED_OK:
401 message = MessageManager.getString("label.state_job_cancelled");
404 case STATE_STOPPED_ERROR:
405 message = MessageManager.getString("label.state_job_error");
408 case STATE_STOPPED_SERVERERROR:
409 message = MessageManager.getString("label.server_error_try_later");
412 titleText.setText(title + (message == null ? "" : " - " + message));
417 * subjob status indicator
422 public void setStatus(int jobpane, int status)
424 if (jobpane < 0 || jobpane >= jobPanes.size())
426 throw new Error(MessageManager.formatMessage(
427 "error.setstatus_called_non_existent_job_pane", new String[]
428 { Integer.valueOf(jobpane).toString() }));
433 setProgressName(jobpane + " - QUEUED", jobpane);
436 setProgressName(jobpane + " - RUNNING", jobpane);
438 case STATE_STOPPED_OK:
439 setProgressName(jobpane + " - FINISHED", jobpane);
441 case STATE_CANCELLED_OK:
442 setProgressName(jobpane + " - CANCELLED", jobpane);
444 case STATE_STOPPED_ERROR:
445 setProgressName(jobpane + " - BROKEN", jobpane);
447 case STATE_STOPPED_SERVERERROR:
448 setProgressName(jobpane + " - ALERT", jobpane);
451 setProgressName(jobpane + " - UNKNOWN STATE", jobpane);
458 * @return DOCUMENT ME!
460 public String getInfoText()
462 return infoText.getText();
471 public void setInfoText(String text)
473 infoText.setText(text);
482 public void appendInfoText(String text)
484 infoText.append(text);
490 * @return DOCUMENT ME!
492 public String getProgressText(int which)
494 if (jobPanes == null)
500 return ((JEditorPane) ((JScrollPane) jobPanes.get(which))
501 .getViewport().getComponent(0)).getText();
505 return ((JTextArea) ((JScrollPane) jobPanes.get(which)).getViewport()
506 .getComponent(0)).getText();
516 public void setProgressText(int which, String text)
518 if (jobPanes == null)
524 ((JEditorPane) ((JScrollPane) jobPanes.get(which)).getViewport()
525 .getComponent(0)).setText(ensureHtmlTagged(text));
529 ((JTextArea) ((JScrollPane) jobPanes.get(which)).getViewport()
530 .getComponent(0)).setText(text);
535 * extract content from <body> content </body>
539 * - set to leave the initial html tag intact
541 * - set to leave the final html tag intact
544 private String getHtmlFragment(String text, boolean leaveFirst,
551 String lowertxt = text.toLowerCase();
552 int htmlpos = leaveFirst ? -1 : lowertxt.indexOf("<body");
554 int htmlend = leaveLast ? -1 : lowertxt.indexOf("</body");
555 int htmlpose = lowertxt.indexOf(">", htmlpos),
556 htmlende = lowertxt.indexOf(">", htmlend);
557 if (htmlend == -1 && htmlpos == -1)
563 return text.substring((htmlpos == -1 ? 0 : htmlpose + 1), htmlend);
565 return text.substring(htmlpos == -1 ? 0 : htmlpose + 1);
569 * very simple routine for adding/ensuring html tags are present in text.
572 * @return properly html tag enclosed text
574 private String ensureHtmlTagged(String text)
580 String lowertxt = text.toLowerCase();
581 int htmlpos = lowertxt.indexOf("<body");
582 int htmlend = lowertxt.indexOf("</body");
583 int doctype = lowertxt.indexOf("<!doctype");
584 int xmltype = lowertxt.indexOf("<?xml");
587 text = text + "</body></html>";
591 if ((doctype > -1 && htmlpos > doctype)
592 || (xmltype > -1 && htmlpos > xmltype))
594 text = "<html><head></head><body>\n" + text.substring(htmlpos - 1);
599 text = "<html><head></head><body>\n" + text;
601 if (text.indexOf("<meta") > -1)
604 .println("HTML COntent: \n" + text + "<< END HTML CONTENT\n");
616 public void appendProgressText(int which, String text)
618 if (jobPanes == null)
624 String txt = getHtmlFragment(
625 ((JEditorPane) ((JScrollPane) jobPanes.get(which))
626 .getViewport().getComponent(0)).getText(),
628 ((JEditorPane) ((JScrollPane) jobPanes.get(which)).getViewport()
630 .setText(ensureHtmlTagged(
631 txt + getHtmlFragment(text, false, true)));
635 ((JTextArea) ((JScrollPane) jobPanes.get(which)).getViewport()
636 .getComponent(0)).append(text);
641 * setProgressText(0, text)
643 public void setProgressText(String text)
645 setProgressText(0, text);
649 * appendProgressText(0, text)
651 public void appendProgressText(String text)
653 appendProgressText(0, text);
659 public String getProgressText()
661 return getProgressText(0);
665 * get the tab title for a subjob
671 public String getProgressName(int which)
673 if (jobPanes == null)
679 return subjobs.getTitleAt(which);
683 return ((JScrollPane) jobPanes.get(which)).getViewport()
684 .getComponent(0).getName();
689 * set the tab title for a subjob
696 public void setProgressName(String name, int which)
700 subjobs.setTitleAt(which, name);
701 subjobs.revalidate();
704 JScrollPane c = (JScrollPane) jobPanes.get(which);
705 c.getViewport().getComponent(0).setName(name);
710 * Gui action for cancelling the current job, if possible.
716 protected void cancel_actionPerformed(ActionEvent e)
718 if (!serviceIsCancellable)
720 // JBPNote : TODO: We should REALLY just tell the WSClientI to cancel
721 // anyhow - it has to stop threads and clean up
722 // JBPNote : TODO: Instead of a warning, we should have an optional 'Are
725 MessageManager.getString(
726 "warn.job_cannot_be_cancelled_close_window"),
727 MessageManager.getString("action.cancel_job"));
731 thisService.cancelJob();
733 frame.setClosable(true);
737 * Spawns a thread that pops up a warning dialog box with the given message
743 public void warnUser(final String message, final String title)
745 javax.swing.SwingUtilities.invokeLater(new Runnable()
750 JvOptionPane.showInternalMessageDialog(Desktop.getDesktopPane(), message,
751 title, JvOptionPane.WARNING_MESSAGE);
758 * Set up GUI for user to get at results - and possibly automatically display
759 * them if viewResultsImmediatly is set.
761 public void setResultsReady()
763 frame.setClosable(true);
764 buttonPanel.remove(cancel);
765 buttonPanel.add(showResultsNewFrame);
766 if (serviceCanMergeResults)
768 buttonPanel.add(mergeResults);
769 buttonPanel.setLayout(new GridLayout(2, 1, 5, 5));
771 buttonPanel.validate();
773 if (viewResultsImmediatly)
775 showResultsNewFrame.doClick();
780 * called when job has finished but no result objects can be passed back to
783 public void setFinishedNoResults()
785 frame.setClosable(true);
786 buttonPanel.remove(cancel);
787 buttonPanel.validate();
791 class AnimatedPanel extends JPanel implements Runnable
795 BufferedImage offscreen;
800 startTime = System.currentTimeMillis();
802 float invSpeed = 15f;
804 while (currentStatus < STATE_STOPPED_OK)
806 if (currentStatus == STATE_QUEUING)
811 else if (currentStatus == STATE_RUNNING)
814 factor = (float) (0.5 + 1.5
815 * (0.5 - (0.5 * Math.sin(3.14159 / 180 * (angle + 45)))));
821 float delta = (System.currentTimeMillis() - startTime) / invSpeed;
822 angle += delta * factor;
824 startTime = System.currentTimeMillis();
826 if (currentStatus >= STATE_STOPPED_OK)
833 } catch (Exception ex)
838 cancel.setEnabled(false);
843 startTime = System.currentTimeMillis();
853 float delta = (System.currentTimeMillis() - startTime) / invSpeed;
854 angle += delta * factor;
855 startTime = System.currentTimeMillis();
863 } catch (Exception ex)
872 if (offscreen == null || offscreen.getWidth(this) != getWidth()
873 || offscreen.getHeight(this) != getHeight())
875 offscreen = new BufferedImage(getWidth(), getHeight(),
876 BufferedImage.TYPE_INT_RGB);
879 Graphics2D g = (Graphics2D) offscreen.getGraphics();
881 g.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
882 RenderingHints.VALUE_ANTIALIAS_ON);
883 g.setRenderingHint(RenderingHints.KEY_INTERPOLATION,
884 RenderingHints.VALUE_INTERPOLATION_BICUBIC);
885 g.setRenderingHint(RenderingHints.KEY_RENDERING,
886 RenderingHints.VALUE_RENDER_QUALITY);
888 g.setColor(Color.white);
889 g.fillRect(0, 0, getWidth(), getHeight());
893 int x = image.getWidth(this) / 2, y = image.getHeight(this) / 2;
894 g.rotate(3.14159 / 180 * (angle), x, y);
895 g.drawImage(image, 0, 0, this);
896 g.rotate(-3.14159 / 180 * (angle), x, y);
901 public void paintComponent(Graphics g1)
905 g1.drawImage(offscreen, 0, 0, this);
909 boolean renderAsHtml = false;
911 public void setRenderAsHtml(boolean b)
917 public void hyperlinkUpdate(HyperlinkEvent e)
919 Desktop.hyperlinkUpdate(e);
925 * @see jalview.gui.IProgressIndicator#setProgressBar(java.lang.String, long)
928 public void setProgressBar(String message, long id)
930 progressBar.setProgressBar(message, id);
934 public void registerHandler(final long id,
935 final IProgressIndicatorHandler handler)
937 progressBar.registerHandler(id, handler);
942 * @return true if any progress bars are still active
945 public boolean operationInProgress()
947 return progressBar.operationInProgress();