Automatic date update in version.in
[deliverable/binutils-gdb.git] / gdb / p-typeprint.c
index f21a7f1b392a744e250962c6544169a9b62145a6..21306ada148eb65b436c87cf94dd3800af75f6f0 100644 (file)
@@ -1,11 +1,11 @@
 /* Support for printing Pascal types for GDB, the GNU debugger.
-   Copyright (C) 2000, 2001, 2002, 2006, 2007 Free Software Foundation, Inc.
+   Copyright (C) 2000-2021 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
-   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,
@@ -14,9 +14,7 @@
    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/>.  */
 
 /* This file is derived from p-typeprint.c */
 
 #include "language.h"
 #include "p-lang.h"
 #include "typeprint.h"
-
-#include "gdb_string.h"
-#include <errno.h>
+#include "gdb-demangle.h"
 #include <ctype.h>
+#include "cli/cli-style.h"
 
-static void pascal_type_print_varspec_suffix (struct type *, struct ui_file *, int, int, int);
-
-static void pascal_type_print_derivation_info (struct ui_file *, struct type *);
-
-void pascal_type_print_varspec_prefix (struct type *, struct ui_file *, int, int);
-\f
-
-/* LEVEL is the depth to indent lines by.  */
+/* See language.h.  */
 
 void
-pascal_print_type (struct type *type, char *varstring, struct ui_file *stream,
-                  int show, int level)
+pascal_language::print_type (struct type *type, const char *varstring,
+                            struct ui_file *stream, int show, int level,
+                            const struct type_print_options *flags) const
 {
   enum type_code code;
   int demangled_args;
 
-  code = TYPE_CODE (type);
+  code = type->code ();
 
   if (show > 0)
-    CHECK_TYPEDEF (type);
+    type = check_typedef (type);
 
-  if ((code == TYPE_CODE_FUNC ||
-       code == TYPE_CODE_METHOD))
+  if ((code == TYPE_CODE_FUNC
+       || code == TYPE_CODE_METHOD))
     {
-      pascal_type_print_varspec_prefix (type, stream, show, 0);
+      type_print_varspec_prefix (type, stream, show, 0, flags);
     }
   /* first the name */
   fputs_filtered (varstring, stream);
 
-  if ((varstring != NULL && *varstring != '\0') &&
-      !(code == TYPE_CODE_FUNC ||
-       code == TYPE_CODE_METHOD))
+  if ((varstring != NULL && *varstring != '\0')
+      && !(code == TYPE_CODE_FUNC
+          || code == TYPE_CODE_METHOD))
     {
       fputs_filtered (" : ", stream);
     }
 
-  if (!(code == TYPE_CODE_FUNC ||
-       code == TYPE_CODE_METHOD))
+  if (!(code == TYPE_CODE_FUNC
+       || code == TYPE_CODE_METHOD))
     {
-      pascal_type_print_varspec_prefix (type, stream, show, 0);
+      type_print_varspec_prefix (type, stream, show, 0, flags);
     }
 
-  pascal_type_print_base (type, stream, show, level);
+  type_print_base (type, stream, show, level, flags);
   /* For demangled function names, we have the arglist as part of the name,
-     so don't print an additional pair of ()'s */
+     so don't print an additional pair of ()'s */
 
   demangled_args = varstring ? strchr (varstring, '(') != NULL : 0;
-  pascal_type_print_varspec_suffix (type, stream, show, 0, demangled_args);
+  type_print_varspec_suffix (type, stream, show, 0, demangled_args,
+                                   flags);
 
 }
 
-/* If TYPE is a derived type, then print out derivation information.
-   Print only the actual base classes of this type, not the base classes
-   of the base classes.  I.E.  for the derivation hierarchy:
-
-   class A { int a; };
-   class B : public A {int b; };
-   class C : public B {int c; };
-
-   Print the type of class C as:
+/* See language.h.  */
 
-   class C : public B {
-   int c;
-   }
-
-   Not as the following (like gdb used to), which is not legal C++ syntax for
-   derived types and may be confused with the multiple inheritance form:
-
-   class C : public B : public A {
-   int c;
-   }
+void
+pascal_language::print_typedef (struct type *type, struct symbol *new_symbol,
+                               struct ui_file *stream) const
+{
+  type = check_typedef (type);
+  fprintf_filtered (stream, "type ");
+  fprintf_filtered (stream, "%s = ", new_symbol->print_name ());
+  type_print (type, "", stream, 0);
+  fprintf_filtered (stream, ";");
+}
 
