1 /* Support for printing Pascal types for GDB, the GNU debugger.
2 Copyright (C) 2000, 2001, 2002, 2006, 2007, 2008
3 Free Software Foundation, Inc.
5 This file is part of GDB.
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
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 /* This file is derived from p-typeprint.c */
23 #include "gdb_obstack.h"
24 #include "bfd.h" /* Binary File Description */
27 #include "expression.h"
33 #include "typeprint.h"
35 #include "gdb_string.h"
39 static void pascal_type_print_varspec_suffix (struct type
*, struct ui_file
*, int, int, int);
41 static void pascal_type_print_derivation_info (struct ui_file
*, struct type
*);
43 void pascal_type_print_varspec_prefix (struct type
*, struct ui_file
*, int, int);
46 /* LEVEL is the depth to indent lines by. */
49 pascal_print_type (struct type
*type
, char *varstring
, struct ui_file
*stream
,
55 code
= TYPE_CODE (type
);
60 if ((code
== TYPE_CODE_FUNC
61 || code
== TYPE_CODE_METHOD
))
63 pascal_type_print_varspec_prefix (type
, stream
, show
, 0);
66 fputs_filtered (varstring
, stream
);
68 if ((varstring
!= NULL
&& *varstring
!= '\0')
69 && !(code
== TYPE_CODE_FUNC
70 || code
== TYPE_CODE_METHOD
))
72 fputs_filtered (" : ", stream
);
75 if (!(code
== TYPE_CODE_FUNC
76 || code
== TYPE_CODE_METHOD
))
78 pascal_type_print_varspec_prefix (type
, stream
, show
, 0);
81 pascal_type_print_base (type
, stream
, show
, level
);
82 /* For demangled function names, we have the arglist as part of the name,
83 so don't print an additional pair of ()'s */
85 demangled_args
= varstring
? strchr (varstring
, '(') != NULL
: 0;
86 pascal_type_print_varspec_suffix (type
, stream
, show
, 0, demangled_args
);
90 /* Print a typedef using Pascal syntax. TYPE is the underlying type.
91 NEW_SYMBOL is the symbol naming the type. STREAM is the stream on
95 pascal_print_typedef (struct type
*type
, struct symbol
*new_symbol
,
96 struct ui_file
*stream
)
99 fprintf_filtered (stream
, "type ");
100 fprintf_filtered (stream
, "%s = ", SYMBOL_PRINT_NAME (new_symbol
));
101 type_print (type
, "", stream
, 0);
102 fprintf_filtered (stream
, ";\n");
105 /* If TYPE is a derived type, then print out derivation information.
106 Print only the actual base classes of this type, not the base classes
107 of the base classes. I.E. for the derivation hierarchy:
110 class B : public A {int b; };
111 class C : public B {int c; };
113 Print the type of class C as:
119 Not as the following (like gdb used to), which is not legal C++ syntax for
120 derived types and may be confused with the multiple inheritance form:
122 class C : public B : public A {
126 In general, gdb should try to print the types as closely as possible to
127 the form that they appear in the source code. */
130 pascal_type_print_derivation_info (struct ui_file
*stream
, struct type
*type
)
135 for (i
= 0; i
< TYPE_N_BASECLASSES (type
); i
++)
137 fputs_filtered (i
== 0 ? ": " : ", ", stream
);
138 fprintf_filtered (stream
, "%s%s ",
139 BASETYPE_VIA_PUBLIC (type
, i
) ? "public" : "private",
140 BASETYPE_VIA_VIRTUAL (type
, i
) ? " virtual" : "");
141 name
= type_name_no_tag (TYPE_BASECLASS (type
, i
));
142 fprintf_filtered (stream
, "%s", name
? name
: "(null)");
146 fputs_filtered (" ", stream
);
150 /* Print the Pascal method arguments ARGS to the file STREAM. */
153 pascal_type_print_method_args (char *physname
, char *methodname
,
154 struct ui_file
*stream
)
156 int is_constructor
= (strncmp (physname
, "__ct__", 6) == 0);
157 int is_destructor
= (strncmp (physname
, "__dt__", 6) == 0);
159 if (is_constructor
|| is_destructor
)
164 fputs_filtered (methodname
, stream
);
166 if (physname
&& (*physname
!= 0))
172 fputs_filtered (" (", stream
);
173 /* we must demangle this */
174 while (isdigit (physname
[0]))
176 while (isdigit (physname
[len
]))
180 i
= strtol (physname
, &argname
, 0);
182 storec
= physname
[i
];
184 fputs_filtered (physname
, stream
);
185 physname
[i
] = storec
;
187 if (physname
[0] != 0)
189 fputs_filtered (", ", stream
);
192 fputs_filtered (")", stream
);
196 /* Print any asterisks or open-parentheses needed before the
197 variable name (to describe its type).
199 On outermost call, pass 0 for PASSED_A_PTR.
200 On outermost call, SHOW > 0 means should ignore
201 any typename for TYPE and show its details.
202 SHOW is always zero on recursive calls. */
205 pascal_type_print_varspec_prefix (struct type
*type
, struct ui_file
*stream
,
206 int show
, int passed_a_ptr
)
212 if (TYPE_NAME (type
) && show
<= 0)
217 switch (TYPE_CODE (type
))
220 fprintf_filtered (stream
, "^");
221 pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 1);
222 break; /* pointer should be handled normally in pascal */
224 case TYPE_CODE_METHOD
:
226 fprintf_filtered (stream
, "(");
227 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
229 fprintf_filtered (stream
, "function ");
233 fprintf_filtered (stream
, "procedure ");
238 fprintf_filtered (stream
, " ");
239 pascal_type_print_base (TYPE_DOMAIN_TYPE (type
), stream
, 0, passed_a_ptr
);
240 fprintf_filtered (stream
, "::");
245 pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 1);
246 fprintf_filtered (stream
, "&");
251 fprintf_filtered (stream
, "(");
253 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
255 fprintf_filtered (stream
, "function ");
259 fprintf_filtered (stream
, "procedure ");
264 case TYPE_CODE_ARRAY
:
266 fprintf_filtered (stream
, "(");
267 fprintf_filtered (stream
, "array ");
268 if (TYPE_LENGTH (TYPE_TARGET_TYPE (type
)) > 0
269 && !TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type
))
270 fprintf_filtered (stream
, "[%d..%d] ",
271 TYPE_ARRAY_LOWER_BOUND_VALUE (type
),
272 TYPE_ARRAY_UPPER_BOUND_VALUE (type
)
274 fprintf_filtered (stream
, "of ");
277 case TYPE_CODE_UNDEF
:
278 case TYPE_CODE_STRUCT
:
279 case TYPE_CODE_UNION
:
284 case TYPE_CODE_ERROR
:
288 case TYPE_CODE_RANGE
:
289 case TYPE_CODE_STRING
:
290 case TYPE_CODE_BITSTRING
:
291 case TYPE_CODE_COMPLEX
:
292 case TYPE_CODE_TYPEDEF
:
293 case TYPE_CODE_TEMPLATE
:
294 /* These types need no prefix. They are listed here so that
295 gcc -Wall will reveal any types that haven't been handled. */
298 error (_("type not handled in pascal_type_print_varspec_prefix()"));
304 pascal_print_func_args (struct type
*type
, struct ui_file
*stream
)
306 int i
, len
= TYPE_NFIELDS (type
);
309 fprintf_filtered (stream
, "(");
311 for (i
= 0; i
< len
; i
++)
315 fputs_filtered (", ", stream
);
318 /* can we find if it is a var parameter ??
319 if ( TYPE_FIELD(type, i) == )
321 fprintf_filtered (stream, "var ");
323 pascal_print_type (TYPE_FIELD_TYPE (type
, i
), "" /* TYPE_FIELD_NAME seems invalid ! */
328 fprintf_filtered (stream
, ")");
332 /* Print any array sizes, function arguments or close parentheses
333 needed after the variable name (to describe its type).
334 Args work like pascal_type_print_varspec_prefix. */
337 pascal_type_print_varspec_suffix (struct type
*type
, struct ui_file
*stream
,
338 int show
, int passed_a_ptr
,
344 if (TYPE_NAME (type
) && show
<= 0)
349 switch (TYPE_CODE (type
))
351 case TYPE_CODE_ARRAY
:
353 fprintf_filtered (stream
, ")");
356 case TYPE_CODE_METHOD
:
358 fprintf_filtered (stream
, ")");
359 pascal_type_print_method_args ("",
362 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
364 fprintf_filtered (stream
, " : ");
365 pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 0);
366 pascal_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, 0);
367 pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0,
374 pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0, 1, 0);
379 fprintf_filtered (stream
, ")");
381 pascal_print_func_args (type
, stream
);
382 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
384 fprintf_filtered (stream
, " : ");
385 pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 0);
386 pascal_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, 0);
387 pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0,
392 case TYPE_CODE_UNDEF
:
393 case TYPE_CODE_STRUCT
:
394 case TYPE_CODE_UNION
:
399 case TYPE_CODE_ERROR
:
403 case TYPE_CODE_RANGE
:
404 case TYPE_CODE_STRING
:
405 case TYPE_CODE_BITSTRING
:
406 case TYPE_CODE_COMPLEX
:
407 case TYPE_CODE_TYPEDEF
:
408 case TYPE_CODE_TEMPLATE
:
409 /* These types do not need a suffix. They are listed so that
410 gcc -Wall will report types that may not have been considered. */
413 error (_("type not handled in pascal_type_print_varspec_suffix()"));
418 /* Print the name of the type (or the ultimate pointer target,
419 function value or array element), or the description of a
422 SHOW positive means print details about the type (e.g. enum values),
423 and print structure elements passing SHOW - 1 for show.
424 SHOW negative means just print the type name or struct tag if there is one.
425 If there is no name, print something sensible but concise like
427 SHOW zero means just print the type name or struct tag if there is one.
428 If there is no name, print something sensible but not as concise like
429 "struct {int x; int y;}".
431 LEVEL is the number of spaces to indent by.
432 We increase it for some recursive calls. */
435 pascal_type_print_base (struct type
*type
, struct ui_file
*stream
, int show
,
443 s_none
, s_public
, s_private
, s_protected
451 fputs_filtered ("<type unknown>", stream
);
456 if ((TYPE_CODE (type
) == TYPE_CODE_PTR
) && (TYPE_CODE (TYPE_TARGET_TYPE (type
)) == TYPE_CODE_VOID
))
458 fputs_filtered (TYPE_NAME (type
) ? TYPE_NAME (type
) : "pointer",
462 /* When SHOW is zero or less, and there is a valid type name, then always
463 just print the type name directly from the type. */
466 && TYPE_NAME (type
) != NULL
)
468 fputs_filtered (TYPE_NAME (type
), stream
);
472 CHECK_TYPEDEF (type
);
474 switch (TYPE_CODE (type
))
476 case TYPE_CODE_TYPEDEF
:
479 /* case TYPE_CODE_FUNC:
480 case TYPE_CODE_METHOD: */
481 pascal_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
484 case TYPE_CODE_ARRAY
:
485 /* pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0);
486 pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
487 pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0); */
488 pascal_print_type (TYPE_TARGET_TYPE (type
), NULL
, stream
, 0, 0);
492 case TYPE_CODE_METHOD
:
494 pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
495 only after args !! */
497 case TYPE_CODE_STRUCT
:
498 if (TYPE_TAG_NAME (type
) != NULL
)
500 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
501 fputs_filtered (" = ", stream
);
503 if (HAVE_CPLUS_STRUCT (type
))
505 fprintf_filtered (stream
, "class ");
509 fprintf_filtered (stream
, "record ");
513 case TYPE_CODE_UNION
:
514 if (TYPE_TAG_NAME (type
) != NULL
)
516 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
517 fputs_filtered (" = ", stream
);
519 fprintf_filtered (stream
, "case <?> of ");
525 /* If we just printed a tag name, no need to print anything else. */
526 if (TYPE_TAG_NAME (type
) == NULL
)
527 fprintf_filtered (stream
, "{...}");
529 else if (show
> 0 || TYPE_TAG_NAME (type
) == NULL
)
531 pascal_type_print_derivation_info (stream
, type
);
533 fprintf_filtered (stream
, "\n");
534 if ((TYPE_NFIELDS (type
) == 0) && (TYPE_NFN_FIELDS (type
) == 0))
536 if (TYPE_STUB (type
))
537 fprintfi_filtered (level
+ 4, stream
, "<incomplete type>\n");
539 fprintfi_filtered (level
+ 4, stream
, "<no data fields>\n");
542 /* Start off with no specific section type, so we can print
543 one for the first field we find, and use that section type
544 thereafter until we find another type. */
546 section_type
= s_none
;
548 /* If there is a base class for this type,
549 do not print the field that it occupies. */
551 len
= TYPE_NFIELDS (type
);
552 for (i
= TYPE_N_BASECLASSES (type
); i
< len
; i
++)
555 /* Don't print out virtual function table. */
556 if ((strncmp (TYPE_FIELD_NAME (type
, i
), "_vptr", 5) == 0)
557 && is_cplus_marker ((TYPE_FIELD_NAME (type
, i
))[5]))
560 /* If this is a pascal object or class we can print the
561 various section labels. */
563 if (HAVE_CPLUS_STRUCT (type
))
565 if (TYPE_FIELD_PROTECTED (type
, i
))
567 if (section_type
!= s_protected
)
569 section_type
= s_protected
;
570 fprintfi_filtered (level
+ 2, stream
,
574 else if (TYPE_FIELD_PRIVATE (type
, i
))
576 if (section_type
!= s_private
)
578 section_type
= s_private
;
579 fprintfi_filtered (level
+ 2, stream
, "private\n");
584 if (section_type
!= s_public
)
586 section_type
= s_public
;
587 fprintfi_filtered (level
+ 2, stream
, "public\n");
592 print_spaces_filtered (level
+ 4, stream
);
593 if (TYPE_FIELD_STATIC (type
, i
))
595 fprintf_filtered (stream
, "static ");
597 pascal_print_type (TYPE_FIELD_TYPE (type
, i
),
598 TYPE_FIELD_NAME (type
, i
),
599 stream
, show
- 1, level
+ 4);
600 if (!TYPE_FIELD_STATIC (type
, i
)
601 && TYPE_FIELD_PACKED (type
, i
))
603 /* It is a bitfield. This code does not attempt
604 to look at the bitpos and reconstruct filler,
605 unnamed fields. This would lead to misleading
606 results if the compiler does not put out fields
607 for such things (I don't know what it does). */
608 fprintf_filtered (stream
, " : %d",
609 TYPE_FIELD_BITSIZE (type
, i
));
611 fprintf_filtered (stream
, ";\n");
614 /* If there are both fields and methods, put a space between. */
615 len
= TYPE_NFN_FIELDS (type
);
616 if (len
&& section_type
!= s_none
)
617 fprintf_filtered (stream
, "\n");
619 /* Pbject pascal: print out the methods */
621 for (i
= 0; i
< len
; i
++)
623 struct fn_field
*f
= TYPE_FN_FIELDLIST1 (type
, i
);
624 int j
, len2
= TYPE_FN_FIELDLIST_LENGTH (type
, i
);
625 char *method_name
= TYPE_FN_FIELDLIST_NAME (type
, i
);
626 char *name
= type_name_no_tag (type
);
627 /* this is GNU C++ specific
628 how can we know constructor/destructor?
629 It might work for GNU pascal */
630 for (j
= 0; j
< len2
; j
++)
632 char *physname
= TYPE_FN_FIELD_PHYSNAME (f
, j
);
634 int is_constructor
= (strncmp (physname
, "__ct__", 6) == 0);
635 int is_destructor
= (strncmp (physname
, "__dt__", 6) == 0);
638 if (TYPE_FN_FIELD_PROTECTED (f
, j
))
640 if (section_type
!= s_protected
)
642 section_type
= s_protected
;
643 fprintfi_filtered (level
+ 2, stream
,
647 else if (TYPE_FN_FIELD_PRIVATE (f
, j
))
649 if (section_type
!= s_private
)
651 section_type
= s_private
;
652 fprintfi_filtered (level
+ 2, stream
, "private\n");
657 if (section_type
!= s_public
)
659 section_type
= s_public
;
660 fprintfi_filtered (level
+ 2, stream
, "public\n");
664 print_spaces_filtered (level
+ 4, stream
);
665 if (TYPE_FN_FIELD_STATIC_P (f
, j
))
666 fprintf_filtered (stream
, "static ");
667 if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)) == 0)
669 /* Keep GDB from crashing here. */
670 fprintf_filtered (stream
, "<undefined type> %s;\n",
671 TYPE_FN_FIELD_PHYSNAME (f
, j
));
677 fprintf_filtered (stream
, "constructor ");
679 else if (is_destructor
)
681 fprintf_filtered (stream
, "destructor ");
683 else if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)) != 0
684 && TYPE_CODE (TYPE_TARGET_TYPE (
685 TYPE_FN_FIELD_TYPE (f
, j
))) != TYPE_CODE_VOID
)
687 fprintf_filtered (stream
, "function ");
691 fprintf_filtered (stream
, "procedure ");
693 /* this does not work, no idea why !! */
695 pascal_type_print_method_args (physname
,
699 if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)) != 0
700 && TYPE_CODE (TYPE_TARGET_TYPE (
701 TYPE_FN_FIELD_TYPE (f
, j
))) != TYPE_CODE_VOID
)
703 fputs_filtered (" : ", stream
);
704 type_print (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)),
707 if (TYPE_FN_FIELD_VIRTUAL_P (f
, j
))
708 fprintf_filtered (stream
, "; virtual");
710 fprintf_filtered (stream
, ";\n");
713 fprintfi_filtered (level
, stream
, "end");
718 if (TYPE_TAG_NAME (type
) != NULL
)
720 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
722 fputs_filtered (" ", stream
);
724 /* enum is just defined by
725 type enume_name = (enum_member1,enum_member2,...) */
726 fprintf_filtered (stream
, " = ");
730 /* If we just printed a tag name, no need to print anything else. */
731 if (TYPE_TAG_NAME (type
) == NULL
)
732 fprintf_filtered (stream
, "(...)");
734 else if (show
> 0 || TYPE_TAG_NAME (type
) == NULL
)
736 fprintf_filtered (stream
, "(");
737 len
= TYPE_NFIELDS (type
);
739 for (i
= 0; i
< len
; i
++)
743 fprintf_filtered (stream
, ", ");
745 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
746 if (lastval
!= TYPE_FIELD_BITPOS (type
, i
))
748 fprintf_filtered (stream
, " := %d", TYPE_FIELD_BITPOS (type
, i
));
749 lastval
= TYPE_FIELD_BITPOS (type
, i
);
753 fprintf_filtered (stream
, ")");
758 fprintf_filtered (stream
, "void");
761 case TYPE_CODE_UNDEF
:
762 fprintf_filtered (stream
, "record <unknown>");
765 case TYPE_CODE_ERROR
:
766 fprintf_filtered (stream
, "<unknown type>");
769 /* this probably does not work for enums */
770 case TYPE_CODE_RANGE
:
772 struct type
*target
= TYPE_TARGET_TYPE (type
);
774 target
= builtin_type_int32
;
775 print_type_scalar (target
, TYPE_LOW_BOUND (type
), stream
);
776 fputs_filtered ("..", stream
);
777 print_type_scalar (target
, TYPE_HIGH_BOUND (type
), stream
);
782 fputs_filtered ("set of ", stream
);
783 pascal_print_type (TYPE_INDEX_TYPE (type
), "", stream
,
787 case TYPE_CODE_BITSTRING
:
788 fputs_filtered ("BitString", stream
);
791 case TYPE_CODE_STRING
:
792 fputs_filtered ("String", stream
);
796 /* Handle types not explicitly handled by the other cases,
797 such as fundamental types. For these, just print whatever
798 the type name is, as recorded in the type itself. If there
799 is no type name, then complain. */
800 if (TYPE_NAME (type
) != NULL
)
802 fputs_filtered (TYPE_NAME (type
), stream
);
806 /* At least for dump_symtab, it is important that this not be
808 fprintf_filtered (stream
, "<invalid unnamed pascal type code %d>",
This page took 0.046197 seconds and 5 git commands to generate.