+ {
+ bool b = false;
+ int i;
+ for (i = 0; i < ntokens; i++)
+ if (!bitset_test (V, i) && !bitset_test (V1, i))
+ {
+ if (!b)
+ xml_puts (out, level + 2, "<terminals>");
+ b = true;
+ xml_printf (out, level + 3,
+ "<terminal>%s</terminal>",
+ xml_escape (symbols[i]->tag));
+ }
+ if (b)
+ xml_puts (out, level + 2, "</terminals>");
+ else
+ xml_puts (out, level + 2, "<terminals/>");
+ }