"""
*
* This file is part of rasdaman community.
*
* Rasdaman community is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* Rasdaman community is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
* See the GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with rasdaman community. If not, see .
*
* Copyright 2003 - 2016 Peter Baumann / rasdaman GmbH.
*
* For more information please see
* or contact Peter Baumann via .
*
"""
import time
class Timer(object):
def __init__(self):
self.start()
self.stop_time = None
def start(self):
self.start_time = time.time()
def stop(self):
self.stop_time = time.time()
def elapsed(self):
return time.time() - self.start_time
def elapsed_total(self):
return self.stop_time - self.start_time
def print_elapsed_time(self):
from util.log import log
log.info("Elapsed time: " + "{:.3f}".format(self.elapsed()) + " s.")