Searched refs:file_name_string (Results 1 – 1 of 1) sorted by relevance
641 wstring file_name_string(file_name); in PrintSourceFiles() local642 if (!FileIDIsCached(file_name_string)) { in PrintSourceFiles()644 CacheFileID(file_name_string, file_id); in PrintSourceFiles()645 fwprintf(output_, L"FILE %d %ws\n", file_id, file_name_string.c_str()); in PrintSourceFiles()649 StoreDuplicateFileID(file_name_string, file_id); in PrintSourceFiles()