From: Vladimír Vondruš <mosra@centrum.cz>
Date: Mon, 8 Jun 2020 16:36:47 +0000 (+0200)
Subject: documentation/python: prefix an internal utility function.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=4d0b91d7866cc8e29e68f532ab1070d0d1da49e0;p=blog.git

documentation/python: prefix an internal utility function.
---

diff --git a/documentation/python.py b/documentation/python.py
index 7dbce47f..f84678f4 100755
--- a/documentation/python.py
+++ b/documentation/python.py
@@ -797,7 +797,7 @@ def _pybind11_default_argument_length(string):
                 raise SyntaxError("Unmatched {} at pos {} in `{}`".format(c, i, string))
     raise SyntaxError("Unexpected end of `{}`".format(string))
 
-def map_name_prefix_or_add_typing_suffix(state: State, input_type: str):
+def _pybind_map_name_prefix_or_add_typing_suffix(state: State, input_type: str):
     if input_type in ['Callable', 'Dict', 'Iterator', 'Iterable', 'List', 'Optional', 'Set', 'Tuple', 'Union']:
         return 'typing.' + input_type
     else:
@@ -808,7 +808,7 @@ def parse_pybind_type(state: State, referrer_path: List[str], signature: str):
     if match:
         input_type = match.group(0)
         signature = signature[len(input_type):]
-        type = map_name_prefix_or_add_typing_suffix(state, input_type)
+        type = _pybind_map_name_prefix_or_add_typing_suffix(state, input_type)
         type_link = make_name_link(state, referrer_path, type)
     else:
         raise SyntaxError()
@@ -841,7 +841,7 @@ def parse_pybind_type(state: State, referrer_path: List[str], signature: str):
             raise SyntaxError("Bad python type name: {} ".format(signature[i:]))
         input_type = match.group(0)
         i += len(input_type)
-        input_type = map_name_prefix_or_add_typing_suffix(state, input_type)
+        input_type = _pybind_map_name_prefix_or_add_typing_suffix(state, input_type)
         type += input_type
         type_link += make_name_link(state, referrer_path, input_type)
     if lvl != 0: