StateMachine.RaiseEvent method
Raises the specified Event at the end of the current action.
protected void RaiseEvent(Event e)
| parameter | description |
|---|---|
| e | The event to raise. |
Remarks
This event is not handled until the action that calls this method returns control back to the Coyote runtime, unless it is a HaltEvent, which is handled immediately. 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 Event
- class StateMachine
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors