1 /* Support for printing Modula 2 types for GDB, the GNU debugger.
2 Copyright (C) 1986, 1988, 1989, 1991, 1992, 1995, 2000, 2001, 2002, 2003,
3 2004, 2005, 2006, 2007, 2008, 2009, 2010
4 Free Software Foundation, Inc.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
22 #include "gdb_obstack.h"
23 #include "bfd.h" /* Binary File Description */
26 #include "expression.h"
34 #include "typeprint.h"
37 #include "gdb_string.h"
40 static void m2_print_bounds (struct type
*type
,
41 struct ui_file
*stream
, int show
, int level
,
44 static void m2_typedef (struct type
*, struct ui_file
*, int, int);
45 static void m2_array (struct type
*, struct ui_file
*, int, int);
46 static void m2_pointer (struct type
*, struct ui_file
*, int, int);
47 static void m2_ref (struct type
*, struct ui_file
*, int, int);
48 static void m2_procedure (struct type
*, struct ui_file
*, int, int);
49 static void m2_union (struct type
*, struct ui_file
*);
50 static void m2_enum (struct type
*, struct ui_file
*, int, int);
51 static void m2_range (struct type
*, struct ui_file
*, int, int);
52 static void m2_type_name (struct type
*type
, struct ui_file
*stream
);
53 static void m2_short_set (struct type
*type
, struct ui_file
*stream
,
55 static int m2_long_set (struct type
*type
, struct ui_file
*stream
,
57 static int m2_unbounded_array (struct type
*type
, struct ui_file
*stream
,
59 static void m2_record_fields (struct type
*type
, struct ui_file
*stream
,
61 static void m2_unknown (const char *s
, struct type
*type
,
62 struct ui_file
*stream
, int show
, int level
);
64 int m2_is_long_set (struct type
*type
);
65 int m2_is_long_set_of_type (struct type
*type
, struct type
**of_type
);
66 int m2_is_unbounded_array (struct type
*type
);
70 m2_print_type (struct type
*type
, char *varstring
, struct ui_file
*stream
,
83 fputs_filtered (_("<type unknown>"), stream
);
87 code
= TYPE_CODE (type
);
88 switch (TYPE_CODE (type
))
91 m2_short_set(type
, stream
, show
, level
);
94 case TYPE_CODE_STRUCT
:
95 if (m2_long_set (type
, stream
, show
, level
)
96 || m2_unbounded_array (type
, stream
, show
, level
))
98 m2_record_fields (type
, stream
, show
, level
);
101 case TYPE_CODE_TYPEDEF
:
102 m2_typedef (type
, stream
, show
, level
);
105 case TYPE_CODE_ARRAY
:
106 m2_array (type
, stream
, show
, level
);
110 m2_pointer (type
, stream
, show
, level
);
114 m2_ref (type
, stream
, show
, level
);
117 case TYPE_CODE_METHOD
:
118 m2_unknown (_("method"), type
, stream
, show
, level
);
122 m2_procedure (type
, stream
, show
, level
);
125 case TYPE_CODE_UNION
:
126 m2_union (type
, stream
);
130 m2_enum (type
, stream
, show
, level
);
136 case TYPE_CODE_UNDEF
:
137 /* i18n: Do not translate the "struct" part! */
138 m2_unknown (_("undef"), type
, stream
, show
, level
);
141 case TYPE_CODE_ERROR
:
142 m2_unknown (_("error"), type
, stream
, show
, level
);
145 case TYPE_CODE_RANGE
:
146 m2_range (type
, stream
, show
, level
);
150 m2_type_name (type
, stream
);
155 /* Print a typedef using M2 syntax. TYPE is the underlying type.
156 NEW_SYMBOL is the symbol naming the type. STREAM is the stream on
160 m2_print_typedef (struct type
*type
, struct symbol
*new_symbol
,
161 struct ui_file
*stream
)
163 CHECK_TYPEDEF (type
);
164 fprintf_filtered (stream
, "TYPE ");
165 if (!TYPE_NAME (SYMBOL_TYPE (new_symbol
))
166 || strcmp (TYPE_NAME ((SYMBOL_TYPE (new_symbol
))),
167 SYMBOL_LINKAGE_NAME (new_symbol
)) != 0)
168 fprintf_filtered (stream
, "%s = ", SYMBOL_PRINT_NAME (new_symbol
));
170 fprintf_filtered (stream
, "<builtin> = ");
171 type_print (type
, "", stream
, 0);
172 fprintf_filtered (stream
, ";\n");
175 /* m2_type_name - if a, type, has a name then print it. */
178 m2_type_name (struct type
*type
, struct ui_file
*stream
)
180 if (TYPE_NAME (type
) != NULL
)
181 fputs_filtered (TYPE_NAME (type
), stream
);
184 /* m2_range - displays a Modula-2 subrange type. */
187 m2_range (struct type
*type
, struct ui_file
*stream
, int show
,
190 if (TYPE_HIGH_BOUND (type
) == TYPE_LOW_BOUND (type
))
191 m2_print_type (TYPE_DOMAIN_TYPE (type
), "", stream
, show
, level
);
194 struct type
*target
= TYPE_TARGET_TYPE (type
);
196 fprintf_filtered (stream
, "[");
197 print_type_scalar (target
, TYPE_LOW_BOUND (type
), stream
);
198 fprintf_filtered (stream
, "..");
199 print_type_scalar (target
, TYPE_HIGH_BOUND (type
), stream
);
200 fprintf_filtered (stream
, "]");
205 m2_typedef (struct type
*type
, struct ui_file
*stream
, int show
,
208 if (TYPE_NAME (type
) != NULL
)
210 fputs_filtered (TYPE_NAME (type
), stream
);
211 fputs_filtered (" = ", stream
);
213 m2_print_type (TYPE_TARGET_TYPE (type
), "", stream
, show
, level
);
216 /* m2_array - prints out a Modula-2 ARRAY ... OF type. */
218 static void m2_array (struct type
*type
, struct ui_file
*stream
,
221 fprintf_filtered (stream
, "ARRAY [");
222 if (TYPE_LENGTH (TYPE_TARGET_TYPE (type
)) > 0
223 && !TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type
))
225 if (TYPE_INDEX_TYPE (type
) != 0)
227 m2_print_bounds (TYPE_INDEX_TYPE (type
), stream
, show
, -1, 0);
228 fprintf_filtered (stream
, "..");
229 m2_print_bounds (TYPE_INDEX_TYPE (type
), stream
, show
, -1, 1);
232 fprintf_filtered (stream
, "%d",
234 / TYPE_LENGTH (TYPE_TARGET_TYPE (type
))));
236 fprintf_filtered (stream
, "] OF ");
237 m2_print_type (TYPE_TARGET_TYPE (type
), "", stream
, show
, level
);
241 m2_pointer (struct type
*type
, struct ui_file
*stream
, int show
,
244 if (TYPE_CONST (type
))
245 fprintf_filtered (stream
, "[...] : ");
247 fprintf_filtered (stream
, "POINTER TO ");
249 m2_print_type (TYPE_TARGET_TYPE (type
), "", stream
, show
, level
);
253 m2_ref (struct type
*type
, struct ui_file
*stream
, int show
,
256 fprintf_filtered (stream
, "VAR");
257 m2_print_type (TYPE_TARGET_TYPE (type
), "", stream
, show
, level
);
261 m2_unknown (const char *s
, struct type
*type
, struct ui_file
*stream
,
264 fprintf_filtered (stream
, "%s %s", s
, _("is unknown"));
267 static void m2_union (struct type
*type
, struct ui_file
*stream
)
269 fprintf_filtered (stream
, "union");
273 m2_procedure (struct type
*type
, struct ui_file
*stream
,
276 fprintf_filtered (stream
, "PROCEDURE ");
277 m2_type_name (type
, stream
);
278 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
280 int i
, len
= TYPE_NFIELDS (type
);
282 fprintf_filtered (stream
, " (");
283 for (i
= 0; i
< len
; i
++)
287 fputs_filtered (", ", stream
);
290 m2_print_type (TYPE_FIELD_TYPE (type
, i
), "", stream
, -1, 0);
292 if (TYPE_TARGET_TYPE (type
) != NULL
)
294 fprintf_filtered (stream
, " : ");
295 m2_print_type (TYPE_TARGET_TYPE (type
), "", stream
, 0, 0);
301 m2_print_bounds (struct type
*type
,
302 struct ui_file
*stream
, int show
, int level
,
305 struct type
*target
= TYPE_TARGET_TYPE (type
);
307 if (TYPE_NFIELDS(type
) == 0)
311 print_type_scalar (target
, TYPE_HIGH_BOUND (type
), stream
);
313 print_type_scalar (target
, TYPE_LOW_BOUND (type
), stream
);
317 m2_short_set (struct type
*type
, struct ui_file
*stream
, int show
, int level
)
319 fprintf_filtered(stream
, "SET [");
320 m2_print_bounds (TYPE_INDEX_TYPE (type
), stream
,
323 fprintf_filtered(stream
, "..");
324 m2_print_bounds (TYPE_INDEX_TYPE (type
), stream
,
326 fprintf_filtered(stream
, "]");
330 m2_is_long_set (struct type
*type
)
332 LONGEST previous_high
= 0; /* unnecessary initialization
333 keeps gcc -Wall happy */
337 if (TYPE_CODE (type
) == TYPE_CODE_STRUCT
)
340 /* check if all fields of the RECORD are consecutive sets. */
342 len
= TYPE_NFIELDS (type
);
343 for (i
= TYPE_N_BASECLASSES (type
); i
< len
; i
++)
345 if (TYPE_FIELD_TYPE (type
, i
) == NULL
)
347 if (TYPE_CODE (TYPE_FIELD_TYPE (type
, i
)) != TYPE_CODE_SET
)
349 if (TYPE_FIELD_NAME (type
, i
) != NULL
350 && (strcmp (TYPE_FIELD_NAME (type
, i
), "") != 0))
352 range
= TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type
, i
));
353 if ((i
> TYPE_N_BASECLASSES (type
))
354 && previous_high
+ 1 != TYPE_LOW_BOUND (range
))
356 previous_high
= TYPE_HIGH_BOUND (range
);
363 /* m2_get_discrete_bounds - a wrapper for get_discrete_bounds which
364 understands that CHARs might be signed.
365 This should be integrated into gdbtypes.c
366 inside get_discrete_bounds. */
369 m2_get_discrete_bounds (struct type
*type
, LONGEST
*lowp
, LONGEST
*highp
)
371 CHECK_TYPEDEF (type
);
372 switch (TYPE_CODE (type
))
375 if (TYPE_LENGTH (type
) < sizeof (LONGEST
))
377 if (!TYPE_UNSIGNED (type
))
379 *lowp
= -(1 << (TYPE_LENGTH (type
) * TARGET_CHAR_BIT
- 1));
386 return get_discrete_bounds (type
, lowp
, highp
);
390 /* m2_is_long_set_of_type - returns TRUE if the long set was declared as
391 SET OF <oftype> of_type is assigned to the
395 m2_is_long_set_of_type (struct type
*type
, struct type
**of_type
)
403 if (TYPE_CODE (type
) == TYPE_CODE_STRUCT
)
405 len
= TYPE_NFIELDS (type
);
406 i
= TYPE_N_BASECLASSES (type
);
409 range
= TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type
, i
));
410 target
= TYPE_TARGET_TYPE (range
);
412 l1
= TYPE_LOW_BOUND (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type
, i
)));
413 h1
= TYPE_HIGH_BOUND (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type
, len
-1)));
415 if (m2_get_discrete_bounds (target
, &l2
, &h2
) >= 0)
416 return (l1
== l2
&& h1
== h2
);
417 error (_("long_set failed to find discrete bounds for its subtype"));
420 error (_("expecting long_set"));
425 m2_long_set (struct type
*type
, struct ui_file
*stream
, int show
, int level
)
427 struct type
*index_type
;
428 struct type
*range_type
;
429 struct type
*of_type
;
431 int len
= TYPE_NFIELDS (type
);
435 if (m2_is_long_set (type
))
437 if (TYPE_TAG_NAME (type
) != NULL
)
439 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
443 else if (TYPE_NAME (type
) != NULL
)
445 fputs_filtered (TYPE_NAME (type
), stream
);
450 if (TYPE_TAG_NAME (type
) != NULL
|| TYPE_NAME (type
) != NULL
)
451 fputs_filtered (" = ", stream
);
453 if (get_long_set_bounds (type
, &low
, &high
))
455 fprintf_filtered(stream
, "SET OF ");
456 i
= TYPE_N_BASECLASSES (type
);
457 if (m2_is_long_set_of_type (type
, &of_type
))
458 m2_print_type (of_type
, "", stream
, show
- 1, level
);
461 fprintf_filtered(stream
, "[");
462 m2_print_bounds (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type
, i
)),
463 stream
, show
- 1, level
, 0);
465 fprintf_filtered(stream
, "..");
467 m2_print_bounds (TYPE_INDEX_TYPE (TYPE_FIELD_TYPE (type
, len
-1)),
468 stream
, show
- 1, level
, 1);
469 fprintf_filtered(stream
, "]");
473 /* i18n: Do not translate the "SET OF" part! */
474 fprintf_filtered(stream
, _("SET OF <unknown>"));
481 /* m2_is_unbounded_array - returns TRUE if, type, should be regarded
482 as a Modula-2 unbounded ARRAY type. */
485 m2_is_unbounded_array (struct type
*type
)
487 if (TYPE_CODE (type
) == TYPE_CODE_STRUCT
)
490 * check if we have a structure with exactly two fields named
491 * _m2_contents and _m2_high. It also checks to see if the
492 * type of _m2_contents is a pointer. The TYPE_TARGET_TYPE
493 * of the pointer determines the unbounded ARRAY OF type.
495 if (TYPE_NFIELDS (type
) != 2)
497 if (strcmp (TYPE_FIELD_NAME (type
, 0), "_m2_contents") != 0)
499 if (strcmp (TYPE_FIELD_NAME (type
, 1), "_m2_high") != 0)
501 if (TYPE_CODE (TYPE_FIELD_TYPE (type
, 0)) != TYPE_CODE_PTR
)
508 /* m2_unbounded_array - if the struct type matches a Modula-2 unbounded
509 parameter type then display the type as an
510 ARRAY OF type. Returns TRUE if an unbounded
511 array type was detected. */
514 m2_unbounded_array (struct type
*type
, struct ui_file
*stream
, int show
,
517 if (m2_is_unbounded_array (type
))
521 fputs_filtered ("ARRAY OF ", stream
);
522 m2_print_type (TYPE_TARGET_TYPE (TYPE_FIELD_TYPE (type
, 0)),
523 "", stream
, 0, level
);
531 m2_record_fields (struct type
*type
, struct ui_file
*stream
, int show
,
534 /* Print the tag if it exists. */
535 if (TYPE_TAG_NAME (type
) != NULL
)
537 if (strncmp (TYPE_TAG_NAME (type
), "$$", 2) != 0)
539 fputs_filtered (TYPE_TAG_NAME (type
), stream
);
541 fprintf_filtered (stream
, " = ");
547 if (TYPE_CODE (type
) == TYPE_CODE_STRUCT
)
548 fprintf_filtered (stream
, "RECORD ... END ");
549 else if (TYPE_CODE (type
) == TYPE_CODE_UNION
)
550 fprintf_filtered (stream
, "CASE ... END ");
555 int len
= TYPE_NFIELDS (type
);
557 if (TYPE_CODE (type
) == TYPE_CODE_STRUCT
)
558 fprintf_filtered (stream
, "RECORD\n");
559 else if (TYPE_CODE (type
) == TYPE_CODE_UNION
)
560 /* i18n: Do not translate "CASE" and "OF" */
561 fprintf_filtered (stream
, _("CASE <variant> OF\n"));
563 for (i
= TYPE_N_BASECLASSES (type
); i
< len
; i
++)
567 print_spaces_filtered (level
+ 4, stream
);
568 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
569 fputs_filtered (" : ", stream
);
570 m2_print_type (TYPE_FIELD_TYPE (type
, i
),
572 stream
, 0, level
+ 4);
573 if (TYPE_FIELD_PACKED (type
, i
))
575 /* It is a bitfield. This code does not attempt
576 to look at the bitpos and reconstruct filler,
577 unnamed fields. This would lead to misleading
578 results if the compiler does not put out fields
579 for such things (I don't know what it does). */
580 fprintf_filtered (stream
, " : %d",
581 TYPE_FIELD_BITSIZE (type
, i
));
583 fprintf_filtered (stream
, ";\n");
586 fprintfi_filtered (level
, stream
, "END ");
591 m2_enum (struct type
*type
, struct ui_file
*stream
, int show
, int level
)
597 /* If we just printed a tag name, no need to print anything else. */
598 if (TYPE_TAG_NAME (type
) == NULL
)
599 fprintf_filtered (stream
, "(...)");
601 else if (show
> 0 || TYPE_TAG_NAME (type
) == NULL
)
603 fprintf_filtered (stream
, "(");
604 len
= TYPE_NFIELDS (type
);
606 for (i
= 0; i
< len
; i
++)
610 fprintf_filtered (stream
, ", ");
612 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
613 if (lastval
!= TYPE_FIELD_BITPOS (type
, i
))
615 fprintf_filtered (stream
, " = %d", TYPE_FIELD_BITPOS (type
, i
));
616 lastval
= TYPE_FIELD_BITPOS (type
, i
);
620 fprintf_filtered (stream
, ")");
This page took 0.055656 seconds and 4 git commands to generate.