Timer.php

Go to the documentation of this file.

<?php

namespace Rsi;

class Timer{

  public $decimals = 3;
  public $times = []; //!< Times (value) per id (key).
  public $count = [];

  protected $_id = null; //!< Active id.
  protected $_start = null; //!< Time the active id started.

  /**
   * Stop the running timer.
   */
  public function stop(){
    if($this->_id) $this->times[$this->_id] += microtime(true) - $this->_start;
    $this->_id = null;
  }
  /**
   * Start a timer.
   * @param string $id  ID for the timer.
   */
  public function start($id){
    $this->stop();
    if(!array_key_exists($this->_id = $id,$this->times)) $this->times[$id] = $this->count[$id] = 0;
    $this->_start = microtime(true);
    $this->count[$id]++;
  }
  /**
   * Time for a single ID.
   * @param string $id  ID of the timer.
   * @return float  Time (including active timer).
   */
  public function time($id){
    if(!array_key_exists($id,$this->times)) return false;
    $time = $this->times[$id];
    if($this->_id == $id) $time += microtime(true) - $this->_start;
    return $time;
  }
  /**
   * Total time.
   * @return float
   */
  public function total(){
    $total = array_sum($this->times);
    if($this->_id) $total += microtime(true) - $this->_start;
    return $total;
  }

  protected function pad($value,$length){
    return str_pad($value,$length,' ',STR_PAD_LEFT);
  }
  /**
   * Text representation of times.
   * @return string
   */
  public function asText(){
    if(!$this->times) return false;
    $id_length = max(5,max(array_map('strlen',array_keys($this->times))));
    $time_length = max(8,strlen($total_str = number_format($total_time = $this->total(),$this->decimals)));
    $count_length = max(5,strlen($count_total_str = number_format(array_sum($this->count))));
    $average = [];
    $average_length = 6;
    foreach($this->times as $id => $time) $average_length = max($average_length,strlen($average[$id] = number_format($time / $this->count[$id],min(6,$this->decimals + ceil(log($this->count[$id],10))))));
    $text =
      implode(' | ',[str_pad('ID',$id_length),$this->pad('time [s]',$time_length),'    %',$this->pad('count',$count_length),$this->pad('avg [s]',$average_length)]) . "\n" .
      ($border = implode('-+-',[str_repeat('-',$id_length),str_repeat('-',$time_length),'-----',str_repeat('-',$count_length),str_repeat('-',$average_length)]) . "\n");
    foreach($this->times as $id => $time) $text .= implode(' | ',[
      str_pad($id,$id_length),
      $this->pad(number_format($time,$this->decimals),$time_length),
      $this->pad(number_format(100 * $time / $total_time,1),5),
      $this->pad(number_format($this->count[$id]),$count_length),
      $this->pad($average[$id],$average_length)
    ]) . "\n";
    return $text . $border . implode(' | ',[str_pad('Total',$id_length),$this->pad($total_str,$time_length),number_format(100,1),$this->pad($count_total_str,$count_length),'']);
  }
  /**
   * HTML representation of times.
   * @return string
   */
  public function asHtml(){
    $total_time = $this->total();
    $html = "<table class='timer'>\n<tr><th>ID</th><th>time [s]</th><th>%</th><th>count</th><th>avg [s]</th></tr>\n";
    foreach($this->times as $id => $time) $html .= '<tr><td>' . implode('</td><td>',[
      $id,
      number_format($time,$this->decimals),
      number_format(100 * $time / $total_time,1),
      number_format($this->count[$id]),
      number_format($time / $this->count[$id],$this->decimals + ceil(log($this->count[$id],10)))
    ]) . "</td></tr>\n";
    return $html .
      '<tr><th>' .
      implode('</th><th>',['Total',number_format($total_time,$this->decimals),number_format(100,1),number_format(array_sum($this->count)),'']) .
      "</th></tr>\n</table>";
  }

  public function __get($name){
    return $this->time($name);
  }

  public function __call($name,$arguments){
    $this->start($name);
  }

  public function __toString(){
    return $this->asText();
  }

}