| 1200 | //============================== Json formatting helper functions ==============================// |
| 1201 | |
| 1202 | inline void dump_json_key_start_array(const ApiDumpSettings &settings, int indents, const char *key) { |
| 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 | } |
no test coverage detected