Home
last modified time | relevance | path

Searched refs:letter_id (Results 1 – 1 of 1) sorted by relevance

/third_party/jerryscript/tools/
Dgen-unicode.py342 letter_id = int(line[0], 16)
345 if letter_id >= 0x10000 or letter_id < 128:
352 upper_case_mapping[letter_id] = parse_unicode_sequence(capital_letter)
355 lower_case_mapping[letter_id] = parse_unicode_sequence(small_letter)
371 letter_id = int(line[0], 16)
375 if letter_id >= 0x10000 or letter_id < 128 or condition_list:
381 lower_case_mapping[letter_id] = small_letter
382 upper_case_mapping[letter_id] = capital_letter
403 for letter_id in sorted(letter_case.keys()):
404 prev_letter_id = letter_id - 1
[all …]