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)
|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.|
The action that the runtime should take.
- enum OnExceptionOutcome
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors