Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
make overring methods as so to please clang
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 11 May 2016 16:34:47 +0000 (18:34 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 11 May 2016 16:34:47 +0000 (18:34 +0200)
src/simix/SynchroComm.hpp
src/simix/SynchroExec.hpp
src/simix/SynchroRaw.hpp
src/simix/SynchroSleep.hpp

index b58c83c..d2c549b 100644 (file)
@@ -23,8 +23,8 @@ namespace simix {
     ~Comm();
   public:
     Comm(e_smx_comm_type_t type);
     ~Comm();
   public:
     Comm(e_smx_comm_type_t type);
-    void suspend();
-    void resume();
+    void suspend() override;
+    void resume() override;
     void post() override;
     void cancel();
     double remains();
     void post() override;
     void cancel();
     double remains();
index d0abb29..20d26f8 100644 (file)
@@ -15,8 +15,8 @@ namespace simix {
   XBT_PUBLIC_CLASS Exec : public Synchro {
     ~Exec();
   public:
   XBT_PUBLIC_CLASS Exec : public Synchro {
     ~Exec();
   public:
-    void suspend();
-    void resume();
+    void suspend() override;
+    void resume() override;
     void post() override;
     double remains();
 
     void post() override;
     double remains();
 
index 25d4c2d..3c920fa 100644 (file)
@@ -15,8 +15,8 @@ namespace simix {
   /** Used to implement mutexes, semaphores and conditions */
   XBT_PUBLIC_CLASS Raw : public Synchro {
   public:
   /** Used to implement mutexes, semaphores and conditions */
   XBT_PUBLIC_CLASS Raw : public Synchro {
   public:
-    void suspend();
-    void resume();
+    void suspend() override;
+    void resume() override;
     void post() override;
 
     surf_action_t sleep;
     void post() override;
 
     surf_action_t sleep;
index b999526..9f024ca 100644 (file)
@@ -14,8 +14,8 @@ namespace simix {
 
   XBT_PUBLIC_CLASS Sleep : public Synchro {
   public:
 
   XBT_PUBLIC_CLASS Sleep : public Synchro {
   public:
-    void suspend();
-    void resume();
+    void suspend() override;
+    void resume() override;
     void post() override;
 
     sg_host_t host;                /* The host that is sleeping */
     void post() override;
 
     sg_host_t host;                /* The host that is sleeping */