ActorRuntimeLogTextFormatter.OnDefaultEventHandler method
Invoked when the specified actor is idle (there is nothing to dequeue) and the default event handler is about to be executed.
public virtual void OnDefaultEventHandler(ActorId id, string stateName)
| parameter | description |
|---|---|
| id | The id of the actor that the state will execute in. |
| stateName | The state name, if the actor is a state machine and a state exists, else null. |
See Also
- class ActorId
- class ActorRuntimeLogTextFormatter
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors