timing
File Purpose: timers, runtime profiling
Functions
|
prints stats from the default profiler (PROFILE). |
|
returns default profiler, PROFILE. |
equivalent to PROFILE.enable(). |
|
equivalent to PROFILE.disable(). |
Classes
|
runtime profiler. |
|
class for printing messages but only when enough time has passed. |
|
tracks time since last clear (via self.reset()), or last "marked" time (via self.mark_time()). |
|
Stopwatch that also "ticks" every N seconds. |
|
context manager which imposes a time limit, exiting with TimeoutError if internal code takes too long. |