Replaced some invalid urls

[lyx.git] / development / tools / generate_symbols_list.py

diff --git a/development/tools/generate_symbols_list.py b/development/tools/generate_symbols_list.py
index efb1f9d6dfc8be5d931dbf1eb2a3c170c05bfb91..de6439364e9bd9d5d8e4e05f1699c19af12bac56 100644 (file)
--- a/development/tools/generate_symbols_list.py
+++ b/development/tools/generate_symbols_list.py
@@ -1,7 +1,9 @@
 #!/usr/bin/python
-import sys,string,re,os
+import sys,string,re,os,os.path
 
 def get_code(code, font):
+    if font != "dontknowwhichfontusesthisstrangeencoding":
+        return code
     if code < 10:
        return code+161
     elif code < 32:
@@ -20,15 +22,21 @@ def process(file):
     fh = open(file)
     lines = fh.readlines()
     fh.close()
+    package, ext = os.path.splitext(os.path.basename(file))
+    if ext != ".sty":
+        package = ''
 
     n = len(lines)
     for i in xrange(n):
        line = lines[i]
+        mo =  re.match(r'\s*%.*', line)
+        if mo != None:
+            continue
        next_line = ""
        if i+1 < n:
            next_line = lines[i+1]
 
-       # some entries are spread over two lines so we join the next line 
+       # some entries are spread over two lines so we join the next line
        # to the current one, (if current line contains a comment, we remove it)
        line = string.split(line,'%')[0]+next_line
 
@@ -36,20 +44,29 @@ def process(file):
        if mo != None:
            font_names[mo.group(1)] = mo.group(3)
 
-       mo =  re.match(r'.*\\DeclareMath(Symbol|Delimiter)\s*\{?\\(\w*?)\}?\s*\{?\\(.*?)\}?\s*\{(.*?)\}\s*\{"(.*?)\}.*', line)
-       if mo != None:
-           symbol = mo.group(2)
-           type = mo.group(3)
-           font = mo.group(4)
-           code = mo.group(5)
-       else:
-           mo = re.match(r'.*\\edef\\(\w*?)\{.*?\{\\hexnumber@\\sym(.*?)\}(.*?)\}', line)
-           if mo != None:
-               symbol = mo.group(1)
-               type = "mathord"
-               font = mo.group(2)
-               code = mo.group(3)
-           
+       mo =  re.match(r'.*\\DeclareMath(Symbol|Delimiter)\s*\{?\\(\w*?)\}?\s*\{?\\(.*?)\}?\s*\{(.*?)\}\s*\{([\'"]?)(.*?)\}.*', line)
+        code = -1
+        try:
+            if mo != None:
+                symbol = mo.group(2)
+                type = mo.group(3)
+                font = mo.group(4)
+                if mo.group(5) == '':
+                    code = int(mo.group(6))
+                elif mo.group(5) == '"':
+                    code = int(mo.group(6), 16)
+                else:
+                    code = int(mo.group(6), 8)
+            else:
+                mo = re.match(r'.*\\edef\\(\w*?)\{.*?\{\\hexnumber@\\sym(.*?)\}(.*?)\}', line)
+                if mo != None:
+                    symbol = mo.group(1)
+                    type = "mathord"
+                    font = mo.group(2)
+                    code = int(mo.group(3), 16)
+        except ValueError:
+                code = -1
+
        if mo != None and symbol not in ignore_list:
            mo2 = re.match(r'\s*\\def\\(.*?)\{', next_line)
            if mo2 != None and symbol == mo2.group(1)+"op":
@@ -59,8 +76,8 @@ def process(file):
            if font_names.has_key(font):
                font = font_names[font]
 
-           code = get_code(string.atoi(code, 16), font)
-           if code == 0:
+           code = get_code(code, font)
+           if code < 0:
                continue
 
            xcode = 0
@@ -74,7 +91,10 @@ def process(file):
                    sys.stderr.write("code is not equal!!!\n")
            else:
                symbols[symbol] = code
-               print "%-18s %-4s %3d %3d %-6s" % (symbol,font,code,xcode,type)
+               if package == '':
+                   print "%-18s %-4s %3d %3d %-6s" % (symbol,font,code,xcode,type)
+               else:
+                   print "%-18s %-4s %3d %3d %-9s x  %s" % (symbol,font,code,xcode,type,package)
 
 
 path = os.path.split(sys.argv[0])[0]
@@ -107,5 +127,13 @@ for x in exceptions:
     if xsymbols.has_key(x[0]):
        del xsymbols[x[0]]
 
+print """
+lyxbar             cmsy 161   0 mathord
+lyxeq              cmr   61   0 mathord
+lyxdabar           msa   57   0 mathord
+lyxright           msa   75   0 mathord
+lyxleft            msa   76   0 mathord
+"""
+
 for symbol in xsymbols.keys():
     sys.stderr.write(symbol+"\n")