ActorRuntimeLogTextFormatter.OnRaiseEvent method

Invoked when the specified state machine raises an event.

public virtual void OnRaiseEvent(ActorId id, string stateName, Event e)

parameter	description
id	The id of the actor raising the event.
stateName	The name of the current state.
e	The event being raised.

See Also

• class ActorId
• class Event
• class ActorRuntimeLogTextFormatter
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors