Empty state with no consideration for any previous state.
When a state machine implementation enters this state, it must not produce
any side effect. In other words, any previous state is discarded. An
implementation must continue to enter Empty after this, so that no use sites
of the state machine need to check for both Empty and EmptyIgnoringPrevious
states.
Empty state with no consideration for any previous state.
When a state machine implementation enters this state, it must not produce any side effect. In other words, any previous state is discarded. An implementation must continue to enter Empty after this, so that no use sites of the state machine need to check for both Empty and EmptyIgnoringPrevious states.