Searched refs:output_text_file (Results 1 – 1 of 1) sorted by relevance
202 def write_text_file_output(input_records: Iterable[InputRecord], output_text_file): argument204 output_text_file.write("%s %d %d #%s\n" %(rec.filepath, rec.offset, rec.length, rec.remark))271 output_text_file = sys.stdout274 output_text_file = open(options.output_text, 'w')285 write_text_file_output(input_records, output_text_file)286 output_text_file.close()