1 /* Output generating routines for GDB.
3 Copyright (C) 1999-2024 Free Software Foundation, Inc.
5 Contributed by Cygnus Solutions.
6 Written by Fernando Nasser for Cygnus.
8 This file is part of GDB.
10 This program is free software; you can redistribute it and/or modify
11 it under the terms of the GNU General Public License as published by
12 the Free Software Foundation; either version 3 of the License, or
13 (at your option) any later version.
15 This program is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 GNU General Public License for more details.
20 You should have received a copy of the GNU General Public License
21 along with this program. If not, see <http://www.gnu.org/licenses/>. */
23 #include "expression.h"
26 #include "gdbsupport/format.h"
27 #include "cli/cli-style.h"
28 #include "diagnostics.h"
36 /* A header of a ui_out_table. */
42 explicit ui_out_hdr (int number
, int min_width
, ui_align alignment
,
43 const std::string
&name
, const std::string
&header
)
45 m_min_width (min_width
),
46 m_alignment (alignment
),
57 int min_width () const
62 ui_align
alignment () const
67 const std::string
&header () const
72 const std::string
&name () const
79 /* The number of the table column this header represents, 1-based. */
82 /* Minimal column width in characters. May or may not be applicable,
83 depending on the actual implementation of ui_out. */
86 /* Alignment of the content in the column. May or may not be applicable,
87 depending on the actual implementation of ui_out. */
90 /* Internal column name, used to internally refer to the column. */
93 /* Printed header text of the column. */
99 /* A level of nesting (either a list or a tuple) in a ui_out output. */
105 explicit ui_out_level (ui_out_type type
)
111 ui_out_type
type () const
116 int field_count () const
118 return m_field_count
;
121 void inc_field_count ()
128 /* The type of this level. */
131 /* Count each field; the first element is for non-list fields. */
135 /* Tables are special. Maintain a separate structure that tracks
136 their state. At present an output can only contain a single table
137 but that restriction might eventually be lifted. */
143 /* States (steps) of a table generation. */
147 /* We are generating the table headers. */
150 /* We are generating the table body. */
154 explicit ui_out_table (int entry_level
, int nr_cols
, const std::string
&id
)
155 : m_state (state::HEADERS
),
156 m_entry_level (entry_level
),
162 /* Start building the body of the table. */
166 /* Add a new header to the table. */
168 void append_header (int width
, ui_align alignment
,
169 const std::string
&col_name
, const std::string
&col_hdr
);
173 /* Extract the format information for the next header and advance
174 the header iterator. Return false if there was no next header. */
176 bool get_next_header (int *colno
, int *width
, ui_align
*alignment
,
177 const char **col_hdr
);
179 bool query_field (int colno
, int *width
, int *alignment
,
180 const char **col_name
) const;
182 state
current_state () const;
184 int entry_level () const;
190 /* The level at which each entry of the table is to be found. A row
191 (a tuple) is made up of entries. Consequently ENTRY_LEVEL is one
192 above that of the table. */
195 /* Number of table columns (as specified in the table_begin call). */
198 /* String identifying the table (as specified in the table_begin
202 /* Pointers to the column headers. */
203 std::vector
<std::unique_ptr
<ui_out_hdr
>> m_headers
;
205 /* Iterator over the headers vector, used when printing successive fields. */
206 std::vector
<std::unique_ptr
<ui_out_hdr
>>::const_iterator m_headers_iterator
;
211 void ui_out_table::start_body ()
213 if (m_state
!= state::HEADERS
)
214 internal_error (_("extra table_body call not allowed; there must be only "
215 "one table_body after a table_begin and before a "
218 /* Check if the number of defined headers matches the number of expected
220 if (m_headers
.size () != m_nr_cols
)
221 internal_error (_("number of headers differ from number of table "
224 m_state
= state::BODY
;
225 m_headers_iterator
= m_headers
.begin ();
230 void ui_out_table::append_header (int width
, ui_align alignment
,
231 const std::string
&col_name
,
232 const std::string
&col_hdr
)
234 if (m_state
!= state::HEADERS
)
235 internal_error (_("table header must be specified after table_begin and "
236 "before table_body."));
238 auto header
= std::make_unique
<ui_out_hdr
> (m_headers
.size () + 1,
242 m_headers
.push_back (std::move (header
));
247 void ui_out_table::start_row ()
249 m_headers_iterator
= m_headers
.begin ();
254 bool ui_out_table::get_next_header (int *colno
, int *width
, ui_align
*alignment
,
255 const char **col_hdr
)
257 /* There may be no headers at all or we may have used all columns. */
258 if (m_headers_iterator
== m_headers
.end ())
261 ui_out_hdr
*hdr
= m_headers_iterator
->get ();
263 *colno
= hdr
->number ();
264 *width
= hdr
->min_width ();
265 *alignment
= hdr
->alignment ();
266 *col_hdr
= hdr
->header ().c_str ();
268 /* Advance the header pointer to the next entry. */
269 m_headers_iterator
++;
276 bool ui_out_table::query_field (int colno
, int *width
, int *alignment
,
277 const char **col_name
) const
279 /* Column numbers are 1-based, so convert to 0-based index. */
280 int index
= colno
- 1;
282 if (index
>= 0 && index
< m_headers
.size ())
284 ui_out_hdr
*hdr
= m_headers
[index
].get ();
286 gdb_assert (colno
== hdr
->number ());
288 *width
= hdr
->min_width ();
289 *alignment
= hdr
->alignment ();
290 *col_name
= hdr
->name ().c_str ();
300 ui_out_table::state
ui_out_table::current_state () const
307 int ui_out_table::entry_level () const
309 return m_entry_level
;
313 ui_out::level () const
315 return m_levels
.size ();
318 /* The current (inner most) level. */
321 ui_out::current_level () const
323 return m_levels
.back ().get ();
326 /* Create a new level, of TYPE. */
328 ui_out::push_level (ui_out_type type
)
330 auto level
= std::make_unique
<ui_out_level
> (type
);
332 m_levels
.push_back (std::move (level
));
335 /* Discard the current level. TYPE is the type of the level being
338 ui_out::pop_level (ui_out_type type
)
340 /* We had better not underflow the buffer. */
341 gdb_assert (m_levels
.size () > 0);
342 gdb_assert (current_level ()->type () == type
);
344 m_levels
.pop_back ();
347 /* Mark beginning of a table. */
350 ui_out::table_begin (int nr_cols
, int nr_rows
, const std::string
&tblid
)
352 if (m_table_up
!= nullptr)
353 internal_error (_("tables cannot be nested; table_begin found before \
354 previous table_end."));
356 m_table_up
.reset (new ui_out_table (level () + 1, nr_cols
, tblid
));
358 do_table_begin (nr_cols
, nr_rows
, tblid
.c_str ());
362 ui_out::table_header (int width
, ui_align alignment
,
363 const std::string
&col_name
, const std::string
&col_hdr
)
365 if (m_table_up
== nullptr)
366 internal_error (_("table_header outside a table is not valid; it must be \
367 after a table_begin and before a table_body."));
369 m_table_up
->append_header (width
, alignment
, col_name
, col_hdr
);
371 do_table_header (width
, alignment
, col_name
, col_hdr
);
375 ui_out::table_body ()
377 if (m_table_up
== nullptr)
378 internal_error (_("table_body outside a table is not valid; it must be "
379 "after a table_begin and before a table_end."));
381 m_table_up
->start_body ();
389 if (m_table_up
== nullptr)
390 internal_error (_("misplaced table_end or missing table_begin."));
394 m_table_up
= nullptr;
398 ui_out::begin (ui_out_type type
, const char *id
)
400 /* Be careful to verify the ``field'' before the new tuple/list is
401 pushed onto the stack. That way the containing list/table/row is
402 verified and not the newly created tuple/list. This verification
403 is needed (at least) for the case where a table row entry
404 contains either a tuple/list. For that case bookkeeping such as
405 updating the column count or advancing to the next heading still
406 needs to be performed. */
412 verify_field (&fldno
, &width
, &align
);
417 /* If the push puts us at the same level as a table row entry, we've
418 got a new table row. Put the header pointer back to the start. */
419 if (m_table_up
!= nullptr
420 && m_table_up
->current_state () == ui_out_table::state::BODY
421 && m_table_up
->entry_level () == level ())
422 m_table_up
->start_row ();
428 ui_out::end (ui_out_type type
)
436 ui_out::field_signed (const char *fldname
, LONGEST value
)
442 verify_field (&fldno
, &width
, &align
);
444 do_field_signed (fldno
, width
, align
, fldname
, value
);
448 ui_out::field_fmt_signed (int input_width
, ui_align input_align
,
449 const char *fldname
, LONGEST value
)
455 verify_field (&fldno
, &width
, &align
);
457 do_field_signed (fldno
, input_width
, input_align
, fldname
, value
);
463 ui_out::field_unsigned (const char *fldname
, ULONGEST value
)
469 verify_field (&fldno
, &width
, &align
);
471 do_field_unsigned (fldno
, width
, align
, fldname
, value
);
474 /* Documented in ui-out.h. */
477 ui_out::field_core_addr (const char *fldname
, struct gdbarch
*gdbarch
,
480 field_string (fldname
, print_core_address (gdbarch
, address
),
481 address_style
.style ());
485 ui_out::field_stream (const char *fldname
, string_file
&stream
,
486 const ui_file_style
&style
)
488 if (!stream
.empty ())
489 field_string (fldname
, stream
.c_str (), style
);
491 field_skip (fldname
);
495 /* Used to omit a field. */
498 ui_out::field_skip (const char *fldname
)
504 verify_field (&fldno
, &width
, &align
);
506 do_field_skip (fldno
, width
, align
, fldname
);
510 ui_out::field_string (const char *fldname
, const char *string
,
511 const ui_file_style
&style
)
517 verify_field (&fldno
, &width
, &align
);
519 do_field_string (fldno
, width
, align
, fldname
, string
, style
);
524 ui_out::field_fmt (const char *fldname
, const char *format
, ...)
531 verify_field (&fldno
, &width
, &align
);
533 va_start (args
, format
);
535 do_field_fmt (fldno
, width
, align
, fldname
, ui_file_style (), format
, args
);
541 ui_out::field_fmt (const char *fldname
, const ui_file_style
&style
,
542 const char *format
, ...)
549 verify_field (&fldno
, &width
, &align
);
551 va_start (args
, format
);
553 do_field_fmt (fldno
, width
, align
, fldname
, style
, format
, args
);
559 ui_out::call_do_message (const ui_file_style
&style
, const char *format
,
564 va_start (args
, format
);
566 /* Since call_do_message is only used as a helper of vmessage, silence the
567 warning here once instead of at all call sites in vmessage, if we were
568 to put a "format" attribute on call_do_message. */
570 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
571 do_message (style
, format
, args
);
578 ui_out::vmessage (const ui_file_style
&in_style
, const char *format
,
581 format_pieces
fpieces (&format
, true);
583 ui_file_style style
= in_style
;
585 for (auto &&piece
: fpieces
)
587 const char *current_substring
= piece
.string
;
589 gdb_assert (piece
.n_int_args
>= 0 && piece
.n_int_args
<= 2);
590 int intvals
[2] = { 0, 0 };
591 for (int i
= 0; i
< piece
.n_int_args
; ++i
)
592 intvals
[i
] = va_arg (args
, int);
594 /* The only ones we support for now. */
595 gdb_assert (piece
.n_int_args
== 0
596 || piece
.argclass
== string_arg
597 || piece
.argclass
== int_arg
598 || piece
.argclass
== long_arg
);
600 switch (piece
.argclass
)
604 const char *str
= va_arg (args
, const char *);
605 switch (piece
.n_int_args
)
608 call_do_message (style
, current_substring
, str
);
611 call_do_message (style
, current_substring
, intvals
[0], str
);
614 call_do_message (style
, current_substring
,
615 intvals
[0], intvals
[1], str
);
620 case wide_string_arg
:
621 gdb_assert_not_reached ("wide_string_arg not supported in vmessage");
624 gdb_assert_not_reached ("wide_char_arg not supported in vmessage");
627 call_do_message (style
, current_substring
, va_arg (args
, long long));
631 int val
= va_arg (args
, int);
632 switch (piece
.n_int_args
)
635 call_do_message (style
, current_substring
, val
);
638 call_do_message (style
, current_substring
, intvals
[0], val
);
641 call_do_message (style
, current_substring
,
642 intvals
[0], intvals
[1], val
);
649 long val
= va_arg (args
, long);
650 switch (piece
.n_int_args
)
653 call_do_message (style
, current_substring
, val
);
656 call_do_message (style
, current_substring
, intvals
[0], val
);
659 call_do_message (style
, current_substring
,
660 intvals
[0], intvals
[1], val
);
667 size_t val
= va_arg (args
, size_t);
668 switch (piece
.n_int_args
)
671 call_do_message (style
, current_substring
, val
);
674 call_do_message (style
, current_substring
, intvals
[0], val
);
677 call_do_message (style
, current_substring
,
678 intvals
[0], intvals
[1], val
);
684 call_do_message (style
, current_substring
, va_arg (args
, double));
686 case long_double_arg
:
687 gdb_assert_not_reached ("long_double_arg not supported in vmessage");
690 gdb_assert_not_reached ("dec32float_arg not supported in vmessage");
693 gdb_assert_not_reached ("dec64float_arg not supported in vmessage");
695 case dec128float_arg
:
696 gdb_assert_not_reached ("dec128float_arg not supported in vmessage");
699 switch (current_substring
[2])
703 gdb_assert (!test_flags (disallow_ui_out_field
));
704 base_field_s
*bf
= va_arg (args
, base_field_s
*);
707 case field_kind::FIELD_SIGNED
:
709 auto *f
= (signed_field_s
*) bf
;
710 field_signed (f
->name
, f
->val
);
713 case field_kind::FIELD_STRING
:
715 auto *f
= (string_field_s
*) bf
;
716 field_string (f
->name
, f
->str
);
724 styled_string_s
*ss
= va_arg (args
, styled_string_s
*);
725 call_do_message (ss
->style
, "%s", ss
->str
);
729 style
= *va_arg (args
, const ui_file_style
*);
733 void *arg
= va_arg (args
, void *);
734 gdb_assert (arg
== nullptr);
740 call_do_message (style
, current_substring
, va_arg (args
, void *));
745 /* Print a portion of the format string that has no
746 directives. Note that this will not include any ordinary
747 %-specs, but it might include "%%". That is why we use
748 call_do_message here. Also, we pass a dummy argument
749 because some platforms have modified GCC to include
750 -Wformat-security by default, which will warn here if
751 there is no argument. */
752 call_do_message (style
, current_substring
, 0);
755 internal_error (_("failed internal consistency check"));
761 ui_out::message (const char *format
, ...)
764 va_start (args
, format
);
766 vmessage (ui_file_style (), format
, args
);
771 /* Verify that the field/tuple/list is correctly positioned. Return
772 the field number and corresponding alignment (if
773 available/applicable). */
776 ui_out::verify_field (int *fldno
, int *width
, ui_align
*align
)
778 ui_out_level
*current
= current_level ();
781 if (m_table_up
!= nullptr
782 && m_table_up
->current_state () != ui_out_table::state::BODY
)
784 internal_error (_("table_body missing; table fields must be \
785 specified after table_body and inside a list."));
788 current
->inc_field_count ();
790 if (m_table_up
!= nullptr
791 && m_table_up
->current_state () == ui_out_table::state::BODY
792 && m_table_up
->entry_level () == level ()
793 && m_table_up
->get_next_header (fldno
, width
, align
, &text
))
795 if (*fldno
!= current
->field_count ())
796 internal_error (_("ui-out internal error in handling headers."));
802 *fldno
= current
->field_count ();
806 /* Access table field parameters. */
809 ui_out::query_table_field (int colno
, int *width
, int *alignment
,
810 const char **col_name
)
812 if (m_table_up
== nullptr)
815 return m_table_up
->query_field (colno
, width
, alignment
, col_name
);
818 /* The constructor. */
820 ui_out::ui_out (ui_out_flags flags
)
823 /* Create the ui-out level #1, the default level. */
824 push_level (ui_out_type_tuple
);
834 buffer_group::output_unit::flush () const
837 m_stream
->puts (m_msg
.c_str ());
839 if (m_wrap_hint
>= 0)
840 m_stream
->wrap_here (m_wrap_hint
);
849 buffer_group::write (const char *buf
, long length_buf
, ui_file
*stream
)
851 /* Record each line separately. */
852 for (size_t prev
= 0, cur
= 0; cur
< length_buf
; ++cur
)
853 if (buf
[cur
] == '\n' || cur
== length_buf
- 1)
855 std::string
msg (buf
+ prev
, cur
- prev
+ 1);
857 if (m_buffered_output
.size () > 0
858 && m_buffered_output
.back ().m_wrap_hint
== -1
859 && m_buffered_output
.back ().m_stream
== stream
860 && m_buffered_output
.back ().m_msg
.size () > 0
861 && m_buffered_output
.back ().m_msg
.back () != '\n')
862 m_buffered_output
.back ().m_msg
.append (msg
);
864 m_buffered_output
.emplace_back (msg
).m_stream
= stream
;
872 buffer_group::wrap_here (int indent
, ui_file
*stream
)
874 m_buffered_output
.emplace_back ("", indent
).m_stream
= stream
;
880 buffer_group::flush_here (ui_file
*stream
)
882 m_buffered_output
.emplace_back ("", -1, true).m_stream
= stream
;
888 get_unbuffered (ui_file
*stream
)
890 buffering_file
*buf
= dynamic_cast<buffering_file
*> (stream
);
895 return get_unbuffered (buf
->stream ());
898 buffered_streams::buffered_streams (buffer_group
*group
, ui_out
*uiout
)
899 : m_buffered_stdout (group
, gdb_stdout
),
900 m_buffered_stderr (group
, gdb_stderr
),
901 m_buffered_stdlog (group
, gdb_stdlog
),
902 m_buffered_stdtarg (group
, gdb_stdtarg
),
905 gdb_stdout
= &m_buffered_stdout
;
906 gdb_stderr
= &m_buffered_stderr
;
907 gdb_stdlog
= &m_buffered_stdlog
;
908 gdb_stdtarg
= &m_buffered_stdtarg
;
910 ui_file
*stream
= current_uiout
->current_stream ();
911 if (stream
!= nullptr)
913 m_buffered_current_uiout
.emplace (group
, stream
);
914 current_uiout
->redirect (&(*m_buffered_current_uiout
));
917 stream
= m_uiout
->current_stream ();
918 if (stream
!= nullptr && current_uiout
!= m_uiout
)
920 m_buffered_uiout
.emplace (group
, stream
);
921 m_uiout
->redirect (&(*m_buffered_uiout
));
924 m_buffers_in_place
= true;
930 buffered_streams::remove_buffers ()
932 if (!m_buffers_in_place
)
935 m_buffers_in_place
= false;
937 gdb_stdout
= m_buffered_stdout
.stream ();
938 gdb_stderr
= m_buffered_stderr
.stream ();
939 gdb_stdlog
= m_buffered_stdlog
.stream ();
940 gdb_stdtarg
= m_buffered_stdtarg
.stream ();
942 if (m_buffered_current_uiout
.has_value ())
943 current_uiout
->redirect (nullptr);
945 if (m_buffered_uiout
.has_value ())
946 m_uiout
->redirect (nullptr);
949 buffer_group::buffer_group (ui_out
*uiout
)
950 : m_buffered_streams (new buffered_streams (this, uiout
))
956 buffer_group::flush () const
958 m_buffered_streams
->remove_buffers ();
960 for (const output_unit
&ou
: m_buffered_output
)