original_string: public function getIndentationPrefix($times = 1)
      {
          if (!is_integer($times)) {
              throw new \InvalidArgumentException('The times parameter has to be an integer');
          }
  
          $indentation = '';
  
          for ($i = 0; $i < $times; $i++) {
              $indentation .= $this->getTemplate()->getIndentation();
          }
  
          return $indentation;
      }
code: public function getIndentationPrefix($times = 1)
      {
          if (!is_integer($times)) {
              throw new \InvalidArgumentException('The times parameter has to be an integer');
          }
  
          $indentation = '';
  
          for ($i = 0; $i < $times; $i++) {
              $indentation .= $this->getTemplate()->getIndentation();
          }
  
          return $indentation;
      }
code_tokens: public function getIndentationPrefix ( $ times = 1 ) { if ( ! is_integer ( $ times ) ) { throw new \ InvalidArgumentException ( 'The times parameter has to be an integer' ) ; } $ indentation = '' ; for ( $ i = 0 ; $ i < $ times ; $ i ++ ) { $ indentation .= $ this -> getTemplate ( ) -> getIndentation ( ) ; } return $ indentation ; }
docstring: Returns all the indentation that should be put before the current line
  
  @param int $times
  
  @return string
  
  @throws \InvalidArgumentException
docstring_tokens: Returns all the indentation that should be put before the current line