| 1902 | |
| 1903 | |
| 1904 | static |
| 1905 | void add_json_keyset(Json_writer *writer, const char *elem_name, |
| 1906 | String_list *keyset) |
| 1907 | { |
| 1908 | if (!keyset->is_empty()) |
| 1909 | print_json_array(writer, elem_name, *keyset); |
| 1910 | } |
| 1911 | |
| 1912 | |
| 1913 | void Explain_rowid_filter::print_explain_json(Explain_query *query, |
no test coverage detected