blob: f0ae5e1915ec83a9001bcdc16ba50656ab445cc8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
/* RAII class for managing FILE * for diagnostic formats.
Copyright (C) 2024 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 (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) = delete;
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 */
|
