44
55using namespace reactor ;
66
7- class LeftPedal : public Reactor {
7+ class LeftPedal final : public Reactor {
88public:
99 // ports
1010 Output<void > angle{" angle" , this }; // NOLINT
@@ -30,7 +30,7 @@ class LeftPedal : public Reactor {
3030 }
3131};
3232
33- class RightPedal : public Reactor {
33+ class RightPedal final : public Reactor {
3434public:
3535 // ports
3636 Output<void > angle{" angle" , this }; // NOLINT
@@ -60,7 +60,7 @@ class RightPedal : public Reactor {
6060 }
6161};
6262
63- class BrakeControl : public Reactor {
63+ class BrakeControl final : public Reactor {
6464public:
6565 // ports
6666 Input<void > angle{" angle" , this }; // NOLINT
@@ -81,7 +81,7 @@ class BrakeControl : public Reactor {
8181 }
8282};
8383
84- class EngineControl : public Reactor {
84+ class EngineControl final : public Reactor {
8585public:
8686 // ports
8787 Input<void > angle{" angle" , this }; // NOLINT
@@ -118,7 +118,7 @@ class EngineControl : public Reactor {
118118 }
119119};
120120
121- class Brake : public Reactor {
121+ class Brake final : public Reactor {
122122public:
123123 // ports
124124 Input<void > force{" force" , this }; // NOLINT
@@ -136,7 +136,7 @@ class Brake : public Reactor {
136136 void assemble () override { r1.declare_trigger (&force); }
137137};
138138
139- class Engine : public Reactor {
139+ class Engine final : public Reactor {
140140public:
141141 // ports
142142 Input<void > torque{" torque" , this }; // NOLINT
0 commit comments