Actor.CurrentEventGroup property

An optional EventGroup associated with the current event being handled.

public EventGroup CurrentEventGroup { get; set; }

Remarks

This is an optional argument provided to CreateActor or SendEvent.

See Also

• class EventGroup
• class Actor
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors