From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 13 Nov 2023 15:05:21 +0000 (+0100)
Subject: New method: MutexImpl::is_granted()
X-Git-Tag: v3.35~59
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3f4f5e63dadc0023c0a02a08af8e9e9801b38e8e

New method: MutexImpl::is_granted()
---

diff --git a/src/kernel/activity/MutexImpl.hpp b/src/kernel/activity/MutexImpl.hpp
index cad25c34c9..51ef640157 100644
--- a/src/kernel/activity/MutexImpl.hpp
+++ b/src/kernel/activity/MutexImpl.hpp
@@ -55,6 +55,7 @@ public:
   MutexImplPtr get_mutex() { return mutex_; }
   actor::ActorImpl* get_issuer() { return issuer_; }
   void grant() { granted_ = true; }
+  bool is_granted() { return granted_; }
 
   bool test(actor::ActorImpl* issuer = nullptr) override;
   void wait_for(actor::ActorImpl* issuer, double timeout) override;