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;
430 WriteReal(element.file_modification_time, obj);
436 WriteReal(element.file_modification_time, obj);
468 double file_modification_time = ReadReal(obj);
470 file_modification_time);
475 double file_modification_time = ReadReal(obj);
477 file_modification_time);
677 file_modification_time(std::numeric_limits<double>::quiet_NaN()) {