1 /* Support for printing Chill 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 chill_type_print_base
PARAMS ((struct type
*, GDB_FILE
*, int, int));
43 chill_print_type (type
, varstring
, stream
, show
, level
)
50 if (varstring
!= NULL
&& *varstring
!= '\0')
52 fputs_filtered (varstring
, stream
);
53 fputs_filtered (" ", stream
);
55 chill_type_print_base (type
, stream
, show
, level
);
58 /* Print the name of the type (or the ultimate pointer target,
59 function value or array element).
61 SHOW nonzero means don't print this type as just its name;
62 show its real definition even if it has a name.
63 SHOW zero means print just typename or tag if there is one
64 SHOW negative means abbreviate structure elements.
65 SHOW is decremented for printing of structure elements.
67 LEVEL is the depth to indent by.
68 We increase it for some recursive calls. */
71 chill_type_print_base (type
, stream
, show
, level
)
79 struct type
*index_type
;
80 struct type
*range_type
;
89 fputs_filtered ("<type unknown>", stream
);
93 /* When SHOW is zero or less, and there is a valid type name, then always
94 just print the type name directly from the type. */
96 if ((show
<= 0) && (TYPE_NAME (type
) != NULL
))
98 fputs_filtered (TYPE_NAME (type
), stream
);
102 check_stub_type (type
);
104 switch (TYPE_CODE (type
))
107 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) == TYPE_CODE_VOID
)
109 fprintf_filtered (stream
,
110 TYPE_NAME (type
) ? TYPE_NAME (type
) : "PTR");
113 fprintf_filtered (stream
, "REF ");
114 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
118 /* FIXME: we should probably just print the TYPE_NAME, in case
119 anyone ever fixes the compiler to give us the real names
120 in the presence of the chill equivalent of typedef (assuming
122 fprintf_filtered (stream
,
123 TYPE_NAME (type
) ? TYPE_NAME (type
) : "BOOL");
126 case TYPE_CODE_ARRAY
:
127 range_type
= TYPE_FIELD_TYPE (type
, 0);
128 index_type
= TYPE_TARGET_TYPE (range_type
);
129 low_bound
= TYPE_FIELD_BITPOS (range_type
, 0);
130 high_bound
= TYPE_FIELD_BITPOS (range_type
, 1);
131 fputs_filtered ("ARRAY (", stream
);
132 print_type_scalar (index_type
, low_bound
, stream
);
133 fputs_filtered (":", stream
);
134 print_type_scalar (index_type
, high_bound
, stream
);
135 fputs_filtered (") ", stream
);
136 chill_print_type (TYPE_TARGET_TYPE (type
), "", stream
, show
, level
);
139 case TYPE_CODE_BITSTRING
:
140 fprintf_filtered (stream
, "BOOLS (%d)",
141 TYPE_FIELD_BITPOS (TYPE_FIELD_TYPE(type
,0), 1) + 1);
145 fputs_filtered ("POWERSET ", stream
);
146 chill_print_type (TYPE_INDEX_TYPE (type
), "", stream
,
150 case TYPE_CODE_STRING
:
151 range_type
= TYPE_FIELD_TYPE (type
, 0);
152 index_type
= TYPE_TARGET_TYPE (range_type
);
153 high_bound
= TYPE_FIELD_BITPOS (range_type
, 1);
154 fputs_filtered ("CHARS (", stream
);
155 print_type_scalar (index_type
, high_bound
+ 1, stream
);
156 fputs_filtered (")", stream
);
159 case TYPE_CODE_MEMBER
:
160 fprintf_filtered (stream
, "MEMBER ");
161 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
164 fprintf_filtered (stream
, "/*LOC*/ ");
165 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
168 fprintf_filtered (stream
, "PROC (?)");
169 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
171 fputs_filtered (" RETURNS (", stream
);
172 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
173 fputs_filtered (")", stream
);
177 case TYPE_CODE_STRUCT
:
178 if (chill_is_varying_struct (type
))
180 chill_type_print_base (TYPE_FIELD_TYPE (type
, 1),
181 stream
, show
, level
);
182 fputs_filtered (" VARYING", stream
);
186 fprintf_filtered (stream
, "STRUCT ");
188 fprintf_filtered (stream
, "(\n");
189 if ((TYPE_NFIELDS (type
) == 0) && (TYPE_NFN_FIELDS (type
) == 0))
191 if (TYPE_FLAGS (type
) & TYPE_FLAG_STUB
)
193 fprintfi_filtered (level
+ 4, stream
, "<incomplete type>\n");
197 fprintfi_filtered (level
+ 4, stream
, "<no data fields>\n");
202 len
= TYPE_NFIELDS (type
);
203 for (i
= TYPE_N_BASECLASSES (type
); i
< len
; i
++)
205 struct type
*field_type
= TYPE_FIELD_TYPE (type
, i
);
207 print_spaces_filtered (level
+ 4, stream
);
208 if (TYPE_CODE (field_type
) == TYPE_CODE_UNION
)
209 { int j
; /* variant number */
210 fputs_filtered ("CASE OF\n", stream
);
211 for (j
= 0; j
< TYPE_NFIELDS (field_type
); j
++)
212 { int k
; /* variant field index */
213 struct type
*variant_type
214 = TYPE_FIELD_TYPE (field_type
, j
);
215 int var_len
= TYPE_NFIELDS (variant_type
);
216 print_spaces_filtered (level
+ 4, stream
);
217 if (strcmp (TYPE_FIELD_NAME (field_type
, j
),
219 fputs_filtered ("ELSE\n", stream
);
221 fputs_filtered (":\n", stream
);
222 if (TYPE_CODE (variant_type
) != TYPE_CODE_STRUCT
)
223 error ("variant record confusion");
224 for (k
= 0; k
< var_len
; k
++)
226 print_spaces_filtered (level
+ 8, stream
);
227 chill_print_type (TYPE_FIELD_TYPE (variant_type
, k
),
228 TYPE_FIELD_NAME (variant_type
, k
),
229 stream
, show
- 1, level
+ 8);
230 if (k
< (var_len
- 1))
231 fputs_filtered (",", stream
);
232 fputs_filtered ("\n", stream
);
235 fputs_filtered ("ESAC\n", stream
);
238 chill_print_type (field_type
,
239 TYPE_FIELD_NAME (type
, i
),
240 stream
, show
- 1, level
+ 4);
243 fputs_filtered (",", stream
);
245 fputs_filtered ("\n", stream
);
248 fprintfi_filtered (level
, stream
, ")");
252 case TYPE_CODE_RANGE
:
253 if (TYPE_DUMMY_RANGE (type
) > 0)
254 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
257 struct type
*target
= TYPE_TARGET_TYPE (type
);
258 if (target
&& TYPE_NAME (target
))
259 fputs_filtered (TYPE_NAME (target
), stream
);
261 fputs_filtered ("RANGE", stream
);
263 target
= builtin_type_long
;
264 fputs_filtered (" (", stream
);
265 print_type_scalar (target
, TYPE_LOW_BOUND (type
), stream
);
266 fputs_filtered (":", stream
);
267 print_type_scalar (target
, TYPE_HIGH_BOUND (type
), stream
);
268 fputs_filtered (")", stream
);
274 register int lastval
= 0;
275 fprintf_filtered (stream
, "SET (");
276 len
= TYPE_NFIELDS (type
);
277 for (i
= 0; i
< len
; i
++)
280 if (i
) fprintf_filtered (stream
, ", ");
282 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
283 if (lastval
!= TYPE_FIELD_BITPOS (type
, i
))
285 fprintf_filtered (stream
, " = %d", TYPE_FIELD_BITPOS (type
, i
));
286 lastval
= TYPE_FIELD_BITPOS (type
, i
);
290 fprintf_filtered (stream
, ")");
295 case TYPE_CODE_UNDEF
:
296 case TYPE_CODE_ERROR
:
297 case TYPE_CODE_UNION
:
298 case TYPE_CODE_METHOD
:
299 error ("missing language support in chill_type_print_base");
304 /* Handle types not explicitly handled by the other cases,
305 such as fundamental types. For these, just print whatever
306 the type name is, as recorded in the type itself. If there
307 is no type name, then complain. */
309 if (TYPE_NAME (type
) != NULL
)
311 fputs_filtered (TYPE_NAME (type
), stream
);
315 error ("Unrecognized type code (%d) in symbol table.",