IActorRuntimeLog.OnRaiseEvent method

Invoked when the specified state machine raises an event.

public 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
• interface IActorRuntimeLog
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors