Actor.OnException method

Callback that is invoked when the actor throws an exception. By default, the actor throws the exception causing the runtime to fail.

protected virtual OnExceptionOutcome OnException(Exception ex, string methodName, Event e)

parameter	description
ex	The exception thrown by the actor.
methodName	The handler (outermost) that threw the exception.
e	The event being handled when the exception was thrown.

Return Value

The action that the runtime should take.

See Also

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