1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
import urllib.request
import os
URL = "https://www.unicode.org/Public/math/revision-15/MathClass-15.txt"
INPUT = "MathClass.txt"
OUTPUT = "src/classes.rs"
CLASSES = {
"N": "Normal",
"A": "Alphabetic",
"B": "Binary",
"C": "Closing",
"D": "Diacritic",
"F": "Fence",
"G": "GlyphPart",
"L": "Large",
"O": "Opening",
"P": "Punctuation",
"R": "Relation",
"S": "Space",
"U": "Unary",
"V": "Vary",
"X": "Special",
}
if not os.path.exists(INPUT):
urllib.request.urlretrieve(URL, INPUT)
mapping = []
with open(INPUT) as f:
for line in f:
line = line.split("#")[0].strip()
if not line:
continue
cp, cl = line.split(";")
parts = [int(x, 16) for x in cp.split("..")]
if len(parts) == 1:
mapping.append((parts[0], cl))
else:
for v in range(parts[0], parts[1] + 1):
mapping.append((v, cl))
mapping.sort()
with open(OUTPUT, "w") as f:
f.write("// This file is generated by gen.py\n")
f.write("// Do not edit by hand!\n\n")
f.write("static CLASSES: &[(char, MathClass)] = &[\n")
for cp, cl in mapping:
f.write(f" ('\\u{{{cp:x}}}', {CLASSES[cl]}),\n")
f.write("];\n")
|
