-/** @brief returns a printable string representing the request kind */
-const char *SIMIX_request_name(int kind) {
- switch ((e_smx_req_t) kind) {
- case REQ_NO_REQ: return "REQ_NO_REQ";
- case REQ_HOST_GET_BY_NAME: return "REQ_HOST_GET_BY_NAME";
- case REQ_HOST_GET_NAME: return "REQ_HOST_GET_NAME";
- case REQ_HOST_GET_PROPERTIES: return "REQ_HOST_GET_PROPERTIES";
- case REQ_HOST_GET_SPEED: return "REQ_HOST_GET_SPEED";
- case REQ_HOST_GET_AVAILABLE_SPEED: return "REQ_HOST_GET_AVAILABLE_SPEED";
- case REQ_HOST_GET_STATE: return "REQ_HOST_GET_STATE";
- case REQ_HOST_GET_DATA: return "REQ_HOST_GET_DATA";
- case REQ_HOST_SET_DATA: return "REQ_HOST_SET_DATA";
- case REQ_HOST_EXECUTE: return "REQ_HOST_EXECUTE";
- case REQ_HOST_PARALLEL_EXECUTE: return "REQ_HOST_PARALLEL_EXECUTE";
- case REQ_HOST_EXECUTION_DESTROY: return "REQ_HOST_EXECUTION_DESTROY";
- case REQ_HOST_EXECUTION_CANCEL: return "REQ_HOST_EXECUTION_CANCEL";
- case REQ_HOST_EXECUTION_GET_REMAINS: return "REQ_HOST_EXECUTION_GET_REMAINS";
- case REQ_HOST_EXECUTION_GET_STATE: return "REQ_HOST_EXECUTION_GET_STATE";
- case REQ_HOST_EXECUTION_SET_PRIORITY: return "REQ_HOST_EXECUTION_SET_PRIORITY";
- case REQ_HOST_EXECUTION_WAIT: return "REQ_HOST_EXECUTION_WAIT";
- case REQ_PROCESS_CREATE: return "REQ_PROCESS_CREATE";
- case REQ_PROCESS_KILL: return "REQ_PROCESS_KILL";
- case REQ_PROCESS_CHANGE_HOST: return "REQ_PROCESS_CHANGE_HOST";
- case REQ_PROCESS_SUSPEND: return "REQ_PROCESS_SUSPEND";
- case REQ_PROCESS_RESUME: return "REQ_PROCESS_RESUME";
- case REQ_PROCESS_COUNT: return "REQ_PROCESS_COUNT";
- case REQ_PROCESS_GET_DATA: return "REQ_PROCESS_GET_DATA";
- case REQ_PROCESS_SET_DATA: return "REQ_PROCESS_SET_DATA";
- case REQ_PROCESS_GET_HOST: return "REQ_PROCESS_GET_HOST";
- case REQ_PROCESS_GET_NAME: return "REQ_PROCESS_GET_NAME";
- case REQ_PROCESS_IS_SUSPENDED: return "REQ_PROCESS_IS_SUSPENDED";
- case REQ_PROCESS_GET_PROPERTIES: return "REQ_PROCESS_GET_PROPERTIES";
- case REQ_PROCESS_SLEEP: return "REQ_PROCESS_SLEEP";
- case REQ_RDV_CREATE: return "REQ_RDV_CREATE";
- case REQ_RDV_DESTROY: return "REQ_RDV_DESTROY";
- case REQ_RDV_GEY_BY_NAME: return "REQ_RDV_GEY_BY_NAME";
- case REQ_RDV_COMM_COUNT_BY_HOST: return "REQ_RDV_COMM_COUNT_BY_HOST";
- case REQ_RDV_GET_HEAD: return "REQ_RDV_GET_HEAD";
- case REQ_COMM_ISEND: return "REQ_COMM_ISEND";
- case REQ_COMM_IRECV: return "REQ_COMM_IRECV";
- case REQ_COMM_DESTROY: return "REQ_COMM_DESTROY";
- case REQ_COMM_CANCEL: return "REQ_COMM_CANCEL";
- case REQ_COMM_WAITANY: return "REQ_COMM_WAITANY";
- case REQ_COMM_TESTANY: return "REQ_COMM_TESTANY";
- case REQ_COMM_WAIT: return "REQ_COMM_WAIT";