Searched defs:json_files (Results 1 – 2 of 2) sorted by relevance
1122 output_json_intermediate_file (json::array *json_files, source_info *src) in output_json_intermediate_file()1435 json::array *json_files = new json::array (); in generate_results() local
1208 output_json_intermediate_file (json::array *json_files, source_info *src) in output_json_intermediate_file()1533 json::array *json_files = new json::array (); in generate_results() local