Searched refs:replace_file_extension (Results 1 – 1 of 1) sorted by relevance
807 static std::string replace_file_extension(const std::string& oat_path, const std::string& new_ext) { in replace_file_extension() function833 return replace_file_extension(oat_path, ".art"); in create_image_filename()838 return replace_file_extension(oat_path, ".vdex"); in create_vdex_filename()