gdb/ch-typeprint.c

   1 /* Support for printing Chill types for GDB, the GNU debugger.
   2    Copyright 1986, 1988, 1989, 1991 Free Software Foundation, Inc.
   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
  18 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
  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 "target.h"
  29 #include "command.h"
  30 #include "gdbcmd.h"
  31 #include "language.h"
  32 #include "demangle.h"
  33 #include "ch-lang.h"
  34 #include "typeprint.h"
  35
  36 #include <string.h>
  37 #include <errno.h>
  38
  39 static void
  40 chill_type_print_base PARAMS ((struct type *, GDB_FILE *, int, int));
  41
  42 void
  43 chill_print_type (type, varstring, stream, show, level)
  44      struct type *type;
  45      char *varstring;
  46      GDB_FILE *stream;
  47      int show;
  48      int level;
  49 {
  50   if (varstring != NULL && *varstring != '\0')
  51     {
  52       fputs_filtered (varstring, stream);
  53       fputs_filtered (" ", stream);
  54     }
  55   chill_type_print_base (type, stream, show, level);
  56 }
  57
  58 /* Print the name of the type (or the ultimate pointer target,
  59    function value or array element).
  60
  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.
  66
  67    LEVEL is the depth to indent by.
  68    We increase it for some recursive calls.  */
  69
  70 static void
  71 chill_type_print_base (type, stream, show, level)
  72      struct type *type;
  73      GDB_FILE *stream;
  74      int show;
  75      int level;
  76 {
  77   register int len;
  78   register int i;
  79   struct type *index_type;
  80   struct type *range_type;
  81   LONGEST low_bound;
  82   LONGEST high_bound;
  83
  84   QUIT;
  85
  86   wrap_here ("    ");
  87   if (type == NULL)
  88     {
  89       fputs_filtered ("<type unknown>", stream);
  90       return;
  91     }
  92
  93   /* When SHOW is zero or less, and there is a valid type name, then always
  94      just print the type name directly from the type. */
  95
  96   if ((show <= 0) && (TYPE_NAME (type) != NULL))
  97     {
  98       fputs_filtered (TYPE_NAME (type), stream);
  99       return;
 100     }
 101
 102   check_stub_type (type);
 103
 104   switch (TYPE_CODE (type))
 105     {
 106       case TYPE_CODE_PTR:
 107         if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_VOID)
 108           {
 109             fprintf_filtered (stream, "PTR");
 110             break;
 111           }
 112         fprintf_filtered (stream, "REF ");
 113         chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
 114         break;
 115
 116       case TYPE_CODE_BOOL:
 117         /* FIXME: we should probably just print the TYPE_NAME, in case
 118            anyone ever fixes the compiler to give us the real names
 119            in the presence of the chill equivalent of typedef (assuming
 120            there is one).  */
 121         fprintf_filtered (stream, "BOOL");
 122         break;
 123
 124       case TYPE_CODE_ARRAY:
 125         range_type = TYPE_FIELD_TYPE (type, 0);
 126         index_type = TYPE_TARGET_TYPE (range_type);
 127         low_bound = TYPE_FIELD_BITPOS (range_type, 0);
 128         high_bound = TYPE_FIELD_BITPOS (range_type, 1);
 129         fputs_filtered ("ARRAY (", stream);
 130         print_type_scalar (index_type, low_bound, stream);
 131         fputs_filtered (":", stream);
 132         print_type_scalar (index_type, high_bound, stream);
 133         fputs_filtered (") ", stream);
 134         chill_print_type (TYPE_TARGET_TYPE (type), "", stream, show, level);
 135         break;
 136
 137       case TYPE_CODE_BITSTRING:
 138         fprintf_filtered (stream, "BOOLS (%d)",
 139                           TYPE_FIELD_BITPOS (TYPE_FIELD_TYPE(type,0), 1) + 1);
 140         break;
 141
 142       case TYPE_CODE_SET:
 143         fputs_filtered ("POWERSET ", stream);
 144         chill_print_type (TYPE_INDEX_TYPE (type), "", stream,
 145                           show - 1, level);
 146         break;
 147
 148       case TYPE_CODE_STRING:
 149         range_type = TYPE_FIELD_TYPE (type, 0);
 150         index_type = TYPE_TARGET_TYPE (range_type);
 151         high_bound = TYPE_FIELD_BITPOS (range_type, 1);
 152         fputs_filtered ("CHARS (", stream);
 153         print_type_scalar (index_type, high_bound + 1, stream);
 154         fputs_filtered (")", stream);
 155         break;
 156
 157       case TYPE_CODE_MEMBER:
 158         fprintf_filtered (stream, "MEMBER ");
 159         chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
 160         break;
 161       case TYPE_CODE_REF:
 162         fprintf_filtered (stream, "/*LOC*/ ");
 163         chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
 164         break;
 165       case TYPE_CODE_FUNC:
 166         fprintf_filtered (stream, "PROC (?)");
 167         chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
 168         break;
 169
 170       case TYPE_CODE_STRUCT:
 171         if (chill_is_varying_struct (type))
 172           {
 173             chill_type_print_base (TYPE_FIELD_TYPE (type, 1),
 174                                    stream, show, level);
 175             fputs_filtered (" VARYING", stream);
 176           }
 177         else
 178           {
 179             fprintf_filtered (stream, "STRUCT ");
 180
 181             fprintf_filtered (stream, "(\n");
 182             if ((TYPE_NFIELDS (type) == 0) && (TYPE_NFN_FIELDS (type) == 0))
 183               {
 184                 if (TYPE_FLAGS (type) & TYPE_FLAG_STUB)
 185                   {
 186                     fprintfi_filtered (level + 4, stream, "<incomplete type>\n");
 187                   }
 188                 else
 189                   {
 190                     fprintfi_filtered (level + 4, stream, "<no data fields>\n");
 191                   }
 192               }
 193             else
 194               {
 195                 len = TYPE_NFIELDS (type);
 196                 for (i = TYPE_N_BASECLASSES (type); i < len; i++)
 197                   {
 198                     struct type *field_type = TYPE_FIELD_TYPE (type, i);
 199                     QUIT;
 200                     print_spaces_filtered (level + 4, stream);
 201                     if (TYPE_CODE (field_type) == TYPE_CODE_UNION)
 202                       { int j; /* variant number */
 203                         fputs_filtered ("CASE OF\n", stream);
 204                         for (j = 0; j < TYPE_NFIELDS (field_type); j++)
 205                           { int k; /* variant field index */
 206                             struct type *variant_type
 207                               = TYPE_FIELD_TYPE (field_type, j);
 208                             int var_len = TYPE_NFIELDS (variant_type);
 209                             print_spaces_filtered (level + 4, stream);
 210                             if (strcmp (TYPE_FIELD_NAME (field_type, j),
 211                                         "else") == 0)
 212                               fputs_filtered ("ELSE\n", stream);
 213                             else
 214                               fputs_filtered (":\n", stream);
 215                             if (TYPE_CODE (variant_type) != TYPE_CODE_STRUCT)
 216                               error ("variant record confusion");
 217                             for (k = 0; k < var_len; k++)
 218                               {
 219                                 print_spaces_filtered (level + 8, stream);
 220                                 chill_print_type (TYPE_FIELD_TYPE (variant_type, k),
 221                                                   TYPE_FIELD_NAME (variant_type, k),
 222                                                   stream, show - 1, level + 8);
 223                                 if (k < (var_len - 1))
 224                                   fputs_filtered (",", stream);
 225                                 fputs_filtered ("\n", stream);
 226                               }
 227                           }
 228                         fputs_filtered ("ESAC\n", stream);
 229                       }
 230                     else
 231                       chill_print_type (field_type,
 232                                         TYPE_FIELD_NAME (type, i),
 233                                         stream, show - 1, level + 4);
 234                     if (i < (len - 1))
 235                       {
 236                         fputs_filtered (",", stream);
 237                       }
 238                     fputs_filtered ("\n", stream);
 239                   }
 240               }
 241             fprintfi_filtered (level, stream, ")");
 242           }
 243         break;
 244
 245       case TYPE_CODE_RANGE:
 246         if (TYPE_DUMMY_RANGE (type) > 0)
 247           chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
 248         else
 249           {
 250             struct type *target = TYPE_TARGET_TYPE (type);
 251             if (target && TYPE_NAME (target))
 252               fputs_filtered (TYPE_NAME (target), stream);
 253             else
 254               fputs_filtered ("RANGE", stream);
 255             if (target == NULL)
 256               target = builtin_type_long;
 257             fputs_filtered (" (", stream);
 258             print_type_scalar (target, TYPE_LOW_BOUND (type), stream);
 259             fputs_filtered (":", stream);
 260             print_type_scalar (target, TYPE_HIGH_BOUND (type), stream);
 261             fputs_filtered (")", stream);
 262           }
 263         break;
 264
 265       case TYPE_CODE_ENUM:
 266         {
 267           register int lastval = 0;
 268           fprintf_filtered (stream, "SET (");
 269           len = TYPE_NFIELDS (type);
 270           for (i = 0; i < len; i++)
 271             {
 272               QUIT;
 273               if (i) fprintf_filtered (stream, ", ");
 274               wrap_here ("    ");
 275               fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
 276               if (lastval != TYPE_FIELD_BITPOS (type, i))
 277                 {
 278                   fprintf_filtered (stream, " = %d", TYPE_FIELD_BITPOS (type, i));
 279                   lastval = TYPE_FIELD_BITPOS (type, i);
 280                 }
 281               lastval++;
 282             }
 283           fprintf_filtered (stream, ")");
 284         }
 285         break;
 286
 287       case TYPE_CODE_VOID:
 288       case TYPE_CODE_UNDEF:
 289       case TYPE_CODE_ERROR:
 290       case TYPE_CODE_UNION:
 291       case TYPE_CODE_METHOD:
 292         error ("missing language support in chill_type_print_base");
 293         break;
 294
 295       default:
 296
 297         /* Handle types not explicitly handled by the other cases,
 298            such as fundamental types.  For these, just print whatever
 299            the type name is, as recorded in the type itself.  If there
 300            is no type name, then complain. */
 301
 302         if (TYPE_NAME (type) != NULL)
 303           {
 304             fputs_filtered (TYPE_NAME (type), stream);
 305           }
 306         else
 307           {
 308             error ("Unrecognized type code (%d) in symbol table.",
 309                    TYPE_CODE (type));
 310           }
 311         break;
 312       }
 313 }