Running the Example
Running the example code produces the output of the state actions interleaved with the state machine traces to show exactly what happened.
The first trace shows that the Run event was dispatched from outside of a state machine to the ::wm1 state machine and the event carried no parameters. The second trace line shows the result of delivering the event. The ::wm1 state machine transitioned from the Idle state to the FillingForWashing state. So on line 3 we see the result of executing the action associated with the FillingForWashing state. The remaining lines of output show the completion of the washing cycle.