9 #ifndef stk_util_environment_FormatTime_hpp 10 #define stk_util_environment_FormatTime_hpp 16 typedef unsigned long TimeFormat;
19 TIMEFORMAT_NONE = 0x00,
20 TIMEFORMAT_HMS = 0x01,
21 TIMEFORMAT_SECONDS = 0x02,
22 TIMEFORMAT_STYLE_MASK = 0x0F,
24 TIMEFORMAT_MILLIS = 0x10
27 std::string formatTime(
double time, TimeFormat time_format = TIMEFORMAT_HMS | TIMEFORMAT_MILLIS);
31 #endif // stk_util_environment_FormatTime_hpp