3 import java.beans.PropertyChangeListener;
4 import java.beans.PropertyChangeSupport;
7 import jalview.util.MathUtils;
11 /* Client-side identifier */
12 public final long uid = MathUtils.getUID();
14 private int jobNum = 0;
16 /* Shortened server name e.g. "slivka" or "jabaws" */
17 private String serviceProvider = "";
19 /* Name of the service e.g. "ClustalW2" */
20 private String serviceName = "";
22 /* Server-side identifier */
23 private String jobId = "";
25 private WSJobStatus status = WSJobStatus.UNKNOWN;
27 private String log = "";
29 private String errorLog = "";
31 /* Base url of the server associated with the job */
32 private String hostName = "";
34 private Date creationTime = new Date();
36 private PropertyChangeSupport pcs = new PropertyChangeSupport(this);
42 public WSJob(String serviceProvider, String serviceName, String hostName)
44 this.serviceProvider = serviceProvider;
45 this.serviceName = serviceName;
46 this.hostName = hostName;
50 public String toString()
52 return String.format("%s:%s [%s] Created %s", serviceProvider, serviceName,
57 * Get the ordinal numer of the job.
61 public int getJobNum()
66 public void setJobNum(int jobNum)
71 public WSJobStatus getStatus()
76 public void setStatus(WSJobStatus status)
78 var oldStatus = this.status;
80 pcs.firePropertyChange("status", oldStatus, status);
83 public String getLog()
88 public void setLog(String log)
90 var oldLog = this.log;
92 pcs.firePropertyChange("log", oldLog, log);
95 public String getErrorLog()
100 public void setErrorLog(String log)
102 String oldErrorLog = this.errorLog;
104 pcs.firePropertyChange("errorLog", oldErrorLog, this.errorLog);
112 public String getServiceProvider()
114 return serviceProvider;
117 public void setServiceProvider(String serviceProvider)
119 this.serviceProvider = serviceProvider;
122 public String getServiceName()
127 public void setServiceName(String serviceName)
129 this.serviceName = serviceName;
132 public String getJobId()
137 public void setJobId(String jobID)
142 public String getHostName()
147 public void setHostName(String hostName)
149 this.hostName = hostName;
152 public Date getCreationTime()
157 public void setCreationTime(Date creationTime)
159 this.creationTime = creationTime;
162 public void addPropertyChangeListener(PropertyChangeListener listener)
164 pcs.addPropertyChangeListener(listener);
167 public void addPropertyChangeListener(String propertyName,
168 PropertyChangeListener listener)
170 pcs.addPropertyChangeListener(propertyName, listener);
173 public void removePropertyChangeListener(PropertyChangeListener listener)
175 pcs.removePropertyChangeListener(listener);
178 public void removePropertyChagneListener(String propertyName,
179 PropertyChangeListener listener)
181 pcs.removePropertyChangeListener(propertyName, listener);