1 /* Language independent support for printing types for GDB, the GNU debugger.
3 Copyright (C) 1986, 1988, 1989, 1991, 1992, 1993, 1994, 1995, 1998, 1999,
4 2000, 2001, 2003, 2006, 2007, 2008 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"
35 #include "gdb_string.h"
38 /* For real-type printing in whatis_exp() */
39 extern int objectprint
; /* Controls looking up an object's derived type
40 using what we find in its vtables. */
42 extern void _initialize_typeprint (void);
44 static void ptype_command (char *, int);
46 static void whatis_command (char *, int);
48 static void whatis_exp (char *, int);
50 /* Print a description of a type in the format of a
51 typedef for the current language.
52 NEW is the new name for a type TYPE. */
55 typedef_print (struct type
*type
, struct symbol
*new, struct ui_file
*stream
)
58 switch (current_language
->la_language
)
63 fprintf_filtered (stream
, "typedef ");
64 type_print (type
, "", stream
, 0);
65 if (TYPE_NAME ((SYMBOL_TYPE (new))) == 0
66 || strcmp (TYPE_NAME ((SYMBOL_TYPE (new))), DEPRECATED_SYMBOL_NAME (new)) != 0)
67 fprintf_filtered (stream
, " %s", SYMBOL_PRINT_NAME (new));
72 fprintf_filtered (stream
, "TYPE ");
73 if (!TYPE_NAME (SYMBOL_TYPE (new))
74 || strcmp (TYPE_NAME ((SYMBOL_TYPE (new))), DEPRECATED_SYMBOL_NAME (new)) != 0)
75 fprintf_filtered (stream
, "%s = ", SYMBOL_PRINT_NAME (new));
77 fprintf_filtered (stream
, "<builtin> = ");
78 type_print (type
, "", stream
, 0);
83 fprintf_filtered (stream
, "type ");
84 fprintf_filtered (stream
, "%s = ", SYMBOL_PRINT_NAME (new));
85 type_print (type
, "", stream
, 0);
89 error (_("Language not supported."));
91 fprintf_filtered (stream
, ";\n");
94 /* Print a description of a type TYPE in the form of a declaration of a
95 variable named VARSTRING. (VARSTRING is demangled if necessary.)
96 Output goes to STREAM (via stdio).
97 If SHOW is positive, we show the contents of the outermost level
98 of structure even if there is a type name that could be used instead.
99 If SHOW is negative, we never show the details of elements' types. */
102 type_print (struct type
*type
, char *varstring
, struct ui_file
*stream
,
105 LA_PRINT_TYPE (type
, varstring
, stream
, show
, 0);
108 /* Print type of EXP, or last thing in value history if EXP == NULL.
109 show is passed to type_print. */
112 whatis_exp (char *exp
, int show
)
114 struct expression
*expr
;
116 struct cleanup
*old_chain
= NULL
;
117 struct type
*real_type
= NULL
;
125 expr
= parse_expression (exp
);
126 old_chain
= make_cleanup (free_current_contents
, &expr
);
127 val
= evaluate_type (expr
);
130 val
= access_value_history (0);
132 type
= value_type (val
);
136 if (((TYPE_CODE (type
) == TYPE_CODE_PTR
)
137 || (TYPE_CODE (type
) == TYPE_CODE_REF
))
138 && (TYPE_CODE (TYPE_TARGET_TYPE (type
)) == TYPE_CODE_CLASS
))
140 real_type
= value_rtti_target_type (val
, &full
, &top
, &using_enc
);
143 if (TYPE_CODE (type
) == TYPE_CODE_PTR
)
144 real_type
= lookup_pointer_type (real_type
);
146 real_type
= lookup_reference_type (real_type
);
149 else if (TYPE_CODE (type
) == TYPE_CODE_CLASS
)
150 real_type
= value_rtti_type (val
, &full
, &top
, &using_enc
);
153 printf_filtered ("type = ");
157 printf_filtered ("/* real type = ");
158 type_print (real_type
, "", gdb_stdout
, -1);
160 printf_filtered (" (incomplete object)");
161 printf_filtered (" */\n");
164 type_print (type
, "", gdb_stdout
, show
);
165 printf_filtered ("\n");
168 do_cleanups (old_chain
);
172 whatis_command (char *exp
, int from_tty
)
174 /* Most of the time users do not want to see all the fields
175 in a structure. If they do they can use the "ptype" command.
176 Hence the "-1" below. */
177 whatis_exp (exp
, -1);
180 /* TYPENAME is either the name of a type, or an expression. */
183 ptype_command (char *typename
, int from_tty
)
185 whatis_exp (typename
, 1);
188 /* Print integral scalar data VAL, of type TYPE, onto stdio stream STREAM.
189 Used to print data from type structures in a specified type. For example,
190 array bounds may be characters or booleans in some languages, and this
191 allows the ranges to be printed in their "natural" form rather than as
192 decimal integer values.
194 FIXME: This is here simply because only the type printing routines
195 currently use it, and it wasn't clear if it really belonged somewhere
196 else (like printcmd.c). There are a lot of other gdb routines that do
197 something similar, but they are generally concerned with printing values
198 that come from the inferior in target byte order and target size. */
201 print_type_scalar (struct type
*type
, LONGEST val
, struct ui_file
*stream
)
206 CHECK_TYPEDEF (type
);
208 switch (TYPE_CODE (type
))
212 len
= TYPE_NFIELDS (type
);
213 for (i
= 0; i
< len
; i
++)
215 if (TYPE_FIELD_BITPOS (type
, i
) == val
)
222 fputs_filtered (TYPE_FIELD_NAME (type
, i
), stream
);
226 print_longest (stream
, 'd', 0, val
);
231 print_longest (stream
, TYPE_UNSIGNED (type
) ? 'u' : 'd', 0, val
);
235 LA_PRINT_CHAR ((unsigned char) val
, stream
);
239 fprintf_filtered (stream
, val
? "TRUE" : "FALSE");
242 case TYPE_CODE_RANGE
:
243 print_type_scalar (TYPE_TARGET_TYPE (type
), val
, stream
);
246 case TYPE_CODE_UNDEF
:
248 case TYPE_CODE_ARRAY
:
249 case TYPE_CODE_STRUCT
:
250 case TYPE_CODE_UNION
:
255 case TYPE_CODE_STRING
:
256 case TYPE_CODE_ERROR
:
257 case TYPE_CODE_MEMBERPTR
:
258 case TYPE_CODE_METHODPTR
:
259 case TYPE_CODE_METHOD
:
261 case TYPE_CODE_NAMESPACE
:
262 error (_("internal error: unhandled type in print_type_scalar"));
266 error (_("Invalid type code in symbol table."));
271 /* Dump details of a type specified either directly or indirectly.
272 Uses the same sort of type lookup mechanism as ptype_command()
273 and whatis_command(). */
276 maintenance_print_type (char *typename
, int from_tty
)
280 struct cleanup
*old_chain
;
281 struct expression
*expr
;
283 if (typename
!= NULL
)
285 expr
= parse_expression (typename
);
286 old_chain
= make_cleanup (free_current_contents
, &expr
);
287 if (expr
->elts
[0].opcode
== OP_TYPE
)
289 /* The user expression names a type directly, just use that type. */
290 type
= expr
->elts
[1].type
;
294 /* The user expression may name a type indirectly by naming an
295 object of that type. Find that indirectly named type. */
296 val
= evaluate_type (expr
);
297 type
= value_type (val
);
301 recursive_dump_type (type
, 0);
303 do_cleanups (old_chain
);
309 _initialize_typeprint (void)
311 add_com ("ptype", class_vars
, ptype_command
, _("\
312 Print definition of type TYPE.\n\
313 Argument may be a type name defined by typedef, or \"struct STRUCT-TAG\"\n\
314 or \"class CLASS-NAME\" or \"union UNION-TAG\" or \"enum ENUM-TAG\".\n\
315 The selected stack frame's lexical context is used to look up the name."));
317 add_com ("whatis", class_vars
, whatis_command
,
318 _("Print data type of expression EXP."));
This page took 0.035837 seconds and 4 git commands to generate.