Searched refs:html_file_name (Results 1 – 2 of 2) sorted by relevance
45 def html_file_name(filename): function50 return "\"{}#L{}\"".format(html_file_name(File), Line)
57 …self.stream = codecs.open(os.path.join(output_dir, optrecord.html_file_name(filename)), 'w', encod…