Raises the specified
Event at the end of the current action.
protected void RaiseEvent(Event e)
|e||The event to raise.|
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:
RaiseHaltEvent. An Assert is raised if you accidentally try and do two of these operations in a single action.
- class Event
- class StateMachine
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors