ActorRuntimeLogTextFormatter.OnEventHandlerTerminated method

Invoked when the event handler of the specified actor terminated.

public virtual void OnEventHandlerTerminated(ActorId id, string stateName, 
    DequeueStatus dequeueStatus)

parameter	description
id	The id of the actor with the handler that terminated.
stateName	The state name, if the actor is a state machine and a state exists, else null.
dequeueStatus	The status returned as the result of the last dequeue operation.

See Also

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