original_string: public function pop()
      {
          $etime = microtime(true);
  
          if (! ($this->_idx > 0)) {
              throw new Exception('No timers have been started');
          }
  
          return $etime - $this->_start[--$this->_idx];
      }
code: public function pop()
      {
          $etime = microtime(true);
  
          if (! ($this->_idx > 0)) {
              throw new Exception('No timers have been started');
          }
  
          return $etime - $this->_start[--$this->_idx];
      }
code_tokens: public function pop ( ) { $ etime = microtime ( true ) ; if ( ! ( $ this -> _idx > 0 ) ) { throw new Exception ( 'No timers have been started' ) ; } return $ etime - $ this -> _start [ -- $ this -> _idx ] ; }
docstring: Pop the latest timer start and return the difference with the current
  time.
  
  @return float The amount of time passed.
docstring_tokens: Pop the latest timer start and return the difference with the current time .