-   In general, gdb should try to print the types as closely as possible to
-   the form that they appear in the source code. */
+/* See p-lang.h.  */
 
-static void
-pascal_type_print_derivation_info (struct ui_file *stream, struct type *type)
+void
+pascal_language::type_print_derivation_info (struct ui_file *stream,
+                                            struct type *type) const
 {
-  char *name;
+  const char *name;
   int i;
 
   for (i = 0; i < TYPE_N_BASECLASSES (type); i++)
@@ -124,7 +108,7 @@ pascal_type_print_derivation_info (struct ui_file *stream, struct type *type)
       fprintf_filtered (stream, "%s%s ",
                        BASETYPE_VIA_PUBLIC (type, i) ? "public" : "private",
                        BASETYPE_VIA_VIRTUAL (type, i) ? " virtual" : "");
-      name = type_name_no_tag (TYPE_BASECLASS (type, i));
+      name = TYPE_BASECLASS (type, i)->name ();
       fprintf_filtered (stream, "%s", name ? name : "(null)");
     }
   if (i > 0)
@@ -133,14 +117,15 @@ pascal_type_print_derivation_info (struct ui_file *stream, struct type *type)
     }
 }
 
-/* Print the Pascal method arguments ARGS to the file STREAM.  */
+/* See p-lang.h.  */
 
 void
