Merge branch 'pikachuyann/simgrid-stoprofiles'

[simgrid.git] / src / instr / instr_paje_events.hpp

diff --git a/src/instr/instr_paje_events.hpp b/src/instr/instr_paje_events.hpp
index 744ada9..2527bd7 100644 (file)
--- a/src/instr/instr_paje_events.hpp
+++ b/src/instr/instr_paje_events.hpp
@@ -8,6 +8,7 @@
 
 #include "src/instr/instr_private.hpp"
 #include "src/internal_config.h"
+#include <memory>
 #include <sstream>
 #include <string>
 
@@ -42,7 +43,7 @@ class PajeEvent {
   Type* type_;
 public:
   static xbt::signal<void(PajeEvent&)> on_creation;
-  static xbt::signal<void(PajeEvent&)> on_destruction;
+  static xbt::signal<void(PajeEvent const&)> on_destruction;
 
   double timestamp_;
   e_event_type eventType_;
@@ -78,10 +79,10 @@ class StateEvent : public PajeEvent {
   std::unique_ptr<TIData> extra_;
 
 public:
-  static xbt::signal<void(StateEvent&)> on_destruction;
+  static xbt::signal<void(StateEvent const&)> on_destruction;
   StateEvent(Container* container, Type* type, e_event_type event_type, EntityValue* value, TIData* extra);
-  ~StateEvent() { on_destruction(*this); }
-  bool has_extra() { return extra_ != nullptr; }
+  ~StateEvent() override { on_destruction(*this); }
+  bool has_extra() const { return extra_ != nullptr; }
   void print() override;
 };