Method GetFileHandle

tools/io.cpp:446–446

Returns a file handle to the file.

  // Returns a file handle to the file.
  FILE* GetFileHandle() const { return fp_; }

 private:
  FILE* fp_;