private String serviceName = "";
/* Server-side identifier */
- private String jobID = "";
+ private String jobId = "";
private WSJobStatus status = WSJobStatus.UNKNOWN;
{
}
- public WSJob(String serviceProvider, String serviceName, String jobID,
- String hostName)
+ public WSJob(String serviceProvider, String serviceName, String hostName)
{
this.serviceProvider = serviceProvider;
this.serviceName = serviceName;
- this.jobID = jobID;
this.hostName = hostName;
}
public String toString()
{
return format("%s:%s [%s] Created %s", serviceProvider, serviceName,
- jobID, creationTime);
+ jobId, creationTime);
}
public int getJobNum()
this.serviceName = serviceName;
}
- public String getJobID()
+ public String getJobId()
{
- return jobID;
+ return jobId;
}
- public void setJobID(String jobID)
+ public void setJobId(String jobID)
{
- this.jobID = jobID;
+ this.jobId = jobID;
}
public String getHostName()
{
pcs.removePropertyChangeListener(propertyName, listener);
}
-
}