ActorRuntimeLogTextFormatter.OnGotoState method
Invoked when the specified state machine performs a goto transition to the specified state.
public virtual void OnGotoState(ActorId id, string currentStateName, string newStateName)
parameter | description |
---|---|
id | The id of the actor. |
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