-pascal_type_print_method_args (char *physname, char *methodname,
-                              struct ui_file *stream)
+pascal_language::type_print_method_args (const char *physname,
+                                        const char *methodname,
+                                        struct ui_file *stream) const
 {
-  int is_constructor = DEPRECATED_STREQN (physname, "__ct__", 6);
-  int is_destructor = DEPRECATED_STREQN (physname, "__dt__", 6);
+  int is_constructor = (startswith (physname, "__ct__"));
+  int is_destructor = (startswith (physname, "__dt__"));
 
   if (is_constructor || is_destructor)
     {
@@ -151,24 +136,24 @@ pascal_type_print_method_args (char *physname, char *methodname,
 
   if (physname && (*physname != 0))
     {
-      int i = 0;
-      int len = 0;
-      char storec;
-      char *argname;
       fputs_filtered (" (", stream);
-      /* we must demangle this */
+      /* We must demangle this.  */
       while (isdigit (physname[0]))
        {
+         int len = 0;
+         int i, j;
+         char *argname;
+
          while (isdigit (physname[len]))
            {
              len++;
            }
          i = strtol (physname, &argname, 0);
          physname += len;
-         storec = physname[i];
-         physname[i] = 0;
-         fputs_filtered (physname, stream);
-         physname[i] = storec;
+
+         for (j = 0; j < i; ++j)
+           fputc_filtered (physname[j], stream);
+
          physname += i;
          if (physname[0] != 0)
            {
@@ -179,38 +164,36 @@ pascal_type_print_method_args (char *physname, char *methodname,
     }
 }
 
-/* Print any asterisks or open-parentheses needed before the
-   variable name (to describe its type).
-
-   On outermost call, pass 0 for PASSED_A_PTR.
-   On outermost call, SHOW > 0 means should ignore
-   any typename for TYPE and show its details.
-   SHOW is always zero on recursive calls.  */
+/* See p-lang.h.  */
 
 void
-pascal_type_print_varspec_prefix (struct type *type, struct ui_file *stream,
-                                 int show, int passed_a_ptr)
+pascal_language::type_print_varspec_prefix (struct type *type,
+                                           struct ui_file *stream,
+                                           int show, int passed_a_ptr,
+                                           const struct type_print_options *flags) const
 {
-  char *name;
   if (type == 0)
     return;
 
-  if (TYPE_NAME (type) && show <= 0)
+  if (type->name () && show <= 0)
     return;
 
   QUIT;
 
-  switch (TYPE_CODE (type))
+  switch (type->code ())
     {
     case TYPE_CODE_PTR:
       fprintf_filtered (stream, "^");
-      pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 1);
-      break;                   /* pointer should be handled normally in pascal */
+      type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 1,
+                                       flags);
+      break;                   /* Pointer should be handled normally
+                                  in pascal.  */
 
     case TYPE_CODE_METHOD:
       if (passed_a_ptr)
        fprintf_filtered (stream, "(");
-      if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_VOID)
+      if (TYPE_TARGET_TYPE (type) != NULL
+         && TYPE_TARGET_TYPE (type)->code () != TYPE_CODE_VOID)
        {
          fprintf_filtered (stream, "function  ");
        }
@@ -222,13 +205,15 @@ pascal_type_print_varspec_prefix (struct type *type, struct ui_file *stream,
       if (passed_a_ptr)
        {
          fprintf_filtered (stream, " ");
-         pascal_type_print_base (TYPE_DOMAIN_TYPE (type), stream, 0, passed_a_ptr);
+         type_print_base (TYPE_SELF_TYPE (type),
+                                 stream, 0, passed_a_ptr, flags);
          fprintf_filtered (stream, "::");
        }
       break;
 
     case TYPE_CODE_REF:
-      pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 1);
+      type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 1,
+                                flags);
       fprintf_filtered (stream, "&");
       break;
 
@@ -236,7 +221,8 @@ pascal_type_print_varspec_prefix (struct type *type, struct ui_file *stream,
       if (passed_a_ptr)
        fprintf_filtered (stream, "(");
 
-      if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_VOID)
+      if (TYPE_TARGET_TYPE (type) != NULL
+         && TYPE_TARGET_TYPE (type)->code () != TYPE_CODE_VOID)
        {
          fprintf_filtered (stream, "function  ");
        }
@@ -252,11 +238,10 @@ pascal_type_print_varspec_prefix (struct type *type, struct ui_file *stream,
        fprintf_filtered (stream, "(");
       fprintf_filtered (stream, "array ");
       if (TYPE_LENGTH (TYPE_TARGET_TYPE (type)) > 0
-       && TYPE_ARRAY_UPPER_BOUND_TYPE (type) != BOUND_CANNOT_BE_DETERMINED)
-       fprintf_filtered (stream, "[%d..%d] ",
-                         TYPE_ARRAY_LOWER_BOUND_VALUE (type),
-                         TYPE_ARRAY_UPPER_BOUND_VALUE (type)
-         );
+         && type->bounds ()->high.kind () != PROP_UNDEFINED)
+       fprintf_filtered (stream, "[%s..%s] ",
+                         plongest (type->bounds ()->low.const_val ()),
+                         plongest (type->bounds ()->high.const_val ()));
       fprintf_filtered (stream, "of ");
       break;
 
@@ -273,23 +258,26 @@ pascal_type_print_varspec_prefix (struct type *type, struct ui_file *stream,
     case TYPE_CODE_SET:
     case TYPE_CODE_RANGE:
     case TYPE_CODE_STRING:
-    case TYPE_CODE_BITSTRING:
     case TYPE_CODE_COMPLEX:
     case TYPE_CODE_TYPEDEF:
-    case TYPE_CODE_TEMPLATE:
+    case TYPE_CODE_FIXED_POINT:
       /* These types need no prefix.  They are listed here so that
-         gcc -Wall will reveal any types that haven't been handled.  */
+        gcc -Wall will reveal any types that haven't been handled.  */
       break;
     default:
-      error (_("type not handled in pascal_type_print_varspec_prefix()"));
+      gdb_assert_not_reached ("unexpected type");
       break;
     }
 }
 
-static void
-pascal_print_func_args (struct type *type, struct ui_file *stream)
+/* See p-lang.h.  */
+
+void
+pascal_language::print_func_args (struct type *type, struct ui_file *stream,
+                                 const struct type_print_options *flags) const
 {
-  int i, len = TYPE_NFIELDS (type);
+  int i, len = type->num_fields ();
+
   if (len)
     {
       fprintf_filtered (stream, "(");
@@ -301,13 +289,14 @@ pascal_print_func_args (struct type *type, struct ui_file *stream)
          fputs_filtered (", ", stream);
          wrap_here ("    ");
        }
-      /*  can we find if it is a var parameter ??
-         if ( TYPE_FIELD(type, i) == )
-         {
-         fprintf_filtered (stream, "var ");
-         } */
-      pascal_print_type (TYPE_FIELD_TYPE (type, i), "" /* TYPE_FIELD_NAME seems invalid ! */
-                        ,stream, -1, 0);
+      /*  Can we find if it is a var parameter ??
+         if ( TYPE_FIELD(type, i) == )
+         {
+           fprintf_filtered (stream, "var ");
+         } */
+      print_type (type->field (i).type (), ""  /* TYPE_FIELD_NAME
+                                                  seems invalid!  */
+                        ,stream, -1, 0, flags);
     }
   if (len)
     {
@@ -315,24 +304,51 @@ pascal_print_func_args (struct type *type, struct ui_file *stream)
     }
 }
 
-/* Print any array sizes, function arguments or close parentheses
-   needed after the variable name (to describe its type).
-   Args work like pascal_type_print_varspec_prefix.  */
+/* See p-lang.h.  */
+
+void
+pascal_language::type_print_func_varspec_suffix  (struct type *type,
+                                                 struct ui_file *stream,
+                                                 int show, int passed_a_ptr,
+                                                 int demangled_args,
+                                                 const struct type_print_options *flags) const
+{
+  if (TYPE_TARGET_TYPE (type) == NULL
+      || TYPE_TARGET_TYPE (type)->code () != TYPE_CODE_VOID)
+    {
+      fprintf_filtered (stream, " : ");
+      type_print_varspec_prefix (TYPE_TARGET_TYPE (type),
+                                       stream, 0, 0, flags);
+
+      if (TYPE_TARGET_TYPE (type) == NULL)
+       type_print_unknown_return_type (stream);
+      else
+       type_print_base (TYPE_TARGET_TYPE (type), stream, show, 0,
+                               flags);
+
+      type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0,
+                                passed_a_ptr, 0, flags);
+    }
+}
+
+/* See p-lang.h.  */
 
-static void
-pascal_type_print_varspec_suffix (struct type *type, struct ui_file *stream,
-                                 int show, int passed_a_ptr,
-                                 int demangled_args)
+void
+pascal_language::type_print_varspec_suffix (struct type *type,
+                                           struct ui_file *stream,
+                                           int show, int passed_a_ptr,
+                                           int demangled_args,
+                                           const struct type_print_options *flags) const
 {
   if (type == 0)
     return;
 
-  if (TYPE_NAME (type) && show <= 0)
+  if (type->name () && show <= 0)
     return;
 
   QUIT;
 
-  switch (TYPE_CODE (type))
+  switch (type->code ())
     {
     case TYPE_CODE_ARRAY:
       if (passed_a_ptr)
@@ -342,37 +358,24 @@ pascal_type_print_varspec_suffix (struct type *type, struct ui_file *stream,
     case TYPE_CODE_METHOD:
       if (passed_a_ptr)
        fprintf_filtered (stream, ")");
-      pascal_type_print_method_args ("",
-                                    "",
-                                    stream);
-      if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_VOID)
-       {
-         fprintf_filtered (stream, " : ");
-         pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0);
-         pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, 0);
-         pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0,
-                                           passed_a_ptr, 0);
-       }
+      type_print_method_args ("", "", stream);
+      type_print_func_varspec_suffix (type, stream, show,
+                                            passed_a_ptr, 0, flags);
       break;
 
     case TYPE_CODE_PTR:
     case TYPE_CODE_REF:
-      pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 1, 0);
+      type_print_varspec_suffix (TYPE_TARGET_TYPE (type),
+                                stream, 0, 1, 0, flags);
       break;
 
     case TYPE_CODE_FUNC:
       if (passed_a_ptr)
        fprintf_filtered (stream, ")");
       if (!demangled_args)
-       pascal_print_func_args (type, stream);
-      if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_VOID)
-       {
-         fprintf_filtered (stream, " : ");
-         pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0);
-         pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, 0);
-         pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0,
-                                           passed_a_ptr, 0);
-       }
+       print_func_args (type, stream, flags);
+      type_print_func_varspec_suffix (type, stream, show,
+                                            passed_a_ptr, 0, flags);
       break;
 
     case TYPE_CODE_UNDEF:
