| 470 | } |
| 471 | |
| 472 | static void writeIndent(FILE *stream, int indent) { |
| 473 | const char *str=" "; /* change this string to define the indent */ |
| 474 | int i; |
| 475 | for(i=0; i<indent; i++) fprintf(stream, "%s", str); |
| 476 | } |
| 477 | |
| 478 | static void writeBlockBegin(FILE *stream, int indent, const char *name) { |
| 479 | writeIndent(stream, indent); |
no outgoing calls
no test coverage detected