original_string: public function readLines()
      {
          if ($this->getFileObject()->isFile()) {
              if ($this->skipEmptyLines) {
                  // skip empty lines
                  $lines = file($this->getFileObject()->getPathname(), FILE_SKIP_EMPTY_LINES | FILE_IGNORE_NEW_LINES);
              } else {
                  $lines = file($this->getFileObject()->getPathname(), FILE_IGNORE_NEW_LINES);
              }
  
              if (is_array($lines)) {
                  return $lines;
              }
          }
          return array();
      }
code: public function readLines()
      {
          if ($this->getFileObject()->isFile()) {
              if ($this->skipEmptyLines) {
                  // skip empty lines
                  $lines = file($this->getFileObject()->getPathname(), FILE_SKIP_EMPTY_LINES | FILE_IGNORE_NEW_LINES);
              } else {
                  $lines = file($this->getFileObject()->getPathname(), FILE_IGNORE_NEW_LINES);
              }
  
              if (is_array($lines)) {
                  return $lines;
              }
          }
          return array();
      }
code_tokens: public function readLines ( ) { if ( $ this -> getFileObject ( ) -> isFile ( ) ) { if ( $ this -> skipEmptyLines ) { // skip empty lines $ lines = file ( $ this -> getFileObject ( ) -> getPathname ( ) , FILE_SKIP_EMPTY_LINES | FILE_IGNORE_NEW_LINES ) ; } else { $ lines = file ( $ this -> getFileObject ( ) -> getPathname ( ) , FILE_IGNORE_NEW_LINES ) ; } if ( is_array ( $ lines ) ) { return $ lines ; } } return array ( ) ; }
docstring: return an array with all lines of a file
  
  @return      array          file lines
docstring_tokens: return an array with all lines of a file