| 2021 | } |
| 2022 | |
| 2023 | static void print_quoted_string(FILE *out, const char *str) |
| 2024 | { |
| 2025 | const char *p; |
| 2026 | int len; |
| 2027 | |
| 2028 | putc('"', out); |
| 2029 | while ((p = strchr(str, '"'))) { |
| 2030 | len = p - str; |
| 2031 | if (len) |
| 2032 | fprintf(out, "%.*s", len, str); |
| 2033 | fputs("\\\"", out); |
| 2034 | str = p + 1; |
| 2035 | } |
| 2036 | fputs(str, out); |
| 2037 | putc('"', out); |
| 2038 | } |
| 2039 | |
| 2040 | static void print_symbol(FILE *out, struct menu *menu) |
| 2041 | { |
no outgoing calls
no test coverage detected