IActorRuntimeLog.OnPopState method
Invoked when the specified state machine has popped its current state.
public void OnPopState(ActorId id, string currentStateName, string restoredStateName)
| parameter | description |
|---|---|
| id | The id of the actor that the pop executed in. |
| currentStateName | The name of the current state. |
| restoredStateName | The name of the state being re-entered, if any. |
See Also
- class ActorId
- interface IActorRuntimeLog
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors