IActorRuntimeLog.OnSendEvent method
Invoked when the specified event is sent to a target actor.
public void OnSendEvent(ActorId targetActorId, string senderName, string senderType,
string senderStateName, Event e, Guid eventGroupId, bool isTargetHalted)
| parameter | description |
|---|---|
| targetActorId | The id of the target actor. |
| senderName | The name of the sender, if any. |
| senderType | The type of the sender, if any. |
| senderStateName | The state name, if the sender is a state machine, else null. |
| e | The event being sent. |
| eventGroupId | The id used to identify the send operation. |
| isTargetHalted | Is the target actor halted. |
See Also
- class ActorId
- class Event
- interface IActorRuntimeLog
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors