File size: 808 Bytes
0e83290 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 |
import time
class Timer:
def __init__(self):
self._acc_time = 0
self._paused = True
def start(self):
if self._paused:
self.last_time = time.time()
self._paused = False
return self
def pause(self):
self.count()
self._paused = True
return self
def count(self):
if self._paused:
return self._acc_time
t = time.time()
self._acc_time += t - self.last_time
self.last_time = t
return self._acc_time
def format(self):
# count = int(self.count()*100)
# return '%02d:%02d:%02d' % (count//6000, (count//100)%60, count%100)
return '%03.2f' % self.count()
def __str__(self):
return self.format() |