X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/55a08c7439db5b0335a5b26e40b3a46e1e03d3e8..bc603041d7ce7e32a2c888e7156e30035368b226:/src/instr/instr_paje_events.hpp?ds=sidebyside diff --git a/src/instr/instr_paje_events.hpp b/src/instr/instr_paje_events.hpp index f26a206ec4..2527bd7266 100644 --- 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 #include #include @@ -42,7 +43,7 @@ class PajeEvent { Type* type_; public: static xbt::signal on_creation; - static xbt::signal on_destruction; + static xbt::signal on_destruction; double timestamp_; e_event_type eventType_; @@ -78,9 +79,9 @@ class StateEvent : public PajeEvent { std::unique_ptr extra_; public: - static xbt::signal on_destruction; + static xbt::signal on_destruction; StateEvent(Container* container, Type* type, e_event_type event_type, EntityValue* value, TIData* extra); - ~StateEvent() { on_destruction(*this); } + ~StateEvent() override { on_destruction(*this); } bool has_extra() const { return extra_ != nullptr; } void print() override; };