ActorRuntimeLogTextFormatter.OnSendEvent method
Invoked when the specified event is sent to a target actor.
public virtual 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
- class ActorRuntimeLogTextFormatter
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors