ActorRuntimeLogTextFormatter.OnEnqueueEvent method

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

public virtual 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
• class ActorRuntimeLogTextFormatter
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors