ActorRuntimeLogTextFormatter.OnPushState method
Invoked when the specified state machine is being pushed to a state.
public virtual void OnPushState(ActorId id, string currentStateName, string newStateName)
| parameter | description |
|---|---|
| id | The id of the actor being pushed to the state. |
| currentStateName | The name of the current state. |
| newStateName | The target state of the transition. |
See Also
- class ActorId
- class ActorRuntimeLogTextFormatter
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors