When a label has a digit in it dellivelink.py notices
[dwarf-doc.git] / dwarf5 / tools / dellivelink.py
index e786d69..5381915 100644 (file)
@@ -22,6 +22,11 @@ def ischar(tok,c):
        return "n"
    return "y"
 
+def tokhasdigits(tok):
+  for c in tok._label:
+    if c >= '0' and c <= '9' and len(c) == 1:
+        return "y"
+  return "n"
 
 def append_to_out(out,addthese):
   for a in addthese:
@@ -48,6 +53,9 @@ def doreplace(toks,curtoknum,lasttoknum):
     return "n"
   if toks[curtoknum+6]._class != "ind" or myjoinlabel(toks[curtoknum+6]) != "}":
     return "n"
+  if tokhasdigits(toks[curtoknum+5]) == "y":
+    print "There are digits in ", myjoinlabel(toks[curtoknum+5]),": it is not converted"
+    return "n"
   return "y"