original_string: public function setHeader(array $header_cols){
        $this->header = new TableHeader($header_cols);
  
        $this->updateMaxRowLength($this->header);
     }
code: public function setHeader(array $header_cols){
        $this->header = new TableHeader($header_cols);
  
        $this->updateMaxRowLength($this->header);
     }
code_tokens: public function setHeader ( array $ header_cols ) { $ this -> header = new TableHeader ( $ header_cols ) ; $ this -> updateMaxRowLength ( $ this -> header ) ; }
docstring: Set the header of the table
  
  @param  array $header_cols columns of the header
  @return  void
docstring_tokens: Set the header of the table