* @brief Convert an int representing milliseconds to the corresponding Time Label string.
*
* @param ms the number of milliseconds.
* @return string the corresponding Time Label string.
*/
stringgetTimeLabel(intms){
intmil=ms%1000;
...
...
@@ -36,8 +42,14 @@ string getTimeLabel(int ms) {
}
// This function is exactly like getTimeLabel, but without punctuation in the returned string
// due to file system necessities
/**
* @brief Convert an int representing milliseconds to the corresponding Time Label string, but with dashes '-' charachers instead of periods '.' and colons ':'.
* Useful for file names.
*
* @param ms the number of milliseconds.
* @return string the corresponding Time Label string.