2023-01-27 08:28:12 +00:00
|
|
|
import time
|
|
|
|
|
|
|
|
|
2023-05-20 21:41:41 +00:00
|
|
|
class TimerSubcategory:
|
|
|
|
def __init__(self, timer, category):
|
|
|
|
self.timer = timer
|
|
|
|
self.category = category
|
|
|
|
self.start = None
|
|
|
|
self.original_base_category = timer.base_category
|
|
|
|
|
|
|
|
def __enter__(self):
|
|
|
|
self.start = time.time()
|
|
|
|
self.timer.base_category = self.original_base_category + self.category + "/"
|
|
|
|
|
|
|
|
def __exit__(self, exc_type, exc_val, exc_tb):
|
|
|
|
elapsed_for_subcategroy = time.time() - self.start
|
|
|
|
self.timer.base_category = self.original_base_category
|
|
|
|
self.timer.add_time_to_record(self.original_base_category + self.category, elapsed_for_subcategroy)
|
|
|
|
self.timer.record(self.category)
|
|
|
|
|
|
|
|
|
2023-01-27 08:28:12 +00:00
|
|
|
class Timer:
|
|
|
|
def __init__(self):
|
|
|
|
self.start = time.time()
|
|
|
|
self.records = {}
|
|
|
|
self.total = 0
|
2023-05-20 21:41:41 +00:00
|
|
|
self.base_category = ''
|
2023-01-27 08:28:12 +00:00
|
|
|
|
|
|
|
def elapsed(self):
|
|
|
|
end = time.time()
|
|
|
|
res = end - self.start
|
|
|
|
self.start = end
|
|
|
|
return res
|
|
|
|
|
2023-05-20 21:41:41 +00:00
|
|
|
def add_time_to_record(self, category, amount):
|
2023-01-27 08:28:12 +00:00
|
|
|
if category not in self.records:
|
|
|
|
self.records[category] = 0
|
|
|
|
|
2023-05-20 21:41:41 +00:00
|
|
|
self.records[category] += amount
|
|
|
|
|
|
|
|
def record(self, category, extra_time=0):
|
|
|
|
e = self.elapsed()
|
|
|
|
|
|
|
|
self.add_time_to_record(self.base_category + category, e + extra_time)
|
|
|
|
|
2023-01-27 08:28:12 +00:00
|
|
|
self.total += e + extra_time
|
|
|
|
|
2023-05-20 21:41:41 +00:00
|
|
|
def subcategory(self, name):
|
|
|
|
self.elapsed()
|
|
|
|
|
|
|
|
subcat = TimerSubcategory(self, name)
|
|
|
|
return subcat
|
|
|
|
|
2023-01-27 08:28:12 +00:00
|
|
|
def summary(self):
|
|
|
|
res = f"{self.total:.1f}s"
|
|
|
|
|
2023-05-20 21:41:41 +00:00
|
|
|
additions = [(category, time_taken) for category, time_taken in self.records.items() if time_taken >= 0.1 and '/' not in category]
|
2023-01-27 08:28:12 +00:00
|
|
|
if not additions:
|
|
|
|
return res
|
|
|
|
|
|
|
|
res += " ("
|
|
|
|
res += ", ".join([f"{category}: {time_taken:.1f}s" for category, time_taken in additions])
|
|
|
|
res += ")"
|
|
|
|
|
|
|
|
return res
|
2023-03-12 18:25:22 +00:00
|
|
|
|
2023-05-20 21:41:41 +00:00
|
|
|
def dump(self):
|
|
|
|
return {'total': self.total, 'records': self.records}
|
|
|
|
|
2023-03-12 18:25:22 +00:00
|
|
|
def reset(self):
|
|
|
|
self.__init__()
|
2023-05-20 21:41:41 +00:00
|
|
|
|
|
|
|
|
|
|
|
startup_timer = Timer()
|
|
|
|
|
|
|
|
startup_record = None
|