-
- switch (req->call_) {
- case Simcall::COMM_ISEND:
- type = "iSend";
- args = "src=" + get_actor_string(issuer);
- args += ", buff=" + pointer_to_string(simcall_comm_isend__get__src_buff(req));
- args += ", size=" + buff_size_to_string(simcall_comm_isend__get__src_buff_size(req));
- break;
-
- case Simcall::COMM_IRECV: {
- size_t* remote_size = simcall_comm_irecv__get__dst_buff_size(req);
- size_t size = 0;
- if (remote_size)
- mc_model_checker->get_remote_process().read_bytes(&size, sizeof(size), remote(remote_size));
-
- type = "iRecv";
- args = "dst=" + get_actor_string(issuer);
- args += ", buff=" + pointer_to_string(simcall_comm_irecv__get__dst_buff(req));
- args += ", size=" + buff_size_to_string(size);
- break;
- }
-
- case Simcall::COMM_WAIT:
- // See ActivityWaitSimcall::to_string(int times_considered)
- case Simcall::COMM_TEST:
- // See ActivityTestSimcall::to_string(int times_considered)
- case Simcall::COMM_WAITANY:
- // See ActivityWaitanySimcall::to_string(int times_considered)
- case Simcall::COMM_TESTANY:
- // See ActivityTestanySimcall::to_string(int times_considered)
- break;
-
- default:
- type = SIMIX_simcall_name(*req);
- args = "??";
- break;
- }
-
- return "[" + get_actor_string(issuer) + "] " + type + "(" + args + ")";