/usr/lib/python2.7/dist-packages/easydev/timer.py is in python-easydev 0.9.35+dfsg-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | # -*- python -*-
# -*- coding: utf-8 -*-
#
# This file is part of the easydev software
#
# Copyright (c) 2011-2017
#
# File author(s): Thomas Cokelaer <cokelaer@gmail.com>
#
# Distributed under the GPLv3 License.
# See accompanying file LICENSE.txt or copy at
# http://www.gnu.org/licenses/gpl-3.0.html
#
# Website: https://github.com/cokelaer/easydev
# Documentation: http://easydev-python.readthedocs.io
#
##############################################################################
"""A convenient timer"""
import time
class Timer():
"""Timer working with *with* statement
::
times = []
with Timer(times):
# do something
import time
time.sleep(0.1)
with Timer(imes):
# do something else
time.sleep(0.2)
"""
def __init__(self, times):
self.times = times
def __enter__(self):
self.t1 = time.time()
def __exit__(self, type, value, traceback):
self.t2 = time.time()
self.times.append(self.t2-self.t1)
|