| 334 | } |
| 335 | |
| 336 | static void writeTitlePretty(const char * title, WriteBuffer & out, const FormatSettings & settings, size_t indent, const char * after_delimiter) |
| 337 | { |
| 338 | writeChar(settings.json.pretty_print_indent, indent * settings.json.pretty_print_indent_multiplier, out); |
| 339 | writeChar('"', out); |
| 340 | writeCString(title, out); |
| 341 | writeCString("\":", out); |
| 342 | writeCString(after_delimiter, out); |
| 343 | } |
| 344 | |
| 345 | void writeObjectStart(WriteBuffer & out, size_t indent, const char * title) |
| 346 | { |
no test coverage detected