55using namespace reactor ;
66using namespace std ::chrono_literals;
77
8- class Trigger : public Reactor {
8+ class Trigger final : public Reactor {
99private:
1010 Timer timer;
1111 Reaction r_timer{" r_timer" , 1 , this , [this ]() { on_timer (); }};
1212
1313public:
14- Trigger (const std::string& name, Environment* env, Duration period)
14+ Trigger (const std::string& name, Environment* env, const Duration period)
1515 : Reactor(name, env)
1616 , timer{" timer" , this , period, Duration::zero ()} {}
1717
@@ -25,7 +25,7 @@ class Trigger : public Reactor {
2525 void on_timer () { trigger.set (); }
2626};
2727
28- class Counter : public Reactor {
28+ class Counter final : public Reactor {
2929private:
3030 int value_{0 };
3131 Reaction r_trigger{" r_trigger" , 1 , this , [this ]() { on_trigger (); }};
@@ -49,7 +49,7 @@ class Counter : public Reactor {
4949 }
5050};
5151
52- class Printer : public Reactor {
52+ class Printer final : public Reactor {
5353private:
5454 Reaction r_value{" r_value" , 1 , this , [this ]() { on_value (); }};
5555
@@ -64,10 +64,10 @@ class Printer : public Reactor {
6464 r_value.declare_trigger (&value);
6565 }
6666
67- void on_value () { std::cout << this ->name () << " : " << *value.get () << ' \n ' ; }
67+ void on_value () const { std::cout << this ->name () << " : " << *value.get () << ' \n ' ; }
6868};
6969
70- class Adder : public Reactor {
70+ class Adder final : public Reactor {
7171private:
7272 Reaction r_add{" r_add" , 1 , this , [this ]() { add (); }};
7373
0 commit comments