container_t process_container = PJ_container_get (instr_process_id(MSG_process_self(), str, len));
Type* type = PJ_type_get ("MSG_PROCESS_STATE", process_container->type);
- value* val = value::get("task_execute", type);
+ Value* val = Value::get("task_execute", type);
new PushStateEvent(MSG_get_clock(), process_container, type, val);
}
}
container_t process_container = PJ_container_get (instr_process_id(MSG_process_self(), str, len));
Type* type = PJ_type_get ("MSG_PROCESS_STATE", process_container->type);
- value* val = value::get("receive", type);
+ Value* val = Value::get("receive", type);
new PushStateEvent(MSG_get_clock(), process_container, type, val);
}
}
container_t process_container = PJ_container_get (instr_process_id(MSG_process_self(), str, len));
Type* type = PJ_type_get ("MSG_PROCESS_STATE", process_container->type);
- value* val = value::get("send", type);
+ Value* val = Value::get("send", type);
new PushStateEvent(MSG_get_clock(), process_container, type, val);
char key[INSTR_DEFAULT_STR_SIZE];