New Row_printNanoseconds() function

It prints the time in one of these formats: nanoseconds, "fraction of
seconds", "minutes + seconds + milliseconds". If the total time is
greater than 10 minutes, it uses Row_printTime() to print higher time
units.

Signed-off-by: Kang-Che Sung <explorer09@gmail.com>

1 files changed, 3 insertions, 0 deletions

diff --git a/Row.h b/Row.h
index f67c6103..6d882909 100644
--- a/Row.h
+++ b/Row.h
@@ -154,6 +154,9 @@ void Row_printCount(RichString* str, unsigned long long number, bool coloring);
 /* Takes time in hundredths of a seconds. Prints 9 columns. */
 void Row_printTime(RichString* str, unsigned long long totalHundredths, bool coloring);
 
+/* Takes time in nanoseconds. Prints 9 columns. */
+void Row_printNanoseconds(RichString* str, unsigned long long totalNanoseconds, bool coloring);
+
 /* Takes rate in bare unit (base 1024) per second. Prints 12 columns. */
 void Row_printRate(RichString* str, double rate, bool coloring);