Interface that exposes runtime methods for creating and executing actors.
public interface IActorRuntime : ICoyoteRuntime
|event OnActorHalted||Callback that is fired when an actor has halted and the runtime has stopped managing it.|
|event OnEventDropped||Callback that is fired when an event is dropped.|
|CreateActor(…)||Creates a new actor of the specified Type and with the specified optional
|CreateActorId(…)||Creates a fresh actor id that has not yet been bound to any actor.|
|CreateActorIdFromName(…)||Creates a actor id that is uniquely tied to the specified unique name. The returned actor id can either be a fresh id (not yet bound to any actor), or it can be bound to a previously created actor. In the second case, this actor id can be directly used to communicate with the corresponding actor.|
|GetActorExecutionStatus(…)||Returns the execution status of the actor with the specified
|GetCurrentActorCount()||Returns the current count of active actors managed by this runtime.|
|GetCurrentActorTypes()||Returns the distinct types of all active actors currently managed by this runtime.|
|GetCurrentEventGroup(…)||Returns the current
|SendEvent(…)||Sends an asynchronous
See Programming model: asynchronous actors for more information.
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors