1 /* Support for printing Pascal types for GDB, the GNU debugger.
2 Copyright (C) 2000, 2001, 2002, 2006, 2007, 2008, 2009, 2010
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
, "[%s..%s] ",
271 plongest (TYPE_ARRAY_LOWER_BOUND_VALUE (type
)),
272 plongest (TYPE_ARRAY_UPPER_BOUND_VALUE (type
)));
273 fprintf_filtered (stream
, "of ");
276 case TYPE_CODE_UNDEF
:
277 case TYPE_CODE_STRUCT
:
278 case TYPE_CODE_UNION
:
283 case TYPE_CODE_ERROR
:
287 case TYPE_CODE_RANGE
:
288 case TYPE_CODE_STRING
:
289 case TYPE_CODE_BITSTRING
:
290 case TYPE_CODE_COMPLEX
:
291 case TYPE_CODE_TYPEDEF
:
292 /* These types need no prefix. They are listed here so that
293 gcc -Wall will reveal any types that haven't been handled. */
296 error (_("type not handled in pascal_type_print_varspec_prefix()"));
302 pascal_print_func_args (struct type
*type
, struct ui_file
*stream
)
304 int i
, len
= TYPE_NFIELDS (type
);
307 fprintf_filtered (stream
, "(");
309 for (i
= 0; i
< len
; i
++)
313 fputs_filtered (", ", stream
);
316 /* can we find if it is a var parameter ??
317 if ( TYPE_FIELD(type, i) == )
319 fprintf_filtered (stream, "var ");
321 pascal_print_type (TYPE_FIELD_TYPE (type
, i
), "" /* TYPE_FIELD_NAME seems invalid ! */
326 fprintf_filtered (stream
, ")");
330 /* Print any array sizes, function arguments or close parentheses
331 needed after the variable name (to describe its type).
332 Args work like pascal_type_print_varspec_prefix. */
335 pascal_type_print_varspec_suffix (struct type
*type
, struct ui_file
*stream
,
336 int show
, int passed_a_ptr
,
342 if (TYPE_NAME (type
) && show
<= 0)
347 switch (TYPE_CODE (type
))
349 case TYPE_CODE_ARRAY
:
351 fprintf_filtered (stream
, ")");
354 case TYPE_CODE_METHOD
:
356 fprintf_filtered (stream
, ")");
357 pascal_type_print_method_args ("",
360 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
362 fprintf_filtered (stream
, " : ");
363 pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 0);
364 pascal_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, 0);
365 pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0,
372 pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0, 1, 0);
377 fprintf_filtered (stream
, ")");
379 pascal_print_func_args (type
, stream
);
380 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
382 fprintf_filtered (stream
, " : ");
383 pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type
), stream
, 0, 0);
384 pascal_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, 0);
385 pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type
), stream
, 0,
390 case TYPE_CODE_UNDEF
:
391 case TYPE_CODE_STRUCT
:
392 case TYPE_CODE_UNION
:
397 case TYPE_CODE_ERROR
:
401 case TYPE_CODE_RANGE
:
402 case TYPE_CODE_STRING
:
403 case TYPE_CODE_BITSTRING
:
404 case TYPE_CODE_COMPLEX
:
405 case TYPE_CODE_TYPEDEF
:
406 /* These types do not need a suffix. They are listed so that
407 gcc -Wall will report types that may not have been considered. */
410 error (_("type not handled in pascal_type_print_varspec_suffix()"));
415 /* Print the name of the type (or the ultimate pointer target,
416 function value or array element), or the description of a
419 SHOW positive means print details about the type (e.g. enum values),
420 and print structure elements passing SHOW - 1 for show.
421 SHOW negative means just print the type name or struct tag if there is one.
422 If there is no name, print something sensible but concise like
424 SHOW zero means just print the type name or struct tag if there is one.
425 If there is no name, print something sensible but not as concise like
426 "struct {int x; int y;}".
428 LEVEL is the number of spaces to indent by.
429 We increase it for some recursive calls. */
432 pascal_type_print_base (struct type
*type
, struct ui_file
*stream
, int show
,
440 s_none
, s_public
, s_private
, s_protected
448 fputs_filtered ("<type unknown>", stream
);
453 if ((TYPE_CODE (type
) == TYPE_CODE_PTR
) && (TYPE_CODE (TYPE_TARGET_TYPE (type
)) == TYPE_CODE_VOID
))
455 fputs_filtered (TYPE_NAME (type
) ? TYPE_NAME (type
) : "pointer",
459 /* When SHOW is zero or less, and there is a valid type name, then always
460 just print the type name directly from the type. */
463 && TYPE_NAME (type
) != NULL
)
465 fputs_filtered (TYPE_NAME (type
), stream
);
469 CHECK_TYPEDEF (type
);
471 switch (TYPE_CODE (type
))
473 case TYPE_CODE_TYPEDEF
:
476 /* case TYPE_CODE_FUNC:
477 case TYPE_CODE_METHOD: */
478 pascal_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
481 case TYPE_CODE_ARRAY
:
482 /* pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0);
483 pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
484 pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0); */
485 pascal_print_type (TYPE_TARGET_TYPE (type
), NULL
, stream
, 0, 0);
489 case TYPE_CODE_METHOD
:
491 pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
492 only after args !! */
494 case TYPE_CODE_STRUCT
:
495 if (TYPE_TAG_NAME (type
) != NULL
)
497 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
498 fputs_filtered (" = ", stream
);
500 if (HAVE_CPLUS_STRUCT (type
))
502 fprintf_filtered (stream
, "class ");
506 fprintf_filtered (stream
, "record ");
510 case TYPE_CODE_UNION
:
511 if (TYPE_TAG_NAME (type
) != NULL
)
513 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
514 fputs_filtered (" = ", stream
);
516 fprintf_filtered (stream
, "case <?> of ");
522 /* If we just printed a tag name, no need to print anything else. */
523 if (TYPE_TAG_NAME (type
) == NULL
)
524 fprintf_filtered (stream
, "{...}");
526 else if (show
> 0 || TYPE_TAG_NAME (type
) == NULL
)
528 pascal_type_print_derivation_info (stream
, type
);
530 fprintf_filtered (stream
, "\n");
531 if ((TYPE_NFIELDS (type
) == 0) && (TYPE_NFN_FIELDS (type
) == 0))
533 if (TYPE_STUB (type
))
534 fprintfi_filtered (level
+ 4, stream
, "<incomplete type>\n");
536 fprintfi_filtered (level
+ 4, stream
, "<no data fields>\n");
539 /* Start off with no specific section type, so we can print
540 one for the first field we find, and use that section type
541 thereafter until we find another type. */
543 section_type
= s_none
;
545 /* If there is a base class for this type,
546 do not print the field that it occupies. */
548 len
= TYPE_NFIELDS (type
);
549 for (i
= TYPE_N_BASECLASSES (type
); i
< len
; i
++)
552 /* Don't print out virtual function table. */
553 if ((strncmp (TYPE_FIELD_NAME (type
, i
), "_vptr", 5) == 0)
554 && is_cplus_marker ((TYPE_FIELD_NAME (type
, i
))[5]))
557 /* If this is a pascal object or class we can print the
558 various section labels. */
560 if (HAVE_CPLUS_STRUCT (type
))
562 if (TYPE_FIELD_PROTECTED (type
, i
))
564 if (section_type
!= s_protected
)
566 section_type
= s_protected
;
567 fprintfi_filtered (level
+ 2, stream
,
571 else if (TYPE_FIELD_PRIVATE (type
, i
))
573 if (section_type
!= s_private
)
575 section_type
= s_private
;
576 fprintfi_filtered (level
+ 2, stream
, "private\n");
581 if (section_type
!= s_public
)
583 section_type
= s_public
;
584 fprintfi_filtered (level
+ 2, stream
, "public\n");
589 print_spaces_filtered (level
+ 4, stream
);
590 if (field_is_static (&TYPE_FIELD (type
, i
)))
591 fprintf_filtered (stream
, "static ");
592 pascal_print_type (TYPE_FIELD_TYPE (type
, i
),
593 TYPE_FIELD_NAME (type
, i
),
594 stream
, show
- 1, level
+ 4);
595 if (!field_is_static (&TYPE_FIELD (type
, i
))
596 && TYPE_FIELD_PACKED (type
, i
))
598 /* It is a bitfield. This code does not attempt
599 to look at the bitpos and reconstruct filler,
600 unnamed fields. This would lead to misleading
601 results if the compiler does not put out fields
602 for such things (I don't know what it does). */
603 fprintf_filtered (stream
, " : %d",
604 TYPE_FIELD_BITSIZE (type
, i
));
606 fprintf_filtered (stream
, ";\n");
609 /* If there are both fields and methods, put a space between. */
610 len
= TYPE_NFN_FIELDS (type
);
611 if (len
&& section_type
!= s_none
)
612 fprintf_filtered (stream
, "\n");
614 /* Pbject pascal: print out the methods */
616 for (i
= 0; i
< len
; i
++)
618 struct fn_field
*f
= TYPE_FN_FIELDLIST1 (type
, i
);
619 int j
, len2
= TYPE_FN_FIELDLIST_LENGTH (type
, i
);
620 char *method_name
= TYPE_FN_FIELDLIST_NAME (type
, i
);
621 char *name
= type_name_no_tag (type
);
622 /* this is GNU C++ specific
623 how can we know constructor/destructor?
624 It might work for GNU pascal */
625 for (j
= 0; j
< len2
; j
++)
627 char *physname
= TYPE_FN_FIELD_PHYSNAME (f
, j
);
629 int is_constructor
= (strncmp (physname
, "__ct__", 6) == 0);
630 int is_destructor
= (strncmp (physname
, "__dt__", 6) == 0);
633 if (TYPE_FN_FIELD_PROTECTED (f
, j
))
635 if (section_type
!= s_protected
)
637 section_type
= s_protected
;
638 fprintfi_filtered (level
+ 2, stream
,
642 else if (TYPE_FN_FIELD_PRIVATE (f
, j
))
644 if (section_type
!= s_private
)
646 section_type
= s_private
;
647 fprintfi_filtered (level
+ 2, stream
, "private\n");
652 if (section_type
!= s_public
)
654 section_type
= s_public
;
655 fprintfi_filtered (level
+ 2, stream
, "public\n");
659 print_spaces_filtered (level
+ 4, stream
);
660 if (TYPE_FN_FIELD_STATIC_P (f
, j
))
661 fprintf_filtered (stream
, "static ");
662 if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)) == 0)
664 /* Keep GDB from crashing here. */
665 fprintf_filtered (stream
, "<undefined type> %s;\n",
666 TYPE_FN_FIELD_PHYSNAME (f
, j
));
672 fprintf_filtered (stream
, "constructor ");
674 else if (is_destructor
)
676 fprintf_filtered (stream
, "destructor ");
678 else if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)) != 0
679 && TYPE_CODE (TYPE_TARGET_TYPE (
680 TYPE_FN_FIELD_TYPE (f
, j
))) != TYPE_CODE_VOID
)
682 fprintf_filtered (stream
, "function ");
686 fprintf_filtered (stream
, "procedure ");
688 /* this does not work, no idea why !! */
690 pascal_type_print_method_args (physname
,
694 if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)) != 0
695 && TYPE_CODE (TYPE_TARGET_TYPE (
696 TYPE_FN_FIELD_TYPE (f
, j
))) != TYPE_CODE_VOID
)
698 fputs_filtered (" : ", stream
);
699 type_print (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f
, j
)),
702 if (TYPE_FN_FIELD_VIRTUAL_P (f
, j
))
703 fprintf_filtered (stream
, "; virtual");
705 fprintf_filtered (stream
, ";\n");
708 fprintfi_filtered (level
, stream
, "end");
713 if (TYPE_TAG_NAME (type
) != NULL
)
715 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
717 fputs_filtered (" ", stream
);
719 /* enum is just defined by
720 type enume_name = (enum_member1,enum_member2,...) */
721 fprintf_filtered (stream
, " = ");
725 /* If we just printed a tag name, no need to print anything else. */
726 if (TYPE_TAG_NAME (type
) == NULL
)
727 fprintf_filtered (stream
, "(...)");
729 else if (show
> 0 || TYPE_TAG_NAME (type
) == NULL
)
731 fprintf_filtered (stream
, "(");
732 len
= TYPE_NFIELDS (type
);
734 for (i
= 0; i
< len
; i
++)
738 fprintf_filtered (stream
, ", ");
740 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
741 if (lastval
!= TYPE_FIELD_BITPOS (type
, i
))
743 fprintf_filtered (stream
, " := %d", TYPE_FIELD_BITPOS (type
, i
));
744 lastval
= TYPE_FIELD_BITPOS (type
, i
);
748 fprintf_filtered (stream
, ")");
753 fprintf_filtered (stream
, "void");
756 case TYPE_CODE_UNDEF
:
757 fprintf_filtered (stream
, "record <unknown>");
760 case TYPE_CODE_ERROR
:
761 fprintf_filtered (stream
, "<unknown type>");
764 /* this probably does not work for enums */
765 case TYPE_CODE_RANGE
:
767 struct type
*target
= TYPE_TARGET_TYPE (type
);
768 print_type_scalar (target
, TYPE_LOW_BOUND (type
), stream
);
769 fputs_filtered ("..", stream
);
770 print_type_scalar (target
, TYPE_HIGH_BOUND (type
), stream
);
775 fputs_filtered ("set of ", stream
);
776 pascal_print_type (TYPE_INDEX_TYPE (type
), "", stream
,
780 case TYPE_CODE_BITSTRING
:
781 fputs_filtered ("BitString", stream
);
784 case TYPE_CODE_STRING
:
785 fputs_filtered ("String", stream
);
789 /* Handle types not explicitly handled by the other cases,
790 such as fundamental types. For these, just print whatever
791 the type name is, as recorded in the type itself. If there
792 is no type name, then complain. */
793 if (TYPE_NAME (type
) != NULL
)
795 fputs_filtered (TYPE_NAME (type
), stream
);
799 /* At least for dump_symtab, it is important that this not be
801 fprintf_filtered (stream
, "<invalid unnamed pascal type code %d>",
This page took 0.046079 seconds and 4 git commands to generate.