1 import time
2
5 if startCount:
6 self.startTime = time.time()
7 else:
8 self.startTime = None
9 self.totalTime = 0
10
12 assert(self.startTime != None)
13 self.totalTime += time.time() - self.startTime
14 self.startTime = None
15
17 assert(self.startTime == None)
18 self.startTime = time.time()
19 self.endTime = None
20
22 if self.startTime != None:
23 now = time.time()
24 elapsedTime = now-self.startTime + self.totalTime
25 else:
26 elapsedTime = self.totalTime
27 return elapsedTime
28
30 return time.ctime(self.startTime)
31
33 elapsedTime = self.getElapsedTime()
34 msecs = int(elapsedTime*1000)
35 hours = msecs / (3600*1000)
36 msecs = msecs % (3600*1000)
37 mins = msecs / (60*1000)
38 msecs = msecs % (60*1000)
39 secs = msecs / (1000)
40 msecs = msecs % (1000)
41 return str(hours) + ":" + str(mins) + ":" + str(secs) + ":" + str(msecs)
42
44 return "Time: " + self.elapsedTimeToString() + " (start: " + time.ctime(self.startTime) + ", now: " + time.ctime(time.time()) + ")"
45
46 if __name__=="__main__":
47 import sys
48 timer = Timer()
49 print >> sys.stderr, timer.toString()
50 time.sleep(1)
51 print >> sys.stderr, timer.toString()
52 time.sleep(10)
53 print >> sys.stderr, timer.toString()
54