original_string: public function set_characters($decsep, $thousandssep) {
          $this->decsep = $decsep;
          $this->thousandssep = $thousandssep;
          $this->regex = null;
      }
code: public function set_characters($decsep, $thousandssep) {
          $this->decsep = $decsep;
          $this->thousandssep = $thousandssep;
          $this->regex = null;
      }
code_tokens: public function set_characters ( $ decsep , $ thousandssep ) { $ this -> decsep = $ decsep ; $ this -> thousandssep = $ thousandssep ; $ this -> regex = null ; }
docstring: Set the decimal point and thousands separator character that should be used.
  @param string $decsep
  @param string $thousandssep
docstring_tokens: Set the decimal point and thousands separator character that should be used .