]> AND Public Git Repository - simgrid.git/blobdiff - src/simix/SynchroRaw.hpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge s4u wait_any
[simgrid.git] / src / simix / SynchroRaw.hpp
index 25d4c2de32e743db8160d489067e910f39762def..1d9345b8c502cdad82f31eae2e25a2b8be47bc82 100644 (file)
@@ -15,11 +15,12 @@ namespace simix {
   /** Used to implement mutexes, semaphores and conditions */
   XBT_PUBLIC_CLASS Raw : public Synchro {
   public:
-    void suspend();
-    void resume();
+    ~Raw() override;
+    void suspend() override;
+    void resume() override;
     void post() override;
 
-    surf_action_t sleep;
+    surf_action_t sleep = nullptr;
   };
 
 }} // namespace simgrid::simix