/// <summary>
/// Notifies that a machine is waiting to receive one or more events.
/// </summary>
/// <param name="machine">Machine</param>
/// <param name="eventInfoInInbox">The event info if it is in the inbox, else null</param>
internal virtual void NotifyWaitEvents(Machine machine, EventInfo eventInfoInInbox)
{
// Override to implement the notification.
}
internal virtual void NotifyReceivedEvent(Machine machine, EventInfo eventInfo)
{
// Override to implement the notification.
}
internal virtual void NotifyRaisedEvent(Monitor monitor, EventInfo eventInfo)
{
// Override to implement the notification.
}
