/**
* Clone everything except id that is set to -1.
*
* @return
*/
public Object clone() {
OperationData ret = new OperationData(this.getName(), getId());
if (getCopy()) {
ret.setId(Model.newId());
ret.setName(ret.getName() + "_" + ret.getId());
}
Set<String> keys = preference.keySet();
for (String key : keys) {
ret.setValue(key, getValue(key));
}
// Copy preconditions
// sequenceCondition
ret.setSequenceCondition(cloneSequenceConditions(sequenceCondition));
ret.setPSequenceCondition(cloneSequenceConditions(pSequenceCondition));
ret.setSeqInvariant(cloneSequenceConditions(seqInvariant));
ret.setResourceBooking(cloneResources(resourceBooking));
ret.setPResourceBooking(cloneResources(pResourceBooking));
ret.setActions(cloneActions(actions));
return ret;
}
public void setPrecondition(String value) {
setValue(OP_PRECONDITION, value);
}
public void setAccomplishes(int id) {
setValue(OP_ACCOMPLISHES, Integer.toString(id));
}
public void setCost(double cost) {
setValue(OP_COST, Double.toString(cost));
}
public void setRealizedBy(int id) {
setValue(OP_REALIZEDBY, Integer.toString(id));
}
public void setPostoperation(boolean isPostoperation) {
setValue(OP_POSTOPERATION, Boolean.toString(isPostoperation));
}
public void setPreoperation(boolean isPreoperation) {
setValue(OP_PREOPERATION, Boolean.toString(isPreoperation));
}
public void setDescription(String value) {
setValue(OP_DESCRIPTION, value);
}
public void setInvariant(String value) {
setValue(OP_INVARIANT, value);
}
public void setPostcondition(String value) {
setValue(OP_POSTCONDITION, value);
}