@@ -388,60 +391,46 @@ pascal_type_print_varspec_suffix (struct type *type, struct ui_file *stream,
     case TYPE_CODE_SET:
     case TYPE_CODE_RANGE:
     case TYPE_CODE_STRING:
-    case TYPE_CODE_BITSTRING:
     case TYPE_CODE_COMPLEX:
     case TYPE_CODE_TYPEDEF:
-    case TYPE_CODE_TEMPLATE:
+    case TYPE_CODE_FIXED_POINT:
       /* These types do not need a suffix.  They are listed so that
-         gcc -Wall will report types that may not have been considered.  */
+        gcc -Wall will report types that may not have been considered.  */
       break;
     default:
-      error (_("type not handled in pascal_type_print_varspec_suffix()"));
+      gdb_assert_not_reached ("unexpected type");
       break;
     }
 }
 
-/* Print the name of the type (or the ultimate pointer target,
-   function value or array element), or the description of a
-   structure or union.
-
-   SHOW positive means print details about the type (e.g. enum values),
-   and print structure elements passing SHOW - 1 for show.
-   SHOW negative means just print the type name or struct tag if there is one.
-   If there is no name, print something sensible but concise like
-   "struct {...}".
-   SHOW zero means just print the type name or struct tag if there is one.
-   If there is no name, print something sensible but not as concise like
-   "struct {int x; int y;}".
-
-   LEVEL is the number of spaces to indent by.
-   We increase it for some recursive calls.  */
+/* See p-lang.h.  */
 
 void
-pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
-                       int level)
+pascal_language::type_print_base (struct type *type, struct ui_file *stream, int show,
+                                 int level, const struct type_print_options *flags) const
 {
   int i;
   int len;
-  int lastval;
+  LONGEST lastval;
   enum
     {
       s_none, s_public, s_private, s_protected
     }
   section_type;
-  QUIT;
 
+  QUIT;
   wrap_here ("    ");
   if (type == NULL)
     {
-      fputs_filtered ("<type unknown>", stream);
+      fputs_styled ("<type unknown>", metadata_style.style (), stream);
       return;
     }
 
   /* void pointer */
-  if ((TYPE_CODE (type) == TYPE_CODE_PTR) && (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_VOID))
+  if ((type->code () == TYPE_CODE_PTR)
+      && (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_VOID))
     {
-      fputs_filtered (TYPE_NAME (type) ? TYPE_NAME (type) : "pointer",
+      fputs_filtered (type->name () ? type->name () : "pointer",
                      stream);
       return;
     }
@@ -449,41 +438,34 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
      just print the type name directly from the type.  */
 
   if (show <= 0
-      && TYPE_NAME (type) != NULL)
+      && type->name () != NULL)
     {
-      fputs_filtered (TYPE_NAME (type), stream);
+      fputs_filtered (type->name (), stream);
       return;
     }
 
-  CHECK_TYPEDEF (type);
+  type = check_typedef (type);
 
-  switch (TYPE_CODE (type))
+  switch (type->code ())
     {
     case TYPE_CODE_TYPEDEF:
     case TYPE_CODE_PTR:
     case TYPE_CODE_REF:
-      /* case TYPE_CODE_FUNC:
-         case TYPE_CODE_METHOD: */
-      pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
+      type_print_base (TYPE_TARGET_TYPE (type), stream, show, level,
+                      flags);
       break;
 
     case TYPE_CODE_ARRAY:
-      /* pascal_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0);
-         pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
-         pascal_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0); */
-      pascal_print_type (TYPE_TARGET_TYPE (type), NULL, stream, 0, 0);
+      print_type (TYPE_TARGET_TYPE (type), NULL, stream, 0, 0, flags);
       break;
 
     case TYPE_CODE_FUNC:
     case TYPE_CODE_METHOD:
-      /*
-         pascal_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
-         only after args !! */
       break;
     case TYPE_CODE_STRUCT:
-      if (TYPE_TAG_NAME (type) != NULL)
+      if (type->name () != NULL)
        {
-         fputs_filtered (TYPE_TAG_NAME (type), stream);
+         fputs_filtered (type->name (), stream);
          fputs_filtered (" = ", stream);
        }
       if (HAVE_CPLUS_STRUCT (type))
@@ -497,9 +479,9 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
       goto struct_union;
 
     case TYPE_CODE_UNION:
-      if (TYPE_TAG_NAME (type) != NULL)
+      if (type->name () != NULL)
        {
-         fputs_filtered (TYPE_TAG_NAME (type), stream);
+         fputs_filtered (type->name (), stream);
          fputs_filtered (" = ", stream);
        }
       fprintf_filtered (stream, "case <?> of ");
@@ -509,42 +491,44 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
       if (show < 0)
        {
          /* If we just printed a tag name, no need to print anything else.  */
-         if (TYPE_TAG_NAME (type) == NULL)
+         if (type->name () == NULL)
            fprintf_filtered (stream, "{...}");
        }
-      else if (show > 0 || TYPE_TAG_NAME (type) == NULL)
+      else if (show > 0 || type->name () == NULL)
        {
-         pascal_type_print_derivation_info (stream, type);
+         type_print_derivation_info (stream, type);
 
          fprintf_filtered (stream, "\n");
-         if ((TYPE_NFIELDS (type) == 0) && (TYPE_NFN_FIELDS (type) == 0))
+         if ((type->num_fields () == 0) && (TYPE_NFN_FIELDS (type) == 0))
            {
-             if (TYPE_STUB (type))
-               fprintfi_filtered (level + 4, stream, "<incomplete type>\n");
+             if (type->is_stub ())
+               fprintf_filtered (stream, "%*s<incomplete type>\n",
+                                 level + 4, "");
              else
-               fprintfi_filtered (level + 4, stream, "<no data fields>\n");
+               fprintf_filtered (stream, "%*s<no data fields>\n",
+                                 level + 4, "");
            }
 
          /* Start off with no specific section type, so we can print
             one for the first field we find, and use that section type
-            thereafter until we find another type. */
+            thereafter until we find another type.  */
 
          section_type = s_none;
 
          /* If there is a base class for this type,
             do not print the field that it occupies.  */
 
-         len = TYPE_NFIELDS (type);
+         len = type->num_fields ();
          for (i = TYPE_N_BASECLASSES (type); i < len; i++)
            {
              QUIT;
              /* Don't print out virtual function table.  */
-             if (DEPRECATED_STREQN (TYPE_FIELD_NAME (type, i), "_vptr", 5)
+             if ((startswith (TYPE_FIELD_NAME (type, i), "_vptr"))
                  && is_cplus_marker ((TYPE_FIELD_NAME (type, i))[5]))
                continue;
 
              /* If this is a pascal object or class we can print the
-                various section labels. */
+                various section labels.  */
 
              if (HAVE_CPLUS_STRUCT (type))
                {
@@ -553,8 +537,8 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                      if (section_type != s_protected)
                        {
                          section_type = s_protected;
-                         fprintfi_filtered (level + 2, stream,
-                                            "protected\n");
+                         fprintf_filtered (stream, "%*sprotected\n",
+                                           level + 2, "");
                        }
                    }
                  else if (TYPE_FIELD_PRIVATE (type, i))
@@ -562,7 +546,8 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                      if (section_type != s_private)
                        {
                          section_type = s_private;
-                         fprintfi_filtered (level + 2, stream, "private\n");
+                         fprintf_filtered (stream, "%*sprivate\n",
+                                           level + 2, "");
                        }
                    }
                  else
@@ -570,20 +555,19 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                      if (section_type != s_public)
                        {
                          section_type = s_public;
-                         fprintfi_filtered (level + 2, stream, "public\n");
+                         fprintf_filtered (stream, "%*spublic\n",
+                                           level + 2, "");
                        }
                    }
                }
 
              print_spaces_filtered (level + 4, stream);
-             if (TYPE_FIELD_STATIC (type, i))
-               {
-                 fprintf_filtered (stream, "static ");
-               }
-             pascal_print_type (TYPE_FIELD_TYPE (type, i),
+             if (field_is_static (&type->field (i)))
+               fprintf_filtered (stream, "static ");
+             print_type (type->field (i).type (),
                                 TYPE_FIELD_NAME (type, i),
-                                stream, show - 1, level + 4);
-             if (!TYPE_FIELD_STATIC (type, i)
+                                stream, show - 1, level + 4, flags);
+             if (!field_is_static (&type->field (i))
                  && TYPE_FIELD_PACKED (type, i))
                {
                  /* It is a bitfield.  This code does not attempt
@@ -597,28 +581,28 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
              fprintf_filtered (stream, ";\n");
            }
 
-         /* If there are both fields and methods, put a space between. */
+         /* If there are both fields and methods, put a space between.  */
          len = TYPE_NFN_FIELDS (type);
          if (len && section_type != s_none)
            fprintf_filtered (stream, "\n");
 
-         /* Pbject pascal: print out the methods */
+         /* Object pascal: print out the methods.  */
 
          for (i = 0; i < len; i++)
            {
              struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i);
              int j, len2 = TYPE_FN_FIELDLIST_LENGTH (type, i);
-             char *method_name = TYPE_FN_FIELDLIST_NAME (type, i);
-             char *name = type_name_no_tag (type);
+             const char *method_name = TYPE_FN_FIELDLIST_NAME (type, i);
+
              /* this is GNU C++ specific
-                how can we know constructor/destructor?
-                It might work for GNU pascal */
+                how can we know constructor/destructor?
+                It might work for GNU pascal */
              for (j = 0; j < len2; j++)
                {
-                 char *physname = TYPE_FN_FIELD_PHYSNAME (f, j);
+                 const char *physname = TYPE_FN_FIELD_PHYSNAME (f, j);
 
-                 int is_constructor = DEPRECATED_STREQN (physname, "__ct__", 6);
-                 int is_destructor = DEPRECATED_STREQN (physname, "__dt__", 6);
+                 int is_constructor = (startswith (physname, "__ct__"));
+                 int is_destructor = (startswith (physname, "__dt__"));
 
                  QUIT;
                  if (TYPE_FN_FIELD_PROTECTED (f, j))
@@ -626,8 +610,8 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                      if (section_type != s_protected)
                        {
                          section_type = s_protected;
-                         fprintfi_filtered (level + 2, stream,
-                                            "protected\n");
+                         fprintf_filtered (stream, "%*sprotected\n",
+                                           level + 2, "");
                        }
                    }
                  else if (TYPE_FN_FIELD_PRIVATE (f, j))
@@ -635,7 +619,8 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                      if (section_type != s_private)
                        {
                          section_type = s_private;
-                         fprintfi_filtered (level + 2, stream, "private\n");
+                         fprintf_filtered (stream, "%*sprivate\n",
+                                           level + 2, "");
                        }
                    }
                  else
@@ -643,7 +628,8 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                      if (section_type != s_public)
                        {
                          section_type = s_public;
-                         fprintfi_filtered (level + 2, stream, "public\n");
+                         fprintf_filtered (stream, "%*spublic\n",
+                                           level + 2, "");
                        }
                    }
 
@@ -666,8 +652,8 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                    {
                      fprintf_filtered (stream, "destructor  ");
                    }
-                 else if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)) != 0 &&
-                          TYPE_CODE (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j))) != TYPE_CODE_VOID)
+                 else if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)) != 0
+                          && TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE(f, j))->code () != TYPE_CODE_VOID)
                    {
                      fprintf_filtered (stream, "function  ");
                    }
