original_string: public function add_stored_file($file) {
          if (is_numeric($file)) {
              $this->files[$file] = $file;
          } else {
              $this->files[$file->get_id()] = $file;
          }
      }
code: public function add_stored_file($file) {
          if (is_numeric($file)) {
              $this->files[$file] = $file;
          } else {
              $this->files[$file->get_id()] = $file;
          }
      }
code_tokens: public function add_stored_file ( $ file ) { if ( is_numeric ( $ file ) ) { $ this -> files [ $ file ] = $ file ; } else { $ this -> files [ $ file -> get_id ( ) ] = $ file ; } }
docstring: Add a stored file to the document.
  
  @param \stored_file|int $file The file to add, or file id.
  @return void
docstring_tokens: Add a stored file to the document .