Commit | Line | Data |
---|---|---|
a8a69e63 | 1 | /* Language independent support for printing types for GDB, the GNU debugger. |
ad3b8c4a | 2 | Copyright 1986, 88, 89, 91, 92, 93, 1998 Free Software Foundation, Inc. |
a8a69e63 FF |
3 | |
4 | This file is part of GDB. | |
5 | ||
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. | |
10 | ||
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. | |
15 | ||
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 | |
6c9638b4 | 18 | Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ |
a8a69e63 FF |
19 | |
20 | #include "defs.h" | |
21 | #include "obstack.h" | |
22 | #include "bfd.h" /* Binary File Description */ | |
23 | #include "symtab.h" | |
24 | #include "gdbtypes.h" | |
25 | #include "expression.h" | |
26 | #include "value.h" | |
27 | #include "gdbcore.h" | |
28 | #include "command.h" | |
29 | #include "gdbcmd.h" | |
30 | #include "target.h" | |
31 | #include "language.h" | |
32 | #include "demangle.h" | |
33 | ||
2b576293 | 34 | #include "gdb_string.h" |
a8a69e63 FF |
35 | #include <errno.h> |
36 | ||
37 | static void | |
38 | ptype_command PARAMS ((char *, int)); | |
39 | ||
40 | static struct type * | |
41 | ptype_eval PARAMS ((struct expression *)); | |
42 | ||
43 | static void | |
44 | whatis_command PARAMS ((char *, int)); | |
45 | ||
46 | static void | |
47 | whatis_exp PARAMS ((char *, int)); | |
48 | ||
49 | /* Print a description of a type TYPE in the form of a declaration of a | |
50 | variable named VARSTRING. (VARSTRING is demangled if necessary.) | |
51 | Output goes to STREAM (via stdio). | |
52 | If SHOW is positive, we show the contents of the outermost level | |
53 | of structure even if there is a type name that could be used instead. | |
54 | If SHOW is negative, we never show the details of elements' types. */ | |
55 | ||
56 | void | |
57 | type_print (type, varstring, stream, show) | |
58 | struct type *type; | |
59 | char *varstring; | |
199b2450 | 60 | GDB_FILE *stream; |
a8a69e63 FF |
61 | int show; |
62 | { | |
63 | LA_PRINT_TYPE (type, varstring, stream, show, 0); | |
64 | } | |
65 | ||
66 | /* Print type of EXP, or last thing in value history if EXP == NULL. | |
67 | show is passed to type_print. */ | |
68 | ||
69 | static void | |
70 | whatis_exp (exp, show) | |
71 | char *exp; | |
72 | int show; | |
73 | { | |
74 | struct expression *expr; | |
82a2edfb | 75 | register value_ptr val; |
46c28185 | 76 | register struct cleanup *old_chain = NULL; |
a8a69e63 FF |
77 | |
78 | if (exp) | |
79 | { | |
80 | expr = parse_expression (exp); | |
ad3b8c4a JM |
81 | old_chain = make_cleanup ((make_cleanup_func) free_current_contents, |
82 | &expr); | |
a8a69e63 FF |
83 | val = evaluate_type (expr); |
84 | } | |
85 | else | |
86 | val = access_value_history (0); | |
87 | ||
88 | printf_filtered ("type = "); | |
199b2450 | 89 | type_print (VALUE_TYPE (val), "", gdb_stdout, show); |
a8a69e63 FF |
90 | printf_filtered ("\n"); |
91 | ||
92 | if (exp) | |
93 | do_cleanups (old_chain); | |
94 | } | |
95 | ||
96 | /* ARGSUSED */ | |
97 | static void | |
98 | whatis_command (exp, from_tty) | |
99 | char *exp; | |
100 | int from_tty; | |
101 | { | |
102 | /* Most of the time users do not want to see all the fields | |
103 | in a structure. If they do they can use the "ptype" command. | |
104 | Hence the "-1" below. */ | |
105 | whatis_exp (exp, -1); | |
106 | } | |
107 | ||
108 | /* Simple subroutine for ptype_command. */ | |
109 | ||
110 | static struct type * | |
111 | ptype_eval (exp) | |
112 | struct expression *exp; | |
113 | { | |
114 | if (exp->elts[0].opcode == OP_TYPE) | |
115 | { | |
116 | return (exp->elts[1].type); | |
117 | } | |
118 | else | |
119 | { | |
120 | return (NULL); | |
121 | } | |
122 | } | |
123 | ||
124 | /* TYPENAME is either the name of a type, or an expression. */ | |
125 | ||
126 | /* ARGSUSED */ | |
127 | static void | |
128 | ptype_command (typename, from_tty) | |
129 | char *typename; | |
130 | int from_tty; | |
131 | { | |
132 | register struct type *type; | |
133 | struct expression *expr; | |
134 | register struct cleanup *old_chain; | |
135 | ||
136 | if (typename == NULL) | |
137 | { | |
138 | /* Print type of last thing in value history. */ | |
139 | whatis_exp (typename, 1); | |
140 | } | |
141 | else | |
142 | { | |
143 | expr = parse_expression (typename); | |
ad3b8c4a JM |
144 | old_chain = make_cleanup ((make_cleanup_func) free_current_contents, |
145 | &expr); | |
a8a69e63 FF |
146 | type = ptype_eval (expr); |
147 | if (type != NULL) | |
148 | { | |
149 | /* User did "ptype <typename>" */ | |
150 | printf_filtered ("type = "); | |
199b2450 | 151 | type_print (type, "", gdb_stdout, 1); |
a8a69e63 FF |
152 | printf_filtered ("\n"); |
153 | do_cleanups (old_chain); | |
154 | } | |
155 | else | |
156 | { | |
157 | /* User did "ptype <symbolname>" */ | |
158 | do_cleanups (old_chain); | |
159 | whatis_exp (typename, 1); | |
160 | } | |
161 | } | |
162 | } | |
163 | ||
164 | /* Print integral scalar data VAL, of type TYPE, onto stdio stream STREAM. | |
165 | Used to print data from type structures in a specified type. For example, | |
166 | array bounds may be characters or booleans in some languages, and this | |
167 | allows the ranges to be printed in their "natural" form rather than as | |
168 | decimal integer values. | |
169 | ||
170 | FIXME: This is here simply because only the type printing routines | |
171 | currently use it, and it wasn't clear if it really belonged somewhere | |
172 | else (like printcmd.c). There are a lot of other gdb routines that do | |
173 | something similar, but they are generally concerned with printing values | |
174 | that come from the inferior in target byte order and target size. */ | |
175 | ||
176 | void | |
177 | print_type_scalar (type, val, stream) | |
178 | struct type *type; | |
179 | LONGEST val; | |
199b2450 | 180 | GDB_FILE *stream; |
a8a69e63 FF |
181 | { |
182 | unsigned int i; | |
183 | unsigned len; | |
184 | ||
bcbf388e PB |
185 | CHECK_TYPEDEF (type); |
186 | ||
a8a69e63 FF |
187 | switch (TYPE_CODE (type)) |
188 | { | |
189 | ||
190 | case TYPE_CODE_ENUM: | |
191 | len = TYPE_NFIELDS (type); | |
192 | for (i = 0; i < len; i++) | |
193 | { | |
194 | if (TYPE_FIELD_BITPOS (type, i) == val) | |
195 | { | |
196 | break; | |
197 | } | |
198 | } | |
199 | if (i < len) | |
200 | { | |
201 | fputs_filtered (TYPE_FIELD_NAME (type, i), stream); | |
202 | } | |
203 | else | |
204 | { | |
7efb57c3 | 205 | print_longest (stream, 'd', 0, val); |
a8a69e63 FF |
206 | } |
207 | break; | |
208 | ||
209 | case TYPE_CODE_INT: | |
7efb57c3 | 210 | print_longest (stream, TYPE_UNSIGNED (type) ? 'u' : 'd', 0, val); |
a8a69e63 FF |
211 | break; |
212 | ||
213 | case TYPE_CODE_CHAR: | |
214 | LA_PRINT_CHAR ((unsigned char) val, stream); | |
215 | break; | |
216 | ||
217 | case TYPE_CODE_BOOL: | |
218 | fprintf_filtered (stream, val ? "TRUE" : "FALSE"); | |
219 | break; | |
220 | ||
bcbf388e PB |
221 | case TYPE_CODE_RANGE: |
222 | print_type_scalar (TYPE_TARGET_TYPE (type), val, stream); | |
223 | return; | |
224 | ||
a8a69e63 FF |
225 | case TYPE_CODE_UNDEF: |
226 | case TYPE_CODE_PTR: | |
227 | case TYPE_CODE_ARRAY: | |
228 | case TYPE_CODE_STRUCT: | |
229 | case TYPE_CODE_UNION: | |
230 | case TYPE_CODE_FUNC: | |
231 | case TYPE_CODE_FLT: | |
232 | case TYPE_CODE_VOID: | |
233 | case TYPE_CODE_SET: | |
c4413e2c | 234 | case TYPE_CODE_STRING: |
a8a69e63 FF |
235 | case TYPE_CODE_ERROR: |
236 | case TYPE_CODE_MEMBER: | |
237 | case TYPE_CODE_METHOD: | |
238 | case TYPE_CODE_REF: | |
239 | error ("internal error: unhandled type in print_type_scalar"); | |
240 | break; | |
241 | ||
242 | default: | |
243 | error ("Invalid type code in symbol table."); | |
244 | } | |
199b2450 | 245 | gdb_flush (stream); |
a8a69e63 FF |
246 | } |
247 | ||
248 | #if MAINTENANCE_CMDS | |
249 | ||
250 | /* Dump details of a type specified either directly or indirectly. | |
251 | Uses the same sort of type lookup mechanism as ptype_command() | |
252 | and whatis_command(). */ | |
253 | ||
254 | void | |
255 | maintenance_print_type (typename, from_tty) | |
256 | char *typename; | |
257 | int from_tty; | |
258 | { | |
82a2edfb | 259 | register value_ptr val; |
a8a69e63 FF |
260 | register struct type *type; |
261 | register struct cleanup *old_chain; | |
262 | struct expression *expr; | |
263 | ||
264 | if (typename != NULL) | |
265 | { | |
266 | expr = parse_expression (typename); | |
ad3b8c4a | 267 | old_chain = make_cleanup ((make_cleanup_func) free_current_contents, &expr); |
a8a69e63 FF |
268 | if (expr -> elts[0].opcode == OP_TYPE) |
269 | { | |
270 | /* The user expression names a type directly, just use that type. */ | |
271 | type = expr -> elts[1].type; | |
272 | } | |
273 | else | |
274 | { | |
275 | /* The user expression may name a type indirectly by naming an | |
276 | object of that type. Find that indirectly named type. */ | |
277 | val = evaluate_type (expr); | |
278 | type = VALUE_TYPE (val); | |
279 | } | |
280 | if (type != NULL) | |
281 | { | |
282 | recursive_dump_type (type, 0); | |
283 | } | |
284 | do_cleanups (old_chain); | |
285 | } | |
286 | } | |
287 | ||
288 | #endif /* MAINTENANCE_CMDS */ | |
289 | ||
290 | \f | |
291 | void | |
292 | _initialize_typeprint () | |
293 | { | |
294 | ||
295 | add_com ("ptype", class_vars, ptype_command, | |
296 | "Print definition of type TYPE.\n\ | |
915e6cd9 JK |
297 | Argument may be a type name defined by typedef, or \"struct STRUCT-TAG\"\n\ |
298 | or \"class CLASS-NAME\" or \"union UNION-TAG\" or \"enum ENUM-TAG\".\n\ | |
a8a69e63 FF |
299 | The selected stack frame's lexical context is used to look up the name."); |
300 | ||
301 | add_com ("whatis", class_vars, whatis_command, | |
302 | "Print data type of expression EXP."); | |
303 | ||
304 | } |