| 51 | { |
| 52 | void entry() override { counter++; std::cout << "* Switch is OFF, counter=" << counter << std::endl; }; |
| 53 | void react(Toggle const &) override { transit<On>(); }; |
| 54 | int counter; |
| 55 | |
| 56 | public: |
nothing calls this directly
no outgoing calls
no test coverage detected