Searched refs:dir_file (Results 1 – 1 of 1) sorted by relevance
808 def dump_dir_file_section(writer, dir_file, table_name, section_title): argument809 section_name = 'top_' + dir_file + '_section'814 subsection_name = 'selected_' + dir_file + '_warnings'815 subsection_title = ('Warnings in <span id="selected_' + dir_file +816 '_name">(click a ' + dir_file +