| static public ShowTimer ( TimerType which, string msg ) : void | ||
| which | TimerType | |
| msg | string | |
| return | void | |
static public void ShowTimer (TimerType which, string msg)
{
Console.WriteLine (
"[{0:00}:{1:000}] {2} (used {3} times)",
(int) timers [(int) which].TotalSeconds,
timers [(int) which].Milliseconds, msg,
timer_counters [(int) which]);
}
}