* gdbtypes.h (struct main_type): Change type of name,tag_name,

[deliverable/binutils-gdb.git] / gdb / typeprint.c

diff --git a/gdb/typeprint.c b/gdb/typeprint.c
index fb8280814788b5d1aea9d2ac86148d422165deda..803d20bee6c569899fefa5dbe6b1e2f419527ad1 100644 (file)
--- a/gdb/typeprint.c
+++ b/gdb/typeprint.c
@@ -1,13 +1,13 @@
 /* Language independent support for printing types for GDB, the GNU debugger.
 
 /* Language independent support for printing types for GDB, the GNU debugger.
 

-   Copyright (C) 1986, 1988, 1989, 1991, 1992, 1993, 1994, 1995, 1998,
-   1999, 2000, 2001, 2003, 2006 Free Software Foundation, Inc.
+   Copyright (C) 1986, 1988-1989, 1991-1995, 1998-2001, 2003, 2006-2012
+   Free Software Foundation, Inc.

 
    This file is part of GDB.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
 
    This file is part of GDB.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by

-   the Free Software Foundation; either version 2 of the License, or
+   the Free Software Foundation; either version 3 of the License, or

    (at your option) any later version.
 
    This program is distributed in the hope that it will be useful,
    (at your option) any later version.
 
    This program is distributed in the hope that it will be useful,


@@ -16,9 +16,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License

-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 51 Franklin Street, Fifth Floor,
-   Boston, MA 02110-1301, USA.  */
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */

 
 #include "defs.h"
 #include "gdb_obstack.h"
 
 #include "defs.h"
 #include "gdb_obstack.h"


@@ -35,12 +33,10 @@
 #include "cp-abi.h"
 #include "typeprint.h"
 #include "gdb_string.h"
 #include "cp-abi.h"
 #include "typeprint.h"
 #include "gdb_string.h"

+#include "exceptions.h"
+#include "valprint.h"

 #include <errno.h>
 
 #include <errno.h>
 

-/* For real-type printing in whatis_exp() */
-extern int objectprint;                /* Controls looking up an object's derived type
-                                  using what we find in its vtables.  */
-

 extern void _initialize_typeprint (void);
 
 static void ptype_command (char *, int);
 extern void _initialize_typeprint (void);
 
 static void ptype_command (char *, int);


@@ -49,48 +45,24 @@ static void whatis_command (char *, int);
 
 static void whatis_exp (char *, int);
 
 
 static void whatis_exp (char *, int);
 

+

 /* Print a description of a type in the format of a 
    typedef for the current language.
 /* Print a description of a type in the format of a 
    typedef for the current language.

-   NEW is the new name for a type TYPE. */
+   NEW is the new name for a type TYPE.  */

 
 void
 typedef_print (struct type *type, struct symbol *new, struct ui_file *stream)
 {
 
 void
 typedef_print (struct type *type, struct symbol *new, struct ui_file *stream)
 {

-  CHECK_TYPEDEF (type);
-  switch (current_language->la_language)
-    {
-#ifdef _LANG_c
-    case language_c:
-    case language_cplus:
-      fprintf_filtered (stream, "typedef ");
-      type_print (type, "", stream, 0);
-      if (TYPE_NAME ((SYMBOL_TYPE (new))) == 0
-         || strcmp (TYPE_NAME ((SYMBOL_TYPE (new))), DEPRECATED_SYMBOL_NAME (new)) != 0)
-       fprintf_filtered (stream, " %s", SYMBOL_PRINT_NAME (new));
-      break;
-#endif
-#ifdef _LANG_m2
-    case language_m2:
-      fprintf_filtered (stream, "TYPE ");
-      if (!TYPE_NAME (SYMBOL_TYPE (new))
-         || strcmp (TYPE_NAME ((SYMBOL_TYPE (new))), DEPRECATED_SYMBOL_NAME (new)) != 0)
-       fprintf_filtered (stream, "%s = ", SYMBOL_PRINT_NAME (new));
-      else
-       fprintf_filtered (stream, "<builtin> = ");
-      type_print (type, "", stream, 0);
-      break;
-#endif
-#ifdef _LANG_pascal
-    case language_pascal:
-      fprintf_filtered (stream, "type ");
-      fprintf_filtered (stream, "%s = ", SYMBOL_PRINT_NAME (new));
-      type_print (type, "", stream, 0);
-      break;
-#endif
-    default:
-      error (_("Language not supported."));
-    }
-  fprintf_filtered (stream, ";\n");
+  LA_PRINT_TYPEDEF (type, new, stream);
+}
+
+/* The default way to print a typedef.  */
+
+void
+default_print_typedef (struct type *type, struct symbol *new_symbol,
+                      struct ui_file *stream)
+{
+  error (_("Language not supported."));

 }
 
 /* Print a description of a type TYPE in the form of a declaration of a
 }
 
 /* Print a description of a type TYPE in the form of a declaration of a


@@ -101,12 +73,39 @@ typedef_print (struct type *type, struct symbol *new, struct ui_file *stream)
    If SHOW is negative, we never show the details of elements' types.  */
 
 void
    If SHOW is negative, we never show the details of elements' types.  */
 
 void

-type_print (struct type *type, char *varstring, struct ui_file *stream,
+type_print (struct type *type, const char *varstring, struct ui_file *stream,

            int show)
 {
   LA_PRINT_TYPE (type, varstring, stream, show, 0);
 }
 
            int show)
 {
   LA_PRINT_TYPE (type, varstring, stream, show, 0);
 }
 

+/* Print TYPE to a string, returning it.  The caller is responsible for
+   freeing the string.  */
+
+char *
+type_to_string (struct type *type)
+{
+  char *s = NULL;
+  struct ui_file *stb;
+  struct cleanup *old_chain;
+  volatile struct gdb_exception except;
+
+  stb = mem_fileopen ();
+  old_chain = make_cleanup_ui_file_delete (stb);
+
+  TRY_CATCH (except, RETURN_MASK_ALL)
+    {
+      type_print (type, "", stb, -1);
+      s = ui_file_xstrdup (stb, NULL);
+    }
+  if (except.reason < 0)
+    s = NULL;
+
+  do_cleanups (old_chain);
+
+  return s;
+}
+

 /* Print type of EXP, or last thing in value history if EXP == NULL.
    show is passed to type_print.  */
 
 /* Print type of EXP, or last thing in value history if EXP == NULL.
    show is passed to type_print.  */
 


@@ -121,6 +120,7 @@ whatis_exp (char *exp, int show)
   int full = 0;
   int top = -1;
   int using_enc = 0;
   int full = 0;
   int top = -1;
   int using_enc = 0;

+  struct value_print_options opts;

 
   if (exp)
     {
 
   if (exp)
     {


@@ -133,12 +133,12 @@ whatis_exp (char *exp, int show)
 
   type = value_type (val);
 
 
   type = value_type (val);
 

-  if (objectprint)
+  get_user_print_options (&opts);
+  if (opts.objectprint)

     {
     {

-      if (((TYPE_CODE (type) == TYPE_CODE_PTR) ||
-           (TYPE_CODE (type) == TYPE_CODE_REF))
-          &&
-          (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_CLASS))
+      if (((TYPE_CODE (type) == TYPE_CODE_PTR)
+          || (TYPE_CODE (type) == TYPE_CODE_REF))
+         && (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_CLASS))

         {
           real_type = value_rtti_target_type (val, &full, &top, &using_enc);
           if (real_type)
         {
           real_type = value_rtti_target_type (val, &full, &top, &using_enc);
           if (real_type)


@@ -150,7 +150,7 @@ whatis_exp (char *exp, int show)
             }
         }
       else if (TYPE_CODE (type) == TYPE_CODE_CLASS)
             }
         }
       else if (TYPE_CODE (type) == TYPE_CODE_CLASS)

-  real_type = value_rtti_type (val, &full, &top, &using_enc);
+       real_type = value_rtti_type (val, &full, &top, &using_enc);

     }
 
   printf_filtered ("type = ");
     }
 
   printf_filtered ("type = ");


@@ -198,7 +198,7 @@ ptype_command (char *typename, int from_tty)
    currently use it, and it wasn't clear if it really belonged somewhere
    else (like printcmd.c).  There are a lot of other gdb routines that do
    something similar, but they are generally concerned with printing values
    currently use it, and it wasn't clear if it really belonged somewhere
    else (like printcmd.c).  There are a lot of other gdb routines that do
    something similar, but they are generally concerned with printing values

-   that come from the inferior in target byte order and target size. */
+   that come from the inferior in target byte order and target size.  */

 
 void
 print_type_scalar (struct type *type, LONGEST val, struct ui_file *stream)
 
 void
 print_type_scalar (struct type *type, LONGEST val, struct ui_file *stream)


@@ -235,7 +235,7 @@ print_type_scalar (struct type *type, LONGEST val, struct ui_file *stream)
       break;
 
     case TYPE_CODE_CHAR:
       break;
 
     case TYPE_CODE_CHAR:

-      LA_PRINT_CHAR ((unsigned char) val, stream);
+      LA_PRINT_CHAR ((unsigned char) val, type, stream);

       break;
 
     case TYPE_CODE_BOOL:
       break;
 
     case TYPE_CODE_BOOL:


@@ -273,7 +273,7 @@ print_type_scalar (struct type *type, LONGEST val, struct ui_file *stream)
 
 /* Dump details of a type specified either directly or indirectly.
    Uses the same sort of type lookup mechanism as ptype_command()
 
 /* Dump details of a type specified either directly or indirectly.
    Uses the same sort of type lookup mechanism as ptype_command()

-   and whatis_command(). */
+   and whatis_command().  */

 
 void
 maintenance_print_type (char *typename, int from_tty)
 
 void
 maintenance_print_type (char *typename, int from_tty)


@@ -289,13 +289,13 @@ maintenance_print_type (char *typename, int from_tty)
       old_chain = make_cleanup (free_current_contents, &expr);
       if (expr->elts[0].opcode == OP_TYPE)
        {
       old_chain = make_cleanup (free_current_contents, &expr);
       if (expr->elts[0].opcode == OP_TYPE)
        {

-         /* The user expression names a type directly, just use that type. */
+         /* The user expression names a type directly, just use that type.  */

          type = expr->elts[1].type;
        }
       else
        {
          /* The user expression may name a type indirectly by naming an
          type = expr->elts[1].type;
        }
       else
        {
          /* The user expression may name a type indirectly by naming an

-            object of that type.  Find that indirectly named type. */
+            object of that type.  Find that indirectly named type.  */

          val = evaluate_type (expr);
          type = value_type (val);
        }
          val = evaluate_type (expr);
          type = value_type (val);
        }


@@ -311,14 +311,14 @@ maintenance_print_type (char *typename, int from_tty)
 void
 _initialize_typeprint (void)
 {
 void
 _initialize_typeprint (void)
 {

-

   add_com ("ptype", class_vars, ptype_command, _("\
 Print definition of type TYPE.\n\
 Argument may be a type name defined by typedef, or \"struct STRUCT-TAG\"\n\
 or \"class CLASS-NAME\" or \"union UNION-TAG\" or \"enum ENUM-TAG\".\n\
   add_com ("ptype", class_vars, ptype_command, _("\
 Print definition of type TYPE.\n\
 Argument may be a type name defined by typedef, or \"struct STRUCT-TAG\"\n\
 or \"class CLASS-NAME\" or \"union UNION-TAG\" or \"enum ENUM-TAG\".\n\

-The selected stack frame's lexical context is used to look up the name."));
+The selected stack frame's lexical context is used to look up the name.\n\
+Contrary to \"whatis\", \"ptype\" always unrolls any typedefs."));

 
   add_com ("whatis", class_vars, whatis_command,
 
   add_com ("whatis", class_vars, whatis_command,

-          _("Print data type of expression EXP."));
-
+          _("Print data type of expression EXP.\n\
+Only one level of typedefs is unrolled.  See also \"ptype\"."));

 }
 }