| 117 | void action() {} |
| 118 | |
| 119 | void handle(const e1&) { |
| 120 | switch (state) { |
| 121 | default: |
| 122 | break; |
| 123 | case State::S1: |
| 124 | if (guard()) { |
| 125 | action(); |
| 126 | state = State::S2; |
| 127 | } |
| 128 | break; |
| 129 | } |
| 130 | } |
| 131 | |
| 132 | void handle(const e2&) { |
| 133 | switch (state) { |