ActorRuntimeLogTextFormatter.OnHalt method
Invoked when the specified actor has been halted.
public virtual void OnHalt(ActorId id, int inboxSize)
| parameter | description |
|---|---|
| id | The id of the actor that has been halted. |
| inboxSize | Approximate size of the inbox. |
See Also
- class ActorId
- class ActorRuntimeLogTextFormatter
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors