]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gdb/typeprint.c
Two fixes in dwarf-mode.el
[thirdparty/binutils-gdb.git] / gdb / typeprint.c
CommitLineData
c906108c 1/* Language independent support for printing types for GDB, the GNU debugger.
1bac305b 2
b811d2c2 3 Copyright (C) 1986-2020 Free Software Foundation, Inc.
c906108c 4
c5aa993b 5 This file is part of GDB.
c906108c 6
c5aa993b
JM
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
a9762ec7 9 the Free Software Foundation; either version 3 of the License, or
c5aa993b 10 (at your option) any later version.
c906108c 11
c5aa993b
JM
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
c906108c 16
c5aa993b 17 You should have received a copy of the GNU General Public License
a9762ec7 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
19
20#include "defs.h"
04ea0df1 21#include "gdb_obstack.h"
c906108c
SS
22#include "bfd.h" /* Binary File Description */
23#include "symtab.h"
24#include "gdbtypes.h"
25#include "expression.h"
26#include "value.h"
27#include "gdbcore.h"
28#include "command.h"
29#include "gdbcmd.h"
30#include "target.h"
31#include "language.h"
015a42b4 32#include "cp-abi.h"
b9362cc7 33#include "typeprint.h"
79a45b7d 34#include "valprint.h"
53342f27
TT
35#include <ctype.h>
36#include "cli/cli-utils.h"
6dddc817 37#include "extension.h"
4fc5d43e 38#include "completer.h"
7f6aba03 39#include "cli/cli-style.h"
c906108c 40
79d43c61
TT
41const struct type_print_options type_print_raw_options =
42{
53342f27
TT
43 1, /* raw */
44 1, /* print_methods */
bd69fc68 45 1, /* print_typedefs */
7c161838 46 0, /* print_offsets */
883fd55a 47 0, /* print_nested_type_limit */
18a9fc12
TT
48 NULL, /* local_typedefs */
49 NULL, /* global_table */
50 NULL /* global_printers */
79d43c61
TT
51};
52
53/* The default flags for 'ptype' and 'whatis'. */
54
55static struct type_print_options default_ptype_flags =
56{
53342f27
TT
57 0, /* raw */
58 1, /* print_methods */
bd69fc68 59 1, /* print_typedefs */
7c161838 60 0, /* print_offsets */
883fd55a 61 0, /* print_nested_type_limit */
18a9fc12
TT
62 NULL, /* local_typedefs */
63 NULL, /* global_table */
64 NULL /* global_printers */
79d43c61 65};
5c6ce71d 66
53342f27
TT
67\f
68
e0c547d1
TT
69/* See typeprint.h. */
70
71const int print_offset_data::indentation = 23;
72
73
74/* See typeprint.h. */
75
76void
77print_offset_data::maybe_print_hole (struct ui_file *stream,
78 unsigned int bitpos,
79 const char *for_what)
80{
81 /* We check for END_BITPOS > 0 because there is a specific
82 scenario when END_BITPOS can be zero and BITPOS can be >
83 0: when we are dealing with a struct/class with a virtual method.
84 Because of the vtable, the first field of the struct/class will
85 have an offset of sizeof (void *) (the size of the vtable). If
86 we do not check for END_BITPOS > 0 here, GDB will report
87 a hole before the first field, which is not accurate. */
88 if (end_bitpos > 0 && end_bitpos < bitpos)
89 {
90 /* If END_BITPOS is smaller than the current type's
91 bitpos, it means there's a hole in the struct, so we report
92 it here. */
93 unsigned int hole = bitpos - end_bitpos;
94 unsigned int hole_byte = hole / TARGET_CHAR_BIT;
95 unsigned int hole_bit = hole % TARGET_CHAR_BIT;
96
97 if (hole_bit > 0)
844333e2 98 fprintf_filtered (stream, "/* XXX %2u-bit %s */\n", hole_bit,
e0c547d1
TT
99 for_what);
100
101 if (hole_byte > 0)
844333e2 102 fprintf_filtered (stream, "/* XXX %2u-byte %s */\n", hole_byte,
e0c547d1
TT
103 for_what);
104 }
105}
106
107/* See typeprint.h. */
108
109void
110print_offset_data::update (struct type *type, unsigned int field_idx,
111 struct ui_file *stream)
112{
ceacbf6e 113 if (field_is_static (&type->field (field_idx)))
e0c547d1
TT
114 {
115 print_spaces_filtered (indentation, stream);
116 return;
117 }
118
940da03e 119 struct type *ftype = check_typedef (type->field (field_idx).type ());
78134374 120 if (type->code () == TYPE_CODE_UNION)
e0c547d1
TT
121 {
122 /* Since union fields don't have the concept of offsets, we just
123 print their sizes. */
cc1defb1
KS
124 fprintf_filtered (stream, "/* %4s */",
125 pulongest (TYPE_LENGTH (ftype)));
e0c547d1
TT
126 return;
127 }
128
129 unsigned int bitpos = TYPE_FIELD_BITPOS (type, field_idx);
130 unsigned int fieldsize_byte = TYPE_LENGTH (ftype);
131 unsigned int fieldsize_bit = fieldsize_byte * TARGET_CHAR_BIT;
132
133 maybe_print_hole (stream, bitpos, "hole");
134
9d3421af
TT
135 if (TYPE_FIELD_PACKED (type, field_idx)
136 || offset_bitpos % TARGET_CHAR_BIT != 0)
e0c547d1 137 {
9d3421af
TT
138 /* We're dealing with a bitfield. Print the bit offset. */
139 fieldsize_bit = TYPE_FIELD_BITSIZE (type, field_idx);
e0c547d1 140
9d3421af
TT
141 unsigned real_bitpos = bitpos + offset_bitpos;
142
143 fprintf_filtered (stream, "/* %4u:%2u", real_bitpos / TARGET_CHAR_BIT,
144 real_bitpos % TARGET_CHAR_BIT);
e0c547d1
TT
145 }
146 else
147 {
148 /* The position of the field, relative to the beginning of the
149 struct. */
150 fprintf_filtered (stream, "/* %4u",
151 (bitpos + offset_bitpos) / TARGET_CHAR_BIT);
152
153 fprintf_filtered (stream, " ");
154 }
155
156 fprintf_filtered (stream, " | %4u */", fieldsize_byte);
157
158 end_bitpos = bitpos + fieldsize_bit;
159}
160
161/* See typeprint.h. */
162
163void
164print_offset_data::finish (struct type *type, int level,
165 struct ui_file *stream)
166{
167 unsigned int bitpos = TYPE_LENGTH (type) * TARGET_CHAR_BIT;
168 maybe_print_hole (stream, bitpos, "padding");
169
170 fputs_filtered ("\n", stream);
171 print_spaces_filtered (level + 4 + print_offset_data::indentation, stream);
cc1defb1
KS
172 fprintf_filtered (stream, "/* total size (bytes): %4s */\n",
173 pulongest (TYPE_LENGTH (type)));
e0c547d1
TT
174}
175
176\f
177
bd69fc68
TT
178/* A hash function for a typedef_field. */
179
180static hashval_t
181hash_typedef_field (const void *p)
182{
883fd55a 183 const struct decl_field *tf = (const struct decl_field *) p;
bd69fc68
TT
184 struct type *t = check_typedef (tf->type);
185
186 return htab_hash_string (TYPE_SAFE_NAME (t));
187}
188
189/* An equality function for a typedef field. */
190
191static int
192eq_typedef_field (const void *a, const void *b)
193{
883fd55a
KS
194 const struct decl_field *tfa = (const struct decl_field *) a;
195 const struct decl_field *tfb = (const struct decl_field *) b;
bd69fc68
TT
196
197 return types_equal (tfa->type, tfb->type);
198}
199
c819b2c0 200/* See typeprint.h. */
bd69fc68
TT
201
202void
c819b2c0 203typedef_hash_table::recursively_update (struct type *t)
bd69fc68
TT
204{
205 int i;
206
bd69fc68
TT
207 for (i = 0; i < TYPE_TYPEDEF_FIELD_COUNT (t); ++i)
208 {
883fd55a 209 struct decl_field *tdef = &TYPE_TYPEDEF_FIELD (t, i);
bd69fc68
TT
210 void **slot;
211
c819b2c0 212 slot = htab_find_slot (m_table, tdef, INSERT);
bd69fc68
TT
213 /* Only add a given typedef name once. Really this shouldn't
214 happen; but it is safe enough to do the updates breadth-first
215 and thus use the most specific typedef. */
216 if (*slot == NULL)
217 *slot = tdef;
218 }
219
220 /* Recurse into superclasses. */
221 for (i = 0; i < TYPE_N_BASECLASSES (t); ++i)
c819b2c0 222 recursively_update (TYPE_BASECLASS (t, i));
bd69fc68
TT
223}
224
c819b2c0 225/* See typeprint.h. */
bd69fc68
TT
226
227void
c819b2c0 228typedef_hash_table::add_template_parameters (struct type *t)
bd69fc68
TT
229{
230 int i;
231
bd69fc68
TT
232 for (i = 0; i < TYPE_N_TEMPLATE_ARGUMENTS (t); ++i)
233 {
883fd55a 234 struct decl_field *tf;
bd69fc68
TT
235 void **slot;
236
237 /* We only want type-valued template parameters in the hash. */
238 if (SYMBOL_CLASS (TYPE_TEMPLATE_ARGUMENT (t, i)) != LOC_TYPEDEF)
239 continue;
240
c819b2c0 241 tf = XOBNEW (&m_storage, struct decl_field);
987012b8 242 tf->name = TYPE_TEMPLATE_ARGUMENT (t, i)->linkage_name ();
bd69fc68
TT
243 tf->type = SYMBOL_TYPE (TYPE_TEMPLATE_ARGUMENT (t, i));
244
c819b2c0 245 slot = htab_find_slot (m_table, tf, INSERT);
bd69fc68
TT
246 if (*slot == NULL)
247 *slot = tf;
248 }
249}
250
c819b2c0 251/* See typeprint.h. */
bd69fc68 252
c819b2c0 253typedef_hash_table::typedef_hash_table ()
bd69fc68 254{
c819b2c0
TT
255 m_table = htab_create_alloc (10, hash_typedef_field, eq_typedef_field,
256 NULL, xcalloc, xfree);
bd69fc68
TT
257}
258
259/* Free a typedef field table. */
260
c819b2c0 261typedef_hash_table::~typedef_hash_table ()
bd69fc68 262{
c819b2c0 263 htab_delete (m_table);
bd69fc68
TT
264}
265
c819b2c0 266/* Helper function for typedef_hash_table::copy. */
bd69fc68
TT
267
268static int
269copy_typedef_hash_element (void **slot, void *nt)
270{
19ba03f4 271 htab_t new_table = (htab_t) nt;
bd69fc68
TT
272 void **new_slot;
273
274 new_slot = htab_find_slot (new_table, *slot, INSERT);
275 if (*new_slot == NULL)
276 *new_slot = *slot;
277
278 return 1;
279}
280
c819b2c0 281/* See typeprint.h. */
18a9fc12 282
c819b2c0 283typedef_hash_table::typedef_hash_table (const typedef_hash_table &table)
18a9fc12 284{
c819b2c0
TT
285 m_table = htab_create_alloc (10, hash_typedef_field, eq_typedef_field,
286 NULL, xcalloc, xfree);
287 htab_traverse_noresize (table.m_table, copy_typedef_hash_element,
288 m_table);
18a9fc12
TT
289}
290
291/* Look up the type T in the global typedef hash. If it is found,
292 return the typedef name. If it is not found, apply the
6dddc817 293 type-printers, if any, given by start_script_type_printers and return the
18a9fc12
TT
294 result. A NULL return means that the name was not found. */
295
c819b2c0
TT
296const char *
297typedef_hash_table::find_global_typedef (const struct type_print_options *flags,
298 struct type *t)
18a9fc12
TT
299{
300 char *applied;
301 void **slot;
883fd55a 302 struct decl_field tf, *new_tf;
18a9fc12
TT
303
304 if (flags->global_typedefs == NULL)
305 return NULL;
306
307 tf.name = NULL;
308 tf.type = t;
309
c819b2c0 310 slot = htab_find_slot (flags->global_typedefs->m_table, &tf, INSERT);
18a9fc12
TT
311 if (*slot != NULL)
312 {
883fd55a 313 new_tf = (struct decl_field *) *slot;
18a9fc12
TT
314 return new_tf->name;
315 }
316
9b94fcf1
DE
317 /* Put an entry into the hash table now, in case
318 apply_ext_lang_type_printers recurses. */
c819b2c0 319 new_tf = XOBNEW (&flags->global_typedefs->m_storage, struct decl_field);
18a9fc12
TT
320 new_tf->name = NULL;
321 new_tf->type = t;
322
323 *slot = new_tf;
324
6dddc817 325 applied = apply_ext_lang_type_printers (flags->global_printers, t);
18a9fc12
TT
326
327 if (applied != NULL)
328 {
021887d8
TT
329 new_tf->name = obstack_strdup (&flags->global_typedefs->m_storage,
330 applied);
18a9fc12
TT
331 xfree (applied);
332 }
333
334 return new_tf->name;
335}
336
c819b2c0 337/* See typeprint.h. */
bd69fc68
TT
338
339const char *
c819b2c0
TT
340typedef_hash_table::find_typedef (const struct type_print_options *flags,
341 struct type *t)
bd69fc68 342{
18a9fc12
TT
343 if (flags->local_typedefs != NULL)
344 {
883fd55a 345 struct decl_field tf, *found;
bd69fc68 346
18a9fc12
TT
347 tf.name = NULL;
348 tf.type = t;
c819b2c0 349 found = (struct decl_field *) htab_find (flags->local_typedefs->m_table,
883fd55a 350 &tf);
bd69fc68 351
18a9fc12
TT
352 if (found != NULL)
353 return found->name;
354 }
bd69fc68 355
18a9fc12 356 return find_global_typedef (flags, t);
bd69fc68
TT
357}
358
359\f
360
a5238fbc
PM
361/* Print a description of a type in the format of a
362 typedef for the current language.
c378eb4e 363 NEW is the new name for a type TYPE. */
a5238fbc
PM
364
365void
fe978cb0 366typedef_print (struct type *type, struct symbol *newobj, struct ui_file *stream)
a5238fbc 367{
fe978cb0 368 LA_PRINT_TYPEDEF (type, newobj, stream);
5c6ce71d
TT
369}
370
c906108c
SS
371/* Print a description of a type TYPE in the form of a declaration of a
372 variable named VARSTRING. (VARSTRING is demangled if necessary.)
373 Output goes to STREAM (via stdio).
374 If SHOW is positive, we show the contents of the outermost level
375 of structure even if there is a type name that could be used instead.
376 If SHOW is negative, we never show the details of elements' types. */
377
378void
0d5cff50 379type_print (struct type *type, const char *varstring, struct ui_file *stream,
fba45db2 380 int show)
c906108c 381{
79d43c61 382 LA_PRINT_TYPE (type, varstring, stream, show, 0, &default_ptype_flags);
c906108c
SS
383}
384
ae6a3a4c
TJB
385/* Print TYPE to a string, returning it. The caller is responsible for
386 freeing the string. */
387
2f408ecb 388std::string
ae6a3a4c
TJB
389type_to_string (struct type *type)
390{
a70b8144 391 try
ae6a3a4c 392 {
d7e74731
PA
393 string_file stb;
394
395 type_print (type, "", &stb, -1);
396 return std::move (stb.string ());
ae6a3a4c 397 }
230d2906 398 catch (const gdb_exception &except)
492d29ea 399 {
492d29ea 400 }
ae6a3a4c 401
d7e74731 402 return {};
ae6a3a4c
TJB
403}
404
7022349d
PA
405/* See typeprint.h. */
406
407void
408type_print_unknown_return_type (struct ui_file *stream)
409{
7f6aba03
TT
410 fprintf_styled (stream, metadata_style.style (),
411 _("<unknown return type>"));
7022349d
PA
412}
413
46a4882b
PA
414/* See typeprint.h. */
415
416void
417error_unknown_type (const char *sym_print_name)
418{
419 error (_("'%s' has unknown type; cast it to its declared type"),
420 sym_print_name);
421}
422
c906108c
SS
423/* Print type of EXP, or last thing in value history if EXP == NULL.
424 show is passed to type_print. */
425
426static void
0b39b52e 427whatis_exp (const char *exp, int show)
c906108c 428{
3d6d86c6 429 struct value *val;
c5aa993b 430 struct type *real_type = NULL;
070ad9f0 431 struct type *type;
c906108c 432 int full = 0;
6b850546 433 LONGEST top = -1;
c906108c 434 int using_enc = 0;
79a45b7d 435 struct value_print_options opts;
53342f27 436 struct type_print_options flags = default_ptype_flags;
c906108c
SS
437
438 if (exp)
439 {
53342f27
TT
440 if (*exp == '/')
441 {
442 int seen_one = 0;
443
444 for (++exp; *exp && !isspace (*exp); ++exp)
445 {
446 switch (*exp)
447 {
448 case 'r':
449 flags.raw = 1;
450 break;
451 case 'm':
452 flags.print_methods = 0;
453 break;
454 case 'M':
455 flags.print_methods = 1;
456 break;
457 case 't':
458 flags.print_typedefs = 0;
459 break;
460 case 'T':
461 flags.print_typedefs = 1;
462 break;
7c161838
SDJ
463 case 'o':
464 {
465 /* Filter out languages which don't implement the
466 feature. */
46afe196
SDJ
467 if (show > 0
468 && (current_language->la_language == language_c
a33ccfc7
TT
469 || current_language->la_language == language_cplus
470 || current_language->la_language == language_rust))
7c161838
SDJ
471 {
472 flags.print_offsets = 1;
473 flags.print_typedefs = 0;
474 flags.print_methods = 0;
475 }
476 break;
477 }
53342f27
TT
478 default:
479 error (_("unrecognized flag '%c'"), *exp);
480 }
481 seen_one = 1;
482 }
483
484 if (!*exp && !seen_one)
485 error (_("flag expected"));
486 if (!isspace (*exp))
487 error (_("expected space after format"));
488 exp = skip_spaces (exp);
489 }
490
4d01a485 491 expression_up expr = parse_expression (exp);
c973d0aa
PA
492
493 /* The behavior of "whatis" depends on whether the user
494 expression names a type directly, or a language expression
495 (including variable names). If the former, then "whatis"
496 strips one level of typedefs, only. If an expression,
497 "whatis" prints the type of the expression without stripping
498 any typedef level. "ptype" always strips all levels of
499 typedefs. */
500 if (show == -1 && expr->elts[0].opcode == OP_TYPE)
501 {
502 /* The user expression names a type directly. */
503 type = expr->elts[1].type;
504
505 /* If this is a typedef, then find its immediate target.
506 Use check_typedef to resolve stubs, but ignore its result
507 because we do not want to dig past all typedefs. */
508 check_typedef (type);
78134374 509 if (type->code () == TYPE_CODE_TYPEDEF)
c973d0aa 510 type = TYPE_TARGET_TYPE (type);
5c319bb2
PA
511
512 /* If the expression is actually a type, then there's no
513 value to fetch the dynamic type from. */
514 val = NULL;
c973d0aa
PA
515 }
516 else
517 {
518 /* The user expression names a type indirectly by naming an
519 object or expression of that type. Find that
520 indirectly-named type. */
521 val = evaluate_type (expr.get ());
522 type = value_type (val);
523 }
c906108c
SS
524 }
525 else
c973d0aa
PA
526 {
527 val = access_value_history (0);
528 type = value_type (val);
529 }
070ad9f0 530
79a45b7d 531 get_user_print_options (&opts);
5c319bb2 532 if (val != NULL && opts.objectprint)
070ad9f0 533 {
78134374
SM
534 if (((type->code () == TYPE_CODE_PTR) || TYPE_IS_REFERENCE (type))
535 && (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_STRUCT))
dfcee124 536 real_type = value_rtti_indirect_type (val, &full, &top, &using_enc);
78134374 537 else if (type->code () == TYPE_CODE_STRUCT)
41808ebe 538 real_type = value_rtti_type (val, &full, &top, &using_enc);
070ad9f0 539 }
c906108c 540
7c161838 541 if (flags.print_offsets
78134374
SM
542 && (type->code () == TYPE_CODE_STRUCT
543 || type->code () == TYPE_CODE_UNION))
7c161838
SDJ
544 fprintf_filtered (gdb_stdout, "/* offset | size */ ");
545
c906108c
SS
546 printf_filtered ("type = ");
547
c819b2c0
TT
548 std::unique_ptr<typedef_hash_table> table_holder;
549 std::unique_ptr<ext_lang_type_printers> printer_holder;
18a9fc12 550 if (!flags.raw)
c819b2c0
TT
551 {
552 table_holder.reset (new typedef_hash_table);
553 flags.global_typedefs = table_holder.get ();
554
555 printer_holder.reset (new ext_lang_type_printers);
556 flags.global_printers = printer_holder.get ();
557 }
18a9fc12 558
070ad9f0
DB
559 if (real_type)
560 {
561 printf_filtered ("/* real type = ");
562 type_print (real_type, "", gdb_stdout, -1);
563 if (! full)
564 printf_filtered (" (incomplete object)");
565 printf_filtered (" */\n");
566 }
c906108c 567
53342f27 568 LA_PRINT_TYPE (type, "", gdb_stdout, show, 0, &flags);
c906108c 569 printf_filtered ("\n");
c906108c
SS
570}
571
c906108c 572static void
0b39b52e 573whatis_command (const char *exp, int from_tty)
c906108c
SS
574{
575 /* Most of the time users do not want to see all the fields
576 in a structure. If they do they can use the "ptype" command.
577 Hence the "-1" below. */
578 whatis_exp (exp, -1);
579}
580
c906108c
SS
581/* TYPENAME is either the name of a type, or an expression. */
582
c906108c 583static void
0b39b52e 584ptype_command (const char *type_name, int from_tty)
c906108c 585{
fe978cb0 586 whatis_exp (type_name, 1);
c906108c
SS
587}
588
589/* Print integral scalar data VAL, of type TYPE, onto stdio stream STREAM.
590 Used to print data from type structures in a specified type. For example,
591 array bounds may be characters or booleans in some languages, and this
592 allows the ranges to be printed in their "natural" form rather than as
593 decimal integer values.
594
595 FIXME: This is here simply because only the type printing routines
596 currently use it, and it wasn't clear if it really belonged somewhere
597 else (like printcmd.c). There are a lot of other gdb routines that do
598 something similar, but they are generally concerned with printing values
41808ebe 599 that come from the inferior in target byte order and target size. */
c906108c
SS
600
601void
fba45db2 602print_type_scalar (struct type *type, LONGEST val, struct ui_file *stream)
c906108c
SS
603{
604 unsigned int i;
605 unsigned len;
606
f168693b 607 type = check_typedef (type);
c906108c 608
78134374 609 switch (type->code ())
c906108c
SS
610 {
611
612 case TYPE_CODE_ENUM:
1f704f76 613 len = type->num_fields ();
c906108c
SS
614 for (i = 0; i < len; i++)
615 {
14e75d8e 616 if (TYPE_FIELD_ENUMVAL (type, i) == val)
c906108c
SS
617 {
618 break;
619 }
620 }
621 if (i < len)
622 {
623 fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
624 }
625 else
626 {
627 print_longest (stream, 'd', 0, val);
628 }
629 break;
630
631 case TYPE_CODE_INT:
632 print_longest (stream, TYPE_UNSIGNED (type) ? 'u' : 'd', 0, val);
633 break;
634
635 case TYPE_CODE_CHAR:
6c7a06a3 636 LA_PRINT_CHAR ((unsigned char) val, type, stream);
c906108c
SS
637 break;
638
639 case TYPE_CODE_BOOL:
640 fprintf_filtered (stream, val ? "TRUE" : "FALSE");
641 break;
642
643 case TYPE_CODE_RANGE:
644 print_type_scalar (TYPE_TARGET_TYPE (type), val, stream);
645 return;
646
647 case TYPE_CODE_UNDEF:
648 case TYPE_CODE_PTR:
649 case TYPE_CODE_ARRAY:
650 case TYPE_CODE_STRUCT:
651 case TYPE_CODE_UNION:
652 case TYPE_CODE_FUNC:
653 case TYPE_CODE_FLT:
654 case TYPE_CODE_VOID:
655 case TYPE_CODE_SET:
656 case TYPE_CODE_STRING:
657 case TYPE_CODE_ERROR:
0d5de010
DJ
658 case TYPE_CODE_MEMBERPTR:
659 case TYPE_CODE_METHODPTR:
c906108c
SS
660 case TYPE_CODE_METHOD:
661 case TYPE_CODE_REF:
aa006118 662 case TYPE_CODE_RVALUE_REF:
5c4e30ca 663 case TYPE_CODE_NAMESPACE:
8a3fe4f8 664 error (_("internal error: unhandled type in print_type_scalar"));
c906108c
SS
665 break;
666
667 default:
8a3fe4f8 668 error (_("Invalid type code in symbol table."));
c906108c 669 }
c906108c
SS
670}
671
c906108c
SS
672/* Dump details of a type specified either directly or indirectly.
673 Uses the same sort of type lookup mechanism as ptype_command()
41808ebe 674 and whatis_command(). */
c906108c
SS
675
676void
58971144 677maintenance_print_type (const char *type_name, int from_tty)
c906108c 678{
3d6d86c6 679 struct value *val;
52f0bd74 680 struct type *type;
c906108c 681
fe978cb0 682 if (type_name != NULL)
c5aa993b 683 {
4d01a485 684 expression_up expr = parse_expression (type_name);
c5aa993b
JM
685 if (expr->elts[0].opcode == OP_TYPE)
686 {
c378eb4e 687 /* The user expression names a type directly, just use that type. */
c5aa993b
JM
688 type = expr->elts[1].type;
689 }
690 else
691 {
692 /* The user expression may name a type indirectly by naming an
c378eb4e 693 object of that type. Find that indirectly named type. */
4d01a485 694 val = evaluate_type (expr.get ());
df407dfe 695 type = value_type (val);
c5aa993b
JM
696 }
697 if (type != NULL)
698 {
699 recursive_dump_type (type, 0);
700 }
c5aa993b 701 }
c906108c 702}
c906108c 703\f
c5aa993b 704
53342f27
TT
705struct cmd_list_element *setprinttypelist;
706
707struct cmd_list_element *showprinttypelist;
708
491144b5 709static bool print_methods = true;
53342f27
TT
710
711static void
eb4c3f4a
TT
712set_print_type_methods (const char *args,
713 int from_tty, struct cmd_list_element *c)
53342f27
TT
714{
715 default_ptype_flags.print_methods = print_methods;
716}
717
718static void
719show_print_type_methods (struct ui_file *file, int from_tty,
720 struct cmd_list_element *c, const char *value)
721{
722 fprintf_filtered (file, _("Printing of methods defined in a class in %s\n"),
723 value);
724}
725
491144b5 726static bool print_typedefs = true;
53342f27
TT
727
728static void
eb4c3f4a
TT
729set_print_type_typedefs (const char *args,
730 int from_tty, struct cmd_list_element *c)
53342f27
TT
731{
732 default_ptype_flags.print_typedefs = print_typedefs;
733}
734
735static void
736show_print_type_typedefs (struct ui_file *file, int from_tty,
737 struct cmd_list_element *c, const char *value)
738{
739 fprintf_filtered (file, _("Printing of typedefs defined in a class in %s\n"),
740 value);
741}
742
883fd55a
KS
743/* Limit on the number of nested type definitions to print or -1 to print
744 all nested type definitions in a class. By default, we do not print
745 nested definitions. */
746
747static int print_nested_type_limit = 0;
748
749/* Set how many nested type definitions should be printed by the type
750 printer. */
751
752static void
753set_print_type_nested_types (const char *args, int from_tty,
754 struct cmd_list_element *c)
755{
756 default_ptype_flags.print_nested_type_limit = print_nested_type_limit;
757}
758
759/* Show how many nested type definitions the type printer will print. */
760
761static void
762show_print_type_nested_types (struct ui_file *file, int from_tty,
763 struct cmd_list_element *c, const char *value)
764{
765 if (*value == '0')
766 {
767 fprintf_filtered (file,
768 _("Will not print nested types defined in a class\n"));
769 }
770 else
771 {
772 fprintf_filtered (file,
773 _("Will print %s nested types defined in a class\n"),
774 value);
775 }
776}
777
6c265988 778void _initialize_typeprint ();
c906108c 779void
6c265988 780_initialize_typeprint ()
c906108c 781{
4fc5d43e
TT
782 struct cmd_list_element *c;
783
784 c = add_com ("ptype", class_vars, ptype_command, _("\
1bedd215 785Print definition of type TYPE.\n\
a9375afe
DE
786Usage: ptype[/FLAGS] TYPE | EXPRESSION\n\
787Argument may be any type (for example a type name defined by typedef,\n\
788or \"struct STRUCT-TAG\" or \"class CLASS-NAME\" or \"union UNION-TAG\"\n\
789or \"enum ENUM-TAG\") or an expression.\n\
11081198 790The selected stack frame's lexical context is used to look up the name.\n\
53342f27
TT
791Contrary to \"whatis\", \"ptype\" always unrolls any typedefs.\n\
792\n\
793Available FLAGS are:\n\
794 /r print in \"raw\" form; do not substitute typedefs\n\
795 /m do not print methods defined in a class\n\
796 /M print methods defined in a class\n\
797 /t do not print typedefs defined in a class\n\
7c161838 798 /T print typedefs defined in a class\n\
89549d7f 799 /o print offsets and sizes of fields in a struct (like pahole)"));
4fc5d43e 800 set_cmd_completer (c, expression_completer);
c906108c 801
4fc5d43e
TT
802 c = add_com ("whatis", class_vars, whatis_command,
803 _("Print data type of expression EXP.\n\
11081198 804Only one level of typedefs is unrolled. See also \"ptype\"."));
4fc5d43e 805 set_cmd_completer (c, expression_completer);
53342f27 806
0743fc83
TT
807 add_show_prefix_cmd ("type", no_class,
808 _("Generic command for showing type-printing settings."),
809 &showprinttypelist, "show print type ", 0,
810 &showprintlist);
811 add_basic_prefix_cmd ("type", no_class,
812 _("Generic command for setting how types print."),
813 &setprinttypelist, "set print type ", 0,
814 &setprintlist);
53342f27
TT
815
816 add_setshow_boolean_cmd ("methods", no_class, &print_methods,
817 _("\
818Set printing of methods defined in classes."), _("\
819Show printing of methods defined in classes."), NULL,
820 set_print_type_methods,
821 show_print_type_methods,
822 &setprinttypelist, &showprinttypelist);
823 add_setshow_boolean_cmd ("typedefs", no_class, &print_typedefs,
824 _("\
825Set printing of typedefs defined in classes."), _("\
826Show printing of typedefs defined in classes."), NULL,
827 set_print_type_typedefs,
828 show_print_type_typedefs,
829 &setprinttypelist, &showprinttypelist);
883fd55a
KS
830
831 add_setshow_zuinteger_unlimited_cmd ("nested-type-limit", no_class,
832 &print_nested_type_limit,
833 _("\
834Set the number of recursive nested type definitions to print \
835(\"unlimited\" or -1 to show all)."), _("\
836Show the number of recursive nested type definitions to print."), NULL,
837 set_print_type_nested_types,
838 show_print_type_nested_types,
839 &setprinttypelist, &showprinttypelist);
c906108c 840}
3f2f83dd
KB
841
842/* Print <not allocated> status to stream STREAM. */
843
844void
845val_print_not_allocated (struct ui_file *stream)
846{
7f6aba03 847 fprintf_styled (stream, metadata_style.style (), _("<not allocated>"));
3f2f83dd
KB
848}
849
850/* Print <not associated> status to stream STREAM. */
851
852void
853val_print_not_associated (struct ui_file *stream)
854{
7f6aba03 855 fprintf_styled (stream, metadata_style.style (), _("<not associated>"));
3f2f83dd 856}