Actor.OnEventDequeuedAsync method
Asynchronous callback that is invoked when the actor successfully dequeues an event from its inbox. This method is not called when the dequeue happens via a receive statement.
protected virtual Task OnEventDequeuedAsync(Event e)
| parameter | description |
|---|---|
| e | The event that was dequeued. |
See Also
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors