| 26 | // |
| 27 | |
| 28 | class Panic |
| 29 | : public Elevator |
| 30 | { |
| 31 | void entry() override { |
| 32 | send_event(MotorStop()); |
| 33 | } |
| 34 | }; |
| 35 | |
| 36 | |
| 37 | // ---------------------------------------------------------------------------- |
nothing calls this directly
no outgoing calls
no test coverage detected