def __init__(self, wall_clock=True):
        """
        If wall_clock is True then use time.time() to get the number of
        actually elapsed seconds. If wall_clock is False, use time.clock to
        get the process time instead.
        """
        self.wall_clock = wall_clock
        self.time = time.time if wall_clock else time.clock

        # Stubs for serializing an empty timer.
        self.started = None
        self.finished = None
        self.elapsed = 0.0
def __init__ ( self , wall_clock = True ) : self . wall_clock = wall_clock self . time = time . time if wall_clock else time . clock self . started = None self . finished = None self . elapsed = 0.0
If wall_clock is True then use time.time() to get the number of
        actually elapsed seconds. If wall_clock is False, use time.clock to
        get the process time instead.