commit e0b8bbbce965e4d9ca6c364a1289150477411d54
author Dan <github@drmoose.net> Wed May 15 21:14:44 2019 -0400
committer Wenzel Jakob <wenzel.jakob@epfl.ch> Tue Jun 11 13:49:37 2019 +0200
tree 15a5562d3c5c95de096f10cccbc2aab3aa4581e0
parent 2c8c5c4ed395acc3b39fdbc16a59ffe8b7c7a138

Use a file-local constant for non-prefixing nodes.

tools/mkdoc.py

diff --git a/tools/mkdoc.py b/tools/mkdoc.py
old mode 100644
new mode 100755
index 2bf4f03..dd954dd
--- a/tools/mkdoc.py
+++ b/tools/mkdoc.py
@@ -41,6 +41,10 @@
     CursorKind.FIELD_DECL
 ]
 
+PREFIX_BLACKLIST = [
+    CursorKind.TRANSLATION_UNIT
+]
+
 CPP_OPERATORS = {
     '<=': 'le', '>=': 'ge', '==': 'eq', '!=': 'ne', '[]': 'array',
     '+=': 'iadd', '-=': 'isub', '*=': 'imul', '/=': 'idiv', '%=':
@@ -192,7 +196,7 @@
         return 0
     if node.kind in RECURSE_LIST:
         sub_prefix = prefix
-        if node.kind != CursorKind.TRANSLATION_UNIT:
+        if node.kind not in PREFIX_BLACKLIST:
             if len(sub_prefix) > 0:
                 sub_prefix += '_'
             sub_prefix += d(node.spelling)