equal
deleted
inserted
replaced
44 def is_relevant: Boolean = ms >= 1 |
44 def is_relevant: Boolean = ms >= 1 |
45 |
45 |
46 override def toString: String = Time.print_seconds(seconds) |
46 override def toString: String = Time.print_seconds(seconds) |
47 |
47 |
48 def message: String = toString + "s" |
48 def message: String = toString + "s" |
|
49 |
|
50 def message_hms: String = |
|
51 { |
|
52 val s = ms / 1000 |
|
53 String.format(Locale.ROOT, "%d:%02d:%02d", |
|
54 new java.lang.Long(s / 3600), new java.lang.Long((s / 60) % 60), new java.lang.Long(s % 60)) |
|
55 } |
49 } |
56 } |
50 |
|