@@ -675,14 +661,12 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                    {
                      fprintf_filtered (stream, "procedure ");
                    }
-                 /* this does not work, no idea why !! */
+                 /* This does not work, no idea why !!  */
 
-                 pascal_type_print_method_args (physname,
-                                                method_name,
-                                                stream);
+                 type_print_method_args (physname, method_name, stream);
 
-                 if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)) != 0 &&
-                     TYPE_CODE (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j))) != TYPE_CODE_VOID)
+                 if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)) != 0
+                     && TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE(f, j))->code () != TYPE_CODE_VOID)
                    {
                      fputs_filtered (" : ", stream);
                      type_print (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)),
@@ -694,31 +678,31 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                  fprintf_filtered (stream, ";\n");
                }
            }
-         fprintfi_filtered (level, stream, "end");
+         fprintf_filtered (stream, "%*send", level, "");
        }
       break;
 
     case TYPE_CODE_ENUM:
-      if (TYPE_TAG_NAME (type) != NULL)
+      if (type->name () != NULL)
        {
-         fputs_filtered (TYPE_TAG_NAME (type), stream);
+         fputs_filtered (type->name (), stream);
          if (show > 0)
            fputs_filtered (" ", stream);
        }
       /* enum is just defined by
-         type enume_name = (enum_member1,enum_member2,...) */
+        type enume_name = (enum_member1,enum_member2,...)  */
       fprintf_filtered (stream, " = ");
       wrap_here ("    ");
       if (show < 0)
        {
          /* If we just printed a tag name, no need to print anything else.  */
-         if (TYPE_TAG_NAME (type) == NULL)
+         if (type->name () == NULL)
            fprintf_filtered (stream, "(...)");
        }
