class PHP_Timer

Utility class for timing.

@package PHP @subpackage Timer @author Sebastian Bergmann <sb@sebastian-bergmann.de> @copyright 2010-2012 Sebastian Bergmann <sb@sebastian-bergmann.de> @license http://www.opensource.org/licenses/BSD-3-Clause The BSD 3-Clause License @version Release: @package_version@ @link http://github.com/sebastianbergmann/php-timer @since Class available since Release 1.0.0

Hierarchy

Expanded class hierarchy of PHP_Timer

3 string references to 'PHP_Timer'
PHPUnit_Util_GlobalState::backupStaticAttributes in drupal/core/vendor/phpunit/phpunit/PHPUnit/Util/GlobalState.php
PHPUnit_Util_GlobalState::phpunitFiles in drupal/core/vendor/phpunit/phpunit/PHPUnit/Util/GlobalState.php
@since Method available since Release 3.6.0
PHP_CodeCoverage_Filter::prefillBlacklist in drupal/core/vendor/phpunit/php-code-coverage/PHP/CodeCoverage/Filter.php
@since Method available since Release 1.2.3

File

drupal/core/vendor/phpunit/php-timer/PHP/Timer.php, line 58

View source
class PHP_Timer {

  /**
   * @var array
   */
  protected static $startTimes = array();

  /**
   * @var float
   */
  public static $requestTime;

  /**
   * Starts the timer.
   */
  public static function start() {
    array_push(self::$startTimes, microtime(TRUE));
  }

  /**
   * Stops the timer and returns the elapsed time.
   *
   * @return float
   */
  public static function stop() {
    return microtime(TRUE) - array_pop(self::$startTimes);
  }

  /**
   * Formats the elapsed time as a string.
   *
   * @param  float $time
   * @return string
   */
  public static function secondsToTimeString($time) {
    $buffer = '';
    $hours = sprintf('%02d', $time >= 3600 ? floor($time / 3600) : 0);
    $minutes = sprintf('%02d', $time >= 60 ? floor($time / 60) - 60 * $hours : 0);
    $seconds = sprintf('%02d', $time - 60 * 60 * $hours - 60 * $minutes);
    if ($hours == 0 && $minutes == 0) {
      $seconds = sprintf('%1d', $seconds);
      $buffer .= $seconds . ' second';
      if ($seconds != '1') {
        $buffer .= 's';
      }
    }
    else {
      if ($hours > 0) {
        $buffer = $hours . ':';
      }
      $buffer .= $minutes . ':' . $seconds;
    }
    return $buffer;
  }

  /**
   * Formats the elapsed time since the start of the request as a string.
   *
   * @return string
   */
  public static function timeSinceStartOfRequest() {
    return self::secondsToTimeString(time() - self::$requestTime);
  }

  /**
   * Returns the resources (time, memory) of the request as a string.
   *
   * @return string
   */
  public static function resourceUsage() {
    return sprintf('Time: %s, Memory: %4.2fMb', self::timeSinceStartOfRequest(), memory_get_peak_usage(TRUE) / 1048576);
  }

}

Members

Namesort descending Modifiers Type Description Overrides
PHP_Timer::$requestTime public static property
PHP_Timer::$startTimes protected static property
PHP_Timer::resourceUsage public static function Returns the resources (time, memory) of the request as a string.
PHP_Timer::secondsToTimeString public static function Formats the elapsed time as a string.
PHP_Timer::start public static function Starts the timer.
PHP_Timer::stop public static function Stops the timer and returns the elapsed time.
PHP_Timer::timeSinceStartOfRequest public static function Formats the elapsed time since the start of the request as a string.