// registered for AnyEventRaised to forward unknown events void OnUnknownEventRaised(object sender, BuildEventArgs e) { if (EventSource.GetEventType(e) == EventTypes.Unknown) { OnEvent(sender, e); } }
void CountEvent(object sender, BuildEventArgs e) { Program.CountEvent(EventSource.GetEventType(e)); }