Asynchronous callback that is invoked when the actor finishes handling a dequeued event, unless the handler of the dequeued event caused the actor to halt (either normally or due to an exception). The actor will either become idle or dequeue the next event from its inbox.
protected virtual Task OnEventHandledAsync(Event e)
|e||The event that was handled.|
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors