3 import java.beans.PropertyChangeEvent;
4 import java.beans.PropertyChangeListener;
5 import java.util.Objects;
7 import jalview.gui.WebserviceInfo;
9 public class WebServiceInfoUpdater implements PropertyChangeListener
11 private final WebserviceInfo wsInfo;
12 private String outputHeader = "";
14 public WebServiceInfoUpdater(WebserviceInfo wsInfo) {
18 public String getOutputHeader() {
22 public void setOutputHeader(String header) {
23 this.outputHeader = header;
27 public void propertyChange(PropertyChangeEvent evt)
29 switch (evt.getPropertyName()) {
42 private void statusChanged(PropertyChangeEvent evt) {
43 WSJob job = (WSJob) evt.getSource();
44 WSJobStatus status = (WSJobStatus) evt.getNewValue();
50 wsInfoStatus = WebserviceInfo.STATE_QUEUING;
53 wsInfoStatus = WebserviceInfo.STATE_RUNNING;
56 wsInfoStatus = WebserviceInfo.STATE_STOPPED_OK;
59 wsInfoStatus = WebserviceInfo.STATE_CANCELLED_OK;
65 wsInfoStatus = WebserviceInfo.STATE_STOPPED_ERROR;
68 wsInfoStatus = WebserviceInfo.STATE_STOPPED_SERVERERROR;
71 wsInfo.setStatus(job.getJobNum(), wsInfoStatus);
74 private void logChanged(PropertyChangeEvent evt) {
75 WSJob job = (WSJob) evt.getSource();
76 String oldLog = (String) evt.getOldValue();
77 String newLog = (String) evt.getNewValue();
78 wsInfo.appendProgressText(job.getJobNum(), newLog.substring(oldLog.length()));
81 private void errorLogChanged(PropertyChangeEvent evt) {
82 WSJob job = (WSJob) evt.getSource();
83 String oldLog = (String) evt.getOldValue();
84 String newLog = (String) evt.getNewValue();
85 wsInfo.appendProgressText(job.getJobNum(), newLog.substring(oldLog.length()));