/// <summary>
/// Trace an event.
/// </summary>
/// <param name="eventType">Type of event (standard definition).</param>
/// <param name="voltdbEventType">VoltDB-specific event type.</param>
/// <param name="msgFormat">String template for the message to post.</param>
/// <param name="args">Arguments to pass along (will be formatted in the provided string template).</param>
internal static void TraceEvent(
TraceEventType eventType
, VoltTraceEventType voltdbEventType
, string msgFormat
, params object[] args
)
{
Source.TraceEvent(eventType, (int)voltdbEventType, msgFormat, args);
}
