| 1203 | settings.stream() << settings.indentation(indents) << "\"" << key << "\" :\n" << settings.indentation(indents) << "[\n"; |
| 1204 | } |
| 1205 | inline void dump_json_end_array(const ApiDumpSettings &settings, int indents) { |
| 1206 | settings.stream() << settings.indentation(indents) << "]"; |
| 1207 | } |
| 1208 | inline void dump_json_newline_end_array(const ApiDumpSettings &settings, int indents) { |
| 1209 | settings.stream() << "\n"; |
| 1210 | dump_json_end_array(settings, indents); |
no test coverage detected