380 |
destructor, typename. */ |
destructor, typename. */ |
381 |
fprintf (out, "%s[[[%s]], [[%d]], [[%s]], [[%d]], [[%s]], [[%s]]]", |
fprintf (out, "%s[[[%s]], [[%d]], [[%s]], [[%d]], [[%s]], [[%s]]]", |
382 |
first ? "" : ",\n", |
first ? "" : ",\n", |
383 |
symbol->destructor_location.file, |
quotearg_style (escape_quoting_style, |
384 |
|
symbol->destructor_location.file), |
385 |
symbol->destructor_location.first_line, |
symbol->destructor_location.first_line, |
386 |
symbol->tag, |
symbol->tag, |
387 |
symbol->number, |
symbol->number, |
415 |
printer, typename. */ |
printer, typename. */ |
416 |
fprintf (out, "%s[[[%s]], [[%d]], [[%s]], [[%d]], [[%s]], [[%s]]]", |
fprintf (out, "%s[[[%s]], [[%d]], [[%s]], [[%d]], [[%s]], [[%s]]]", |
417 |
first ? "" : ",\n", |
first ? "" : ",\n", |
418 |
symbol->printer_location.file, |
quotearg_style (escape_quoting_style, |
419 |
|
symbol->printer_location.file), |
420 |
symbol->printer_location.first_line, |
symbol->printer_location.first_line, |
421 |
symbol->tag, |
symbol->tag, |
422 |
symbol->number, |
symbol->number, |