original_string: public function get()
      {
          $encoded_results = json_encode($this->results);
  
          // Clear results by resetting ID counter and results' container
          $this->results = [];
          $this->id_result = 0;
  
          return $encoded_results;
      }
code: public function get()
      {
          $encoded_results = json_encode($this->results);
  
          // Clear results by resetting ID counter and results' container
          $this->results = [];
          $this->id_result = 0;
  
          return $encoded_results;
      }
code_tokens: public function get ( ) { $ encoded_results = json_encode ( $ this -> results ) ; // Clear results by resetting ID counter and results' container $ this -> results = [ ] ; $ this -> id_result = 0 ; return $ encoded_results ; }
docstring: \brief Get all results created.
  @return string JSON string containing the results.
docstring_tokens: \ brief Get all results created .