Bump GDB's version number to 15.0.91.DATE-git.
[binutils-gdb.git] / gdb / ui-out.c
blob7e9f238fcf6e400862541b2605ab5a2651700888
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"
24 #include "language.h"
25 #include "ui-out.h"
26 #include "gdbsupport/format.h"
27 #include "cli/cli-style.h"
28 #include "diagnostics.h"
30 #include <vector>
31 #include <memory>
32 #include <string>
34 namespace {
36 /* A header of a ui_out_table. */
38 class ui_out_hdr
40 public:
42 explicit ui_out_hdr (int number, int min_width, ui_align alignment,
43 const std::string &name, const std::string &header)
44 : m_number (number),
45 m_min_width (min_width),
46 m_alignment (alignment),
47 m_name (name),
48 m_header (header)
52 int number () const
54 return m_number;
57 int min_width () const
59 return m_min_width;
62 ui_align alignment () const
64 return m_alignment;
67 const std::string &header () const
69 return m_header;
72 const std::string &name () const
74 return m_name;
77 private:
79 /* The number of the table column this header represents, 1-based. */
80 int m_number;
82 /* Minimal column width in characters. May or may not be applicable,
83 depending on the actual implementation of ui_out. */
84 int m_min_width;
86 /* Alignment of the content in the column. May or may not be applicable,
87 depending on the actual implementation of ui_out. */
88 ui_align m_alignment;
90 /* Internal column name, used to internally refer to the column. */
91 std::string m_name;
93 /* Printed header text of the column. */
94 std::string m_header;
97 } // namespace
99 /* A level of nesting (either a list or a tuple) in a ui_out output. */
101 class ui_out_level
103 public:
105 explicit ui_out_level (ui_out_type type)
106 : m_type (type),
107 m_field_count (0)
111 ui_out_type type () const
113 return m_type;
116 int field_count () const
118 return m_field_count;
121 void inc_field_count ()
123 m_field_count++;
126 private:
128 /* The type of this level. */
129 ui_out_type m_type;
131 /* Count each field; the first element is for non-list fields. */
132 int m_field_count;
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. */
139 class ui_out_table
141 public:
143 /* States (steps) of a table generation. */
145 enum class state
147 /* We are generating the table headers. */
148 HEADERS,
150 /* We are generating the table body. */
151 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),
157 m_nr_cols (nr_cols),
158 m_id (id)
162 /* Start building the body of the table. */
164 void start_body ();
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);
171 void start_row ();
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;
186 private:
188 state m_state;
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. */
193 int m_entry_level;
195 /* Number of table columns (as specified in the table_begin call). */
196 int m_nr_cols;
198 /* String identifying the table (as specified in the table_begin
199 call). */
200 std::string m_id;
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;
209 /* See ui-out.h. */
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 "
216 "table_end."));
218 /* Check if the number of defined headers matches the number of expected
219 columns. */
220 if (m_headers.size () != m_nr_cols)
221 internal_error (_("number of headers differ from number of table "
222 "columns."));
224 m_state = state::BODY;
225 m_headers_iterator = m_headers.begin ();
228 /* See ui-out.h. */
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,
239 width, alignment,
240 col_name, col_hdr);
242 m_headers.push_back (std::move (header));
245 /* See ui-out.h. */
247 void ui_out_table::start_row ()
249 m_headers_iterator = m_headers.begin ();
252 /* See ui-out.h. */
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 ())
259 return false;
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++;
271 return true;
274 /* See ui-out.h. */
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 ();
292 return true;
294 else
295 return false;
298 /* See ui-out.h. */
300 ui_out_table::state ui_out_table::current_state () const
302 return m_state;
305 /* See ui-out.h. */
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. */
320 ui_out_level *
321 ui_out::current_level () const
323 return m_levels.back ().get ();
326 /* Create a new level, of TYPE. */
327 void
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
336 discarded. */
337 void
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. */
349 void
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 ());
361 void
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);
374 void
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 ();
383 do_table_body ();
386 void
387 ui_out::table_end ()
389 if (m_table_up == nullptr)
390 internal_error (_("misplaced table_end or missing table_begin."));
392 do_table_end ();
394 m_table_up = nullptr;
397 void
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. */
408 int fldno;
409 int width;
410 ui_align align;
412 verify_field (&fldno, &width, &align);
415 push_level (type);
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 ();
424 do_begin (type, id);
427 void
428 ui_out::end (ui_out_type type)
430 pop_level (type);
432 do_end (type);
435 void
436 ui_out::field_signed (const char *fldname, LONGEST value)
438 int fldno;
439 int width;
440 ui_align align;
442 verify_field (&fldno, &width, &align);
444 do_field_signed (fldno, width, align, fldname, value);
447 void
448 ui_out::field_fmt_signed (int input_width, ui_align input_align,
449 const char *fldname, LONGEST value)
451 int fldno;
452 int width;
453 ui_align align;
455 verify_field (&fldno, &width, &align);
457 do_field_signed (fldno, input_width, input_align, fldname, value);
460 /* See ui-out.h. */
462 void
463 ui_out::field_unsigned (const char *fldname, ULONGEST value)
465 int fldno;
466 int width;
467 ui_align align;
469 verify_field (&fldno, &width, &align);
471 do_field_unsigned (fldno, width, align, fldname, value);
474 /* Documented in ui-out.h. */
476 void
477 ui_out::field_core_addr (const char *fldname, struct gdbarch *gdbarch,
478 CORE_ADDR address)
480 field_string (fldname, print_core_address (gdbarch, address),
481 address_style.style ());
484 void
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);
490 else
491 field_skip (fldname);
492 stream.clear ();
495 /* Used to omit a field. */
497 void
498 ui_out::field_skip (const char *fldname)
500 int fldno;
501 int width;
502 ui_align align;
504 verify_field (&fldno, &width, &align);
506 do_field_skip (fldno, width, align, fldname);
509 void
510 ui_out::field_string (const char *fldname, const char *string,
511 const ui_file_style &style)
513 int fldno;
514 int width;
515 ui_align align;
517 verify_field (&fldno, &width, &align);
519 do_field_string (fldno, width, align, fldname, string, style);
522 /* VARARGS */
523 void
524 ui_out::field_fmt (const char *fldname, const char *format, ...)
526 va_list args;
527 int fldno;
528 int width;
529 ui_align align;
531 verify_field (&fldno, &width, &align);
533 va_start (args, format);
535 do_field_fmt (fldno, width, align, fldname, ui_file_style (), format, args);
537 va_end (args);
540 void
541 ui_out::field_fmt (const char *fldname, const ui_file_style &style,
542 const char *format, ...)
544 va_list args;
545 int fldno;
546 int width;
547 ui_align align;
549 verify_field (&fldno, &width, &align);
551 va_start (args, format);
553 do_field_fmt (fldno, width, align, fldname, style, format, args);
555 va_end (args);
558 void
559 ui_out::call_do_message (const ui_file_style &style, const char *format,
560 ...)
562 va_list args;
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. */
569 DIAGNOSTIC_PUSH
570 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
571 do_message (style, format, args);
572 DIAGNOSTIC_POP
574 va_end (args);
577 void
578 ui_out::vmessage (const ui_file_style &in_style, const char *format,
579 va_list args)
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)
602 case string_arg:
604 const char *str = va_arg (args, const char *);
605 switch (piece.n_int_args)
607 case 0:
608 call_do_message (style, current_substring, str);
609 break;
610 case 1:
611 call_do_message (style, current_substring, intvals[0], str);
612 break;
613 case 2:
614 call_do_message (style, current_substring,
615 intvals[0], intvals[1], str);
616 break;
619 break;
620 case wide_string_arg:
621 gdb_assert_not_reached ("wide_string_arg not supported in vmessage");
622 break;
623 case wide_char_arg:
624 gdb_assert_not_reached ("wide_char_arg not supported in vmessage");
625 break;
626 case long_long_arg:
627 call_do_message (style, current_substring, va_arg (args, long long));
628 break;
629 case int_arg:
631 int val = va_arg (args, int);
632 switch (piece.n_int_args)
634 case 0:
635 call_do_message (style, current_substring, val);
636 break;
637 case 1:
638 call_do_message (style, current_substring, intvals[0], val);
639 break;
640 case 2:
641 call_do_message (style, current_substring,
642 intvals[0], intvals[1], val);
643 break;
646 break;
647 case long_arg:
649 long val = va_arg (args, long);
650 switch (piece.n_int_args)
652 case 0:
653 call_do_message (style, current_substring, val);
654 break;
655 case 1:
656 call_do_message (style, current_substring, intvals[0], val);
657 break;
658 case 2:
659 call_do_message (style, current_substring,
660 intvals[0], intvals[1], val);
661 break;
664 break;
665 case size_t_arg:
667 size_t val = va_arg (args, size_t);
668 switch (piece.n_int_args)
670 case 0:
671 call_do_message (style, current_substring, val);
672 break;
673 case 1:
674 call_do_message (style, current_substring, intvals[0], val);
675 break;
676 case 2:
677 call_do_message (style, current_substring,
678 intvals[0], intvals[1], val);
679 break;
682 break;
683 case double_arg:
684 call_do_message (style, current_substring, va_arg (args, double));
685 break;
686 case long_double_arg:
687 gdb_assert_not_reached ("long_double_arg not supported in vmessage");
688 break;
689 case dec32float_arg:
690 gdb_assert_not_reached ("dec32float_arg not supported in vmessage");
691 break;
692 case dec64float_arg:
693 gdb_assert_not_reached ("dec64float_arg not supported in vmessage");
694 break;
695 case dec128float_arg:
696 gdb_assert_not_reached ("dec128float_arg not supported in vmessage");
697 break;
698 case ptr_arg:
699 switch (current_substring[2])
701 case 'F':
703 gdb_assert (!test_flags (disallow_ui_out_field));
704 base_field_s *bf = va_arg (args, base_field_s *);
705 switch (bf->kind)
707 case field_kind::FIELD_SIGNED:
709 auto *f = (signed_field_s *) bf;
710 field_signed (f->name, f->val);
712 break;
713 case field_kind::FIELD_STRING:
715 auto *f = (string_field_s *) bf;
716 field_string (f->name, f->str);
718 break;
721 break;
722 case 's':
724 styled_string_s *ss = va_arg (args, styled_string_s *);
725 call_do_message (ss->style, "%s", ss->str);
727 break;
728 case '[':
729 style = *va_arg (args, const ui_file_style *);
730 break;
731 case ']':
733 void *arg = va_arg (args, void *);
734 gdb_assert (arg == nullptr);
736 style = {};
738 break;
739 default:
740 call_do_message (style, current_substring, va_arg (args, void *));
741 break;
743 break;
744 case literal_piece:
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);
753 break;
754 default:
755 internal_error (_("failed internal consistency check"));
760 void
761 ui_out::message (const char *format, ...)
763 va_list args;
764 va_start (args, format);
766 vmessage (ui_file_style (), format, args);
768 va_end (args);
771 /* Verify that the field/tuple/list is correctly positioned. Return
772 the field number and corresponding alignment (if
773 available/applicable). */
775 void
776 ui_out::verify_field (int *fldno, int *width, ui_align *align)
778 ui_out_level *current = current_level ();
779 const char *text;
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."));
798 else
800 *width = 0;
801 *align = ui_noalign;
802 *fldno = current->field_count ();
806 /* Access table field parameters. */
808 bool
809 ui_out::query_table_field (int colno, int *width, int *alignment,
810 const char **col_name)
812 if (m_table_up == nullptr)
813 return false;
815 return m_table_up->query_field (colno, width, alignment, col_name);
818 /* The constructor. */
820 ui_out::ui_out (ui_out_flags flags)
821 : m_flags (flags)
823 /* Create the ui-out level #1, the default level. */
824 push_level (ui_out_type_tuple);
827 ui_out::~ui_out ()
831 /* See ui-out.h. */
833 void
834 buffer_group::output_unit::flush () const
836 if (!m_msg.empty ())
837 m_stream->puts (m_msg.c_str ());
839 if (m_wrap_hint >= 0)
840 m_stream->wrap_here (m_wrap_hint);
842 if (m_flush)
843 m_stream->flush ();
846 /* See ui-out.h. */
848 void
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);
863 else
864 m_buffered_output.emplace_back (msg).m_stream = stream;
865 prev = cur + 1;
869 /* See ui-out.h. */
871 void
872 buffer_group::wrap_here (int indent, ui_file *stream)
874 m_buffered_output.emplace_back ("", indent).m_stream = stream;
877 /* See ui-out.h. */
879 void
880 buffer_group::flush_here (ui_file *stream)
882 m_buffered_output.emplace_back ("", -1, true).m_stream = stream;
885 /* See ui-out.h. */
887 ui_file *
888 get_unbuffered (ui_file *stream)
890 buffering_file *buf = dynamic_cast<buffering_file *> (stream);
892 if (buf == nullptr)
893 return 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),
903 m_uiout (uiout)
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;
927 /* See ui-out.h. */
929 void
930 buffered_streams::remove_buffers ()
932 if (!m_buffers_in_place)
933 return;
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))
951 { /* Nothing. */ }
953 /* See ui-out.h. */
955 void
956 buffer_group::flush () const
958 m_buffered_streams->remove_buffers ();
960 for (const output_unit &ou : m_buffered_output)
961 ou.flush ();