mathcat 0.1.26

MathCAT: Math Capable Assistive Technology ('Speech and braille from MathML')
Documentation 
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69

import xml
import codecs
from xml.etree.ElementTree import parse

# FIX: manually added POSTFIX priority 25 for '.,;:?'
def convert_xml_entities(in_file, out_obj):
    import xml.etree.ElementTree as ET
    tree = ET.parse(in_file)
    root = tree.getroot()
    all_chars = root.find("charlist")
    for char in all_chars:
        count = 0
        for op_dict in char.findall("operator-dictionary"):
            # 	"+" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280,
			#	next: &Some(OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None }) },
            if count == 0:
                out_obj.write("\t\"{}\" => ".format( convert_to_char(char.get("id")) ) )
            else:
                out_obj.write("\n\t\t\tnext: &Some( ")
            out_obj.write("OperatorInfo{} op_type: OperatorTypes::{}, priority: {}, ".format(
                    "{",
                    compute_form(op_dict.get("form"), op_dict.get("fence")),
                    op_dict.get("priority") ))
            count += 1
        if count > 0:
            out_obj.write("next: &None ")
            if count > 1:
                while count > 1:
                    out_obj.write("} )")
                    count -= 1
            out_obj.write("},\n")


def convert_to_char(str: str):
    # str is 'Uddddd' or 'Uddddd-ddddd'
    str = str.split("U")[1]  # strip leading 'U'
    answer = ""
    for char_str in str.split("-"):
        # FIX: need to add backslash is str becomes ""
        ch = chr(int(char_str, base=16))
        if (ch == '"' or ch == '\\'):
            answer += "\\"
        answer += ch

    return answer

def compute_form(form: str, fence: str):
    if fence == None or fence=="false":
        return form.upper()
    # fence must be true
    if form == "prefix":
        return "LEFT_FENCE"
    elif form == "postfix":
        return "RIGHT_FENCE"
    else:
        return form.upper()     # shouldn't happen
    
def add_wrappers(in_file: str, out_file: str):
    with open(out_file, 'w', encoding="utf8") as out_obj:
        out_obj.write("phf_map! {\n")
        convert_xml_entities(in_file, out_obj)
        # the following are not in the operator dictionary and should get added "manually"
	    # mod should take its priority from '%'s priority
        out_obj.write("\n\t// the following are not in the operator dictionary and are added \"manually\"\n")
        out_obj.write("\t\"mod\" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 800, next: &None },\n")
        out_obj.write("}\n")


add_wrappers("c:\\dev\\mathml-refresh\\xml-entities\\unicode.xml", "out.rs")