| 526 | } |
| 527 | |
| 528 | static void writeCharacter(FILE *stream, int indent, const char *name, const char defaultCharacter, char character) { |
| 529 | if(defaultCharacter == character) return; |
| 530 | writeIndent(stream, ++indent); |
| 531 | fprintf(stream, "%s '%c'\n", name, character); |
| 532 | } |
| 533 | |
| 534 | static void writeString(FILE *stream, int indent, const char *name, const char *defaultString, char *string) { |
| 535 | char *string_tmp; |
no test coverage detected