ActorRuntimeLogTextFormatter.OnExceptionHandled method

Invoked when the specified actor has handled a thrown exception.

public virtual void OnExceptionHandled(ActorId id, string stateName, string actionName, 
    Exception ex)

parameter	description
id	The id of the actor that handled the exception.
stateName	The state name, if the actor is a state machine and a state exists, else null.
actionName	The name of the action being executed.
ex	The exception.

See Also

• class ActorId
• class ActorRuntimeLogTextFormatter
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors