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)
|e||The event that was dequeued.|
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors