-
-
Notifications
You must be signed in to change notification settings - Fork 114
/
gen_index.py
65 lines (48 loc) · 1.94 KB
/
gen_index.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
"""
Generates a alphabetical index of all the functions in the documentation.
Points to links created by the html-index.lua pandoc filter.
"""
import hashlib
import pathlib
from collections import defaultdict
import extract_function_sigs
HERE = pathlib.Path(__file__).parent
HEADER = """---
pagetitle: Alphabetical Index
---
<!-- This file is generated by gen_index.py. Do not edit it directly. -->
# Alphabetical Index
"""
def make_index_mapping(sigs):
index = defaultdict(lambda: [])
for name, args, returntype, file in sigs:
sig = f"<!-- {returntype}; {name}"
if args.strip() == "~":
sig += " ~; "
index_entry = "distribution statement"
else:
sig += f"; {args}; "
index_entry = f"`{args} : {returntype}`"
sig += "-->"
sha = hashlib.sha1(sig.encode("utf-8")).hexdigest()
link = f"{file}#index-entry-{sha}"
index[name].append((link, index_entry, file.replace(".qmd", ".html")))
return index
def write_index_page(index):
with open(HERE / "src" / "functions-reference" / "functions_index.qmd", "w") as f:
f.write(HEADER)
letter = "."
for name, links in sorted(index.items(), key=lambda x: x[0].lower()):
start = name[0].lower()
if start != letter:
letter = start
f.write(f"\n## {start.upper()}\n")
escaped_name = name.replace("\\", "\\\\").replace("*", "\\*")
f.write(f"<a id='{escaped_name}' href='#{escaped_name}' class='anchored unlink'>**{escaped_name}**:</a>\n\n")
for link, entry, file in sorted(links, key=lambda x: x[1].lower() + x[2] + x[0]):
f.write(f" - <div class='index-container'>[{entry}]({link}) <span class='detail'>({file})</span></div>\n")
f.write("\n\n")
if __name__ == "__main__":
sigs = extract_function_sigs.get_sigs()
index = make_index_mapping(sigs)
write_index_page(index)