Lines Matching refs:file_modification_time
37 double file_modification_time) {
43 element.file_modification_time = file_modification_time;
51 double file_modification_time) {
57 element.file_modification_time = file_modification_time;
397 WriteReal(element.file_modification_time, obj);
402 WriteReal(element.file_modification_time, obj);
433 double file_modification_time = ReadReal(obj);
435 file_modification_time);
440 double file_modification_time = ReadReal(obj);
442 file_modification_time);
618 file_modification_time(std::numeric_limits<double>::quiet_NaN()) {