original_string: private function closeFile( $file )
      {
          fwrite( $file, "return \$def;\n" );
          fwrite( $file, "\n" );
          fwrite( $file, "?>\n" );
          fclose( $file );
      }
code: private function closeFile( $file )
      {
          fwrite( $file, "return \$def;\n" );
          fwrite( $file, "\n" );
          fwrite( $file, "?>\n" );
          fclose( $file );
      }
code_tokens: private function closeFile ( $ file ) { fwrite ( $ file , "return \$def;\n" ) ; fwrite ( $ file , "\n" ) ; fwrite ( $ file , "?>\n" ) ; fclose ( $ file ) ; }
docstring: Close a file where a PersistentObject definition has been written to.
  This method closes a file after writing a PersistentObject definition to
  it and writes the PHP closing tag to it.
  
  @param resource(file) $file The file resource to close.
  @return void
docstring_tokens: Close a file where a PersistentObject definition has been written to . This method closes a file after writing a PersistentObject definition to it and writes the PHP closing tag to it .