1 | /* Demangler for the D programming language |
---|
2 | Copyright (C) 2014-2017 Free Software Foundation, Inc. |
---|
3 | Written by Iain Buclaw (ibuclaw@gdcproject.org) |
---|
4 | |
---|
5 | This file is part of the libiberty library. |
---|
6 | Libiberty is free software; you can redistribute it and/or |
---|
7 | modify it under the terms of the GNU Library General Public |
---|
8 | License as published by the Free Software Foundation; either |
---|
9 | version 2 of the License, or (at your option) any later version. |
---|
10 | |
---|
11 | In addition to the permissions in the GNU Library General Public |
---|
12 | License, the Free Software Foundation gives you unlimited permission |
---|
13 | to link the compiled version of this file into combinations with other |
---|
14 | programs, and to distribute those combinations without any restriction |
---|
15 | coming from the use of this file. (The Library Public License |
---|
16 | restrictions do apply in other respects; for example, they cover |
---|
17 | modification of the file, and distribution when not linked into a |
---|
18 | combined executable.) |
---|
19 | |
---|
20 | Libiberty is distributed in the hope that it will be useful, |
---|
21 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
22 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
---|
23 | Library General Public License for more details. |
---|
24 | |
---|
25 | You should have received a copy of the GNU Library General Public |
---|
26 | License along with libiberty; see the file COPYING.LIB. |
---|
27 | If not, see <http://www.gnu.org/licenses/>. */ |
---|
28 | |
---|
29 | /* This file exports one function; dlang_demangle. */ |
---|
30 | |
---|
31 | #ifdef HAVE_CONFIG_H |
---|
32 | #include "config.h" |
---|
33 | #endif |
---|
34 | |
---|
35 | #include "safe-ctype.h" |
---|
36 | |
---|
37 | #include <sys/types.h> |
---|
38 | #include <string.h> |
---|
39 | #include <stdio.h> |
---|
40 | |
---|
41 | #ifdef HAVE_STDLIB_H |
---|
42 | #include <stdlib.h> |
---|
43 | #endif |
---|
44 | |
---|
45 | #include <demangle.h> |
---|
46 | #include "libiberty.h" |
---|
47 | |
---|
48 | /* A mini string-handling package */ |
---|
49 | |
---|
50 | typedef struct string /* Beware: these aren't required to be */ |
---|
51 | { /* '\0' terminated. */ |
---|
52 | char *b; /* pointer to start of string */ |
---|
53 | char *p; /* pointer after last character */ |
---|
54 | char *e; /* pointer after end of allocated space */ |
---|
55 | } string; |
---|
56 | |
---|
57 | static void |
---|
58 | string_need (string *s, int n) |
---|
59 | { |
---|
60 | int tem; |
---|
61 | |
---|
62 | if (s->b == NULL) |
---|
63 | { |
---|
64 | if (n < 32) |
---|
65 | { |
---|
66 | n = 32; |
---|
67 | } |
---|
68 | s->p = s->b = XNEWVEC (char, n); |
---|
69 | s->e = s->b + n; |
---|
70 | } |
---|
71 | else if (s->e - s->p < n) |
---|
72 | { |
---|
73 | tem = s->p - s->b; |
---|
74 | n += tem; |
---|
75 | n *= 2; |
---|
76 | s->b = XRESIZEVEC (char, s->b, n); |
---|
77 | s->p = s->b + tem; |
---|
78 | s->e = s->b + n; |
---|
79 | } |
---|
80 | } |
---|
81 | |
---|
82 | static void |
---|
83 | string_delete (string *s) |
---|
84 | { |
---|
85 | if (s->b != NULL) |
---|
86 | { |
---|
87 | XDELETEVEC (s->b); |
---|
88 | s->b = s->e = s->p = NULL; |
---|
89 | } |
---|
90 | } |
---|
91 | |
---|
92 | static void |
---|
93 | string_init (string *s) |
---|
94 | { |
---|
95 | s->b = s->p = s->e = NULL; |
---|
96 | } |
---|
97 | |
---|
98 | static int |
---|
99 | string_length (string *s) |
---|
100 | { |
---|
101 | if (s->p == s->b) |
---|
102 | { |
---|
103 | return 0; |
---|
104 | } |
---|
105 | return s->p - s->b; |
---|
106 | } |
---|
107 | |
---|
108 | static void |
---|
109 | string_setlength (string *s, int n) |
---|
110 | { |
---|
111 | if (n - string_length (s) < 0) |
---|
112 | { |
---|
113 | s->p = s->b + n; |
---|
114 | } |
---|
115 | } |
---|
116 | |
---|
117 | static void |
---|
118 | string_append (string *p, const char *s) |
---|
119 | { |
---|
120 | int n = strlen (s); |
---|
121 | string_need (p, n); |
---|
122 | memcpy (p->p, s, n); |
---|
123 | p->p += n; |
---|
124 | } |
---|
125 | |
---|
126 | static void |
---|
127 | string_appendn (string *p, const char *s, int n) |
---|
128 | { |
---|
129 | if (n != 0) |
---|
130 | { |
---|
131 | string_need (p, n); |
---|
132 | memcpy (p->p, s, n); |
---|
133 | p->p += n; |
---|
134 | } |
---|
135 | } |
---|
136 | |
---|
137 | static void |
---|
138 | string_prependn (string *p, const char *s, int n) |
---|
139 | { |
---|
140 | char *q; |
---|
141 | |
---|
142 | if (n != 0) |
---|
143 | { |
---|
144 | string_need (p, n); |
---|
145 | for (q = p->p - 1; q >= p->b; q--) |
---|
146 | { |
---|
147 | q[n] = q[0]; |
---|
148 | } |
---|
149 | memcpy (p->b, s, n); |
---|
150 | p->p += n; |
---|
151 | } |
---|
152 | } |
---|
153 | |
---|
154 | static void |
---|
155 | string_prepend (string *p, const char *s) |
---|
156 | { |
---|
157 | if (s != NULL && *s != '\0') |
---|
158 | { |
---|
159 | string_prependn (p, s, strlen (s)); |
---|
160 | } |
---|
161 | } |
---|
162 | |
---|
163 | /* What kinds of symbol we could be parsing. */ |
---|
164 | enum dlang_symbol_kinds |
---|
165 | { |
---|
166 | /* Top-level symbol, needs it's type checked. */ |
---|
167 | dlang_top_level, |
---|
168 | /* Function symbol, needs it's type checked. */ |
---|
169 | dlang_function, |
---|
170 | /* Strongly typed name, such as for classes, structs and enums. */ |
---|
171 | dlang_type_name, |
---|
172 | /* Template identifier. */ |
---|
173 | dlang_template_ident, |
---|
174 | /* Template symbol parameter. */ |
---|
175 | dlang_template_param |
---|
176 | }; |
---|
177 | |
---|
178 | /* Prototypes for forward referenced functions */ |
---|
179 | static const char *dlang_function_args (string *, const char *); |
---|
180 | |
---|
181 | static const char *dlang_type (string *, const char *); |
---|
182 | |
---|
183 | static const char *dlang_value (string *, const char *, const char *, char); |
---|
184 | |
---|
185 | static const char *dlang_parse_qualified (string *, const char *, |
---|
186 | enum dlang_symbol_kinds); |
---|
187 | |
---|
188 | static const char *dlang_parse_mangle (string *, const char *, |
---|
189 | enum dlang_symbol_kinds); |
---|
190 | |
---|
191 | static const char *dlang_parse_tuple (string *, const char *); |
---|
192 | |
---|
193 | static const char *dlang_parse_template (string *, const char *, long); |
---|
194 | |
---|
195 | |
---|
196 | /* Extract the number from MANGLED, and assign the result to RET. |
---|
197 | Return the remaining string on success or NULL on failure. */ |
---|
198 | static const char * |
---|
199 | dlang_number (const char *mangled, long *ret) |
---|
200 | { |
---|
201 | /* Return NULL if trying to extract something that isn't a digit. */ |
---|
202 | if (mangled == NULL || !ISDIGIT (*mangled)) |
---|
203 | return NULL; |
---|
204 | |
---|
205 | (*ret) = 0; |
---|
206 | |
---|
207 | while (ISDIGIT (*mangled)) |
---|
208 | { |
---|
209 | (*ret) *= 10; |
---|
210 | |
---|
211 | /* If an overflow occured when multiplying by ten, the result |
---|
212 | will not be a multiple of ten. */ |
---|
213 | if ((*ret % 10) != 0) |
---|
214 | return NULL; |
---|
215 | |
---|
216 | (*ret) += mangled[0] - '0'; |
---|
217 | mangled++; |
---|
218 | } |
---|
219 | |
---|
220 | if (*mangled == '\0' || *ret < 0) |
---|
221 | return NULL; |
---|
222 | |
---|
223 | return mangled; |
---|
224 | } |
---|
225 | |
---|
226 | /* Extract the hex-digit from MANGLED, and assign the result to RET. |
---|
227 | Return the remaining string on success or NULL on failure. */ |
---|
228 | static const char * |
---|
229 | dlang_hexdigit (const char *mangled, char *ret) |
---|
230 | { |
---|
231 | char c; |
---|
232 | |
---|
233 | /* Return NULL if trying to extract something that isn't a hexdigit. */ |
---|
234 | if (mangled == NULL || !ISXDIGIT (mangled[0]) || !ISXDIGIT (mangled[1])) |
---|
235 | return NULL; |
---|
236 | |
---|
237 | c = mangled[0]; |
---|
238 | if (!ISDIGIT (c)) |
---|
239 | (*ret) = (c - (ISUPPER (c) ? 'A' : 'a') + 10); |
---|
240 | else |
---|
241 | (*ret) = (c - '0'); |
---|
242 | |
---|
243 | c = mangled[1]; |
---|
244 | if (!ISDIGIT (c)) |
---|
245 | (*ret) = (*ret << 4) | (c - (ISUPPER (c) ? 'A' : 'a') + 10); |
---|
246 | else |
---|
247 | (*ret) = (*ret << 4) | (c - '0'); |
---|
248 | |
---|
249 | mangled += 2; |
---|
250 | |
---|
251 | return mangled; |
---|
252 | } |
---|
253 | |
---|
254 | /* Extract the function calling convention from MANGLED and |
---|
255 | return 1 on success or 0 on failure. */ |
---|
256 | static int |
---|
257 | dlang_call_convention_p (const char *mangled) |
---|
258 | { |
---|
259 | switch (*mangled) |
---|
260 | { |
---|
261 | case 'F': case 'U': case 'V': |
---|
262 | case 'W': case 'R': case 'Y': |
---|
263 | return 1; |
---|
264 | |
---|
265 | default: |
---|
266 | return 0; |
---|
267 | } |
---|
268 | } |
---|
269 | |
---|
270 | /* Demangle the calling convention from MANGLED and append it to DECL. |
---|
271 | Return the remaining string on success or NULL on failure. */ |
---|
272 | static const char * |
---|
273 | dlang_call_convention (string *decl, const char *mangled) |
---|
274 | { |
---|
275 | if (mangled == NULL || *mangled == '\0') |
---|
276 | return NULL; |
---|
277 | |
---|
278 | switch (*mangled) |
---|
279 | { |
---|
280 | case 'F': /* (D) */ |
---|
281 | mangled++; |
---|
282 | break; |
---|
283 | case 'U': /* (C) */ |
---|
284 | mangled++; |
---|
285 | string_append (decl, "extern(C) "); |
---|
286 | break; |
---|
287 | case 'W': /* (Windows) */ |
---|
288 | mangled++; |
---|
289 | string_append (decl, "extern(Windows) "); |
---|
290 | break; |
---|
291 | case 'V': /* (Pascal) */ |
---|
292 | mangled++; |
---|
293 | string_append (decl, "extern(Pascal) "); |
---|
294 | break; |
---|
295 | case 'R': /* (C++) */ |
---|
296 | mangled++; |
---|
297 | string_append (decl, "extern(C++) "); |
---|
298 | break; |
---|
299 | case 'Y': /* (Objective-C) */ |
---|
300 | mangled++; |
---|
301 | string_append (decl, "extern(Objective-C) "); |
---|
302 | break; |
---|
303 | default: |
---|
304 | return NULL; |
---|
305 | } |
---|
306 | |
---|
307 | return mangled; |
---|
308 | } |
---|
309 | |
---|
310 | /* Extract the type modifiers from MANGLED and append them to DECL. |
---|
311 | Returns the remaining signature on success or NULL on failure. */ |
---|
312 | static const char * |
---|
313 | dlang_type_modifiers (string *decl, const char *mangled) |
---|
314 | { |
---|
315 | if (mangled == NULL || *mangled == '\0') |
---|
316 | return NULL; |
---|
317 | |
---|
318 | switch (*mangled) |
---|
319 | { |
---|
320 | case 'x': /* const */ |
---|
321 | mangled++; |
---|
322 | string_append (decl, " const"); |
---|
323 | return mangled; |
---|
324 | case 'y': /* immutable */ |
---|
325 | mangled++; |
---|
326 | string_append (decl, " immutable"); |
---|
327 | return mangled; |
---|
328 | case 'O': /* shared */ |
---|
329 | mangled++; |
---|
330 | string_append (decl, " shared"); |
---|
331 | return dlang_type_modifiers (decl, mangled); |
---|
332 | case 'N': |
---|
333 | mangled++; |
---|
334 | if (*mangled == 'g') /* wild */ |
---|
335 | { |
---|
336 | mangled++; |
---|
337 | string_append (decl, " inout"); |
---|
338 | return dlang_type_modifiers (decl, mangled); |
---|
339 | } |
---|
340 | else |
---|
341 | return NULL; |
---|
342 | |
---|
343 | default: |
---|
344 | return mangled; |
---|
345 | } |
---|
346 | } |
---|
347 | |
---|
348 | /* Demangle the D function attributes from MANGLED and append it to DECL. |
---|
349 | Return the remaining string on success or NULL on failure. */ |
---|
350 | static const char * |
---|
351 | dlang_attributes (string *decl, const char *mangled) |
---|
352 | { |
---|
353 | if (mangled == NULL || *mangled == '\0') |
---|
354 | return NULL; |
---|
355 | |
---|
356 | while (*mangled == 'N') |
---|
357 | { |
---|
358 | mangled++; |
---|
359 | switch (*mangled) |
---|
360 | { |
---|
361 | case 'a': /* pure */ |
---|
362 | mangled++; |
---|
363 | string_append (decl, "pure "); |
---|
364 | continue; |
---|
365 | case 'b': /* nothrow */ |
---|
366 | mangled++; |
---|
367 | string_append (decl, "nothrow "); |
---|
368 | continue; |
---|
369 | case 'c': /* ref */ |
---|
370 | mangled++; |
---|
371 | string_append (decl, "ref "); |
---|
372 | continue; |
---|
373 | case 'd': /* @property */ |
---|
374 | mangled++; |
---|
375 | string_append (decl, "@property "); |
---|
376 | continue; |
---|
377 | case 'e': /* @trusted */ |
---|
378 | mangled++; |
---|
379 | string_append (decl, "@trusted "); |
---|
380 | continue; |
---|
381 | case 'f': /* @safe */ |
---|
382 | mangled++; |
---|
383 | string_append (decl, "@safe "); |
---|
384 | continue; |
---|
385 | case 'g': |
---|
386 | case 'h': |
---|
387 | case 'k': |
---|
388 | /* inout parameter is represented as 'Ng'. |
---|
389 | vector parameter is represented as 'Nh'. |
---|
390 | return paramenter is represented as 'Nk'. |
---|
391 | If we see this, then we know we're really in the |
---|
392 | parameter list. Rewind and break. */ |
---|
393 | mangled--; |
---|
394 | break; |
---|
395 | case 'i': /* @nogc */ |
---|
396 | mangled++; |
---|
397 | string_append (decl, "@nogc "); |
---|
398 | continue; |
---|
399 | case 'j': /* return */ |
---|
400 | mangled++; |
---|
401 | string_append (decl, "return "); |
---|
402 | continue; |
---|
403 | case 'l': /* scope */ |
---|
404 | mangled++; |
---|
405 | string_append (decl, "scope "); |
---|
406 | continue; |
---|
407 | |
---|
408 | default: /* unknown attribute */ |
---|
409 | return NULL; |
---|
410 | } |
---|
411 | break; |
---|
412 | } |
---|
413 | |
---|
414 | return mangled; |
---|
415 | } |
---|
416 | |
---|
417 | /* Demangle the function type from MANGLED and append it to DECL. |
---|
418 | Return the remaining string on success or NULL on failure. */ |
---|
419 | static const char * |
---|
420 | dlang_function_type (string *decl, const char *mangled) |
---|
421 | { |
---|
422 | string attr, args, type; |
---|
423 | size_t szattr, szargs, sztype; |
---|
424 | |
---|
425 | if (mangled == NULL || *mangled == '\0') |
---|
426 | return NULL; |
---|
427 | |
---|
428 | /* The order of the mangled string is: |
---|
429 | CallConvention FuncAttrs Arguments ArgClose Type |
---|
430 | |
---|
431 | The demangled string is re-ordered as: |
---|
432 | CallConvention Type Arguments FuncAttrs |
---|
433 | */ |
---|
434 | string_init (&attr); |
---|
435 | string_init (&args); |
---|
436 | string_init (&type); |
---|
437 | |
---|
438 | /* Function call convention. */ |
---|
439 | mangled = dlang_call_convention (decl, mangled); |
---|
440 | |
---|
441 | /* Function attributes. */ |
---|
442 | mangled = dlang_attributes (&attr, mangled); |
---|
443 | szattr = string_length (&attr); |
---|
444 | |
---|
445 | /* Function arguments. */ |
---|
446 | mangled = dlang_function_args (&args, mangled); |
---|
447 | szargs = string_length (&args); |
---|
448 | |
---|
449 | /* Function return type. */ |
---|
450 | mangled = dlang_type (&type, mangled); |
---|
451 | sztype = string_length (&type); |
---|
452 | |
---|
453 | /* Append to decl in order. */ |
---|
454 | string_appendn (decl, type.b, sztype); |
---|
455 | string_append (decl, "("); |
---|
456 | string_appendn (decl, args.b, szargs); |
---|
457 | string_append (decl, ") "); |
---|
458 | string_appendn (decl, attr.b, szattr); |
---|
459 | |
---|
460 | string_delete (&attr); |
---|
461 | string_delete (&args); |
---|
462 | string_delete (&type); |
---|
463 | return mangled; |
---|
464 | } |
---|
465 | |
---|
466 | /* Demangle the argument list from MANGLED and append it to DECL. |
---|
467 | Return the remaining string on success or NULL on failure. */ |
---|
468 | static const char * |
---|
469 | dlang_function_args (string *decl, const char *mangled) |
---|
470 | { |
---|
471 | size_t n = 0; |
---|
472 | |
---|
473 | while (mangled && *mangled != '\0') |
---|
474 | { |
---|
475 | switch (*mangled) |
---|
476 | { |
---|
477 | case 'X': /* (variadic T t...) style. */ |
---|
478 | mangled++; |
---|
479 | string_append (decl, "..."); |
---|
480 | return mangled; |
---|
481 | case 'Y': /* (variadic T t, ...) style. */ |
---|
482 | mangled++; |
---|
483 | if (n != 0) |
---|
484 | string_append (decl, ", "); |
---|
485 | string_append (decl, "..."); |
---|
486 | return mangled; |
---|
487 | case 'Z': /* Normal function. */ |
---|
488 | mangled++; |
---|
489 | return mangled; |
---|
490 | } |
---|
491 | |
---|
492 | if (n++) |
---|
493 | string_append (decl, ", "); |
---|
494 | |
---|
495 | if (*mangled == 'M') /* scope(T) */ |
---|
496 | { |
---|
497 | mangled++; |
---|
498 | string_append (decl, "scope "); |
---|
499 | } |
---|
500 | |
---|
501 | if (mangled[0] == 'N' && mangled[1] == 'k') /* return(T) */ |
---|
502 | { |
---|
503 | mangled += 2; |
---|
504 | string_append (decl, "return "); |
---|
505 | } |
---|
506 | |
---|
507 | switch (*mangled) |
---|
508 | { |
---|
509 | case 'J': /* out(T) */ |
---|
510 | mangled++; |
---|
511 | string_append (decl, "out "); |
---|
512 | break; |
---|
513 | case 'K': /* ref(T) */ |
---|
514 | mangled++; |
---|
515 | string_append (decl, "ref "); |
---|
516 | break; |
---|
517 | case 'L': /* lazy(T) */ |
---|
518 | mangled++; |
---|
519 | string_append (decl, "lazy "); |
---|
520 | break; |
---|
521 | } |
---|
522 | mangled = dlang_type (decl, mangled); |
---|
523 | } |
---|
524 | |
---|
525 | return mangled; |
---|
526 | } |
---|
527 | |
---|
528 | /* Demangle the type from MANGLED and append it to DECL. |
---|
529 | Return the remaining string on success or NULL on failure. */ |
---|
530 | static const char * |
---|
531 | dlang_type (string *decl, const char *mangled) |
---|
532 | { |
---|
533 | if (mangled == NULL || *mangled == '\0') |
---|
534 | return NULL; |
---|
535 | |
---|
536 | switch (*mangled) |
---|
537 | { |
---|
538 | case 'O': /* shared(T) */ |
---|
539 | mangled++; |
---|
540 | string_append (decl, "shared("); |
---|
541 | mangled = dlang_type (decl, mangled); |
---|
542 | string_append (decl, ")"); |
---|
543 | return mangled; |
---|
544 | case 'x': /* const(T) */ |
---|
545 | mangled++; |
---|
546 | string_append (decl, "const("); |
---|
547 | mangled = dlang_type (decl, mangled); |
---|
548 | string_append (decl, ")"); |
---|
549 | return mangled; |
---|
550 | case 'y': /* immutable(T) */ |
---|
551 | mangled++; |
---|
552 | string_append (decl, "immutable("); |
---|
553 | mangled = dlang_type (decl, mangled); |
---|
554 | string_append (decl, ")"); |
---|
555 | return mangled; |
---|
556 | case 'N': |
---|
557 | mangled++; |
---|
558 | if (*mangled == 'g') /* wild(T) */ |
---|
559 | { |
---|
560 | mangled++; |
---|
561 | string_append (decl, "inout("); |
---|
562 | mangled = dlang_type (decl, mangled); |
---|
563 | string_append (decl, ")"); |
---|
564 | return mangled; |
---|
565 | } |
---|
566 | else if (*mangled == 'h') /* vector(T) */ |
---|
567 | { |
---|
568 | mangled++; |
---|
569 | string_append (decl, "__vector("); |
---|
570 | mangled = dlang_type (decl, mangled); |
---|
571 | string_append (decl, ")"); |
---|
572 | return mangled; |
---|
573 | } |
---|
574 | else |
---|
575 | return NULL; |
---|
576 | case 'A': /* dynamic array (T[]) */ |
---|
577 | mangled++; |
---|
578 | mangled = dlang_type (decl, mangled); |
---|
579 | string_append (decl, "[]"); |
---|
580 | return mangled; |
---|
581 | case 'G': /* static array (T[N]) */ |
---|
582 | { |
---|
583 | const char *numptr; |
---|
584 | size_t num = 0; |
---|
585 | mangled++; |
---|
586 | |
---|
587 | numptr = mangled; |
---|
588 | while (ISDIGIT (*mangled)) |
---|
589 | { |
---|
590 | num++; |
---|
591 | mangled++; |
---|
592 | } |
---|
593 | mangled = dlang_type (decl, mangled); |
---|
594 | string_append (decl, "["); |
---|
595 | string_appendn (decl, numptr, num); |
---|
596 | string_append (decl, "]"); |
---|
597 | return mangled; |
---|
598 | } |
---|
599 | case 'H': /* associative array (T[T]) */ |
---|
600 | { |
---|
601 | string type; |
---|
602 | size_t sztype; |
---|
603 | mangled++; |
---|
604 | |
---|
605 | string_init (&type); |
---|
606 | mangled = dlang_type (&type, mangled); |
---|
607 | sztype = string_length (&type); |
---|
608 | |
---|
609 | mangled = dlang_type (decl, mangled); |
---|
610 | string_append (decl, "["); |
---|
611 | string_appendn (decl, type.b, sztype); |
---|
612 | string_append (decl, "]"); |
---|
613 | |
---|
614 | string_delete (&type); |
---|
615 | return mangled; |
---|
616 | } |
---|
617 | case 'P': /* pointer (T*) */ |
---|
618 | mangled++; |
---|
619 | if (!dlang_call_convention_p (mangled)) |
---|
620 | { |
---|
621 | mangled = dlang_type (decl, mangled); |
---|
622 | string_append (decl, "*"); |
---|
623 | return mangled; |
---|
624 | } |
---|
625 | /* Fall through */ |
---|
626 | case 'F': /* function T (D) */ |
---|
627 | case 'U': /* function T (C) */ |
---|
628 | case 'W': /* function T (Windows) */ |
---|
629 | case 'V': /* function T (Pascal) */ |
---|
630 | case 'R': /* function T (C++) */ |
---|
631 | case 'Y': /* function T (Objective-C) */ |
---|
632 | /* Function pointer types don't include the trailing asterisk. */ |
---|
633 | mangled = dlang_function_type (decl, mangled); |
---|
634 | string_append (decl, "function"); |
---|
635 | return mangled; |
---|
636 | case 'I': /* ident T */ |
---|
637 | case 'C': /* class T */ |
---|
638 | case 'S': /* struct T */ |
---|
639 | case 'E': /* enum T */ |
---|
640 | case 'T': /* typedef T */ |
---|
641 | mangled++; |
---|
642 | return dlang_parse_qualified (decl, mangled, dlang_type_name); |
---|
643 | case 'D': /* delegate T */ |
---|
644 | { |
---|
645 | string mods; |
---|
646 | size_t szmods; |
---|
647 | mangled++; |
---|
648 | |
---|
649 | string_init (&mods); |
---|
650 | mangled = dlang_type_modifiers (&mods, mangled); |
---|
651 | szmods = string_length (&mods); |
---|
652 | |
---|
653 | mangled = dlang_function_type (decl, mangled); |
---|
654 | string_append (decl, "delegate"); |
---|
655 | string_appendn (decl, mods.b, szmods); |
---|
656 | |
---|
657 | string_delete (&mods); |
---|
658 | return mangled; |
---|
659 | } |
---|
660 | case 'B': /* tuple T */ |
---|
661 | mangled++; |
---|
662 | return dlang_parse_tuple (decl, mangled); |
---|
663 | |
---|
664 | /* Basic types */ |
---|
665 | case 'n': |
---|
666 | mangled++; |
---|
667 | string_append (decl, "none"); |
---|
668 | return mangled; |
---|
669 | case 'v': |
---|
670 | mangled++; |
---|
671 | string_append (decl, "void"); |
---|
672 | return mangled; |
---|
673 | case 'g': |
---|
674 | mangled++; |
---|
675 | string_append (decl, "byte"); |
---|
676 | return mangled; |
---|
677 | case 'h': |
---|
678 | mangled++; |
---|
679 | string_append (decl, "ubyte"); |
---|
680 | return mangled; |
---|
681 | case 's': |
---|
682 | mangled++; |
---|
683 | string_append (decl, "short"); |
---|
684 | return mangled; |
---|
685 | case 't': |
---|
686 | mangled++; |
---|
687 | string_append (decl, "ushort"); |
---|
688 | return mangled; |
---|
689 | case 'i': |
---|
690 | mangled++; |
---|
691 | string_append (decl, "int"); |
---|
692 | return mangled; |
---|
693 | case 'k': |
---|
694 | mangled++; |
---|
695 | string_append (decl, "uint"); |
---|
696 | return mangled; |
---|
697 | case 'l': |
---|
698 | mangled++; |
---|
699 | string_append (decl, "long"); |
---|
700 | return mangled; |
---|
701 | case 'm': |
---|
702 | mangled++; |
---|
703 | string_append (decl, "ulong"); |
---|
704 | return mangled; |
---|
705 | case 'f': |
---|
706 | mangled++; |
---|
707 | string_append (decl, "float"); |
---|
708 | return mangled; |
---|
709 | case 'd': |
---|
710 | mangled++; |
---|
711 | string_append (decl, "double"); |
---|
712 | return mangled; |
---|
713 | case 'e': |
---|
714 | mangled++; |
---|
715 | string_append (decl, "real"); |
---|
716 | return mangled; |
---|
717 | |
---|
718 | /* Imaginary and Complex types */ |
---|
719 | case 'o': |
---|
720 | mangled++; |
---|
721 | string_append (decl, "ifloat"); |
---|
722 | return mangled; |
---|
723 | case 'p': |
---|
724 | mangled++; |
---|
725 | string_append (decl, "idouble"); |
---|
726 | return mangled; |
---|
727 | case 'j': |
---|
728 | mangled++; |
---|
729 | string_append (decl, "ireal"); |
---|
730 | return mangled; |
---|
731 | case 'q': |
---|
732 | mangled++; |
---|
733 | string_append (decl, "cfloat"); |
---|
734 | return mangled; |
---|
735 | case 'r': |
---|
736 | mangled++; |
---|
737 | string_append (decl, "cdouble"); |
---|
738 | return mangled; |
---|
739 | case 'c': |
---|
740 | mangled++; |
---|
741 | string_append (decl, "creal"); |
---|
742 | return mangled; |
---|
743 | |
---|
744 | /* Other types */ |
---|
745 | case 'b': |
---|
746 | mangled++; |
---|
747 | string_append (decl, "bool"); |
---|
748 | return mangled; |
---|
749 | case 'a': |
---|
750 | mangled++; |
---|
751 | string_append (decl, "char"); |
---|
752 | return mangled; |
---|
753 | case 'u': |
---|
754 | mangled++; |
---|
755 | string_append (decl, "wchar"); |
---|
756 | return mangled; |
---|
757 | case 'w': |
---|
758 | mangled++; |
---|
759 | string_append (decl, "dchar"); |
---|
760 | return mangled; |
---|
761 | case 'z': |
---|
762 | mangled++; |
---|
763 | switch (*mangled) |
---|
764 | { |
---|
765 | case 'i': |
---|
766 | mangled++; |
---|
767 | string_append (decl, "cent"); |
---|
768 | return mangled; |
---|
769 | case 'k': |
---|
770 | mangled++; |
---|
771 | string_append (decl, "ucent"); |
---|
772 | return mangled; |
---|
773 | } |
---|
774 | return NULL; |
---|
775 | |
---|
776 | default: /* unhandled */ |
---|
777 | return NULL; |
---|
778 | } |
---|
779 | } |
---|
780 | |
---|
781 | /* Extract the identifier from MANGLED and append it to DECL. |
---|
782 | Return the remaining string on success or NULL on failure. */ |
---|
783 | static const char * |
---|
784 | dlang_identifier (string *decl, const char *mangled, |
---|
785 | enum dlang_symbol_kinds kind) |
---|
786 | { |
---|
787 | long len; |
---|
788 | const char *endptr = dlang_number (mangled, &len); |
---|
789 | |
---|
790 | if (endptr == NULL || len == 0) |
---|
791 | return NULL; |
---|
792 | |
---|
793 | /* In template parameter symbols, the first character of the mangled |
---|
794 | name can be a digit. This causes ambiguity issues because the |
---|
795 | digits of the two numbers are adjacent. */ |
---|
796 | if (kind == dlang_template_param) |
---|
797 | { |
---|
798 | long psize = len; |
---|
799 | const char *pend; |
---|
800 | int saved = string_length (decl); |
---|
801 | |
---|
802 | /* Work backwards until a match is found. */ |
---|
803 | for (pend = endptr; endptr != NULL; pend--) |
---|
804 | { |
---|
805 | mangled = pend; |
---|
806 | |
---|
807 | /* Reached the beginning of the pointer to the name length, |
---|
808 | try parsing the entire symbol. */ |
---|
809 | if (psize == 0) |
---|
810 | { |
---|
811 | psize = len; |
---|
812 | pend = endptr; |
---|
813 | endptr = NULL; |
---|
814 | } |
---|
815 | |
---|
816 | /* Check whether template parameter is a function with a valid |
---|
817 | return type or an untyped identifier. */ |
---|
818 | if (ISDIGIT (*mangled)) |
---|
819 | mangled = dlang_parse_qualified (decl, mangled, |
---|
820 | dlang_template_ident); |
---|
821 | else if (strncmp (mangled, "_D", 2) == 0) |
---|
822 | mangled = dlang_parse_mangle (decl, mangled, dlang_function); |
---|
823 | |
---|
824 | /* Check for name length mismatch. */ |
---|
825 | if (mangled && (mangled - pend) == psize) |
---|
826 | return mangled; |
---|
827 | |
---|
828 | psize /= 10; |
---|
829 | string_setlength (decl, saved); |
---|
830 | } |
---|
831 | |
---|
832 | /* No match on any combinations. */ |
---|
833 | return NULL; |
---|
834 | } |
---|
835 | else |
---|
836 | { |
---|
837 | if (strlen (endptr) < (size_t) len) |
---|
838 | return NULL; |
---|
839 | |
---|
840 | mangled = endptr; |
---|
841 | |
---|
842 | /* May be a template instance. */ |
---|
843 | if (len >= 5 && mangled[0] == '_' && mangled[1] == '_' |
---|
844 | && (mangled[2] == 'T' || mangled[2] == 'U')) |
---|
845 | return dlang_parse_template (decl, mangled, len); |
---|
846 | |
---|
847 | switch (len) |
---|
848 | { |
---|
849 | case 6: |
---|
850 | if (strncmp (mangled, "__ctor", len) == 0) |
---|
851 | { |
---|
852 | /* Constructor symbol for a class/struct. */ |
---|
853 | string_append (decl, "this"); |
---|
854 | mangled += len; |
---|
855 | return mangled; |
---|
856 | } |
---|
857 | else if (strncmp (mangled, "__dtor", len) == 0) |
---|
858 | { |
---|
859 | /* Destructor symbol for a class/struct. */ |
---|
860 | string_append (decl, "~this"); |
---|
861 | mangled += len; |
---|
862 | return mangled; |
---|
863 | } |
---|
864 | else if (strncmp (mangled, "__initZ", len+1) == 0) |
---|
865 | { |
---|
866 | /* The static initialiser for a given symbol. */ |
---|
867 | string_prepend (decl, "initializer for "); |
---|
868 | string_setlength (decl, string_length (decl) - 1); |
---|
869 | mangled += len; |
---|
870 | return mangled; |
---|
871 | } |
---|
872 | else if (strncmp (mangled, "__vtblZ", len+1) == 0) |
---|
873 | { |
---|
874 | /* The vtable symbol for a given class. */ |
---|
875 | string_prepend (decl, "vtable for "); |
---|
876 | string_setlength (decl, string_length (decl) - 1); |
---|
877 | mangled += len; |
---|
878 | return mangled; |
---|
879 | } |
---|
880 | break; |
---|
881 | |
---|
882 | case 7: |
---|
883 | if (strncmp (mangled, "__ClassZ", len+1) == 0) |
---|
884 | { |
---|
885 | /* The classinfo symbol for a given class. */ |
---|
886 | string_prepend (decl, "ClassInfo for "); |
---|
887 | string_setlength (decl, string_length (decl) - 1); |
---|
888 | mangled += len; |
---|
889 | return mangled; |
---|
890 | } |
---|
891 | break; |
---|
892 | |
---|
893 | case 10: |
---|
894 | if (strncmp (mangled, "__postblitMFZ", len+3) == 0) |
---|
895 | { |
---|
896 | /* Postblit symbol for a struct. */ |
---|
897 | string_append (decl, "this(this)"); |
---|
898 | mangled += len + 3; |
---|
899 | return mangled; |
---|
900 | } |
---|
901 | break; |
---|
902 | |
---|
903 | case 11: |
---|
904 | if (strncmp (mangled, "__InterfaceZ", len+1) == 0) |
---|
905 | { |
---|
906 | /* The interface symbol for a given class. */ |
---|
907 | string_prepend (decl, "Interface for "); |
---|
908 | string_setlength (decl, string_length (decl) - 1); |
---|
909 | mangled += len; |
---|
910 | return mangled; |
---|
911 | } |
---|
912 | break; |
---|
913 | |
---|
914 | case 12: |
---|
915 | if (strncmp (mangled, "__ModuleInfoZ", len+1) == 0) |
---|
916 | { |
---|
917 | /* The ModuleInfo symbol for a given module. */ |
---|
918 | string_prepend (decl, "ModuleInfo for "); |
---|
919 | string_setlength (decl, string_length (decl) - 1); |
---|
920 | mangled += len; |
---|
921 | return mangled; |
---|
922 | } |
---|
923 | break; |
---|
924 | } |
---|
925 | |
---|
926 | string_appendn (decl, mangled, len); |
---|
927 | mangled += len; |
---|
928 | } |
---|
929 | |
---|
930 | return mangled; |
---|
931 | } |
---|
932 | |
---|
933 | /* Extract the integer value from MANGLED and append it to DECL, |
---|
934 | where TYPE is the type it should be represented as. |
---|
935 | Return the remaining string on success or NULL on failure. */ |
---|
936 | static const char * |
---|
937 | dlang_parse_integer (string *decl, const char *mangled, char type) |
---|
938 | { |
---|
939 | if (type == 'a' || type == 'u' || type == 'w') |
---|
940 | { |
---|
941 | /* Parse character value. */ |
---|
942 | char value[10]; |
---|
943 | int pos = 10; |
---|
944 | int width = 0; |
---|
945 | long val; |
---|
946 | |
---|
947 | mangled = dlang_number (mangled, &val); |
---|
948 | if (mangled == NULL) |
---|
949 | return NULL; |
---|
950 | |
---|
951 | string_append (decl, "'"); |
---|
952 | |
---|
953 | if (type == 'a' && val >= 0x20 && val < 0x7F) |
---|
954 | { |
---|
955 | /* Represent as a character literal. */ |
---|
956 | char c = (char) val; |
---|
957 | string_appendn (decl, &c, 1); |
---|
958 | } |
---|
959 | else |
---|
960 | { |
---|
961 | /* Represent as a hexadecimal value. */ |
---|
962 | switch (type) |
---|
963 | { |
---|
964 | case 'a': /* char */ |
---|
965 | string_append (decl, "\\x"); |
---|
966 | width = 2; |
---|
967 | break; |
---|
968 | case 'u': /* wchar */ |
---|
969 | string_append (decl, "\\u"); |
---|
970 | width = 4; |
---|
971 | break; |
---|
972 | case 'w': /* dchar */ |
---|
973 | string_append (decl, "\\U"); |
---|
974 | width = 8; |
---|
975 | break; |
---|
976 | } |
---|
977 | |
---|
978 | while (val > 0) |
---|
979 | { |
---|
980 | int digit = val % 16; |
---|
981 | |
---|
982 | if (digit < 10) |
---|
983 | value[--pos] = (char)(digit + '0'); |
---|
984 | else |
---|
985 | value[--pos] = (char)((digit - 10) + 'a'); |
---|
986 | |
---|
987 | val /= 16; |
---|
988 | width--; |
---|
989 | } |
---|
990 | |
---|
991 | for (; width > 0; width--) |
---|
992 | value[--pos] = '0'; |
---|
993 | |
---|
994 | string_appendn (decl, &(value[pos]), 10 - pos); |
---|
995 | } |
---|
996 | string_append (decl, "'"); |
---|
997 | } |
---|
998 | else if (type == 'b') |
---|
999 | { |
---|
1000 | /* Parse boolean value. */ |
---|
1001 | long val; |
---|
1002 | |
---|
1003 | mangled = dlang_number (mangled, &val); |
---|
1004 | if (mangled == NULL) |
---|
1005 | return NULL; |
---|
1006 | |
---|
1007 | string_append (decl, val ? "true" : "false"); |
---|
1008 | } |
---|
1009 | else |
---|
1010 | { |
---|
1011 | /* Parse integer value. */ |
---|
1012 | const char *numptr = mangled; |
---|
1013 | size_t num = 0; |
---|
1014 | |
---|
1015 | if (! ISDIGIT (*mangled)) |
---|
1016 | return NULL; |
---|
1017 | |
---|
1018 | while (ISDIGIT (*mangled)) |
---|
1019 | { |
---|
1020 | num++; |
---|
1021 | mangled++; |
---|
1022 | } |
---|
1023 | string_appendn (decl, numptr, num); |
---|
1024 | |
---|
1025 | /* Append suffix. */ |
---|
1026 | switch (type) |
---|
1027 | { |
---|
1028 | case 'h': /* ubyte */ |
---|
1029 | case 't': /* ushort */ |
---|
1030 | case 'k': /* uint */ |
---|
1031 | string_append (decl, "u"); |
---|
1032 | break; |
---|
1033 | case 'l': /* long */ |
---|
1034 | string_append (decl, "L"); |
---|
1035 | break; |
---|
1036 | case 'm': /* ulong */ |
---|
1037 | string_append (decl, "uL"); |
---|
1038 | break; |
---|
1039 | } |
---|
1040 | } |
---|
1041 | |
---|
1042 | return mangled; |
---|
1043 | } |
---|
1044 | |
---|
1045 | /* Extract the floating-point value from MANGLED and append it to DECL. |
---|
1046 | Return the remaining string on success or NULL on failure. */ |
---|
1047 | static const char * |
---|
1048 | dlang_parse_real (string *decl, const char *mangled) |
---|
1049 | { |
---|
1050 | /* Handle NAN and +-INF. */ |
---|
1051 | if (strncmp (mangled, "NAN", 3) == 0) |
---|
1052 | { |
---|
1053 | string_append (decl, "NaN"); |
---|
1054 | mangled += 3; |
---|
1055 | return mangled; |
---|
1056 | } |
---|
1057 | else if (strncmp (mangled, "INF", 3) == 0) |
---|
1058 | { |
---|
1059 | string_append (decl, "Inf"); |
---|
1060 | mangled += 3; |
---|
1061 | return mangled; |
---|
1062 | } |
---|
1063 | else if (strncmp (mangled, "NINF", 4) == 0) |
---|
1064 | { |
---|
1065 | string_append (decl, "-Inf"); |
---|
1066 | mangled += 4; |
---|
1067 | return mangled; |
---|
1068 | } |
---|
1069 | |
---|
1070 | /* Hexadecimal prefix and leading bit. */ |
---|
1071 | if (*mangled == 'N') |
---|
1072 | { |
---|
1073 | string_append (decl, "-"); |
---|
1074 | mangled++; |
---|
1075 | } |
---|
1076 | |
---|
1077 | if (!ISXDIGIT (*mangled)) |
---|
1078 | return NULL; |
---|
1079 | |
---|
1080 | string_append (decl, "0x"); |
---|
1081 | string_appendn (decl, mangled, 1); |
---|
1082 | string_append (decl, "."); |
---|
1083 | mangled++; |
---|
1084 | |
---|
1085 | /* Significand. */ |
---|
1086 | while (ISXDIGIT (*mangled)) |
---|
1087 | { |
---|
1088 | string_appendn (decl, mangled, 1); |
---|
1089 | mangled++; |
---|
1090 | } |
---|
1091 | |
---|
1092 | /* Exponent. */ |
---|
1093 | if (*mangled != 'P') |
---|
1094 | return NULL; |
---|
1095 | |
---|
1096 | string_append (decl, "p"); |
---|
1097 | mangled++; |
---|
1098 | |
---|
1099 | if (*mangled == 'N') |
---|
1100 | { |
---|
1101 | string_append (decl, "-"); |
---|
1102 | mangled++; |
---|
1103 | } |
---|
1104 | |
---|
1105 | while (ISDIGIT (*mangled)) |
---|
1106 | { |
---|
1107 | string_appendn (decl, mangled, 1); |
---|
1108 | mangled++; |
---|
1109 | } |
---|
1110 | |
---|
1111 | return mangled; |
---|
1112 | } |
---|
1113 | |
---|
1114 | /* Extract the string value from MANGLED and append it to DECL. |
---|
1115 | Return the remaining string on success or NULL on failure. */ |
---|
1116 | static const char * |
---|
1117 | dlang_parse_string (string *decl, const char *mangled) |
---|
1118 | { |
---|
1119 | char type = *mangled; |
---|
1120 | long len; |
---|
1121 | |
---|
1122 | mangled++; |
---|
1123 | mangled = dlang_number (mangled, &len); |
---|
1124 | if (mangled == NULL || *mangled != '_') |
---|
1125 | return NULL; |
---|
1126 | |
---|
1127 | mangled++; |
---|
1128 | string_append (decl, "\""); |
---|
1129 | while (len--) |
---|
1130 | { |
---|
1131 | char val; |
---|
1132 | const char *endptr = dlang_hexdigit (mangled, &val); |
---|
1133 | |
---|
1134 | if (endptr == NULL) |
---|
1135 | return NULL; |
---|
1136 | |
---|
1137 | /* Sanitize white and non-printable characters. */ |
---|
1138 | switch (val) |
---|
1139 | { |
---|
1140 | case ' ': |
---|
1141 | string_append (decl, " "); |
---|
1142 | break; |
---|
1143 | case '\t': |
---|
1144 | string_append (decl, "\\t"); |
---|
1145 | break; |
---|
1146 | case '\n': |
---|
1147 | string_append (decl, "\\n"); |
---|
1148 | break; |
---|
1149 | case '\r': |
---|
1150 | string_append (decl, "\\r"); |
---|
1151 | break; |
---|
1152 | case '\f': |
---|
1153 | string_append (decl, "\\f"); |
---|
1154 | break; |
---|
1155 | case '\v': |
---|
1156 | string_append (decl, "\\v"); |
---|
1157 | break; |
---|
1158 | |
---|
1159 | default: |
---|
1160 | if (ISPRINT (val)) |
---|
1161 | string_appendn (decl, &val, 1); |
---|
1162 | else |
---|
1163 | { |
---|
1164 | string_append (decl, "\\x"); |
---|
1165 | string_appendn (decl, mangled, 2); |
---|
1166 | } |
---|
1167 | } |
---|
1168 | |
---|
1169 | mangled = endptr; |
---|
1170 | } |
---|
1171 | string_append (decl, "\""); |
---|
1172 | |
---|
1173 | if (type != 'a') |
---|
1174 | string_appendn (decl, &type, 1); |
---|
1175 | |
---|
1176 | return mangled; |
---|
1177 | } |
---|
1178 | |
---|
1179 | /* Extract the static array value from MANGLED and append it to DECL. |
---|
1180 | Return the remaining string on success or NULL on failure. */ |
---|
1181 | static const char * |
---|
1182 | dlang_parse_arrayliteral (string *decl, const char *mangled) |
---|
1183 | { |
---|
1184 | long elements; |
---|
1185 | |
---|
1186 | mangled = dlang_number (mangled, &elements); |
---|
1187 | if (mangled == NULL) |
---|
1188 | return NULL; |
---|
1189 | |
---|
1190 | string_append (decl, "["); |
---|
1191 | while (elements--) |
---|
1192 | { |
---|
1193 | mangled = dlang_value (decl, mangled, NULL, '\0'); |
---|
1194 | if (elements != 0) |
---|
1195 | string_append (decl, ", "); |
---|
1196 | } |
---|
1197 | |
---|
1198 | string_append (decl, "]"); |
---|
1199 | return mangled; |
---|
1200 | } |
---|
1201 | |
---|
1202 | /* Extract the associative array value from MANGLED and append it to DECL. |
---|
1203 | Return the remaining string on success or NULL on failure. */ |
---|
1204 | static const char * |
---|
1205 | dlang_parse_assocarray (string *decl, const char *mangled) |
---|
1206 | { |
---|
1207 | long elements; |
---|
1208 | |
---|
1209 | mangled = dlang_number (mangled, &elements); |
---|
1210 | if (mangled == NULL) |
---|
1211 | return NULL; |
---|
1212 | |
---|
1213 | string_append (decl, "["); |
---|
1214 | while (elements--) |
---|
1215 | { |
---|
1216 | mangled = dlang_value (decl, mangled, NULL, '\0'); |
---|
1217 | string_append (decl, ":"); |
---|
1218 | mangled = dlang_value (decl, mangled, NULL, '\0'); |
---|
1219 | |
---|
1220 | if (elements != 0) |
---|
1221 | string_append (decl, ", "); |
---|
1222 | } |
---|
1223 | |
---|
1224 | string_append (decl, "]"); |
---|
1225 | return mangled; |
---|
1226 | } |
---|
1227 | |
---|
1228 | /* Extract the struct literal value for NAME from MANGLED and append it to DECL. |
---|
1229 | Return the remaining string on success or NULL on failure. */ |
---|
1230 | static const char * |
---|
1231 | dlang_parse_structlit (string *decl, const char *mangled, const char *name) |
---|
1232 | { |
---|
1233 | long args; |
---|
1234 | |
---|
1235 | mangled = dlang_number (mangled, &args); |
---|
1236 | if (mangled == NULL) |
---|
1237 | return NULL; |
---|
1238 | |
---|
1239 | if (name != NULL) |
---|
1240 | string_append (decl, name); |
---|
1241 | |
---|
1242 | string_append (decl, "("); |
---|
1243 | while (args--) |
---|
1244 | { |
---|
1245 | mangled = dlang_value (decl, mangled, NULL, '\0'); |
---|
1246 | if (args != 0) |
---|
1247 | string_append (decl, ", "); |
---|
1248 | } |
---|
1249 | |
---|
1250 | string_append (decl, ")"); |
---|
1251 | return mangled; |
---|
1252 | } |
---|
1253 | |
---|
1254 | /* Extract the value from MANGLED and append it to DECL. |
---|
1255 | Return the remaining string on success or NULL on failure. */ |
---|
1256 | static const char * |
---|
1257 | dlang_value (string *decl, const char *mangled, const char *name, char type) |
---|
1258 | { |
---|
1259 | if (mangled == NULL || *mangled == '\0') |
---|
1260 | return NULL; |
---|
1261 | |
---|
1262 | switch (*mangled) |
---|
1263 | { |
---|
1264 | /* Null value. */ |
---|
1265 | case 'n': |
---|
1266 | mangled++; |
---|
1267 | string_append (decl, "null"); |
---|
1268 | break; |
---|
1269 | |
---|
1270 | /* Integral values. */ |
---|
1271 | case 'N': |
---|
1272 | mangled++; |
---|
1273 | string_append (decl, "-"); |
---|
1274 | mangled = dlang_parse_integer (decl, mangled, type); |
---|
1275 | break; |
---|
1276 | |
---|
1277 | case 'i': |
---|
1278 | mangled++; |
---|
1279 | /* Fall through */ |
---|
1280 | |
---|
1281 | /* There really should always be an `i' before encoded numbers, but there |
---|
1282 | wasn't in early versions of D2, so this case range must remain for |
---|
1283 | backwards compatibility. */ |
---|
1284 | case '0': case '1': case '2': case '3': case '4': |
---|
1285 | case '5': case '6': case '7': case '8': case '9': |
---|
1286 | mangled = dlang_parse_integer (decl, mangled, type); |
---|
1287 | break; |
---|
1288 | |
---|
1289 | /* Real value. */ |
---|
1290 | case 'e': |
---|
1291 | mangled++; |
---|
1292 | mangled = dlang_parse_real (decl, mangled); |
---|
1293 | break; |
---|
1294 | |
---|
1295 | /* Complex value. */ |
---|
1296 | case 'c': |
---|
1297 | mangled++; |
---|
1298 | mangled = dlang_parse_real (decl, mangled); |
---|
1299 | string_append (decl, "+"); |
---|
1300 | if (mangled == NULL || *mangled != 'c') |
---|
1301 | return NULL; |
---|
1302 | mangled++; |
---|
1303 | mangled = dlang_parse_real (decl, mangled); |
---|
1304 | string_append (decl, "i"); |
---|
1305 | break; |
---|
1306 | |
---|
1307 | /* String values. */ |
---|
1308 | case 'a': /* UTF8 */ |
---|
1309 | case 'w': /* UTF16 */ |
---|
1310 | case 'd': /* UTF32 */ |
---|
1311 | mangled = dlang_parse_string (decl, mangled); |
---|
1312 | break; |
---|
1313 | |
---|
1314 | /* Array values. */ |
---|
1315 | case 'A': |
---|
1316 | mangled++; |
---|
1317 | if (type == 'H') |
---|
1318 | mangled = dlang_parse_assocarray (decl, mangled); |
---|
1319 | else |
---|
1320 | mangled = dlang_parse_arrayliteral (decl, mangled); |
---|
1321 | break; |
---|
1322 | |
---|
1323 | /* Struct values. */ |
---|
1324 | case 'S': |
---|
1325 | mangled++; |
---|
1326 | mangled = dlang_parse_structlit (decl, mangled, name); |
---|
1327 | break; |
---|
1328 | |
---|
1329 | default: |
---|
1330 | return NULL; |
---|
1331 | } |
---|
1332 | |
---|
1333 | return mangled; |
---|
1334 | } |
---|
1335 | |
---|
1336 | /* Extract and demangle the symbol in MANGLED and append it to DECL. |
---|
1337 | Returns the remaining signature on success or NULL on failure. */ |
---|
1338 | static const char * |
---|
1339 | dlang_parse_mangle (string *decl, const char *mangled, |
---|
1340 | enum dlang_symbol_kinds kind) |
---|
1341 | { |
---|
1342 | /* A D mangled symbol is comprised of both scope and type information. |
---|
1343 | |
---|
1344 | MangleName: |
---|
1345 | _D QualifiedName Type |
---|
1346 | _D QualifiedName M Type |
---|
1347 | _D QualifiedName Z |
---|
1348 | ^ |
---|
1349 | The caller should have guaranteed that the start pointer is at the |
---|
1350 | above location. |
---|
1351 | */ |
---|
1352 | mangled += 2; |
---|
1353 | |
---|
1354 | mangled = dlang_parse_qualified (decl, mangled, dlang_top_level); |
---|
1355 | |
---|
1356 | if (mangled != NULL) |
---|
1357 | { |
---|
1358 | /* Artificial symbols end with 'Z' and have no type. */ |
---|
1359 | if (*mangled == 'Z') |
---|
1360 | mangled++; |
---|
1361 | else |
---|
1362 | { |
---|
1363 | string mods; |
---|
1364 | int saved; |
---|
1365 | |
---|
1366 | /* Skip over 'this' parameter. */ |
---|
1367 | if (*mangled == 'M') |
---|
1368 | mangled++; |
---|
1369 | |
---|
1370 | /* Save the type modifiers for appending at the end if needed. */ |
---|
1371 | string_init (&mods); |
---|
1372 | mangled = dlang_type_modifiers (&mods, mangled); |
---|
1373 | |
---|
1374 | if (mangled && dlang_call_convention_p (mangled)) |
---|
1375 | { |
---|
1376 | /* Skip over calling convention and attributes. */ |
---|
1377 | saved = string_length (decl); |
---|
1378 | mangled = dlang_call_convention (decl, mangled); |
---|
1379 | mangled = dlang_attributes (decl, mangled); |
---|
1380 | string_setlength (decl, saved); |
---|
1381 | |
---|
1382 | string_append (decl, "("); |
---|
1383 | mangled = dlang_function_args (decl, mangled); |
---|
1384 | string_append (decl, ")"); |
---|
1385 | |
---|
1386 | /* Add any const/immutable/shared modifier. */ |
---|
1387 | string_appendn (decl, mods.b, string_length (&mods)); |
---|
1388 | } |
---|
1389 | |
---|
1390 | /* Consume the decl type of symbol. */ |
---|
1391 | saved = string_length (decl); |
---|
1392 | mangled = dlang_type (decl, mangled); |
---|
1393 | string_setlength (decl, saved); |
---|
1394 | |
---|
1395 | string_delete (&mods); |
---|
1396 | } |
---|
1397 | } |
---|
1398 | |
---|
1399 | /* Check that the entire symbol was successfully demangled. */ |
---|
1400 | if (kind == dlang_top_level) |
---|
1401 | { |
---|
1402 | if (mangled == NULL || *mangled != '\0') |
---|
1403 | return NULL; |
---|
1404 | } |
---|
1405 | |
---|
1406 | return mangled; |
---|
1407 | } |
---|
1408 | |
---|
1409 | /* Extract and demangle the qualified symbol in MANGLED and append it to DECL. |
---|
1410 | Returns the remaining signature on success or NULL on failure. */ |
---|
1411 | static const char * |
---|
1412 | dlang_parse_qualified (string *decl, const char *mangled, |
---|
1413 | enum dlang_symbol_kinds kind) |
---|
1414 | { |
---|
1415 | /* Qualified names are identifiers separated by their encoded length. |
---|
1416 | Nested functions also encode their argument types without specifying |
---|
1417 | what they return. |
---|
1418 | |
---|
1419 | QualifiedName: |
---|
1420 | SymbolName |
---|
1421 | SymbolName QualifiedName |
---|
1422 | SymbolName TypeFunctionNoReturn QualifiedName |
---|
1423 | SymbolName M TypeModifiers TypeFunctionNoReturn QualifiedName |
---|
1424 | ^ |
---|
1425 | The start pointer should be at the above location. |
---|
1426 | */ |
---|
1427 | size_t n = 0; |
---|
1428 | do |
---|
1429 | { |
---|
1430 | if (n++) |
---|
1431 | string_append (decl, "."); |
---|
1432 | |
---|
1433 | /* Skip over anonymous symbols. */ |
---|
1434 | while (*mangled == '0') |
---|
1435 | mangled++; |
---|
1436 | |
---|
1437 | mangled = dlang_identifier (decl, mangled, kind); |
---|
1438 | |
---|
1439 | /* Consume the encoded arguments. However if this is not followed by the |
---|
1440 | next encoded length, then this is not a continuation of a qualified |
---|
1441 | name, in which case we backtrack and return the current unconsumed |
---|
1442 | position of the mangled decl. */ |
---|
1443 | if (mangled && (*mangled == 'M' || dlang_call_convention_p (mangled))) |
---|
1444 | { |
---|
1445 | const char *start = mangled; |
---|
1446 | int saved = string_length (decl); |
---|
1447 | |
---|
1448 | /* Skip over 'this' parameter and type modifiers. */ |
---|
1449 | if (*mangled == 'M') |
---|
1450 | { |
---|
1451 | mangled++; |
---|
1452 | mangled = dlang_type_modifiers (decl, mangled); |
---|
1453 | string_setlength (decl, saved); |
---|
1454 | } |
---|
1455 | |
---|
1456 | /* The rule we expect to match in the mangled string is: |
---|
1457 | |
---|
1458 | TypeFunctionNoReturn: |
---|
1459 | CallConvention FuncAttrs Arguments ArgClose |
---|
1460 | |
---|
1461 | The calling convention and function attributes are not included |
---|
1462 | in the demangled string. */ |
---|
1463 | mangled = dlang_call_convention (decl, mangled); |
---|
1464 | mangled = dlang_attributes (decl, mangled); |
---|
1465 | string_setlength (decl, saved); |
---|
1466 | |
---|
1467 | string_append (decl, "("); |
---|
1468 | mangled = dlang_function_args (decl, mangled); |
---|
1469 | string_append (decl, ")"); |
---|
1470 | |
---|
1471 | if (mangled == NULL || !ISDIGIT (*mangled)) |
---|
1472 | { |
---|
1473 | /* Did not match the rule we were looking for. */ |
---|
1474 | mangled = start; |
---|
1475 | string_setlength (decl, saved); |
---|
1476 | } |
---|
1477 | } |
---|
1478 | } |
---|
1479 | while (mangled && ISDIGIT (*mangled)); |
---|
1480 | |
---|
1481 | return mangled; |
---|
1482 | } |
---|
1483 | |
---|
1484 | /* Demangle the tuple from MANGLED and append it to DECL. |
---|
1485 | Return the remaining string on success or NULL on failure. */ |
---|
1486 | static const char * |
---|
1487 | dlang_parse_tuple (string *decl, const char *mangled) |
---|
1488 | { |
---|
1489 | long elements; |
---|
1490 | |
---|
1491 | mangled = dlang_number (mangled, &elements); |
---|
1492 | if (mangled == NULL) |
---|
1493 | return NULL; |
---|
1494 | |
---|
1495 | string_append (decl, "Tuple!("); |
---|
1496 | |
---|
1497 | while (elements--) |
---|
1498 | { |
---|
1499 | mangled = dlang_type (decl, mangled); |
---|
1500 | if (elements != 0) |
---|
1501 | string_append (decl, ", "); |
---|
1502 | } |
---|
1503 | |
---|
1504 | string_append (decl, ")"); |
---|
1505 | return mangled; |
---|
1506 | } |
---|
1507 | |
---|
1508 | /* Demangle the argument list from MANGLED and append it to DECL. |
---|
1509 | Return the remaining string on success or NULL on failure. */ |
---|
1510 | static const char * |
---|
1511 | dlang_template_args (string *decl, const char *mangled) |
---|
1512 | { |
---|
1513 | size_t n = 0; |
---|
1514 | |
---|
1515 | while (mangled && *mangled != '\0') |
---|
1516 | { |
---|
1517 | switch (*mangled) |
---|
1518 | { |
---|
1519 | case 'Z': /* End of parameter list. */ |
---|
1520 | mangled++; |
---|
1521 | return mangled; |
---|
1522 | } |
---|
1523 | |
---|
1524 | if (n++) |
---|
1525 | string_append (decl, ", "); |
---|
1526 | |
---|
1527 | /* Skip over specialised template prefix. */ |
---|
1528 | if (*mangled == 'H') |
---|
1529 | mangled++; |
---|
1530 | |
---|
1531 | switch (*mangled) |
---|
1532 | { |
---|
1533 | case 'S': /* Symbol parameter. */ |
---|
1534 | mangled++; |
---|
1535 | mangled = dlang_identifier (decl, mangled, dlang_template_param); |
---|
1536 | break; |
---|
1537 | case 'T': /* Type parameter. */ |
---|
1538 | mangled++; |
---|
1539 | mangled = dlang_type (decl, mangled); |
---|
1540 | break; |
---|
1541 | case 'V': /* Value parameter. */ |
---|
1542 | { |
---|
1543 | string name; |
---|
1544 | char type; |
---|
1545 | |
---|
1546 | /* Peek at the type. */ |
---|
1547 | mangled++; |
---|
1548 | type = *mangled; |
---|
1549 | |
---|
1550 | /* In the few instances where the type is actually desired in |
---|
1551 | the output, it should precede the value from dlang_value. */ |
---|
1552 | string_init (&name); |
---|
1553 | mangled = dlang_type (&name, mangled); |
---|
1554 | string_need (&name, 1); |
---|
1555 | *(name.p) = '\0'; |
---|
1556 | |
---|
1557 | mangled = dlang_value (decl, mangled, name.b, type); |
---|
1558 | string_delete (&name); |
---|
1559 | break; |
---|
1560 | } |
---|
1561 | |
---|
1562 | default: |
---|
1563 | return NULL; |
---|
1564 | } |
---|
1565 | } |
---|
1566 | |
---|
1567 | return mangled; |
---|
1568 | } |
---|
1569 | |
---|
1570 | /* Extract and demangle the template symbol in MANGLED, expected to |
---|
1571 | be made up of LEN characters, and append it to DECL. |
---|
1572 | Returns the remaining signature on success or NULL on failure. */ |
---|
1573 | static const char * |
---|
1574 | dlang_parse_template (string *decl, const char *mangled, long len) |
---|
1575 | { |
---|
1576 | const char *start = mangled; |
---|
1577 | |
---|
1578 | /* Template instance names have the types and values of its parameters |
---|
1579 | encoded into it. |
---|
1580 | |
---|
1581 | TemplateInstanceName: |
---|
1582 | Number __T LName TemplateArgs Z |
---|
1583 | Number __U LName TemplateArgs Z |
---|
1584 | ^ |
---|
1585 | The start pointer should be at the above location, and LEN should be |
---|
1586 | the value of the decoded number. |
---|
1587 | */ |
---|
1588 | |
---|
1589 | /* Template symbol. */ |
---|
1590 | if (!ISDIGIT (mangled[3]) || mangled[3] == '0') |
---|
1591 | return NULL; |
---|
1592 | |
---|
1593 | mangled += 3; |
---|
1594 | |
---|
1595 | /* Template identifier. */ |
---|
1596 | mangled = dlang_identifier (decl, mangled, dlang_template_ident); |
---|
1597 | |
---|
1598 | /* Template arguments. */ |
---|
1599 | string_append (decl, "!("); |
---|
1600 | mangled = dlang_template_args (decl, mangled); |
---|
1601 | string_append (decl, ")"); |
---|
1602 | |
---|
1603 | /* Check for template name length mismatch. */ |
---|
1604 | if (mangled && (mangled - start) != len) |
---|
1605 | return NULL; |
---|
1606 | |
---|
1607 | return mangled; |
---|
1608 | } |
---|
1609 | |
---|
1610 | /* Extract and demangle the symbol in MANGLED. Returns the demangled |
---|
1611 | signature on success or NULL on failure. */ |
---|
1612 | |
---|
1613 | char * |
---|
1614 | dlang_demangle (const char *mangled, int option ATTRIBUTE_UNUSED) |
---|
1615 | { |
---|
1616 | string decl; |
---|
1617 | char *demangled = NULL; |
---|
1618 | |
---|
1619 | if (mangled == NULL || *mangled == '\0') |
---|
1620 | return NULL; |
---|
1621 | |
---|
1622 | if (strncmp (mangled, "_D", 2) != 0) |
---|
1623 | return NULL; |
---|
1624 | |
---|
1625 | string_init (&decl); |
---|
1626 | |
---|
1627 | if (strcmp (mangled, "_Dmain") == 0) |
---|
1628 | { |
---|
1629 | string_append (&decl, "D main"); |
---|
1630 | } |
---|
1631 | else |
---|
1632 | { |
---|
1633 | if (dlang_parse_mangle (&decl, mangled, dlang_top_level) == NULL) |
---|
1634 | string_delete (&decl); |
---|
1635 | } |
---|
1636 | |
---|
1637 | if (string_length (&decl) > 0) |
---|
1638 | { |
---|
1639 | string_need (&decl, 1); |
---|
1640 | *(decl.p) = '\0'; |
---|
1641 | demangled = decl.b; |
---|
1642 | } |
---|
1643 | |
---|
1644 | return demangled; |
---|
1645 | } |
---|
1646 | |
---|