Automatic date update in version.in
[binutils-gdb.git] / gdb / ui-out.c
blobe34e40fae762efaff3980dccd110ce1e254180b8
1 /* Output generating routines for GDB.
3 Copyright (C) 1999-2022 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 "defs.h"
24 #include "expression.h" /* For language.h */
25 #include "language.h"
26 #include "ui-out.h"
27 #include "gdbsupport/format.h"
28 #include "cli/cli-style.h"
29 #include "diagnostics.h"
31 #include <vector>
32 #include <memory>
33 #include <string>
35 namespace {
37 /* A header of a ui_out_table. */
39 class ui_out_hdr
41 public:
43 explicit ui_out_hdr (int number, int min_width, ui_align alignment,
44 const std::string &name, const std::string &header)
45 : m_number (number),
46 m_min_width (min_width),
47 m_alignment (alignment),
48 m_name (name),
49 m_header (header)
53 int number () const
55 return m_number;
58 int min_width () const
60 return m_min_width;
63 ui_align alignment () const
65 return m_alignment;
68 const std::string &header () const
70 return m_header;
73 const std::string &name () const
75 return m_name;
78 private:
80 /* The number of the table column this header represents, 1-based. */
81 int m_number;
83 /* Minimal column width in characters. May or may not be applicable,
84 depending on the actual implementation of ui_out. */
85 int m_min_width;
87 /* Alignment of the content in the column. May or may not be applicable,
88 depending on the actual implementation of ui_out. */
89 ui_align m_alignment;
91 /* Internal column name, used to internally refer to the column. */
92 std::string m_name;
94 /* Printed header text of the column. */
95 std::string m_header;
98 } // namespace
100 /* A level of nesting (either a list or a tuple) in a ui_out output. */
102 class ui_out_level
104 public:
106 explicit ui_out_level (ui_out_type type)
107 : m_type (type),
108 m_field_count (0)
112 ui_out_type type () const
114 return m_type;
117 int field_count () const
119 return m_field_count;
122 void inc_field_count ()
124 m_field_count++;
127 private:
129 /* The type of this level. */
130 ui_out_type m_type;
132 /* Count each field; the first element is for non-list fields. */
133 int m_field_count;
136 /* Tables are special. Maintain a separate structure that tracks
137 their state. At present an output can only contain a single table
138 but that restriction might eventually be lifted. */
140 class ui_out_table
142 public:
144 /* States (steps) of a table generation. */
146 enum class state
148 /* We are generating the table headers. */
149 HEADERS,
151 /* We are generating the table body. */
152 BODY,
155 explicit ui_out_table (int entry_level, int nr_cols, const std::string &id)
156 : m_state (state::HEADERS),
157 m_entry_level (entry_level),
158 m_nr_cols (nr_cols),
159 m_id (id)
163 /* Start building the body of the table. */
165 void start_body ();
167 /* Add a new header to the table. */
169 void append_header (int width, ui_align alignment,
170 const std::string &col_name, const std::string &col_hdr);
172 void start_row ();
174 /* Extract the format information for the next header and advance
175 the header iterator. Return false if there was no next header. */
177 bool get_next_header (int *colno, int *width, ui_align *alignment,
178 const char **col_hdr);
180 bool query_field (int colno, int *width, int *alignment,
181 const char **col_name) const;
183 state current_state () const;
185 int entry_level () const;
187 private:
189 state m_state;
191 /* The level at which each entry of the table is to be found. A row
192 (a tuple) is made up of entries. Consequently ENTRY_LEVEL is one
193 above that of the table. */
194 int m_entry_level;
196 /* Number of table columns (as specified in the table_begin call). */
197 int m_nr_cols;
199 /* String identifying the table (as specified in the table_begin
200 call). */
201 std::string m_id;
203 /* Pointers to the column headers. */
204 std::vector<std::unique_ptr<ui_out_hdr>> m_headers;
206 /* Iterator over the headers vector, used when printing successive fields. */
207 std::vector<std::unique_ptr<ui_out_hdr>>::const_iterator m_headers_iterator;
210 /* See ui-out.h. */
212 void ui_out_table::start_body ()
214 if (m_state != state::HEADERS)
215 internal_error (__FILE__, __LINE__,
216 _("extra table_body call not allowed; there must be only "
217 "one table_body after a table_begin and before a "
218 "table_end."));
220 /* Check if the number of defined headers matches the number of expected
221 columns. */
222 if (m_headers.size () != m_nr_cols)
223 internal_error (__FILE__, __LINE__,
224 _("number of headers differ from number of table "
225 "columns."));
227 m_state = state::BODY;
228 m_headers_iterator = m_headers.begin ();
231 /* See ui-out.h. */
233 void ui_out_table::append_header (int width, ui_align alignment,
234 const std::string &col_name,
235 const std::string &col_hdr)
237 if (m_state != state::HEADERS)
238 internal_error (__FILE__, __LINE__,
239 _("table header must be specified after table_begin and "
240 "before table_body."));
242 std::unique_ptr<ui_out_hdr> header (new ui_out_hdr (m_headers.size () + 1,
243 width, alignment,
244 col_name, col_hdr));
246 m_headers.push_back (std::move (header));
249 /* See ui-out.h. */
251 void ui_out_table::start_row ()
253 m_headers_iterator = m_headers.begin ();
256 /* See ui-out.h. */
258 bool ui_out_table::get_next_header (int *colno, int *width, ui_align *alignment,
259 const char **col_hdr)
261 /* There may be no headers at all or we may have used all columns. */
262 if (m_headers_iterator == m_headers.end ())
263 return false;
265 ui_out_hdr *hdr = m_headers_iterator->get ();
267 *colno = hdr->number ();
268 *width = hdr->min_width ();
269 *alignment = hdr->alignment ();
270 *col_hdr = hdr->header ().c_str ();
272 /* Advance the header pointer to the next entry. */
273 m_headers_iterator++;
275 return true;
278 /* See ui-out.h. */
280 bool ui_out_table::query_field (int colno, int *width, int *alignment,
281 const char **col_name) const
283 /* Column numbers are 1-based, so convert to 0-based index. */
284 int index = colno - 1;
286 if (index >= 0 && index < m_headers.size ())
288 ui_out_hdr *hdr = m_headers[index].get ();
290 gdb_assert (colno == hdr->number ());
292 *width = hdr->min_width ();
293 *alignment = hdr->alignment ();
294 *col_name = hdr->name ().c_str ();
296 return true;
298 else
299 return false;
302 /* See ui-out.h. */
304 ui_out_table::state ui_out_table::current_state () const
306 return m_state;
309 /* See ui-out.h. */
311 int ui_out_table::entry_level () const
313 return m_entry_level;
317 ui_out::level () const
319 return m_levels.size ();
322 /* The current (inner most) level. */
324 ui_out_level *
325 ui_out::current_level () const
327 return m_levels.back ().get ();
330 /* Create a new level, of TYPE. */
331 void
332 ui_out::push_level (ui_out_type type)
334 std::unique_ptr<ui_out_level> level (new ui_out_level (type));
336 m_levels.push_back (std::move (level));
339 /* Discard the current level. TYPE is the type of the level being
340 discarded. */
341 void
342 ui_out::pop_level (ui_out_type type)
344 /* We had better not underflow the buffer. */
345 gdb_assert (m_levels.size () > 0);
346 gdb_assert (current_level ()->type () == type);
348 m_levels.pop_back ();
351 /* Mark beginning of a table. */
353 void
354 ui_out::table_begin (int nr_cols, int nr_rows, const std::string &tblid)
356 if (m_table_up != nullptr)
357 internal_error (__FILE__, __LINE__,
358 _("tables cannot be nested; table_begin found before \
359 previous table_end."));
361 m_table_up.reset (new ui_out_table (level () + 1, nr_cols, tblid));
363 do_table_begin (nr_cols, nr_rows, tblid.c_str ());
366 void
367 ui_out::table_header (int width, ui_align alignment,
368 const std::string &col_name, const std::string &col_hdr)
370 if (m_table_up == nullptr)
371 internal_error (__FILE__, __LINE__,
372 _("table_header outside a table is not valid; it must be \
373 after a table_begin and before a table_body."));
375 m_table_up->append_header (width, alignment, col_name, col_hdr);
377 do_table_header (width, alignment, col_name, col_hdr);
380 void
381 ui_out::table_body ()
383 if (m_table_up == nullptr)
384 internal_error (__FILE__, __LINE__,
385 _("table_body outside a table is not valid; it must be "
386 "after a table_begin and before a table_end."));
388 m_table_up->start_body ();
390 do_table_body ();
393 void
394 ui_out::table_end ()
396 if (m_table_up == nullptr)
397 internal_error (__FILE__, __LINE__,
398 _("misplaced table_end or missing table_begin."));
400 do_table_end ();
402 m_table_up = nullptr;
405 void
406 ui_out::begin (ui_out_type type, const char *id)
408 /* Be careful to verify the ``field'' before the new tuple/list is
409 pushed onto the stack. That way the containing list/table/row is
410 verified and not the newly created tuple/list. This verification
411 is needed (at least) for the case where a table row entry
412 contains either a tuple/list. For that case bookkeeping such as
413 updating the column count or advancing to the next heading still
414 needs to be performed. */
416 int fldno;
417 int width;
418 ui_align align;
420 verify_field (&fldno, &width, &align);
423 push_level (type);
425 /* If the push puts us at the same level as a table row entry, we've
426 got a new table row. Put the header pointer back to the start. */
427 if (m_table_up != nullptr
428 && m_table_up->current_state () == ui_out_table::state::BODY
429 && m_table_up->entry_level () == level ())
430 m_table_up->start_row ();
432 do_begin (type, id);
435 void
436 ui_out::end (ui_out_type type)
438 pop_level (type);
440 do_end (type);
443 void
444 ui_out::field_signed (const char *fldname, LONGEST value)
446 int fldno;
447 int width;
448 ui_align align;
450 verify_field (&fldno, &width, &align);
452 do_field_signed (fldno, width, align, fldname, value);
455 void
456 ui_out::field_fmt_signed (int input_width, ui_align input_align,
457 const char *fldname, LONGEST value)
459 int fldno;
460 int width;
461 ui_align align;
463 verify_field (&fldno, &width, &align);
465 do_field_signed (fldno, input_width, input_align, fldname, value);
468 /* See ui-out.h. */
470 void
471 ui_out::field_unsigned (const char *fldname, ULONGEST value)
473 int fldno;
474 int width;
475 ui_align align;
477 verify_field (&fldno, &width, &align);
479 do_field_unsigned (fldno, width, align, fldname, value);
482 /* Documented in ui-out.h. */
484 void
485 ui_out::field_core_addr (const char *fldname, struct gdbarch *gdbarch,
486 CORE_ADDR address)
488 field_string (fldname, print_core_address (gdbarch, address),
489 address_style.style ());
492 void
493 ui_out::field_stream (const char *fldname, string_file &stream,
494 const ui_file_style &style)
496 if (!stream.empty ())
497 field_string (fldname, stream.c_str (), style);
498 else
499 field_skip (fldname);
500 stream.clear ();
503 /* Used to omit a field. */
505 void
506 ui_out::field_skip (const char *fldname)
508 int fldno;
509 int width;
510 ui_align align;
512 verify_field (&fldno, &width, &align);
514 do_field_skip (fldno, width, align, fldname);
517 void
518 ui_out::field_string (const char *fldname, const char *string,
519 const ui_file_style &style)
521 int fldno;
522 int width;
523 ui_align align;
525 verify_field (&fldno, &width, &align);
527 do_field_string (fldno, width, align, fldname, string, style);
530 /* VARARGS */
531 void
532 ui_out::field_fmt (const char *fldname, const char *format, ...)
534 va_list args;
535 int fldno;
536 int width;
537 ui_align align;
539 verify_field (&fldno, &width, &align);
541 va_start (args, format);
543 do_field_fmt (fldno, width, align, fldname, ui_file_style (), format, args);
545 va_end (args);
548 void
549 ui_out::field_fmt (const char *fldname, const ui_file_style &style,
550 const char *format, ...)
552 va_list args;
553 int fldno;
554 int width;
555 ui_align align;
557 verify_field (&fldno, &width, &align);
559 va_start (args, format);
561 do_field_fmt (fldno, width, align, fldname, style, format, args);
563 va_end (args);
566 void
567 ui_out::spaces (int numspaces)
569 do_spaces (numspaces);
572 void
573 ui_out::text (const char *string)
575 do_text (string);
578 void
579 ui_out::call_do_message (const ui_file_style &style, const char *format,
580 ...)
582 va_list args;
584 va_start (args, format);
586 /* Since call_do_message is only used as a helper of vmessage, silence the
587 warning here once instead of at all call sites in vmessage, if we were
588 to put a "format" attribute on call_do_message. */
589 DIAGNOSTIC_PUSH
590 DIAGNOSTIC_IGNORE_FORMAT_NONLITERAL
591 do_message (style, format, args);
592 DIAGNOSTIC_POP
594 va_end (args);
597 void
598 ui_out::vmessage (const ui_file_style &in_style, const char *format,
599 va_list args)
601 format_pieces fpieces (&format, true);
603 ui_file_style style = in_style;
605 for (auto &&piece : fpieces)
607 const char *current_substring = piece.string;
609 gdb_assert (piece.n_int_args >= 0 && piece.n_int_args <= 2);
610 int intvals[2] = { 0, 0 };
611 for (int i = 0; i < piece.n_int_args; ++i)
612 intvals[i] = va_arg (args, int);
614 /* The only ones we support for now. */
615 gdb_assert (piece.n_int_args == 0
616 || piece.argclass == string_arg
617 || piece.argclass == int_arg
618 || piece.argclass == long_arg);
620 switch (piece.argclass)
622 case string_arg:
624 const char *str = va_arg (args, const char *);
625 switch (piece.n_int_args)
627 case 0:
628 call_do_message (style, current_substring, str);
629 break;
630 case 1:
631 call_do_message (style, current_substring, intvals[0], str);
632 break;
633 case 2:
634 call_do_message (style, current_substring,
635 intvals[0], intvals[1], str);
636 break;
639 break;
640 case wide_string_arg:
641 gdb_assert_not_reached ("wide_string_arg not supported in vmessage");
642 break;
643 case wide_char_arg:
644 gdb_assert_not_reached ("wide_char_arg not supported in vmessage");
645 break;
646 case long_long_arg:
647 call_do_message (style, current_substring, va_arg (args, long long));
648 break;
649 case int_arg:
651 int val = va_arg (args, int);
652 switch (piece.n_int_args)
654 case 0:
655 call_do_message (style, current_substring, val);
656 break;
657 case 1:
658 call_do_message (style, current_substring, intvals[0], val);
659 break;
660 case 2:
661 call_do_message (style, current_substring,
662 intvals[0], intvals[1], val);
663 break;
666 break;
667 case long_arg:
669 long val = va_arg (args, long);
670 switch (piece.n_int_args)
672 case 0:
673 call_do_message (style, current_substring, val);
674 break;
675 case 1:
676 call_do_message (style, current_substring, intvals[0], val);
677 break;
678 case 2:
679 call_do_message (style, current_substring,
680 intvals[0], intvals[1], val);
681 break;
684 break;
685 case size_t_arg:
687 size_t val = va_arg (args, size_t);
688 switch (piece.n_int_args)
690 case 0:
691 call_do_message (style, current_substring, val);
692 break;
693 case 1:
694 call_do_message (style, current_substring, intvals[0], val);
695 break;
696 case 2:
697 call_do_message (style, current_substring,
698 intvals[0], intvals[1], val);
699 break;
702 break;
703 case double_arg:
704 call_do_message (style, current_substring, va_arg (args, double));
705 break;
706 case long_double_arg:
707 gdb_assert_not_reached ("long_double_arg not supported in vmessage");
708 break;
709 case dec32float_arg:
710 gdb_assert_not_reached ("dec32float_arg not supported in vmessage");
711 break;
712 case dec64float_arg:
713 gdb_assert_not_reached ("dec64float_arg not supported in vmessage");
714 break;
715 case dec128float_arg:
716 gdb_assert_not_reached ("dec128float_arg not supported in vmessage");
717 break;
718 case ptr_arg:
719 switch (current_substring[2])
721 case 'F':
723 gdb_assert (!test_flags (disallow_ui_out_field));
724 base_field_s *bf = va_arg (args, base_field_s *);
725 switch (bf->kind)
727 case field_kind::FIELD_SIGNED:
729 auto *f = (signed_field_s *) bf;
730 field_signed (f->name, f->val);
732 break;
733 case field_kind::FIELD_STRING:
735 auto *f = (string_field_s *) bf;
736 field_string (f->name, f->str);
738 break;
741 break;
742 case 's':
744 styled_string_s *ss = va_arg (args, styled_string_s *);
745 call_do_message (ss->style, "%s", ss->str);
747 break;
748 case '[':
749 style = *va_arg (args, const ui_file_style *);
750 break;
751 case ']':
753 void *arg = va_arg (args, void *);
754 gdb_assert (arg == nullptr);
756 style = {};
758 break;
759 default:
760 call_do_message (style, current_substring, va_arg (args, void *));
761 break;
763 break;
764 case literal_piece:
765 /* Print a portion of the format string that has no
766 directives. Note that this will not include any ordinary
767 %-specs, but it might include "%%". That is why we use
768 call_do_message here. Also, we pass a dummy argument
769 because some platforms have modified GCC to include
770 -Wformat-security by default, which will warn here if
771 there is no argument. */
772 call_do_message (style, current_substring, 0);
773 break;
774 default:
775 internal_error (__FILE__, __LINE__,
776 _("failed internal consistency check"));
781 void
782 ui_out::message (const char *format, ...)
784 va_list args;
785 va_start (args, format);
787 vmessage (ui_file_style (), format, args);
789 va_end (args);
792 void
793 ui_out::wrap_hint (int indent)
795 do_wrap_hint (indent);
798 void
799 ui_out::flush ()
801 do_flush ();
804 void
805 ui_out::redirect (ui_file *outstream)
807 do_redirect (outstream);
810 /* Test the flags against the mask given. */
811 ui_out_flags
812 ui_out::test_flags (ui_out_flags mask)
814 return m_flags & mask;
817 bool
818 ui_out::is_mi_like_p () const
820 return do_is_mi_like_p ();
823 /* Verify that the field/tuple/list is correctly positioned. Return
824 the field number and corresponding alignment (if
825 available/applicable). */
827 void
828 ui_out::verify_field (int *fldno, int *width, ui_align *align)
830 ui_out_level *current = current_level ();
831 const char *text;
833 if (m_table_up != nullptr
834 && m_table_up->current_state () != ui_out_table::state::BODY)
836 internal_error (__FILE__, __LINE__,
837 _("table_body missing; table fields must be \
838 specified after table_body and inside a list."));
841 current->inc_field_count ();
843 if (m_table_up != nullptr
844 && m_table_up->current_state () == ui_out_table::state::BODY
845 && m_table_up->entry_level () == level ()
846 && m_table_up->get_next_header (fldno, width, align, &text))
848 if (*fldno != current->field_count ())
849 internal_error (__FILE__, __LINE__,
850 _("ui-out internal error in handling headers."));
852 else
854 *width = 0;
855 *align = ui_noalign;
856 *fldno = current->field_count ();
860 /* Access table field parameters. */
862 bool
863 ui_out::query_table_field (int colno, int *width, int *alignment,
864 const char **col_name)
866 if (m_table_up == nullptr)
867 return false;
869 return m_table_up->query_field (colno, width, alignment, col_name);
872 /* The constructor. */
874 ui_out::ui_out (ui_out_flags flags)
875 : m_flags (flags)
877 /* Create the ui-out level #1, the default level. */
878 push_level (ui_out_type_tuple);
881 ui_out::~ui_out ()