gdb/d-lang.c

   1 /* D language support routines for GDB, the GNU debugger.
   2
   3    Copyright (C) 2005-2014 Free Software Foundation, Inc.
   4
   5    This file is part of GDB.
   6
   7    This program is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 #include "defs.h"
  21 #include "symtab.h"
  22 #include "language.h"
  23 #include "varobj.h"
  24 #include "d-lang.h"
  25 #include "c-lang.h"
  26 #include <string.h>
  27 #include "parser-defs.h"
  28 #include "gdb_obstack.h"
  29
  30 #include <ctype.h>
  31
  32 /* Extract identifiers from MANGLED_STR and append it to TEMPBUF.
  33    Return 1 on success or 0 on failure.  */
  34 static int
  35 extract_identifiers (const char *mangled_str, struct obstack *tempbuf)
  36 {
  37   long i = 0;
  38
  39   while (isdigit (*mangled_str))
  40     {
  41       char *end_ptr;
  42
  43       i = strtol (mangled_str, &end_ptr, 10);
  44       mangled_str = end_ptr;
  45       if (i <= 0 || strlen (mangled_str) < i)
  46         return 0;
  47       obstack_grow (tempbuf, mangled_str, i);
  48       mangled_str += i;
  49       obstack_grow_str (tempbuf, ".");
  50     }
  51   if (*mangled_str == '\0' || i == 0)
  52     return 0;
  53   obstack_blank (tempbuf, -1);
  54   return 1;
  55 }
  56
  57 /* Extract and demangle type from MANGLED_STR and append it to TEMPBUF.
  58    Return 1 on success or 0 on failure.  */
  59 static int
  60 extract_type_info (const char *mangled_str, struct obstack *tempbuf)
  61 {
  62   if (*mangled_str == '\0')
  63     return 0;
  64   switch (*mangled_str++)
  65     {
  66       case 'A': /* dynamic array */
  67       case 'G': /* static array */
  68       case 'H': /* associative array */
  69         if (!extract_type_info (mangled_str, tempbuf))
  70           return 0;
  71         obstack_grow_str (tempbuf, "[]");
  72         return 1;
  73       case 'P': /* pointer */
  74         if (!extract_type_info (mangled_str, tempbuf))
  75           return 0;
  76         obstack_grow_str (tempbuf, "*");
  77         return 1;
  78       case 'R': /* reference */
  79         if (!extract_type_info (mangled_str, tempbuf))
  80           return 0;
  81         obstack_grow_str (tempbuf, "&");
  82         return 1;
  83       case 'Z': /* return value */
  84         return extract_type_info (mangled_str, tempbuf);
  85       case 'J': /* out */
  86         obstack_grow_str (tempbuf, "out ");
  87         return extract_type_info (mangled_str, tempbuf);
  88       case 'K': /* inout */
  89         obstack_grow_str (tempbuf, "inout ");
  90         return extract_type_info (mangled_str, tempbuf);
  91       case 'E': /* enum */
  92       case 'T': /* typedef */
  93       case 'D': /* delegate */
  94       case 'C': /* class */
  95       case 'S': /* struct */
  96         return extract_identifiers (mangled_str, tempbuf);
  97
  98       /* basic types: */
  99       case 'n': obstack_grow_str (tempbuf, "none"); return 1;
 100       case 'v': obstack_grow_str (tempbuf, "void"); return 1;
 101       case 'g': obstack_grow_str (tempbuf, "byte"); return 1;
 102       case 'h': obstack_grow_str (tempbuf, "ubyte"); return 1;
 103       case 's': obstack_grow_str (tempbuf, "short"); return 1;
 104       case 't': obstack_grow_str (tempbuf, "ushort"); return 1;
 105       case 'i': obstack_grow_str (tempbuf, "int"); return 1;
 106       case 'k': obstack_grow_str (tempbuf, "uint"); return 1;
 107       case 'l': obstack_grow_str (tempbuf, "long"); return 1;
 108       case 'm': obstack_grow_str (tempbuf, "ulong"); return 1;
 109       case 'f': obstack_grow_str (tempbuf, "float"); return 1;
 110       case 'd': obstack_grow_str (tempbuf, "double"); return 1;
 111       case 'e': obstack_grow_str (tempbuf, "real"); return 1;
 112
 113       /* imaginary and complex: */
 114       case 'o': obstack_grow_str (tempbuf, "ifloat"); return 1;
 115       case 'p': obstack_grow_str (tempbuf, "idouble"); return 1;
 116       case 'j': obstack_grow_str (tempbuf, "ireal"); return 1;
 117       case 'q': obstack_grow_str (tempbuf, "cfloat"); return 1;
 118       case 'r': obstack_grow_str (tempbuf, "cdouble"); return 1;
 119       case 'c': obstack_grow_str (tempbuf, "creal"); return 1;
 120
 121       /* other types: */
 122       case 'b': obstack_grow_str (tempbuf, "bit"); return 1;
 123       case 'a': obstack_grow_str (tempbuf, "char"); return 1;
 124       case 'u': obstack_grow_str (tempbuf, "wchar"); return 1;
 125       case 'w': obstack_grow_str (tempbuf, "dchar"); return 1;
 126
 127       default:
 128         obstack_grow_str (tempbuf, "unknown");
 129         return 1;
 130     }
 131 }
 132
 133 /* Implements the la_demangle language_defn routine for language D.  */
 134 char *
 135 d_demangle (const char *symbol, int options)
 136 {
 137   struct obstack tempbuf;
 138   char *out_str;
 139   unsigned char is_func = 0;
 140
 141   if (symbol == NULL)
 142     return NULL;
 143   else if (strcmp (symbol, "_Dmain") == 0)
 144     return xstrdup ("D main");
 145
 146   obstack_init (&tempbuf);
 147
 148   if (symbol[0] == '_' && symbol[1] == 'D')
 149     {
 150       symbol += 2;
 151       is_func = 1;
 152     }
 153   else if (strncmp (symbol, "__Class_", 8) == 0)
 154     symbol += 8;
 155   else if (strncmp (symbol, "__init_", 7) == 0)
 156     symbol += 7;
 157   else if (strncmp (symbol, "__vtbl_", 7) == 0)
 158     symbol += 7;
 159   else if (strncmp (symbol, "__modctor_", 10) == 0)
 160     symbol += 10;
 161   else if (strncmp (symbol, "__moddtor_", 10) == 0)
 162     symbol += 10;
 163   else if (strncmp (symbol, "__ModuleInfo_", 13) == 0)
 164     symbol += 13;
 165   else
 166     {
 167       obstack_free (&tempbuf, NULL);
 168       return NULL;
 169     }
 170
 171   if (!extract_identifiers (symbol, &tempbuf))
 172     {
 173       obstack_free (&tempbuf, NULL);
 174       return NULL;
 175     }
 176
 177   obstack_grow_str (&tempbuf, "(");
 178   if (is_func == 1 && *symbol == 'F')
 179     {
 180       symbol++;
 181       while (*symbol != '\0' && *symbol != 'Z')
 182         {
 183           if (is_func == 1)
 184             is_func++;
 185           else
 186             obstack_grow_str (&tempbuf, ", ");
 187           if (!extract_type_info (symbol, &tempbuf))
 188             {
 189               obstack_free (&tempbuf, NULL);
 190               return NULL;
 191            }
 192         }
 193      }
 194   obstack_grow_str0 (&tempbuf, ")");
 195
 196   /* Doesn't display the return type, but wouldn't be too hard to do.  */
 197
 198   out_str = xstrdup (obstack_finish (&tempbuf));
 199   obstack_free (&tempbuf, NULL);
 200   return out_str;
 201 }
 202
 203 /* Table mapping opcodes into strings for printing operators
 204    and precedences of the operators.  */
 205 static const struct op_print d_op_print_tab[] =
 206 {
 207   {",", BINOP_COMMA, PREC_COMMA, 0},
 208   {"=", BINOP_ASSIGN, PREC_ASSIGN, 1},
 209   {"||", BINOP_LOGICAL_OR, PREC_LOGICAL_OR, 0},
 210   {"&&", BINOP_LOGICAL_AND, PREC_LOGICAL_AND, 0},
 211   {"|", BINOP_BITWISE_IOR, PREC_BITWISE_IOR, 0},
 212   {"^", BINOP_BITWISE_XOR, PREC_BITWISE_XOR, 0},
 213   {"&", BINOP_BITWISE_AND, PREC_BITWISE_AND, 0},
 214   {"==", BINOP_EQUAL, PREC_EQUAL, 0},
 215   {"!=", BINOP_NOTEQUAL, PREC_EQUAL, 0},
 216   {"<=", BINOP_LEQ, PREC_ORDER, 0},
 217   {">=", BINOP_GEQ, PREC_ORDER, 0},
 218   {">", BINOP_GTR, PREC_ORDER, 0},
 219   {"<", BINOP_LESS, PREC_ORDER, 0},
 220   {">>", BINOP_RSH, PREC_SHIFT, 0},
 221   {"<<", BINOP_LSH, PREC_SHIFT, 0},
 222   {"+", BINOP_ADD, PREC_ADD, 0},
 223   {"-", BINOP_SUB, PREC_ADD, 0},
 224   {"*", BINOP_MUL, PREC_MUL, 0},
 225   {"/", BINOP_DIV, PREC_MUL, 0},
 226   {"%", BINOP_REM, PREC_MUL, 0},
 227   {"@", BINOP_REPEAT, PREC_REPEAT, 0},
 228   {"-", UNOP_NEG, PREC_PREFIX, 0},
 229   {"!", UNOP_LOGICAL_NOT, PREC_PREFIX, 0},
 230   {"~", UNOP_COMPLEMENT, PREC_PREFIX, 0},
 231   {"*", UNOP_IND, PREC_PREFIX, 0},
 232   {"&", UNOP_ADDR, PREC_PREFIX, 0},
 233   {"sizeof ", UNOP_SIZEOF, PREC_PREFIX, 0},
 234   {"++", UNOP_PREINCREMENT, PREC_PREFIX, 0},
 235   {"--", UNOP_PREDECREMENT, PREC_PREFIX, 0},
 236   {NULL, 0, 0, 0}
 237 };
 238
 239 static const struct language_defn d_language_defn =
 240 {
 241   "d",
 242   "D",
 243   language_d,
 244   range_check_off,
 245   case_sensitive_on,
 246   array_row_major,
 247   macro_expansion_c,
 248   &exp_descriptor_c,
 249   c_parse,
 250   c_error,
 251   null_post_parser,
 252   c_printchar,                  /* Print a character constant.  */
 253   c_printstr,                   /* Function to print string constant.  */
 254   c_emit_char,                  /* Print a single char.  */
 255   c_print_type,                 /* Print a type using appropriate syntax.  */
 256   c_print_typedef,              /* Print a typedef using appropriate
 257                                    syntax.  */
 258   d_val_print,                  /* Print a value using appropriate syntax.  */
 259   c_value_print,                /* Print a top-level value.  */
 260   default_read_var_value,       /* la_read_var_value */
 261   NULL,                         /* Language specific skip_trampoline.  */
 262   "this",
 263   basic_lookup_symbol_nonlocal,
 264   basic_lookup_transparent_type,
 265   d_demangle,                   /* Language specific symbol demangler.  */
 266   NULL,                         /* Language specific
 267                                    class_name_from_physname.  */
 268   d_op_print_tab,               /* Expression operators for printing.  */
 269   1,                            /* C-style arrays.  */
 270   0,                            /* String lower bound.  */
 271   default_word_break_characters,
 272   default_make_symbol_completion_list,
 273   c_language_arch_info,
 274   default_print_array_index,
 275   default_pass_by_reference,
 276   c_get_string,
 277   NULL,                         /* la_get_symbol_name_cmp */
 278   iterate_over_symbols,
 279   &default_varobj_ops,
 280   LANG_MAGIC
 281 };
 282
 283 /* Provide a prototype to silence -Wmissing-prototypes.  */
 284 extern initialize_file_ftype _initialize_d_language;
 285
 286 void
 287 _initialize_d_language (void)
 288 {
 289   add_language (&d_language_defn);
 290 }