Actor.OnExceptionHandledAsync method

Asynchronous callback that is invoked when the actor handles an exception.

protected virtual Task OnExceptionHandledAsync(Exception ex, Event e)

parameter	description
ex	The exception thrown by the actor.
e	The event being handled when the exception was thrown.

Return Value

The action that the runtime should take.

See Also

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