| 58 | // |
| 59 | template<int inum> |
| 60 | class On |
| 61 | : public DefectiveSwitch<inum> |
| 62 | { |
| 63 | // note: base class is not known in dependend template |
| 64 | using base = DefectiveSwitch<inum>; |
| 65 | void entry() override { |
| 66 | base::on_counter++; |
| 67 | DumpState(inum, "ON ", base::on_counter, base::defect_level); |
| 68 | }; |
| 69 | void react(Toggle const &) override { |
| 70 | base::template transit< Off<inum> >(); |
| 71 | }; |
| 72 | }; |
| 73 | |
| 74 | |
| 75 | template<int inum> |
nothing calls this directly
no outgoing calls
no test coverage detected