Actor.OnEventHandledAsync method

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)

parameter	description
e	The event that was handled.

See Also

• class Event
• class Actor
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors