IActorRuntime.SendEvent method
Sends an asynchronous Event to an actor.
public void SendEvent(ActorId targetId, Event e, EventGroup eventGroup = null,
SendOptions options = null)
| parameter | description |
|---|---|
| targetId | The id of the target. |
| e | The event to send. |
| eventGroup | An optional event group associated with this Actor. |
| options | Optional configuration of a send operation. |
See Also
- class ActorId
- class Event
- class EventGroup
- class SendOptions
- interface IActorRuntime
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors