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