-      else if (show > 0 || TYPE_TAG_NAME (type) == NULL)
+      else if (show > 0 || type->name () == NULL)
        {
          fprintf_filtered (stream, "(");
-         len = TYPE_NFIELDS (type);
+         len = type->num_fields ();
          lastval = 0;
          for (i = 0; i < len; i++)
            {
@@ -727,10 +711,12 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
                fprintf_filtered (stream, ", ");
              wrap_here ("    ");
              fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
-             if (lastval != TYPE_FIELD_BITPOS (type, i))
+             if (lastval != TYPE_FIELD_ENUMVAL (type, i))
                {
-                 fprintf_filtered (stream, " := %d", TYPE_FIELD_BITPOS (type, i));
-                 lastval = TYPE_FIELD_BITPOS (type, i);
+                 fprintf_filtered (stream,
+                                   " := %s",
+                                   plongest (TYPE_FIELD_ENUMVAL (type, i)));
+                 lastval = TYPE_FIELD_ENUMVAL (type, i);
                }
              lastval++;
            }
@@ -747,29 +733,24 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
       break;
 
     case TYPE_CODE_ERROR:
-      fprintf_filtered (stream, "<unknown type>");
+      fprintf_filtered (stream, "%s", TYPE_ERROR_NAME (type));
       break;
 
-      /* this probably does not work for enums */
+      /* this probably does not work for enums */
     case TYPE_CODE_RANGE:
       {
        struct type *target = TYPE_TARGET_TYPE (type);
-       if (target == NULL)
-         target = builtin_type_long;
-       print_type_scalar (target, TYPE_LOW_BOUND (type), stream);
+
+       print_type_scalar (target, type->bounds ()->low.const_val (), stream);
        fputs_filtered ("..", stream);
-       print_type_scalar (target, TYPE_HIGH_BOUND (type), stream);
+       print_type_scalar (target, type->bounds ()->high.const_val (), stream);
       }
       break;
 
     case TYPE_CODE_SET:
       fputs_filtered ("set of ", stream);
-      pascal_print_type (TYPE_INDEX_TYPE (type), "", stream,
-                        show - 1, level);
-      break;
-
-    case TYPE_CODE_BITSTRING:
-      fputs_filtered ("BitString", stream);
+      print_type (type->index_type (), "", stream,
+                        show - 1, level, flags);
       break;
 
     case TYPE_CODE_STRING:
@@ -778,19 +759,20 @@ pascal_type_print_base (struct type *type, struct ui_file *stream, int show,
 
     default:
       /* Handle types not explicitly handled by the other cases,
-         such as fundamental types.  For these, just print whatever
-         the type name is, as recorded in the type itself.  If there
-         is no type name, then complain. */
-      if (TYPE_NAME (type) != NULL)
+        such as fundamental types.  For these, just print whatever
+        the type name is, as recorded in the type itself.  If there
+        is no type name, then complain.  */
+      if (type->name () != NULL)
        {
-         fputs_filtered (TYPE_NAME (type), stream);
+         fputs_filtered (type->name (), stream);
        }
       else
        {
          /* At least for dump_symtab, it is important that this not be
             an error ().  */
-         fprintf_filtered (stream, "<invalid unnamed pascal type code %d>",
-                           TYPE_CODE (type));
+         fprintf_styled (stream, metadata_style.style (),
+                         "<invalid unnamed pascal type code %d>",
+                         type->code ());
        }
       break;
     }
This page took 0.036539 seconds and 4 git commands to generate.