def remaining_time(self):
        """Return the remaining time to the timer expiration.
        If the timer has already expired then None is returned.
        """
        if self.expire is None:
            return 0.0
        return self.expire - time.time()
dataset/ETHPy150Open ejeschke/ginga/ginga/util/heaptimer.py/Timer.remaining_time/original