IActorRuntimeLog.OnEnqueueEvent method

Invoked when the specified event is about to be enqueued to an actor.

public void OnEnqueueEvent(ActorId id, Event e)

parameter	description
id	The id of the actor that the event is being enqueued to.
e	The event being enqueued.

See Also

• class ActorId
• class Event
• interface IActorRuntimeLog
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors