gdb/f-typeprint.c

   1 /* Support for printing Fortran types for GDB, the GNU debugger.
   2
   3    Copyright (C) 1986, 1988, 1989, 1991, 1993, 1994, 1995, 1996, 1998, 2000,
   4    2001, 2002, 2003, 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
   5
   6    Contributed by Motorola.  Adapted from the C version by Farooq Butt
   7    (fmbutt@engage.sps.mot.com).
   8
   9    This file is part of GDB.
  10
  11    This program is free software; you can redistribute it and/or modify
  12    it under the terms of the GNU General Public License as published by
  13    the Free Software Foundation; either version 3 of the License, or
  14    (at your option) any later version.
  15
  16    This program is distributed in the hope that it will be useful,
  17    but WITHOUT ANY WARRANTY; without even the implied warranty of
  18    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  19    GNU General Public License for more details.
  20
  21    You should have received a copy of the GNU General Public License
  22    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  23
  24 #include "defs.h"
  25 #include "gdb_obstack.h"
  26 #include "bfd.h"
  27 #include "symtab.h"
  28 #include "gdbtypes.h"
  29 #include "expression.h"
  30 #include "value.h"
  31 #include "gdbcore.h"
  32 #include "target.h"
  33 #include "f-lang.h"
  34
  35 #include "gdb_string.h"
  36 #include <errno.h>
  37
  38 #if 0                           /* Currently unused */
  39 static void f_type_print_args (struct type *, struct ui_file *);
  40 #endif
  41
  42 static void f_type_print_varspec_suffix (struct type *, struct ui_file *, int,
  43                                          int, int, int);
  44
  45 void f_type_print_varspec_prefix (struct type *, struct ui_file *,
  46                                   int, int);
  47
  48 void f_type_print_base (struct type *, struct ui_file *, int, int);
  49 \f
  50
  51 /* LEVEL is the depth to indent lines by.  */
  52
  53 void
  54 f_print_type (struct type *type, char *varstring, struct ui_file *stream,
  55               int show, int level)
  56 {
  57   enum type_code code;
  58   int demangled_args;
  59
  60   f_type_print_base (type, stream, show, level);
  61   code = TYPE_CODE (type);
  62   if ((varstring != NULL && *varstring != '\0')
  63   /* Need a space if going to print stars or brackets;
  64      but not if we will print just a type name.  */
  65       || ((show > 0 || TYPE_NAME (type) == 0)
  66           && (code == TYPE_CODE_PTR || code == TYPE_CODE_FUNC
  67               || code == TYPE_CODE_METHOD
  68               || code == TYPE_CODE_ARRAY
  69               || code == TYPE_CODE_REF)))
  70     fputs_filtered (" ", stream);
  71   f_type_print_varspec_prefix (type, stream, show, 0);
  72
  73   if (varstring != NULL)
  74     {
  75       fputs_filtered (varstring, stream);
  76
  77       /* For demangled function names, we have the arglist as part of the name,
  78          so don't print an additional pair of ()'s */
  79
  80       demangled_args = varstring[strlen (varstring) - 1] == ')';
  81       f_type_print_varspec_suffix (type, stream, show, 0, demangled_args, 0);
  82    }
  83 }
  84
  85 /* Print any asterisks or open-parentheses needed before the
  86    variable name (to describe its type).
  87
  88    On outermost call, pass 0 for PASSED_A_PTR.
  89    On outermost call, SHOW > 0 means should ignore
  90    any typename for TYPE and show its details.
  91    SHOW is always zero on recursive calls.  */
  92
  93 void
  94 f_type_print_varspec_prefix (struct type *type, struct ui_file *stream,
  95                              int show, int passed_a_ptr)
  96 {
  97   if (type == 0)
  98     return;
  99
 100   if (TYPE_NAME (type) && show <= 0)
 101     return;
 102
 103   QUIT;
 104
 105   switch (TYPE_CODE (type))
 106     {
 107     case TYPE_CODE_PTR:
 108       f_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 1);
 109       break;
 110
 111     case TYPE_CODE_FUNC:
 112       f_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0);
 113       if (passed_a_ptr)
 114         fprintf_filtered (stream, "(");
 115       break;
 116
 117     case TYPE_CODE_ARRAY:
 118       f_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0);
 119       break;
 120
 121     case TYPE_CODE_UNDEF:
 122     case TYPE_CODE_STRUCT:
 123     case TYPE_CODE_UNION:
 124     case TYPE_CODE_ENUM:
 125     case TYPE_CODE_INT:
 126     case TYPE_CODE_FLT:
 127     case TYPE_CODE_VOID:
 128     case TYPE_CODE_ERROR:
 129     case TYPE_CODE_CHAR:
 130     case TYPE_CODE_BOOL:
 131     case TYPE_CODE_SET:
 132     case TYPE_CODE_RANGE:
 133     case TYPE_CODE_STRING:
 134     case TYPE_CODE_BITSTRING:
 135     case TYPE_CODE_METHOD:
 136     case TYPE_CODE_REF:
 137     case TYPE_CODE_COMPLEX:
 138     case TYPE_CODE_TYPEDEF:
 139       /* These types need no prefix.  They are listed here so that
 140          gcc -Wall will reveal any types that haven't been handled.  */
 141       break;
 142     }
 143 }
 144
 145 /* Print any array sizes, function arguments or close parentheses
 146    needed after the variable name (to describe its type).
 147    Args work like c_type_print_varspec_prefix.  */
 148
 149 static void
 150 f_type_print_varspec_suffix (struct type *type, struct ui_file *stream,
 151                              int show, int passed_a_ptr, int demangled_args,
 152                              int arrayprint_recurse_level)
 153 {
 154   int upper_bound, lower_bound;
 155   int retcode;
 156   /* No static variables are permitted as an error call may occur during
 157      execution of this function.  */
 158
 159   if (type == 0)
 160     return;
 161
 162   if (TYPE_NAME (type) && show <= 0)
 163     return;
 164
 165   QUIT;
 166
 167   switch (TYPE_CODE (type))
 168     {
 169     case TYPE_CODE_ARRAY:
 170       arrayprint_recurse_level++;
 171
 172       if (arrayprint_recurse_level == 1)
 173         fprintf_filtered (stream, "(");
 174
 175       if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_ARRAY)
 176         f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0,
 177                                      arrayprint_recurse_level);
 178
 179       lower_bound = f77_get_lowerbound (type);
 180       if (lower_bound != 1)     /* Not the default.  */
 181         fprintf_filtered (stream, "%d:", lower_bound);
 182
 183       /* Make sure that, if we have an assumed size array, we
 184          print out a warning and print the upperbound as '*' */
 185
 186       if (TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type))
 187         fprintf_filtered (stream, "*");
 188       else
 189         {
 190           upper_bound = f77_get_upperbound (type);
 191           fprintf_filtered (stream, "%d", upper_bound);
 192         }
 193
 194       if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_ARRAY)
 195         f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0,
 196                                      arrayprint_recurse_level);
 197       if (arrayprint_recurse_level == 1)
 198         fprintf_filtered (stream, ")");
 199       else
 200         fprintf_filtered (stream, ",");
 201       arrayprint_recurse_level--;
 202       break;
 203
 204     case TYPE_CODE_PTR:
 205     case TYPE_CODE_REF:
 206       f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 1, 0,
 207                                    arrayprint_recurse_level);
 208       fprintf_filtered (stream, ")");
 209       break;
 210
 211     case TYPE_CODE_FUNC:
 212       f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0,
 213                                    passed_a_ptr, 0, arrayprint_recurse_level);
 214       if (passed_a_ptr)
 215         fprintf_filtered (stream, ")");
 216
 217       fprintf_filtered (stream, "()");
 218       break;
 219
 220     case TYPE_CODE_UNDEF:
 221     case TYPE_CODE_STRUCT:
 222     case TYPE_CODE_UNION:
 223     case TYPE_CODE_ENUM:
 224     case TYPE_CODE_INT:
 225     case TYPE_CODE_FLT:
 226     case TYPE_CODE_VOID:
 227     case TYPE_CODE_ERROR:
 228     case TYPE_CODE_CHAR:
 229     case TYPE_CODE_BOOL:
 230     case TYPE_CODE_SET:
 231     case TYPE_CODE_RANGE:
 232     case TYPE_CODE_STRING:
 233     case TYPE_CODE_BITSTRING:
 234     case TYPE_CODE_METHOD:
 235     case TYPE_CODE_COMPLEX:
 236     case TYPE_CODE_TYPEDEF:
 237       /* These types do not need a suffix.  They are listed so that
 238          gcc -Wall will report types that may not have been considered.  */
 239       break;
 240     }
 241 }
 242
 243 /* Print the name of the type (or the ultimate pointer target,
 244    function value or array element), or the description of a
 245    structure or union.
 246
 247    SHOW nonzero means don't print this type as just its name;
 248    show its real definition even if it has a name.
 249    SHOW zero means print just typename or struct tag if there is one
 250    SHOW negative means abbreviate structure elements.
 251    SHOW is decremented for printing of structure elements.
 252
 253    LEVEL is the depth to indent by.
 254    We increase it for some recursive calls.  */
 255
 256 void
 257 f_type_print_base (struct type *type, struct ui_file *stream, int show,
 258                    int level)
 259 {
 260   int retcode;
 261   int upper_bound;
 262
 263   int index;
 264
 265   QUIT;
 266
 267   wrap_here ("    ");
 268   if (type == NULL)
 269     {
 270       fputs_filtered ("<type unknown>", stream);
 271       return;
 272     }
 273
 274   /* When SHOW is zero or less, and there is a valid type name, then always
 275      just print the type name directly from the type. */
 276
 277   if ((show <= 0) && (TYPE_NAME (type) != NULL))
 278     {
 279       fputs_filtered (TYPE_NAME (type), stream);
 280       return;
 281     }
 282
 283   if (TYPE_CODE (type) != TYPE_CODE_TYPEDEF)
 284     CHECK_TYPEDEF (type);
 285
 286   switch (TYPE_CODE (type))
 287     {
 288     case TYPE_CODE_TYPEDEF:
 289       f_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
 290       break;
 291
 292     case TYPE_CODE_ARRAY:
 293     case TYPE_CODE_FUNC:
 294       f_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
 295       break;
 296
 297     case TYPE_CODE_PTR:
 298       fprintf_filtered (stream, "PTR TO -> ( ");
 299       f_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
 300       break;
 301
 302     case TYPE_CODE_REF:
 303       fprintf_filtered (stream, "REF TO -> ( ");
 304       f_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
 305       break;
 306
 307     case TYPE_CODE_VOID:
 308       fprintfi_filtered (level, stream, "VOID");
 309       break;
 310
 311     case TYPE_CODE_UNDEF:
 312       fprintfi_filtered (level, stream, "struct <unknown>");
 313       break;
 314
 315     case TYPE_CODE_ERROR:
 316       fprintfi_filtered (level, stream, "<unknown type>");
 317       break;
 318
 319     case TYPE_CODE_RANGE:
 320       /* This should not occur */
 321       fprintfi_filtered (level, stream, "<range type>");
 322       break;
 323
 324     case TYPE_CODE_CHAR:
 325       /* Override name "char" and make it "character" */
 326       fprintfi_filtered (level, stream, "character");
 327       break;
 328
 329     case TYPE_CODE_INT:
 330       /* There may be some character types that attempt to come
 331          through as TYPE_CODE_INT since dbxstclass.h is so
 332          C-oriented, we must change these to "character" from "char".  */
 333
 334       if (strcmp (TYPE_NAME (type), "char") == 0)
 335         fprintfi_filtered (level, stream, "character");
 336       else
 337         goto default_case;
 338       break;
 339
 340     case TYPE_CODE_STRING:
 341       /* Strings may have dynamic upperbounds (lengths) like arrays. */
 342
 343       if (TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type))
 344         fprintfi_filtered (level, stream, "character*(*)");
 345       else
 346         {
 347           upper_bound = f77_get_upperbound (type);
 348           fprintf_filtered (stream, "character*%d", upper_bound);
 349         }
 350       break;
 351
 352     case TYPE_CODE_STRUCT:
 353     case TYPE_CODE_UNION:
 354       if (TYPE_CODE (type) == TYPE_CODE_UNION)
 355         fprintfi_filtered (level, stream, "Type, C_Union :: ");
 356       else
 357         fprintfi_filtered (level, stream, "Type ");
 358       fputs_filtered (TYPE_TAG_NAME (type), stream);
 359       fputs_filtered ("\n", stream);
 360       for (index = 0; index < TYPE_NFIELDS (type); index++)
 361         {
 362           f_type_print_base (TYPE_FIELD_TYPE (type, index), stream, show,
 363                              level + 4);
 364           fputs_filtered (" :: ", stream);
 365           fputs_filtered (TYPE_FIELD_NAME (type, index), stream);
 366           f_type_print_varspec_suffix (TYPE_FIELD_TYPE (type, index),
 367                                        stream, 0, 0, 0, 0);
 368           fputs_filtered ("\n", stream);
 369         }
 370       fprintfi_filtered (level, stream, "End Type ");
 371       fputs_filtered (TYPE_TAG_NAME (type), stream);
 372       break;
 373
 374     default_case:
 375     default:
 376       /* Handle types not explicitly handled by the other cases,
 377          such as fundamental types.  For these, just print whatever
 378          the type name is, as recorded in the type itself.  If there
 379          is no type name, then complain. */
 380       if (TYPE_NAME (type) != NULL)
 381         fprintfi_filtered (level, stream, "%s", TYPE_NAME (type));
 382       else
 383         error (_("Invalid type code (%d) in symbol table."), TYPE_CODE (type));
 384       break;
 385     }
 386 }