chiark / gitweb /
documentation/python: add some TODOs.
authorVladimír Vondruš <mosra@centrum.cz>
Fri, 6 Sep 2019 11:52:58 +0000 (13:52 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 10 Sep 2019 20:10:14 +0000 (22:10 +0200)
documentation/python.py

index 69b297738bc6d113158ae983b3a408c938eef181..1001aca83469a8267b58a7c9acc3bbd682b5a951 100755 (executable)
@@ -481,10 +481,10 @@ def crawl_class(state: State, path: List[str], class_):
                 class_entry.members += [attrib.name]
 
             entry = Empty()
-            entry.type = EntryType.PROPERTY
+            entry.type = EntryType.PROPERTY # TODO: or data?
             entry.object = attrib
             entry.path = subpath
-            entry.url = '{}#{}'.format(class_entry.url, state.config['ID_FORMATTER'](EntryType.PROPERTY, subpath[-1:]))
+            entry.url = '{}#{}'.format(class_entry.url, state.config['ID_FORMATTER'](EntryType.PROPERTY, subpath[-1:])) # TODO: or data?
             state.name_map['.'.join(subpath)] = entry
 
     # Add itself to the name map