original_string: public function setZipCode($zip)
      {
  
          if (!is_string($zip)) {
              $zip = strval($zip);
          }
  
          $zip = str_replace(' ', '', $zip); //remove spaces
  
          $this->zip = $zip;
      }
code: public function setZipCode($zip)
      {
  
          if (!is_string($zip)) {
              $zip = strval($zip);
          }
  
          $zip = str_replace(' ', '', $zip); //remove spaces
  
          $this->zip = $zip;
      }
code_tokens: public function setZipCode ( $ zip ) { if ( ! is_string ( $ zip ) ) { $ zip = strval ( $ zip ) ; } $ zip = str_replace ( ' ' , '' , $ zip ) ; //remove spaces $ this -> zip = $ zip ; }
docstring: Sets the zip code.
  
  @param string $zip zip code
  
  @return void
docstring_tokens: Sets the zip code .