StateMachine.RaisePopStateEvent method
Raise a special event that performs a pop state operation at the end of the current action.
protected void RaisePopStateEvent()
Remarks
Popping a state pops the current State
that was pushed using RaisePushStateEvent
or an OnEventPushStateAttribute. An assert is raised if there are no states left to pop. This event is not handled until the action that calls this method returns control back to the Coyote runtime. It is handled before any other events are dequeued from the inbox. Only one of the following can be called per action: RaiseEvent
, RaiseGotoStateEvent
, RaisePushStateEvent
or RaisePopStateEvent
and RaiseHaltEvent
. An Assert is raised if you accidentally try and do two of these operations in a single action.
See Also
- class StateMachine
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors