1import re, unicodedata, sys
2
3if sys.maxunicode == 65535:
4    raise RuntimeError("need UCS-4 Python")
5
6def gen_category(cats):
7    for i in range(0, 0x110000):
8        if unicodedata.category(unichr(i)) in cats:
9            yield(i)
10
11def gen_bidirectional(cats):
12    for i in range(0, 0x110000):
13        if unicodedata.bidirectional(unichr(i)) in cats:
14            yield(i)
15
16def compact_set(l):
17    single = []
18    tuple = []
19    prev = None
20    span = 0
21    for e in l:
22        if prev is None:
23            prev = e
24            span = 0
25            continue
26        if prev+span+1 != e:
27            if span > 2:
28                tuple.append((prev,prev+span+1))
29            else:
30                for i in range(prev, prev+span+1):
31                    single.append(i)
32            prev = e
33            span = 0
34        else:
35            span += 1
36    if span:
37        tuple.append((prev,prev+span+1))
38    else:
39        single.append(prev)
40    tuple = " + ".join(["range(%d,%d)" % t for t in tuple])
41    if not single:
42        return "set(%s)" % tuple
43    if not tuple:
44        return "set(%s)" % repr(single)
45    return "set(%s + %s)" % (repr(single),tuple)
46
47############## Read the tables in the RFC #######################
48
49data = open("rfc3454.txt").readlines()
50
51tables = []
52curname = None
53for l in data:
54    l = l.strip()
55    if not l:
56        continue
57    # Skip RFC page breaks
58    if l.startswith("Hoffman & Blanchet") or\
59       l.startswith("RFC 3454"):
60        continue
61    # Find start/end lines
62    m = re.match("----- (Start|End) Table ([A-Z](.[0-9])+) -----", l)
63    if m:
64        if m.group(1) == "Start":
65            if curname:
66                raise RuntimeError("Double Start", (curname, l))
67            curname = m.group(2)
68            table = {}
69            tables.append((curname, table))
70            continue
71        else:
72            if not curname:
73                raise RuntimeError("End without start", l)
74            curname = None
75            continue
76    if not curname:
77        continue
78    # Now we are in a table
79    fields = l.split(";")
80    if len(fields) > 1:
81        # Drop comment field
82        fields = fields[:-1]
83    if len(fields) == 1:
84        fields = fields[0].split("-")
85        if len(fields) > 1:
86            # range
87            try:
88                start, end = fields
89            except ValueError:
90                raise RuntimeError("Unpacking problem", l)
91        else:
92            start = end = fields[0]
93        start = int(start, 16)
94        end = int(end, 16)
95        for i in range(start, end+1):
96            table[i] = i
97    else:
98        code, value = fields
99        value = value.strip()
100        if value:
101            value = [int(v, 16) for v in value.split(" ")]
102        else:
103            # table B.1
104            value = None
105        table[int(code, 16)] = value
106
107########### Generate compact Python versions of the tables #############
108
109print """# This file is generated by mkstringprep.py. DO NOT EDIT.
110\"\"\"Library that exposes various tables found in the StringPrep RFC 3454.
111
112There are two kinds of tables: sets, for which a member test is provided,
113and mappings, for which a mapping function is provided.
114\"\"\"
115
116import unicodedata
117"""
118
119print "assert unicodedata.unidata_version == %s" % repr(unicodedata.unidata_version)
120
121# A.1 is the table of unassigned characters
122# XXX Plane 15 PUA is listed as unassigned in Python.
123name, table = tables[0]
124del tables[0]
125assert name == "A.1"
126table = set(table.keys())
127Cn = set(gen_category(["Cn"]))
128
129# FDD0..FDEF are process internal codes
130Cn -= set(range(0xFDD0, 0xFDF0))
131# not a character
132Cn -= set(range(0xFFFE, 0x110000, 0x10000))
133Cn -= set(range(0xFFFF, 0x110000, 0x10000))
134
135# assert table == Cn
136
137print """
138def in_table_a1(code):
139    if unicodedata.category(code) != 'Cn': return False
140    c = ord(code)
141    if 0xFDD0 <= c < 0xFDF0: return False
142    return (c & 0xFFFF) not in (0xFFFE, 0xFFFF)
143"""
144
145# B.1 cannot easily be derived
146name, table = tables[0]
147del tables[0]
148assert name == "B.1"
149table = sorted(table.keys())
150print """
151b1_set = """ + compact_set(table) + """
152def in_table_b1(code):
153    return ord(code) in b1_set
154"""
155
156# B.2 and B.3 is case folding.
157# It takes CaseFolding.txt into account, which is
158# not available in the Python database. Since
159# B.2 is derived from B.3, we process B.3 first.
160# B.3 supposedly *is* CaseFolding-3.2.0.txt.
161
162name, table_b2 = tables[0]
163del tables[0]
164assert name == "B.2"
165
166name, table_b3 = tables[0]
167del tables[0]
168assert name == "B.3"
169
170# B.3 is mostly Python's .lower, except for a number
171# of special cases, e.g. considering canonical forms.
172
173b3_exceptions = {}
174
175for k,v in table_b2.items():
176    if map(ord, unichr(k).lower()) != v:
177        b3_exceptions[k] = u"".join(map(unichr,v))
178
179b3 = sorted(b3_exceptions.items())
180
181print """
182b3_exceptions = {"""
183for i,(k,v) in enumerate(b3):
184    print "0x%x:%s," % (k, repr(v)),
185    if i % 4 == 3:
186        print
187print "}"
188
189print """
190def map_table_b3(code):
191    r = b3_exceptions.get(ord(code))
192    if r is not None: return r
193    return code.lower()
194"""
195
196def map_table_b3(code):
197    r = b3_exceptions.get(ord(code))
198    if r is not None: return r
199    return code.lower()
200
201# B.2 is case folding for NFKC. This is the same as B.3,
202# except where NormalizeWithKC(Fold(a)) !=
203# NormalizeWithKC(Fold(NormalizeWithKC(Fold(a))))
204
205def map_table_b2(a):
206    al = map_table_b3(a)
207    b = unicodedata.normalize("NFKC", al)
208    bl = u"".join([map_table_b3(ch) for ch in b])
209    c = unicodedata.normalize("NFKC", bl)
210    if b != c:
211        return c
212    else:
213        return al
214
215specials = {}
216for k,v in table_b2.items():
217    if map(ord, map_table_b2(unichr(k))) != v:
218        specials[k] = v
219
220# B.3 should not add any additional special cases
221assert specials == {}
222
223print """
224def map_table_b2(a):
225    al = map_table_b3(a)
226    b = unicodedata.normalize("NFKC", al)
227    bl = u"".join([map_table_b3(ch) for ch in b])
228    c = unicodedata.normalize("NFKC", bl)
229    if b != c:
230        return c
231    else:
232        return al
233"""
234
235# C.1.1 is a table with a single character
236name, table = tables[0]
237del tables[0]
238assert name == "C.1.1"
239assert table == {0x20:0x20}
240
241print """
242def in_table_c11(code):
243    return code == u" "
244"""
245
246# C.1.2 is the rest of all space characters
247name, table = tables[0]
248del tables[0]
249assert name == "C.1.2"
250
251# table = set(table.keys())
252# Zs = set(gen_category(["Zs"])) - set([0x20])
253# assert Zs == table
254
255print """
256def in_table_c12(code):
257    return unicodedata.category(code) == "Zs" and code != u" "
258
259def in_table_c11_c12(code):
260    return unicodedata.category(code) == "Zs"
261"""
262
263# C.2.1 ASCII control characters
264name, table_c21 = tables[0]
265del tables[0]
266assert name == "C.2.1"
267
268Cc = set(gen_category(["Cc"]))
269Cc_ascii = Cc & set(range(128))
270table_c21 = set(table_c21.keys())
271assert Cc_ascii == table_c21
272
273print """
274def in_table_c21(code):
275    return ord(code) < 128 and unicodedata.category(code) == "Cc"
276"""
277
278# C.2.2 Non-ASCII control characters. It also includes
279# a number of characters in category Cf.
280name, table_c22 = tables[0]
281del tables[0]
282assert name == "C.2.2"
283
284Cc_nonascii = Cc - Cc_ascii
285table_c22 = set(table_c22.keys())
286assert len(Cc_nonascii - table_c22) == 0
287
288specials = list(table_c22 - Cc_nonascii)
289specials.sort()
290
291print """c22_specials = """ + compact_set(specials) + """
292def in_table_c22(code):
293    c = ord(code)
294    if c < 128: return False
295    if unicodedata.category(code) == "Cc": return True
296    return c in c22_specials
297
298def in_table_c21_c22(code):
299    return unicodedata.category(code) == "Cc" or \\
300           ord(code) in c22_specials
301"""
302
303# C.3 Private use
304name, table = tables[0]
305del tables[0]
306assert name == "C.3"
307
308Co = set(gen_category(["Co"]))
309assert set(table.keys()) == Co
310
311print """
312def in_table_c3(code):
313    return unicodedata.category(code) == "Co"
314"""
315
316# C.4 Non-character code points, xFFFE, xFFFF
317# plus process internal codes
318name, table = tables[0]
319del tables[0]
320assert name == "C.4"
321
322nonchar = set(range(0xFDD0,0xFDF0) +
323              range(0xFFFE,0x110000,0x10000) +
324              range(0xFFFF,0x110000,0x10000))
325table = set(table.keys())
326assert table == nonchar
327
328print """
329def in_table_c4(code):
330    c = ord(code)
331    if c < 0xFDD0: return False
332    if c < 0xFDF0: return True
333    return (ord(code) & 0xFFFF) in (0xFFFE, 0xFFFF)
334"""
335
336# C.5 Surrogate codes
337name, table = tables[0]
338del tables[0]
339assert name == "C.5"
340
341Cs = set(gen_category(["Cs"]))
342assert set(table.keys()) == Cs
343
344print """
345def in_table_c5(code):
346    return unicodedata.category(code) == "Cs"
347"""
348
349# C.6 Inappropriate for plain text
350name, table = tables[0]
351del tables[0]
352assert name == "C.6"
353
354table = sorted(table.keys())
355
356print """
357c6_set = """ + compact_set(table) + """
358def in_table_c6(code):
359    return ord(code) in c6_set
360"""
361
362# C.7 Inappropriate for canonical representation
363name, table = tables[0]
364del tables[0]
365assert name == "C.7"
366
367table = sorted(table.keys())
368
369print """
370c7_set = """ + compact_set(table) + """
371def in_table_c7(code):
372    return ord(code) in c7_set
373"""
374
375# C.8 Change display properties or are deprecated
376name, table = tables[0]
377del tables[0]
378assert name == "C.8"
379
380table = sorted(table.keys())
381
382print """
383c8_set = """ + compact_set(table) + """
384def in_table_c8(code):
385    return ord(code) in c8_set
386"""
387
388# C.9 Tagging characters
389name, table = tables[0]
390del tables[0]
391assert name == "C.9"
392
393table = sorted(table.keys())
394
395print """
396c9_set = """ + compact_set(table) + """
397def in_table_c9(code):
398    return ord(code) in c9_set
399"""
400
401# D.1 Characters with bidirectional property "R" or "AL"
402name, table = tables[0]
403del tables[0]
404assert name == "D.1"
405
406RandAL = set(gen_bidirectional(["R","AL"]))
407assert set(table.keys()) == RandAL
408
409print """
410def in_table_d1(code):
411    return unicodedata.bidirectional(code) in ("R","AL")
412"""
413
414# D.2 Characters with bidirectional property "L"
415name, table = tables[0]
416del tables[0]
417assert name == "D.2"
418
419L = set(gen_bidirectional(["L"]))
420assert set(table.keys()) == L
421
422print """
423def in_table_d2(code):
424    return unicodedata.bidirectional(code) == "L"
425"""
426