(Ada) crash assigning to record component which is an array
[external/binutils.git] / gdb / ui-out.h
1 /* Output generating routines for GDB.
2
3    Copyright (C) 1999-2017 Free Software Foundation, Inc.
4
5    Contributed by Cygnus Solutions.
6    Written by Fernando Nasser for Cygnus.
7
8    This file is part of GDB.
9
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.
14
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.
19
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/>.  */
22
23 #ifndef UI_OUT_H
24 #define UI_OUT_H 1
25
26 #include <vector>
27
28 #include "common/enum-flags.h"
29
30 class ui_out_level;
31 class ui_out_table;
32 struct ui_file;
33
34 /* the current ui_out */
35
36 /* FIXME: This should not be a global but something passed down from main.c
37    or top.c.  */
38 extern struct ui_out **current_ui_current_uiout_ptr (void);
39 #define current_uiout (*current_ui_current_uiout_ptr ())
40
41 /* alignment enum */
42 enum ui_align
43   {
44     ui_left = -1,
45     ui_center,
46     ui_right,
47     ui_noalign
48   };
49
50 /* flags enum */
51 enum ui_out_flag
52   {
53     ui_source_list = (1 << 0),
54   };
55
56 DEF_ENUM_FLAGS_TYPE (ui_out_flag, ui_out_flags);
57
58 /* Prototypes for ui-out API.  */
59
60 /* A result is a recursive data structure consisting of lists and
61    tuples.  */
62
63 enum ui_out_type
64   {
65     ui_out_type_tuple,
66     ui_out_type_list
67   };
68
69 /* Compatibility wrappers.  */
70
71 extern struct cleanup *make_cleanup_ui_out_list_begin_end (struct ui_out *uiout,
72                                                            const char *id);
73
74 extern struct cleanup *make_cleanup_ui_out_tuple_begin_end (struct ui_out *uiout,
75                                                             const char *id);
76
77 class ui_out
78 {
79  public:
80
81   explicit ui_out (ui_out_flags flags = 0);
82   virtual ~ui_out ();
83
84   void push_level (ui_out_type type);
85   void pop_level (ui_out_type type);
86
87   /* A table can be considered a special tuple/list combination with the
88      implied structure: ``table = { hdr = { header, ... } , body = [ {
89      field, ... }, ... ] }''.  If NR_ROWS is negative then there is at
90      least one row.  */
91
92   void table_begin (int nr_cols, int nr_rows, const std::string &tblid);
93   void table_header (int width, ui_align align, const std::string &col_name,
94                      const std::string &col_hdr);
95   void table_body ();
96   void table_end ();
97
98   void begin (ui_out_type type, const char *id);
99   void end (ui_out_type type);
100
101   void field_int (const char *fldname, int value);
102   void field_fmt_int (int width, ui_align align, const char *fldname,
103                       int value);
104   void field_core_addr (const char *fldname, struct gdbarch *gdbarch,
105                         CORE_ADDR address);
106   void field_string (const char *fldname, const char *string);
107   void field_stream (const char *fldname, string_file &stream);
108   void field_skip (const char *fldname);
109   void field_fmt (const char *fldname, const char *format, ...)
110     ATTRIBUTE_PRINTF (3, 4);
111
112   void spaces (int numspaces);
113   void text (const char *string);
114   void message (const char *format, ...) ATTRIBUTE_PRINTF (2, 3);
115   void wrap_hint (const char *identstring);
116
117   void flush ();
118
119   /* Redirect the output of a ui_out object temporarily.  */
120   void redirect (ui_file *outstream);
121
122   ui_out_flags test_flags (ui_out_flags mask);
123
124   /* HACK: Code in GDB is currently checking to see the type of ui_out
125      builder when determining which output to produce.  This function is
126      a hack to encapsulate that test.  Once GDB manages to separate the
127      CLI/MI from the core of GDB the problem should just go away ....  */
128
129   bool is_mi_like_p ();
130
131   bool query_table_field (int colno, int *width, int *alignment,
132                           const char **col_name);
133
134  protected:
135
136   virtual void do_table_begin (int nbrofcols, int nr_rows, const char *tblid)
137     = 0;
138   virtual void do_table_body () = 0;
139   virtual void do_table_end () = 0;
140   virtual void do_table_header (int width, ui_align align,
141                                 const std::string &col_name,
142                                 const std::string &col_hdr) = 0;
143
144   virtual void do_begin (ui_out_type type, const char *id) = 0;
145   virtual void do_end (ui_out_type type) = 0;
146   virtual void do_field_int (int fldno, int width, ui_align align,
147                              const char *fldname, int value) = 0;
148   virtual void do_field_skip (int fldno, int width, ui_align align,
149                               const char *fldname) = 0;
150   virtual void do_field_string (int fldno, int width, ui_align align,
151                                 const char *fldname, const char *string) = 0;
152   virtual void do_field_fmt (int fldno, int width, ui_align align,
153                              const char *fldname, const char *format,
154                              va_list args)
155     ATTRIBUTE_PRINTF (6,0) = 0;
156   virtual void do_spaces (int numspaces) = 0;
157   virtual void do_text (const char *string) = 0;
158   virtual void do_message (const char *format, va_list args)
159     ATTRIBUTE_PRINTF (2,0) = 0;
160   virtual void do_wrap_hint (const char *identstring) = 0;
161   virtual void do_flush () = 0;
162   virtual void do_redirect (struct ui_file *outstream) = 0;
163
164   /* Set as not MI-like by default.  It is overridden in subclasses if
165      necessary.  */
166
167   virtual bool do_is_mi_like_p ()
168   { return false; }
169
170  private:
171
172   ui_out_flags m_flags;
173
174   /* Vector to store and track the ui-out levels.  */
175   std::vector<std::unique_ptr<ui_out_level>> m_levels;
176
177   /* A table, if any.  At present only a single table is supported.  */
178   std::unique_ptr<ui_out_table> m_table_up;
179
180   void verify_field (int *fldno, int *width, ui_align *align);
181
182   int level () const;
183   ui_out_level *current_level () const;
184 };
185
186 /* This is similar to make_cleanup_ui_out_tuple_begin_end and
187    make_cleanup_ui_out_list_begin_end, but written as an RAII template
188    class.  It takes the ui_out_type as a template parameter.  Normally
189    this is used via the typedefs ui_out_emit_tuple and
190    ui_out_emit_list.  */
191 template<ui_out_type Type>
192 class ui_out_emit_type
193 {
194 public:
195
196   ui_out_emit_type (struct ui_out *uiout, const char *id)
197     : m_uiout (uiout)
198   {
199     uiout->begin (Type, id);
200   }
201
202   ~ui_out_emit_type ()
203   {
204     m_uiout->end (Type);
205   }
206
207   DISABLE_COPY_AND_ASSIGN (ui_out_emit_type<Type>);
208
209 private:
210
211   struct ui_out *m_uiout;
212 };
213
214 typedef ui_out_emit_type<ui_out_type_tuple> ui_out_emit_tuple;
215 typedef ui_out_emit_type<ui_out_type_list> ui_out_emit_list;
216
217 /* Start a new table on construction, and end the table on
218    destruction.  */
219 class ui_out_emit_table
220 {
221 public:
222
223   ui_out_emit_table (struct ui_out *uiout, int nr_cols, int nr_rows,
224                      const char *tblid)
225     : m_uiout (uiout)
226   {
227     m_uiout->table_begin (nr_cols, nr_rows, tblid);
228   }
229
230   ~ui_out_emit_table ()
231   {
232     m_uiout->table_end ();
233   }
234
235   ui_out_emit_table (const ui_out_emit_table &) = delete;
236   ui_out_emit_table &operator= (const ui_out_emit_table &) = delete;
237
238 private:
239
240   struct ui_out *m_uiout;
241 };
242
243 /* On destruction, pop the last redirection by calling the uiout's
244    redirect method with a NULL parameter.  */
245 class ui_out_redirect_pop
246 {
247 public:
248
249   ui_out_redirect_pop (ui_out *uiout)
250     : m_uiout (uiout)
251   {
252   }
253
254   ~ui_out_redirect_pop ()
255   {
256     m_uiout->redirect (NULL);
257   }
258
259   ui_out_redirect_pop (const ui_out_redirect_pop &) = delete;
260   ui_out_redirect_pop &operator= (const ui_out_redirect_pop &) = delete;
261
262 private:
263   struct ui_out *m_uiout;
264 };
265
266 #endif /* UI_OUT_H */