1 /* Support for printing C and C++ types for GDB, the GNU debugger.
2 Copyright 1986, 1988, 1989, 1991 Free Software Foundation, Inc.
4 This file is part of GDB.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
22 #include "bfd.h" /* Binary File Description */
25 #include "expression.h"
34 #include "typeprint.h"
40 c_type_print_args
PARAMS ((struct type
*, GDB_FILE
*));
43 c_type_print_varspec_suffix
PARAMS ((struct type
*, GDB_FILE
*, int, int, int));
46 cp_type_print_derivation_info
PARAMS ((GDB_FILE
*, struct type
*));
49 c_type_print_varspec_prefix
PARAMS ((struct type
*, GDB_FILE
*, int, int));
52 c_type_print_base
PARAMS ((struct type
*, GDB_FILE
*, int, int));
55 /* Print a description of a type in the format of a
56 typedef for the current language.
57 NEW is the new name for a type TYPE. */
60 c_typedef_print (type
, new, stream
)
65 switch (current_language
->la_language
)
70 fprintf_filtered(stream
, "typedef ");
71 type_print(type
,"",stream
,0);
72 if(TYPE_NAME ((SYMBOL_TYPE (new))) == 0
73 || !STREQ (TYPE_NAME ((SYMBOL_TYPE (new))), SYMBOL_NAME (new)))
74 fprintf_filtered(stream
, " %s", SYMBOL_SOURCE_NAME(new));
79 fprintf_filtered(stream
, "TYPE ");
80 if(!TYPE_NAME(SYMBOL_TYPE(new)) ||
81 !STREQ (TYPE_NAME(SYMBOL_TYPE(new)), SYMBOL_NAME(new)))
82 fprintf_filtered(stream
, "%s = ", SYMBOL_SOURCE_NAME(new));
84 fprintf_filtered(stream
, "<builtin> = ");
85 type_print(type
,"",stream
,0);
90 fprintf_filtered(stream
, "SYNMODE ");
91 if(!TYPE_NAME(SYMBOL_TYPE(new)) ||
92 !STREQ (TYPE_NAME(SYMBOL_TYPE(new)), SYMBOL_NAME(new)))
93 fprintf_filtered(stream
, "%s = ", SYMBOL_SOURCE_NAME(new));
95 fprintf_filtered(stream
, "<builtin> = ");
96 type_print(type
,"",stream
,0);
100 error("Language not supported.");
102 fprintf_filtered(stream
, ";\n");
106 /* LEVEL is the depth to indent lines by. */
109 c_print_type (type
, varstring
, stream
, show
, level
)
116 register enum type_code code
;
119 c_type_print_base (type
, stream
, show
, level
);
120 code
= TYPE_CODE (type
);
121 if ((varstring
!= NULL
&& *varstring
!= '\0')
123 /* Need a space if going to print stars or brackets;
124 but not if we will print just a type name. */
125 ((show
> 0 || TYPE_NAME (type
) == 0)
127 (code
== TYPE_CODE_PTR
|| code
== TYPE_CODE_FUNC
128 || code
== TYPE_CODE_METHOD
129 || code
== TYPE_CODE_ARRAY
130 || code
== TYPE_CODE_MEMBER
131 || code
== TYPE_CODE_REF
)))
132 fputs_filtered (" ", stream
);
133 c_type_print_varspec_prefix (type
, stream
, show
, 0);
135 fputs_filtered (varstring
, stream
);
137 /* For demangled function names, we have the arglist as part of the name,
138 so don't print an additional pair of ()'s */
140 demangled_args
= strchr(varstring
, '(') != NULL
;
141 c_type_print_varspec_suffix (type
, stream
, show
, 0, demangled_args
);
145 /* Print the C++ method arguments ARGS to the file STREAM. */
148 cp_type_print_method_args (args
, prefix
, varstring
, staticp
, stream
)
157 fprintf_symbol_filtered (stream
, prefix
, language_cplus
, DMGL_ANSI
);
158 fprintf_symbol_filtered (stream
, varstring
, language_cplus
, DMGL_ANSI
);
159 fputs_filtered (" (", stream
);
160 if (args
&& args
[!staticp
] && args
[!staticp
]->code
!= TYPE_CODE_VOID
)
162 i
= !staticp
; /* skip the class variable */
165 type_print (args
[i
++], "", stream
, 0);
168 fprintf_filtered (stream
, " ...");
171 else if (args
[i
]->code
!= TYPE_CODE_VOID
)
173 fprintf_filtered (stream
, ", ");
178 fprintf_filtered (stream
, ")");
181 /* If TYPE is a derived type, then print out derivation information.
182 Print only the actual base classes of this type, not the base classes
183 of the base classes. I.E. for the derivation hierarchy:
186 class B : public A {int b; };
187 class C : public B {int c; };
189 Print the type of class C as:
195 Not as the following (like gdb used to), which is not legal C++ syntax for
196 derived types and may be confused with the multiple inheritance form:
198 class C : public B : public A {
202 In general, gdb should try to print the types as closely as possible to
203 the form that they appear in the source code. */
206 cp_type_print_derivation_info (stream
, type
)
213 for (i
= 0; i
< TYPE_N_BASECLASSES (type
); i
++)
215 fputs_filtered (i
== 0 ? ": " : ", ", stream
);
216 fprintf_filtered (stream
, "%s%s ",
217 BASETYPE_VIA_PUBLIC (type
, i
) ? "public" : "private",
218 BASETYPE_VIA_VIRTUAL(type
, i
) ? " virtual" : "");
219 name
= type_name_no_tag (TYPE_BASECLASS (type
, i
));
220 fprintf_filtered (stream
, "%s", name
? name
: "(null)");
224 fputs_filtered (" ", stream
);
228 /* Print any asterisks or open-parentheses needed before the
229 variable name (to describe its type).
231 On outermost call, pass 0 for PASSED_A_PTR.
232 On outermost call, SHOW > 0 means should ignore
233 any typename for TYPE and show its details.
234 SHOW is always zero on recursive calls. */
237 c_type_print_varspec_prefix (type
, stream
, show
, passed_a_ptr
)
247 if (TYPE_NAME (type
) && show
<= 0)
252 switch (TYPE_CODE (type
))
255 c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 1);
256 fprintf_filtered (stream
, "*");
259 case TYPE_CODE_MEMBER
:
261 fprintf_filtered (stream
, "(");
262 c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 0);
263 fprintf_filtered (stream
, " ");
264 name
= type_name_no_tag (TYPE_DOMAIN_TYPE (type
));
266 fputs_filtered (name
, stream
);
268 c_type_print_base (TYPE_DOMAIN_TYPE (type
), stream
, 0, passed_a_ptr
);
269 fprintf_filtered (stream
, "::");
272 case TYPE_CODE_METHOD
:
274 fprintf_unfiltered (stream
, "(");
275 c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 0);
278 fprintf_filtered (stream
, " ");
279 c_type_print_base (TYPE_DOMAIN_TYPE (type
), stream
, 0, passed_a_ptr
);
280 fprintf_filtered (stream
, "::");
285 c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 1);
286 fprintf_filtered (stream
, "&");
290 c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 0);
292 fprintf_filtered (stream
, "(");
295 case TYPE_CODE_ARRAY
:
296 c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 0);
298 fprintf_filtered (stream
, "(");
301 case TYPE_CODE_UNDEF
:
302 case TYPE_CODE_STRUCT
:
303 case TYPE_CODE_UNION
:
308 case TYPE_CODE_ERROR
:
312 case TYPE_CODE_RANGE
:
313 case TYPE_CODE_STRING
:
314 case TYPE_CODE_BITSTRING
:
315 case TYPE_CODE_COMPLEX
:
316 case TYPE_CODE_LITERAL_COMPLEX
:
317 case TYPE_CODE_LITERAL_STRING
:
318 /* These types need no prefix. They are listed here so that
319 gcc -Wall will reveal any types that haven't been handled. */
325 c_type_print_args (type
, stream
)
332 fprintf_filtered (stream
, "(");
333 args
= TYPE_ARG_TYPES (type
);
338 fprintf_filtered (stream
, "...");
343 args
[i
] != NULL
&& args
[i
]->code
!= TYPE_CODE_VOID
;
346 c_print_type (args
[i
], "", stream
, -1, 0);
347 if (args
[i
+1] == NULL
)
349 fprintf_filtered (stream
, "...");
351 else if (args
[i
+1]->code
!= TYPE_CODE_VOID
)
353 fprintf_filtered (stream
, ",");
359 fprintf_filtered (stream
, ")");
362 /* Print any array sizes, function arguments or close parentheses
363 needed after the variable name (to describe its type).
364 Args work like c_type_print_varspec_prefix. */
367 c_type_print_varspec_suffix (type
, stream
, show
, passed_a_ptr
, demangled_args
)
377 if (TYPE_NAME (type
) && show
<= 0)
382 switch (TYPE_CODE (type
))
384 case TYPE_CODE_ARRAY
:
386 fprintf_filtered (stream
, ")");
388 fprintf_filtered (stream
, "[");
389 if (TYPE_LENGTH (type
) > 0 && TYPE_LENGTH (TYPE_TARGET_TYPE (type
)) > 0)
390 fprintf_filtered (stream
, "%d",
392 / TYPE_LENGTH (TYPE_TARGET_TYPE (type
))));
393 fprintf_filtered (stream
, "]");
395 c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0, 0, 0);
398 case TYPE_CODE_MEMBER
:
400 fprintf_filtered (stream
, ")");
401 c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0, 0, 0);
404 case TYPE_CODE_METHOD
:
406 fprintf_filtered (stream
, ")");
407 c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0, 0, 0);
410 c_type_print_args (type
, stream
);
416 c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0, 1, 0);
421 fprintf_filtered (stream
, ")");
423 fprintf_filtered (stream
, "()");
424 c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0,
428 case TYPE_CODE_UNDEF
:
429 case TYPE_CODE_STRUCT
:
430 case TYPE_CODE_UNION
:
435 case TYPE_CODE_ERROR
:
439 case TYPE_CODE_RANGE
:
440 case TYPE_CODE_STRING
:
441 case TYPE_CODE_BITSTRING
:
442 case TYPE_CODE_COMPLEX
:
443 case TYPE_CODE_LITERAL_COMPLEX
:
444 case TYPE_CODE_LITERAL_STRING
:
445 /* These types do not need a suffix. They are listed so that
446 gcc -Wall will report types that may not have been considered. */
451 /* Print the name of the type (or the ultimate pointer target,
452 function value or array element), or the description of a
455 SHOW positive means print details about the type (e.g. enum values),
456 and print structure elements passing SHOW - 1 for show.
457 SHOW negative means just print the type name or struct tag if there is one.
458 If there is no name, print something sensible but concise like
460 SHOW zero means just print the type name or struct tag if there is one.
461 If there is no name, print something sensible but not as concise like
462 "struct {int x; int y;}".
464 LEVEL is the number of spaces to indent by.
465 We increase it for some recursive calls. */
468 c_type_print_base (type
, stream
, show
, level
)
476 register int lastval
;
478 char *demangled_name
;
479 enum {s_none
, s_public
, s_private
, s_protected
} section_type
;
485 fputs_filtered ("<type unknown>", stream
);
489 /* When SHOW is zero or less, and there is a valid type name, then always
490 just print the type name directly from the type. */
491 /* If we have "typedef struct foo {. . .} bar;" do we want to print it
492 as "struct foo" or as "bar"? Pick the latter, because C++ folk tend
493 to expect things like "class5 *foo" rather than "struct class5 *foo". */
496 && TYPE_NAME (type
) != NULL
)
498 fputs_filtered (TYPE_NAME (type
), stream
);
502 check_stub_type (type
);
504 switch (TYPE_CODE (type
))
506 case TYPE_CODE_ARRAY
:
508 case TYPE_CODE_MEMBER
:
511 case TYPE_CODE_METHOD
:
512 c_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
515 case TYPE_CODE_STRUCT
:
516 if (HAVE_CPLUS_STRUCT (type
))
518 fprintf_filtered (stream
, "class ");
522 fprintf_filtered (stream
, "struct ");
526 case TYPE_CODE_UNION
:
527 fprintf_filtered (stream
, "union ");
530 if (TYPE_TAG_NAME (type
) != NULL
)
532 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
534 fputs_filtered (" ", stream
);
539 /* If we just printed a tag name, no need to print anything else. */
540 if (TYPE_TAG_NAME (type
) == NULL
)
541 fprintf_filtered (stream
, "{...}");
543 else if (show
> 0 || TYPE_TAG_NAME (type
) == NULL
)
545 cp_type_print_derivation_info (stream
, type
);
547 fprintf_filtered (stream
, "{\n");
548 if ((TYPE_NFIELDS (type
) == 0) && (TYPE_NFN_FIELDS (type
) == 0))
550 if (TYPE_FLAGS (type
) & TYPE_FLAG_STUB
)
551 fprintfi_filtered (level
+ 4, stream
, "<incomplete type>\n");
553 fprintfi_filtered (level
+ 4, stream
, "<no data fields>\n");
556 /* Start off with no specific section type, so we can print
557 one for the first field we find, and use that section type
558 thereafter until we find another type. */
560 section_type
= s_none
;
562 /* If there is a base class for this type,
563 do not print the field that it occupies. */
565 len
= TYPE_NFIELDS (type
);
566 for (i
= TYPE_N_BASECLASSES (type
); i
< len
; i
++)
569 /* Don't print out virtual function table. */
570 if ((TYPE_FIELD_NAME (type
, i
))[5] == CPLUS_MARKER
&&
571 !strncmp (TYPE_FIELD_NAME (type
, i
), "_vptr", 5))
574 /* If this is a C++ class we can print the various C++ section
577 if (HAVE_CPLUS_STRUCT (type
))
579 if (TYPE_FIELD_PROTECTED (type
, i
))
581 if (section_type
!= s_protected
)
583 section_type
= s_protected
;
584 fprintfi_filtered (level
+ 2, stream
,
588 else if (TYPE_FIELD_PRIVATE (type
, i
))
590 if (section_type
!= s_private
)
592 section_type
= s_private
;
593 fprintfi_filtered (level
+ 2, stream
, "private:\n");
598 if (section_type
!= s_public
)
600 section_type
= s_public
;
601 fprintfi_filtered (level
+ 2, stream
, "public:\n");
606 print_spaces_filtered (level
+ 4, stream
);
607 if (TYPE_FIELD_STATIC (type
, i
))
609 fprintf_filtered (stream
, "static ");
611 c_print_type (TYPE_FIELD_TYPE (type
, i
),
612 TYPE_FIELD_NAME (type
, i
),
613 stream
, show
- 1, level
+ 4);
614 if (!TYPE_FIELD_STATIC (type
, i
)
615 && TYPE_FIELD_PACKED (type
, i
))
617 /* It is a bitfield. This code does not attempt
618 to look at the bitpos and reconstruct filler,
619 unnamed fields. This would lead to misleading
620 results if the compiler does not put out fields
621 for such things (I don't know what it does). */
622 fprintf_filtered (stream
, " : %d",
623 TYPE_FIELD_BITSIZE (type
, i
));
625 fprintf_filtered (stream
, ";\n");
628 /* If there are both fields and methods, put a space between. */
629 len
= TYPE_NFN_FIELDS (type
);
630 if (len
&& section_type
!= s_none
)
631 fprintf_filtered (stream
, "\n");
633 /* C++: print out the methods */
635 for (i
= 0; i
< len
; i
++)
637 struct fn_field
*f
= TYPE_FN_FIELDLIST1 (type
, i
);
638 int j
, len2
= TYPE_FN_FIELDLIST_LENGTH (type
, i
);
639 char *method_name
= TYPE_FN_FIELDLIST_NAME (type
, i
);
640 char *name
= type_name_no_tag (type
);
641 int is_constructor
= name
&& STREQ(method_name
, name
);
642 for (j
= 0; j
< len2
; j
++)
645 if (TYPE_FN_FIELD_PROTECTED (f
, j
))
647 if (section_type
!= s_protected
)
649 section_type
= s_protected
;
650 fprintfi_filtered (level
+ 2, stream
,
654 else if (TYPE_FN_FIELD_PRIVATE (f
, j
))
656 if (section_type
!= s_private
)
658 section_type
= s_private
;
659 fprintfi_filtered (level
+ 2, stream
, "private:\n");
664 if (section_type
!= s_public
)
666 section_type
= s_public
;
667 fprintfi_filtered (level
+ 2, stream
, "public:\n");
671 print_spaces_filtered (level
+ 4, stream
);
672 if (TYPE_FN_FIELD_VIRTUAL_P (f
, j
))
673 fprintf_filtered (stream
, "virtual ");
674 else if (TYPE_FN_FIELD_STATIC_P (f
, j
))
675 fprintf_filtered (stream
, "static ");
676 if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)) == 0)
678 /* Keep GDB from crashing here. */
679 fprintf_unfiltered (stream
, "<undefined type> %s;\n",
680 TYPE_FN_FIELD_PHYSNAME (f
, j
));
683 else if (!is_constructor
)
685 type_print (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)),
687 fputs_filtered (" ", stream
);
689 if (TYPE_FN_FIELD_STUB (f
, j
))
691 /* Build something we can demangle. */
692 mangled_name
= gdb_mangle_name (type
, i
, j
);
694 cplus_demangle (mangled_name
,
695 DMGL_ANSI
| DMGL_PARAMS
);
696 if (demangled_name
== NULL
)
697 fprintf_filtered (stream
, "<badly mangled name %s>",
701 char *demangled_no_class
=
702 strchr (demangled_name
, ':');
704 if (demangled_no_class
== NULL
)
705 demangled_no_class
= demangled_name
;
708 if (*++demangled_no_class
== ':')
709 ++demangled_no_class
;
711 fputs_filtered (demangled_no_class
, stream
);
712 free (demangled_name
);
716 else if (TYPE_FN_FIELD_PHYSNAME (f
, j
)[0] == '_'
717 && TYPE_FN_FIELD_PHYSNAME (f
, j
)[1] == CPLUS_MARKER
)
718 cp_type_print_method_args (TYPE_FN_FIELD_ARGS (f
, j
) + 1,
719 "~", method_name
, 0, stream
);
721 cp_type_print_method_args (TYPE_FN_FIELD_ARGS (f
, j
), "",
723 TYPE_FN_FIELD_STATIC_P (f
, j
),
726 fprintf_filtered (stream
, ";\n");
730 fprintfi_filtered (level
, stream
, "}");
735 fprintf_filtered (stream
, "enum ");
736 if (TYPE_TAG_NAME (type
) != NULL
)
738 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
740 fputs_filtered (" ", stream
);
746 /* If we just printed a tag name, no need to print anything else. */
747 if (TYPE_TAG_NAME (type
) == NULL
)
748 fprintf_filtered (stream
, "{...}");
750 else if (show
> 0 || TYPE_TAG_NAME (type
) == NULL
)
752 fprintf_filtered (stream
, "{");
753 len
= TYPE_NFIELDS (type
);
755 for (i
= 0; i
< len
; i
++)
758 if (i
) fprintf_filtered (stream
, ", ");
760 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
761 if (lastval
!= TYPE_FIELD_BITPOS (type
, i
))
763 fprintf_filtered (stream
, " = %d", TYPE_FIELD_BITPOS (type
, i
));
764 lastval
= TYPE_FIELD_BITPOS (type
, i
);
768 fprintf_filtered (stream
, "}");
773 fprintf_filtered (stream
, "void");
776 case TYPE_CODE_UNDEF
:
777 fprintf_filtered (stream
, "struct <unknown>");
780 case TYPE_CODE_ERROR
:
781 fprintf_filtered (stream
, "<unknown type>");
784 case TYPE_CODE_RANGE
:
785 /* This should not occur */
786 fprintf_filtered (stream
, "<range type>");
790 /* Handle types not explicitly handled by the other cases,
791 such as fundamental types. For these, just print whatever
792 the type name is, as recorded in the type itself. If there
793 is no type name, then complain. */
794 if (TYPE_NAME (type
) != NULL
)
796 fputs_filtered (TYPE_NAME (type
), stream
);
800 /* At least for dump_symtab, it is important that this not be
802 fprintf_filtered (stream
, "<invalid type code %d>",