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 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 || 64 /* Need a space if going to print stars or brackets; 65 but not if we will print just a type name. */ 66 ((show > 0 || TYPE_NAME (type) == 0) 67 && 68 (code == TYPE_CODE_PTR || code == TYPE_CODE_FUNC 69 || code == TYPE_CODE_METHOD 70 || code == TYPE_CODE_ARRAY 71 || code == TYPE_CODE_REF))) 72 fputs_filtered (" ", stream); 73 f_type_print_varspec_prefix (type, stream, show, 0); 74 75 if (varstring != NULL) 76 { 77 fputs_filtered (varstring, stream); 78 79 /* For demangled function names, we have the arglist as part of the name, 80 so don't print an additional pair of ()'s */ 81 82 demangled_args = varstring[strlen (varstring) - 1] == ')'; 83 f_type_print_varspec_suffix (type, stream, show, 0, demangled_args, 0); 84 } 85 } 86 87 /* Print any asterisks or open-parentheses needed before the 88 variable name (to describe its type). 89 90 On outermost call, pass 0 for PASSED_A_PTR. 91 On outermost call, SHOW > 0 means should ignore 92 any typename for TYPE and show its details. 93 SHOW is always zero on recursive calls. */ 94 95 void 96 f_type_print_varspec_prefix (struct type *type, struct ui_file *stream, 97 int show, int passed_a_ptr) 98 { 99 if (type == 0) 100 return; 101 102 if (TYPE_NAME (type) && show <= 0) 103 return; 104 105 QUIT; 106 107 switch (TYPE_CODE (type)) 108 { 109 case TYPE_CODE_PTR: 110 f_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 1); 111 break; 112 113 case TYPE_CODE_FUNC: 114 f_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0); 115 if (passed_a_ptr) 116 fprintf_filtered (stream, "("); 117 break; 118 119 case TYPE_CODE_ARRAY: 120 f_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, 0, 0); 121 break; 122 123 case TYPE_CODE_UNDEF: 124 case TYPE_CODE_STRUCT: 125 case TYPE_CODE_UNION: 126 case TYPE_CODE_ENUM: 127 case TYPE_CODE_INT: 128 case TYPE_CODE_FLT: 129 case TYPE_CODE_VOID: 130 case TYPE_CODE_ERROR: 131 case TYPE_CODE_CHAR: 132 case TYPE_CODE_BOOL: 133 case TYPE_CODE_SET: 134 case TYPE_CODE_RANGE: 135 case TYPE_CODE_STRING: 136 case TYPE_CODE_BITSTRING: 137 case TYPE_CODE_METHOD: 138 case TYPE_CODE_REF: 139 case TYPE_CODE_COMPLEX: 140 case TYPE_CODE_TYPEDEF: 141 /* These types need no prefix. They are listed here so that 142 gcc -Wall will reveal any types that haven't been handled. */ 143 break; 144 } 145 } 146 147 /* Print any array sizes, function arguments or close parentheses 148 needed after the variable name (to describe its type). 149 Args work like c_type_print_varspec_prefix. */ 150 151 static void 152 f_type_print_varspec_suffix (struct type *type, struct ui_file *stream, 153 int show, int passed_a_ptr, int demangled_args, 154 int arrayprint_recurse_level) 155 { 156 int upper_bound, lower_bound; 157 int retcode; 158 /* No static variables are permitted as an error call may occur during 159 execution of this function. */ 160 161 if (type == 0) 162 return; 163 164 if (TYPE_NAME (type) && show <= 0) 165 return; 166 167 QUIT; 168 169 switch (TYPE_CODE (type)) 170 { 171 case TYPE_CODE_ARRAY: 172 arrayprint_recurse_level++; 173 174 if (arrayprint_recurse_level == 1) 175 fprintf_filtered (stream, "("); 176 177 if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_ARRAY) 178 f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0, 179 arrayprint_recurse_level); 180 181 lower_bound = f77_get_lowerbound (type); 182 if (lower_bound != 1) /* Not the default. */ 183 fprintf_filtered (stream, "%d:", lower_bound); 184 185 /* Make sure that, if we have an assumed size array, we 186 print out a warning and print the upperbound as '*' */ 187 188 if (TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type)) 189 fprintf_filtered (stream, "*"); 190 else 191 { 192 upper_bound = f77_get_upperbound (type); 193 fprintf_filtered (stream, "%d", upper_bound); 194 } 195 196 if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_ARRAY) 197 f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0, 198 arrayprint_recurse_level); 199 if (arrayprint_recurse_level == 1) 200 fprintf_filtered (stream, ")"); 201 else 202 fprintf_filtered (stream, ","); 203 arrayprint_recurse_level--; 204 break; 205 206 case TYPE_CODE_PTR: 207 case TYPE_CODE_REF: 208 f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 1, 0, 209 arrayprint_recurse_level); 210 fprintf_filtered (stream, ")"); 211 break; 212 213 case TYPE_CODE_FUNC: 214 f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 215 passed_a_ptr, 0, arrayprint_recurse_level); 216 if (passed_a_ptr) 217 fprintf_filtered (stream, ")"); 218 219 fprintf_filtered (stream, "()"); 220 break; 221 222 case TYPE_CODE_UNDEF: 223 case TYPE_CODE_STRUCT: 224 case TYPE_CODE_UNION: 225 case TYPE_CODE_ENUM: 226 case TYPE_CODE_INT: 227 case TYPE_CODE_FLT: 228 case TYPE_CODE_VOID: 229 case TYPE_CODE_ERROR: 230 case TYPE_CODE_CHAR: 231 case TYPE_CODE_BOOL: 232 case TYPE_CODE_SET: 233 case TYPE_CODE_RANGE: 234 case TYPE_CODE_STRING: 235 case TYPE_CODE_BITSTRING: 236 case TYPE_CODE_METHOD: 237 case TYPE_CODE_COMPLEX: 238 case TYPE_CODE_TYPEDEF: 239 /* These types do not need a suffix. They are listed so that 240 gcc -Wall will report types that may not have been considered. */ 241 break; 242 } 243 } 244 245 /* Print the name of the type (or the ultimate pointer target, 246 function value or array element), or the description of a 247 structure or union. 248 249 SHOW nonzero means don't print this type as just its name; 250 show its real definition even if it has a name. 251 SHOW zero means print just typename or struct tag if there is one 252 SHOW negative means abbreviate structure elements. 253 SHOW is decremented for printing of structure elements. 254 255 LEVEL is the depth to indent by. 256 We increase it for some recursive calls. */ 257 258 void 259 f_type_print_base (struct type *type, struct ui_file *stream, int show, 260 int level) 261 { 262 int retcode; 263 int upper_bound; 264 265 int index; 266 267 QUIT; 268 269 wrap_here (" "); 270 if (type == NULL) 271 { 272 fputs_filtered ("<type unknown>", stream); 273 return; 274 } 275 276 /* When SHOW is zero or less, and there is a valid type name, then always 277 just print the type name directly from the type. */ 278 279 if ((show <= 0) && (TYPE_NAME (type) != NULL)) 280 { 281 fputs_filtered (TYPE_NAME (type), stream); 282 return; 283 } 284 285 if (TYPE_CODE (type) != TYPE_CODE_TYPEDEF) 286 CHECK_TYPEDEF (type); 287 288 switch (TYPE_CODE (type)) 289 { 290 case TYPE_CODE_TYPEDEF: 291 f_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level); 292 break; 293 294 case TYPE_CODE_ARRAY: 295 case TYPE_CODE_FUNC: 296 f_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level); 297 break; 298 299 case TYPE_CODE_PTR: 300 fprintf_filtered (stream, "PTR TO -> ( "); 301 f_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level); 302 break; 303 304 case TYPE_CODE_REF: 305 fprintf_filtered (stream, "REF TO -> ( "); 306 f_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level); 307 break; 308 309 case TYPE_CODE_VOID: 310 fprintfi_filtered (level, stream, "VOID"); 311 break; 312 313 case TYPE_CODE_UNDEF: 314 fprintfi_filtered (level, stream, "struct <unknown>"); 315 break; 316 317 case TYPE_CODE_ERROR: 318 fprintfi_filtered (level, stream, "<unknown type>"); 319 break; 320 321 case TYPE_CODE_RANGE: 322 /* This should not occur */ 323 fprintfi_filtered (level, stream, "<range type>"); 324 break; 325 326 case TYPE_CODE_CHAR: 327 /* Override name "char" and make it "character" */ 328 fprintfi_filtered (level, stream, "character"); 329 break; 330 331 case TYPE_CODE_INT: 332 /* There may be some character types that attempt to come 333 through as TYPE_CODE_INT since dbxstclass.h is so 334 C-oriented, we must change these to "character" from "char". */ 335 336 if (strcmp (TYPE_NAME (type), "char") == 0) 337 fprintfi_filtered (level, stream, "character"); 338 else 339 goto default_case; 340 break; 341 342 case TYPE_CODE_STRING: 343 /* Strings may have dynamic upperbounds (lengths) like arrays. */ 344 345 if (TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type)) 346 fprintfi_filtered (level, stream, "character*(*)"); 347 else 348 { 349 upper_bound = f77_get_upperbound (type); 350 fprintf_filtered (stream, "character*%d", upper_bound); 351 } 352 break; 353 354 case TYPE_CODE_STRUCT: 355 case TYPE_CODE_UNION: 356 if (TYPE_CODE (type) == TYPE_CODE_UNION) 357 fprintfi_filtered (level, stream, "Type, C_Union :: "); 358 else 359 fprintfi_filtered (level, stream, "Type "); 360 fputs_filtered (TYPE_TAG_NAME (type), stream); 361 fputs_filtered ("\n", stream); 362 for (index = 0; index < TYPE_NFIELDS (type); index++) 363 { 364 f_type_print_base (TYPE_FIELD_TYPE (type, index), stream, show, 365 level + 4); 366 fputs_filtered (" :: ", stream); 367 fputs_filtered (TYPE_FIELD_NAME (type, index), stream); 368 f_type_print_varspec_suffix (TYPE_FIELD_TYPE (type, index), 369 stream, 0, 0, 0, 0); 370 fputs_filtered ("\n", stream); 371 } 372 fprintfi_filtered (level, stream, "End Type "); 373 fputs_filtered (TYPE_TAG_NAME (type), stream); 374 break; 375 376 default_case: 377 default: 378 /* Handle types not explicitly handled by the other cases, 379 such as fundamental types. For these, just print whatever 380 the type name is, as recorded in the type itself. If there 381 is no type name, then complain. */ 382 if (TYPE_NAME (type) != NULL) 383 fprintfi_filtered (level, stream, "%s", TYPE_NAME (type)); 384 else 385 error (_("Invalid type code (%d) in symbol table."), TYPE_CODE (type)); 386 break; 387 } 388 } 389