| 81 | DumpState(inum, "OFF", base::on_counter, base::defect_level); |
| 82 | }; |
| 83 | void react(Toggle const &) override { |
| 84 | if((rand() % (base::defect_level + 1)) == 0) |
| 85 | base::template transit< On<inum> >(); |
| 86 | else { |
| 87 | std::cout << "* Kzzz kzzzzzz" << std::endl; |
| 88 | base::template transit< Off<inum> >(); |
| 89 | } |
| 90 | }; |
| 91 | }; |
| 92 | |
| 93 | FSM_INITIAL_STATE(DefectiveSwitch<0>, Off<0> ) |
nothing calls this directly
no outgoing calls
no test coverage detected