IActorRuntimeLog.OnEventHandlerTerminated method
Invoked when the event handler of the specified actor terminated.
public 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
- interface IActorRuntimeLog
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors