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 len
= TYPE_NFIELDS (type
);
170 for (i
= 0; i
< len
; i
++)
172 struct type
*param_type
= TYPE_FIELD_TYPE (type
, i
);
175 fputs_filtered (", ", stream
);
178 if (TYPE_CODE (param_type
) == TYPE_CODE_REF
)
180 chill_type_print_base (TYPE_TARGET_TYPE (param_type
),
181 stream
, show
, level
);
182 fputs_filtered (" LOC", stream
);
185 chill_type_print_base (param_type
, stream
, show
, level
);
187 fprintf_filtered (stream
, ")");
188 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) != TYPE_CODE_VOID
)
190 fputs_filtered (" RETURNS (", stream
);
191 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
192 fputs_filtered (")", stream
);
196 case TYPE_CODE_STRUCT
:
197 if (chill_varying_type (type
))
199 chill_type_print_base (TYPE_FIELD_TYPE (type
, 1),
200 stream
, show
, level
);
201 fputs_filtered (" VARYING", stream
);
205 fprintf_filtered (stream
, "STRUCT ");
207 fprintf_filtered (stream
, "(\n");
208 if ((TYPE_NFIELDS (type
) == 0) && (TYPE_NFN_FIELDS (type
) == 0))
210 if (TYPE_FLAGS (type
) & TYPE_FLAG_STUB
)
212 fprintfi_filtered (level
+ 4, stream
, "<incomplete type>\n");
216 fprintfi_filtered (level
+ 4, stream
, "<no data fields>\n");
221 len
= TYPE_NFIELDS (type
);
222 for (i
= TYPE_N_BASECLASSES (type
); i
< len
; i
++)
224 struct type
*field_type
= TYPE_FIELD_TYPE (type
, i
);
226 print_spaces_filtered (level
+ 4, stream
);
227 if (TYPE_CODE (field_type
) == TYPE_CODE_UNION
)
228 { int j
; /* variant number */
229 fputs_filtered ("CASE OF\n", stream
);
230 for (j
= 0; j
< TYPE_NFIELDS (field_type
); j
++)
231 { int k
; /* variant field index */
232 struct type
*variant_type
233 = TYPE_FIELD_TYPE (field_type
, j
);
234 int var_len
= TYPE_NFIELDS (variant_type
);
235 print_spaces_filtered (level
+ 4, stream
);
236 if (strcmp (TYPE_FIELD_NAME (field_type
, j
),
238 fputs_filtered ("ELSE\n", stream
);
240 fputs_filtered (":\n", stream
);
241 if (TYPE_CODE (variant_type
) != TYPE_CODE_STRUCT
)
242 error ("variant record confusion");
243 for (k
= 0; k
< var_len
; k
++)
245 print_spaces_filtered (level
+ 8, stream
);
246 chill_print_type (TYPE_FIELD_TYPE (variant_type
, k
),
247 TYPE_FIELD_NAME (variant_type
, k
),
248 stream
, show
- 1, level
+ 8);
249 if (k
< (var_len
- 1))
250 fputs_filtered (",", stream
);
251 fputs_filtered ("\n", stream
);
254 fputs_filtered ("ESAC\n", stream
);
257 chill_print_type (field_type
,
258 TYPE_FIELD_NAME (type
, i
),
259 stream
, show
- 1, level
+ 4);
262 fputs_filtered (",", stream
);
264 fputs_filtered ("\n", stream
);
267 fprintfi_filtered (level
, stream
, ")");
271 case TYPE_CODE_RANGE
:
272 if (TYPE_DUMMY_RANGE (type
) > 0)
273 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
276 struct type
*target
= TYPE_TARGET_TYPE (type
);
277 if (target
&& TYPE_NAME (target
))
278 fputs_filtered (TYPE_NAME (target
), stream
);
280 fputs_filtered ("RANGE", stream
);
282 target
= builtin_type_long
;
283 fputs_filtered (" (", stream
);
284 print_type_scalar (target
, TYPE_LOW_BOUND (type
), stream
);
285 fputs_filtered (":", stream
);
286 print_type_scalar (target
, TYPE_HIGH_BOUND (type
), stream
);
287 fputs_filtered (")", stream
);
293 register int lastval
= 0;
294 fprintf_filtered (stream
, "SET (");
295 len
= TYPE_NFIELDS (type
);
296 for (i
= 0; i
< len
; i
++)
299 if (i
) fprintf_filtered (stream
, ", ");
301 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
302 if (lastval
!= TYPE_FIELD_BITPOS (type
, i
))
304 fprintf_filtered (stream
, " = %d", TYPE_FIELD_BITPOS (type
, i
));
305 lastval
= TYPE_FIELD_BITPOS (type
, i
);
309 fprintf_filtered (stream
, ")");
314 case TYPE_CODE_UNDEF
:
315 case TYPE_CODE_ERROR
:
316 case TYPE_CODE_UNION
:
317 case TYPE_CODE_METHOD
:
318 error ("missing language support in chill_type_print_base");
323 /* Handle types not explicitly handled by the other cases,
324 such as fundamental types. For these, just print whatever
325 the type name is, as recorded in the type itself. If there
326 is no type name, then complain. */
328 if (TYPE_NAME (type
) != NULL
)
330 fputs_filtered (TYPE_NAME (type
), stream
);
334 error ("Unrecognized type code (%d) in symbol table.",
This page took 0.034979 seconds and 4 git commands to generate.