Lines Matching refs:to_string_char
21 def to_string_char(ch_idx): function
135 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]))
166 output_file.write(" 0: %s\n" % to_string_char(rec[4]))
170 write_both(" %s\n" % to_string_char(rec[4]))
181 write_both(" %s\n" % to_string_char(high + 1))