}
}
+inline simgrid::kernel::activity::CommImpl* get_comm(smx_simcall_t const r)
+{
+ switch (r->call_) {
+ case Simcall::COMM_WAIT:
+ return simcall_comm_wait__getraw__comm(r);
+ case Simcall::COMM_TEST:
+ return simcall_comm_test__getraw__comm(r);
+ default:
+ return nullptr;
+ }
+}
+
/* Search an enabled transition for the given process.
*
* This can be seen as an iterator returning the next transition of the process.
return get_mbox(req);
}
+simgrid::kernel::activity::CommImpl* mc_api::simcall_get_comm(smx_simcall_t const req) const
+{
+ return get_comm(req);
+}
+
bool mc_api::mc_is_null() const
{
auto is_null = (mc_model_checker == nullptr) ? true : false;
smx_actor_t simcall_get_issuer(s_smx_simcall const* req) const;
long simcall_get_actor_id(s_smx_simcall const* req) const;
smx_mailbox_t simcall_get_mbox(smx_simcall_t const req) const;
+ simgrid::kernel::activity::CommImpl* simcall_get_comm(smx_simcall_t const req) const;
#if HAVE_SMPI
int get_smpi_request_tag(smx_simcall_t const& simcall, simgrid::simix::Simcall type) const;