/* RAII class for managing FILE * for diagnostic formats.
   Copyright (C) 2024-2025 Free Software Foundation, Inc.
   Contributed by David Malcolm <dmalcolm@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.  */

#ifndef GCC_DIAGNOSTIC_OUTPUT_FILE_H
#define GCC_DIAGNOSTIC_OUTPUT_FILE_H

/* RAII class for wrapping a FILE * that could be borrowed or owned,
   along with the underlying filename.  */

class diagnostic_output_file
{
public:
  diagnostic_output_file ()
  : m_outf (nullptr),
    m_owned (false),
    m_filename ()
  {
  }
  diagnostic_output_file (FILE *outf, bool owned, label_text filename)
  : m_outf (outf),
    m_owned (owned),
    m_filename (std::move (filename))
  {
    gcc_assert (m_filename.get ());
    if (m_owned)
      gcc_assert (m_outf);
  }
  ~diagnostic_output_file ()
  {
    if (m_owned)
      {
	gcc_assert (m_outf);
	fclose (m_outf);
      }
  }
  diagnostic_output_file (const diagnostic_output_file &other) = delete;
  diagnostic_output_file (diagnostic_output_file &&other)
  : m_outf (other.m_outf),
    m_owned (other.m_owned),
    m_filename (std::move (other.m_filename))
  {
    other.m_outf = nullptr;
    other.m_owned = false;

    gcc_assert (m_filename.get ());
    if (m_owned)
      gcc_assert (m_outf);
  }
  diagnostic_output_file &
  operator= (const diagnostic_output_file &other) = delete;
  diagnostic_output_file &
  operator= (diagnostic_output_file &&other)
  {
    if (m_owned)
      {
	gcc_assert (m_outf);
	fclose (m_outf);
      }

    m_outf = other.m_outf;
    other.m_outf = nullptr;

    m_owned = other.m_owned;
    other.m_owned = false;

    m_filename = std::move (other.m_filename);

    if (m_owned)
      gcc_assert (m_outf);
    return *this;
  }

  operator bool () const { return m_outf != nullptr; }
  FILE *get_open_file () const { return m_outf; }
  const char *get_filename () const { return m_filename.get (); }

private:
  FILE *m_outf;
  bool m_owned;
  label_text m_filename;
};

#endif /* ! GCC_DIAGNOSTIC_OUTPUT_FILE_H */