Searched refs:to_string_char (Results 1 – 1 of 1) sorted by relevance
21 def to_string_char(ch_idx): function135 write_both(" %s\n" % to_string_char(rec[0]))136 output_file.write(" 0: %s\n" % to_string_char(rec[0]))140 write_both(" %s\n" % to_string_char(rec[1]))141 output_file.write(" 0: %s\n" % to_string_char(rec[1]))151 write_both(" %s\n" % to_string_char(rec[2]))152 output_file.write(" 0: %s\n" % to_string_char(rec[2]))156 write_both(" %s\n" % to_string_char(rec[3]))157 output_file.write(" 0: %s\n" % to_string_char(rec[3]))165 write_both(" %s\n" % to_string_char(rec[4]))[all …]