IActorRuntime.GetActorExecutionStatus method
Returns the execution status of the actor with the specified ActorId
.
public ActorExecutionStatus GetActorExecutionStatus(ActorId id)
parameter | description |
---|---|
id | The id of the actor. |
Return Value
The execution status.
Remarks
This method is not thread-safe.
See Also
- enum ActorExecutionStatus
- class ActorId
- interface IActorRuntime
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors