+static std::string to_string_activity_wait(const activity::ActivityImpl* act)
+{
+ if (const auto* comm = dynamic_cast<activity::CommImpl const*>(act)) {
+ const std::string src_buff_id = ptr_to_id<unsigned char>(comm->src_buff_);
+ const std::string dst_buff_id = ptr_to_id<unsigned char>(comm->dst_buff_);
+ return "CommWait(comm_id:" + std::to_string(comm->get_id()) +
+ " src:" + std::to_string(comm->src_actor_ != nullptr ? comm->src_actor_->get_pid() : -1) +
+ " dst:" + std::to_string(comm->dst_actor_ != nullptr ? comm->dst_actor_->get_pid() : -1) +
+ " mbox:" + (comm->get_mailbox() == nullptr ? "-" : comm->get_mailbox()->get_name()) +
+ "(id:" + std::to_string(comm->get_mailbox_id()) + ") srcbuf:" + src_buff_id + " dstbuf:" + dst_buff_id +
+ " bufsize:" + std::to_string(comm->src_buff_size_) + ")";
+ } else {
+ return "WaitUnknownType()";
+ }
+}