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
)
80 struct type
*index_type
;
81 struct type
*range_type
;
90 fputs_filtered ("<type unknown>", stream
);
94 /* When SHOW is zero or less, and there is a valid type name, then always
95 just print the type name directly from the type. */
97 if ((show
<= 0) && (TYPE_NAME (type
) != NULL
))
99 fputs_filtered (TYPE_NAME (type
), stream
);
103 check_stub_type (type
);
105 switch (TYPE_CODE (type
))
108 if (TYPE_CODE (TYPE_TARGET_TYPE (type
)) == TYPE_CODE_VOID
)
110 fprintf_filtered (stream
, "PTR");
113 fprintf_filtered (stream
, "REF ");
114 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
118 fprintf_filtered (stream
, "BOOL");
121 case TYPE_CODE_ARRAY
:
122 range_type
= TYPE_FIELD_TYPE (type
, 0);
123 index_type
= TYPE_TARGET_TYPE (range_type
);
124 low_bound
= TYPE_FIELD_BITPOS (range_type
, 0);
125 high_bound
= TYPE_FIELD_BITPOS (range_type
, 1);
126 fputs_filtered ("ARRAY (", stream
);
127 print_type_scalar (index_type
, low_bound
, stream
);
128 fputs_filtered (":", stream
);
129 print_type_scalar (index_type
, high_bound
, stream
);
130 fputs_filtered (") ", stream
);
131 chill_print_type (TYPE_TARGET_TYPE (type
), "", stream
, show
, level
);
134 case TYPE_CODE_BITSTRING
:
135 fprintf_filtered (stream
, "BOOLS (%d)",
136 TYPE_FIELD_BITPOS (TYPE_FIELD_TYPE(type
,0), 1) + 1);
140 fputs_filtered ("POWERSET ", stream
);
141 chill_print_type (TYPE_FIELD_TYPE (type
, 0), "", stream
,
145 case TYPE_CODE_STRING
:
146 range_type
= TYPE_FIELD_TYPE (type
, 0);
147 index_type
= TYPE_TARGET_TYPE (range_type
);
148 high_bound
= TYPE_FIELD_BITPOS (range_type
, 1);
149 fputs_filtered ("CHARS (", stream
);
150 print_type_scalar (index_type
, high_bound
+ 1, stream
);
151 fputs_filtered (")", stream
);
154 case TYPE_CODE_MEMBER
:
155 fprintf_filtered (stream
, "MEMBER ");
156 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
159 fprintf_filtered (stream
, "/*LOC*/ ");
160 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
163 fprintf_filtered (stream
, "PROC (?)");
164 chill_type_print_base (TYPE_TARGET_TYPE (type
), stream
, show
, level
);
167 case TYPE_CODE_STRUCT
:
168 if (chill_is_varying_struct (type
))
170 chill_type_print_base (TYPE_FIELD_TYPE (type
, 1),
171 stream
, show
, level
);
172 fputs_filtered (" VARYING", stream
);
176 fprintf_filtered (stream
, "STRUCT ");
178 fprintf_filtered (stream
, "(\n");
179 if ((TYPE_NFIELDS (type
) == 0) && (TYPE_NFN_FIELDS (type
) == 0))
181 if (TYPE_FLAGS (type
) & TYPE_FLAG_STUB
)
183 fprintfi_filtered (level
+ 4, stream
, "<incomplete type>\n");
187 fprintfi_filtered (level
+ 4, stream
, "<no data fields>\n");
192 len
= TYPE_NFIELDS (type
);
193 for (i
= TYPE_N_BASECLASSES (type
); i
< len
; i
++)
195 struct type
*field_type
= TYPE_FIELD_TYPE (type
, i
);
197 print_spaces_filtered (level
+ 4, stream
);
198 if (TYPE_CODE (field_type
) == TYPE_CODE_UNION
)
199 { int j
; /* variant number */
200 fputs_filtered ("CASE OF\n", stream
);
201 for (j
= 0; j
< TYPE_NFIELDS (field_type
); j
++)
202 { int k
; /* variant field index */
203 struct type
*variant_type
204 = TYPE_FIELD_TYPE (field_type
, j
);
205 int var_len
= TYPE_NFIELDS (variant_type
);
206 print_spaces_filtered (level
+ 4, stream
);
207 if (strcmp (TYPE_FIELD_NAME (field_type
, j
),
209 fputs_filtered ("ELSE\n", stream
);
211 fputs_filtered (":\n", stream
);
212 if (TYPE_CODE (variant_type
) != TYPE_CODE_STRUCT
)
213 error ("variant record confusion");
214 for (k
= 0; k
< var_len
; k
++)
216 print_spaces_filtered (level
+ 8, stream
);
217 chill_print_type (TYPE_FIELD_TYPE (variant_type
, k
),
218 TYPE_FIELD_NAME (variant_type
, k
),
219 stream
, show
- 1, level
+ 8);
220 if (k
< (var_len
- 1))
221 fputs_filtered (",", stream
);
222 fputs_filtered ("\n", stream
);
225 fputs_filtered ("ESAC\n", stream
);
228 chill_print_type (field_type
,
229 TYPE_FIELD_NAME (type
, i
),
230 stream
, show
- 1, level
+ 4);
233 fputs_filtered (",", stream
);
235 fputs_filtered ("\n", stream
);
238 fprintfi_filtered (level
, stream
, ")");
242 case TYPE_CODE_RANGE
:
243 if (TYPE_DUMMY_RANGE (type
))
244 chill_type_print_base (TYPE_TARGET_TYPE (type
),
245 stream
, show
, level
);
246 else if (TYPE_TARGET_TYPE (type
))
248 chill_type_print_base (TYPE_TARGET_TYPE (type
),
249 stream
, show
, level
);
250 fputs_filtered (" (", stream
);
251 print_type_scalar (TYPE_TARGET_TYPE (type
),
252 TYPE_FIELD_BITPOS (type
, 0), stream
);
253 fputs_filtered (":", stream
);
254 print_type_scalar (TYPE_TARGET_TYPE (type
),
255 TYPE_FIELD_BITPOS (type
, 1), stream
);
256 fputs_filtered (")", stream
);
259 fprintf_filtered (stream
, "RANGE? (%s : %d)",
260 TYPE_FIELD_BITPOS (type
, 0),
261 TYPE_FIELD_BITPOS (type
, 1));
266 register int lastval
= 0;
267 fprintf_filtered (stream
, "SET (");
268 len
= TYPE_NFIELDS (type
);
269 for (i
= 0; i
< len
; i
++)
272 if (i
) fprintf_filtered (stream
, ", ");
274 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
275 if (lastval
!= TYPE_FIELD_BITPOS (type
, i
))
277 fprintf_filtered (stream
, " = %d", TYPE_FIELD_BITPOS (type
, i
));
278 lastval
= TYPE_FIELD_BITPOS (type
, i
);
282 fprintf_filtered (stream
, ")");
287 case TYPE_CODE_UNDEF
:
288 case TYPE_CODE_ERROR
:
289 case TYPE_CODE_UNION
:
290 case TYPE_CODE_METHOD
:
291 error ("missing language support in chill_type_print_base");
296 /* Handle types not explicitly handled by the other cases,
297 such as fundamental types. For these, just print whatever
298 the type name is, as recorded in the type itself. If there
299 is no type name, then complain. */
301 if (TYPE_NAME (type
) != NULL
)
303 fputs_filtered (TYPE_NAME (type
), stream
);
307 error ("Unrecognized type code (%d) in symbol table.",
This page took 0.03512 seconds and 4 git commands to generate.