| 323 | } |
| 324 | |
| 325 | static void read_data_index(HashMap<StringId64, DynamicString> &index |
| 326 | , FilesystemDisk &data_fs |
| 327 | , const SourceIndex &sources |
| 328 | , const char *filename |
| 329 | ) |
| 330 | { |
| 331 | Buffer json(default_allocator()); |
| 332 | File *file = data_fs.open(filename, FileOpenMode::READ); |
| 333 | if (file->is_open()) |
| 334 | file->read_all(json); |
| 335 | data_fs.close(*file); |
| 336 | |
| 337 | parse_data_index(index, sources, json); |
| 338 | } |
| 339 | |
| 340 | static void parse_data_mtimes(HashMap<StringId64, u64> &mtimes |
| 341 | , const HashMap<StringId64, DynamicString> &data_index |
no test coverage detected