import re, unicodedata, sys if sys.maxunicode == 65535:    raise RuntimeError, "need UCS-4 Python" def gen_category(cats):    for i in range(0, 0x110000):        if unicodedata.category(unichr(i)) in cats:            yield(i) def gen_bidirectional(cats):    for i in range(0, 0x110000):        if unicodedata.bidirectional(unichr(i)) in cats:            yield(i) def compact_set(l):    single = []    tuple = []    prev = None    span = 0    for e in l:        if prev is None:            prev = e            span = 0            continue        if prev+span+1 != e:            if span > 2:                tuple.append((prev,prev+span+1))            else:                for i in range(prev, prev+span+1):                    single.append(i)            prev = e            span = 0        else:            span += 1    if span:        tuple.append((prev,prev+span+1))    else:        single.append(prev)    tuple = " + ".join(["range(%d,%d)" % t for t in tuple])    if not single:        return "set(%s)" % tuple    if not tuple:        return "set(%s)" % repr(single)    return "set(%s + %s)" % (repr(single),tuple) ############## Read the tables in the RFC ####################### data = open("rfc3454.txt").readlines() tables = []curname = Nonefor l in data:    l = l.strip()    if not l:        continue    # Skip RFC page breaks    if l.startswith("Hoffman & Blanchet") or\       l.startswith("RFC 3454"):        continue    # Find start/end lines    m = re.match("----- (Start|End) Table ([A-Z](.[0-9])+) -----", l)    if m:        if m.group(1) == "Start":            if curname:                raise "Double Start",(curname, l)            curname = m.group(2)            table = {}            tables.append((curname, table))            continue        else:            if not curname:                raise "End without start", l            curname = None            continue    if not curname:        continue    # Now we are in a table    fields = l.split(";")    if len(fields) > 1:        # Drop comment field        fields = fields[:-1]    if len(fields) == 1:        fields = fields[0].split("-")        if len(fields) > 1:            # range            try:                start, end = fields            except ValueError:                raise "Unpacking problem", l        else:            start = end = fields[0]        start = int(start, 16)        end = int(end, 16)        for i in range(start, end+1):            table[i] = i    else:        code, value = fields        value = value.strip()        if value:            value = [int(v, 16) for v in value.split(" ")]        else:            # table B.1            value = None        table[int(code, 16)] = value ########### Generate compact Python versions of the tables ############# print """# This file is generated by mkstringprep.py. DO NOT EDIT.\"\"\"Library that exposes various tables found in the StringPrep RFC 3454. There are two kinds of tables: sets, for which a member test is provided,and mappings, for which a mapping function is provided.\"\"\" import unicodedata""" print "assert unicodedata.unidata_version == %s" % repr(unicodedata.unidata_version) # A.1 is the table of unassigned characters# XXX Plane 15 PUA is listed as unassigned in Python.name, table = tables[0]del tables[0]assert name == "A.1"table = set(table.keys())Cn = set(gen_category(["Cn"])) # FDD0..FDEF are process internal codesCn -= set(range(0xFDD0, 0xFDF0))# not a characterCn -= set(range(0xFFFE, 0x110000, 0x10000))Cn -= set(range(0xFFFF, 0x110000, 0x10000)) # assert table == Cn print """def in_table_a1(code):    if unicodedata.category(code) != 'Cn': return False    c = ord(code)    if 0xFDD0 <= c < 0xFDF0: return False    return (c & 0xFFFF) not in (0xFFFE, 0xFFFF)""" # B.1 cannot easily be derivedname, table = tables[0]del tables[0]assert name == "B.1"table = table.keys()table.sort()print """b1_set = """ + compact_set(table) + """def in_table_b1(code):    return ord(code) in b1_set""" # B.2 and B.3 is case folding.# It takes CaseFolding.txt into account, which is# not available in the Python database. Since# B.2 is derived from B.3, we process B.3 first.# B.3 supposedly *is* CaseFolding-3.2.0.txt. name, table_b2 = tables[0]del tables[0]assert name == "B.2" name, table_b3 = tables[0]del tables[0]assert name == "B.3" # B.3 is mostly Python's .lower, except for a number# of special cases, e.g. considering canonical forms. b3_exceptions = {} for k,v in table_b2.items():    if map(ord, unichr(k).lower()) != v:        b3_exceptions[k] = u"".join(map(unichr,v)) b3 = b3_exceptions.items()b3.sort() print """b3_exceptions = {"""for i,(k,v) in enumerate(b3):    print "0x%x:%s," % (k, repr(v)),    if i % 4 == 3:        printprint "}" print """def map_table_b3(code):    r = b3_exceptions.get(ord(code))    if r is not None: return r    return code.lower()""" def map_table_b3(code):    r = b3_exceptions.get(ord(code))    if r is not None: return r    return code.lower() # B.2 is case folding for NFKC. This is the same as B.3,# except where NormalizeWithKC(Fold(a)) !=# NormalizeWithKC(Fold(NormalizeWithKC(Fold(a)))) def map_table_b2(a):    al = map_table_b3(a)    b = unicodedata.normalize("NFKC", al)    bl = u"".join([map_table_b3(ch) for ch in b])    c = unicodedata.normalize("NFKC", bl)    if b != c:        return c    else:        return al specials = {}for k,v in table_b2.items():    if map(ord, map_table_b2(unichr(k))) != v:        specials[k] = v # B.3 should not add any additional special casesassert specials == {} print """def map_table_b2(a):    al = map_table_b3(a)    b = unicodedata.normalize("NFKC", al)    bl = u"".join([map_table_b3(ch) for ch in b])    c = unicodedata.normalize("NFKC", bl)    if b != c:        return c    else:        return al""" # C.1.1 is a table with a single charactername, table = tables[0]del tables[0]assert name == "C.1.1"assert table == {0x20:0x20} print """def in_table_c11(code):    return code == u" """" # C.1.2 is the rest of all space charactersname, table = tables[0]del tables[0]assert name == "C.1.2" # table = set(table.keys())# Zs = set(gen_category(["Zs"])) - set([0x20])# assert Zs == table print """def in_table_c12(code):    return unicodedata.category(code) == "Zs" and code != u" " def in_table_c11_c12(code):    return unicodedata.category(code) == "Zs"""" # C.2.1 ASCII control charactersname, table_c21 = tables[0]del tables[0]assert name == "C.2.1" Cc = set(gen_category(["Cc"]))Cc_ascii = Cc & set(range(128))table_c21 = set(table_c21.keys())assert Cc_ascii == table_c21 print """def in_table_c21(code):    return ord(code) < 128 and unicodedata.category(code) == "Cc"""" # C.2.2 Non-ASCII control characters. It also includes# a number of characters in category Cf.name, table_c22 = tables[0]del tables[0]assert name == "C.2.2" Cc_nonascii = Cc - Cc_asciitable_c22 = set(table_c22.keys())assert len(Cc_nonascii - table_c22) == 0 specials = list(table_c22 - Cc_nonascii)specials.sort() print """c22_specials = """ + compact_set(specials) + """def in_table_c22(code):    c = ord(code)    if c < 128: return False    if unicodedata.category(code) == "Cc": return True    return c in c22_specials def in_table_c21_c22(code):    return unicodedata.category(code) == "Cc" or \\           ord(code) in c22_specials""" # C.3 Private usename, table = tables[0]del tables[0]assert name == "C.3" Co = set(gen_category(["Co"]))assert set(table.keys()) == Co print """def in_table_c3(code):    return unicodedata.category(code) == "Co"""" # C.4 Non-character code points, xFFFE, xFFFF# plus process internal codesname, table = tables[0]del tables[0]assert name == "C.4" nonchar = set(range(0xFDD0,0xFDF0) +              range(0xFFFE,0x110000,0x10000) +              range(0xFFFF,0x110000,0x10000))table = set(table.keys())assert table == nonchar print """def in_table_c4(code):    c = ord(code)    if c < 0xFDD0: return False    if c < 0xFDF0: return True    return (ord(code) & 0xFFFF) in (0xFFFE, 0xFFFF)""" # C.5 Surrogate codesname, table = tables[0]del tables[0]assert name == "C.5" Cs = set(gen_category(["Cs"]))assert set(table.keys()) == Cs print """def in_table_c5(code):    return unicodedata.category(code) == "Cs"""" # C.6 Inappropriate for plain textname, table = tables[0]del tables[0]assert name == "C.6" table = table.keys()table.sort() print """c6_set = """ + compact_set(table) + """def in_table_c6(code):    return ord(code) in c6_set""" # C.7 Inappropriate for canonical representationname, table = tables[0]del tables[0]assert name == "C.7" table = table.keys()table.sort() print """c7_set = """ + compact_set(table) + """def in_table_c7(code):    return ord(code) in c7_set""" # C.8 Change display properties or are deprecatedname, table = tables[0]del tables[0]assert name == "C.8" table = table.keys()table.sort() print """c8_set = """ + compact_set(table) + """def in_table_c8(code):    return ord(code) in c8_set""" # C.9 Tagging charactersname, table = tables[0]del tables[0]assert name == "C.9" table = table.keys()table.sort() print """c9_set = """ + compact_set(table) + """def in_table_c9(code):    return ord(code) in c9_set""" # D.1 Characters with bidirectional property "R" or "AL"name, table = tables[0]del tables[0]assert name == "D.1" RandAL = set(gen_bidirectional(["R","AL"]))assert set(table.keys()) == RandAL print """def in_table_d1(code):    return unicodedata.bidirectional(code) in ("R","AL")""" # D.2 Characters with bidirectional property "L"name, table = tables[0]del tables[0]assert name == "D.2" L = set(gen_bidirectional(["L"]))assert set(table.keys()) == L print """def in_table_d2(code):    return unicodedata.bidirectional(code) == "L""""