//set the state of this new container
type = getType ("MSG_PROCESS_STATE", msg->type);
- new_pajeSetState (MSG_get_clock(), msg, type, "executing");
+ val_t value = getValueByName ("executing", type);
+ new_pajeSetState (MSG_get_clock(), msg, type, value);
//end link
msg = getContainer(instr_process_id(process, str, len));
container_t msg = newContainer(instr_process_id(process, str, len), INSTR_MSG_PROCESS, host_container);
type_t type = getType ("MSG_PROCESS_STATE", msg->type);
- new_pajeSetState (MSG_get_clock(), msg, type, "executing");
+ val_t value = getValueByName ("executing", type);
+ new_pajeSetState (MSG_get_clock(), msg, type, value);
}
}
container_t process_container = getContainer (instr_process_id(process, str, len));
type_t type = getType ("MSG_PROCESS_STATE", process_container->type);
- new_pajePushState (MSG_get_clock(), process_container, type, "suspend");
+ val_t value = getValueByName ("suspend", type);
+ new_pajePushState (MSG_get_clock(), process_container, type, value);
}
}
container_t process_container = getContainer (instr_process_id(process, str, len));
type_t type = getType ("MSG_PROCESS_STATE", process_container->type);
- new_pajePushState (MSG_get_clock(), process_container, type, "sleep");
+ val_t value = getValueByName ("sleep", type);
+ new_pajePushState (MSG_get_clock(), process_container, type, value);
}
}