136 |
const char *cp = |
const char *cp = |
137 |
quotearg_n_style (1, c_quoting_style, |
quotearg_n_style (1, c_quoting_style, |
138 |
symbols[i]->tag); |
symbols[i]->tag); |
139 |
/* Width of the next token, including the two quotes, the coma |
/* Width of the next token, including the two quotes, the comma |
140 |
and the space. */ |
and the space. */ |
141 |
int strsize = strlen (cp) + 2; |
int strsize = strlen (cp) + 2; |
142 |
|
|
146 |
j = 2; |
j = 2; |
147 |
} |
} |
148 |
|
|
149 |
obstack_sgrow (&format_obstack, cp); |
for (; *cp; cp++) |
150 |
|
switch (*cp) |
151 |
|
{ |
152 |
|
case '[': obstack_sgrow (&format_obstack, "@<:@"); break; |
153 |
|
case ']': obstack_sgrow (&format_obstack, "@:>@"); break; |
154 |
|
default: obstack_1grow (&format_obstack, *cp); break; |
155 |
|
} |
156 |
|
|
157 |
obstack_sgrow (&format_obstack, ", "); |
obstack_sgrow (&format_obstack, ", "); |
158 |
j += strsize; |
j += strsize; |
159 |
} |
} |