Searched refs:file_key (Results 1 – 3 of 3) sorted by relevance
157 for file_key in files_with_same_hash.keys():158 for filename in files_with_same_hash[file_key]:159 id_table[filename] = file_key181 file_key = id_table.get(filename)182 if file_key in processed_file_keys:184 processed_file_keys.append(file_key)186 …t_file, '<file-content contentId="%s"><![CDATA[%s]]></file-content>' % (file_key, html_escape(open…
40 def file_key(self): member in SourceLine318 if source.file_key not in used_file_dict:319 used_file_dict[source.file_key] = True