A simple timer.
| 77 | |
| 78 | |
| 79 | class Timer(object): |
| 80 | """A simple timer.""" |
| 81 | def __init__(self): |
| 82 | self.total_time = 0. |
| 83 | self.calls = 0 |
| 84 | self.start_time = 0. |
| 85 | self.diff = 0. |
| 86 | self.average_time = 0. |
| 87 | |
| 88 | def tic(self): |
| 89 | # using time.time instead of time.clock because time time.clock |
| 90 | # does not normalize for multithreading |
| 91 | self.start_time = time.time() |
| 92 | |
| 93 | def toc(self, average=True): |
| 94 | self.diff = time.time() - self.start_time |
| 95 | self.total_time += self.diff |
| 96 | self.calls += 1 |
| 97 | self.average_time = self.total_time / self.calls |
| 98 | if average: |
| 99 | return self.average_time |
| 100 | else: |
| 101 | return self.diff |
| 102 | |
| 103 | |
| 104 | def parse_rec(filename): |