blob: 2566129cbfce67a9fb3b232e31fd42d1e4820089 [file] [log] [blame]
Fred Drakeec561091998-03-27 05:25:43 +00001#! /usr/bin/env python
2
3"""
4"""
5__version__ = '$Revision$'
6
7import re
8import string
9import sys
10
11
12class Node:
Fred Drakeec561091998-03-27 05:25:43 +000013 __rmjunk = re.compile("<#\d+#>")
14
15 def __init__(self, link, str, seqno):
16 self.links = [link]
17 self.seqno = seqno
18 # remove <#\d+#> left in by moving the data out of LaTeX2HTML
19 str = self.__rmjunk.sub('', str)
20 # now remove <tt>...</tt> markup; contents remain.
Fred Drakeec561091998-03-27 05:25:43 +000021 # build up the text
Fred Drake058068d1998-04-08 23:12:51 +000022 self.text = split_entry_text(str)
23 self.key = split_entry_key(str)
Fred Drakeec561091998-03-27 05:25:43 +000024
25 def __cmp__(self, other):
26 """Comparison operator includes sequence number, for use with
27 list.sort()."""
28 return self.cmp_entry(other) or cmp(self.seqno, other.seqno)
29
30 def cmp_entry(self, other):
31 """Comparison 'operator' that ignores sequence number."""
Fred Drake058068d1998-04-08 23:12:51 +000032 c = 0
Fred Drakeec561091998-03-27 05:25:43 +000033 for i in range(min(len(self.key), len(other.key))):
Fred Drake058068d1998-04-08 23:12:51 +000034 c = (cmp_part(self.key[i], other.key[i])
35 or cmp_part(self.text[i], other.text[i]))
Fred Drakeec561091998-03-27 05:25:43 +000036 if c:
Fred Drake058068d1998-04-08 23:12:51 +000037 break
38 return c or cmp(self.key, other.key) or cmp(self.text, other.text)
Fred Drakeec561091998-03-27 05:25:43 +000039
40 def __repr__(self):
41 return "<Node for %s (%s)>" % (string.join(self.text, '!'), self.seqno)
42
43 def __str__(self):
44 return string.join(self.key, '!')
45
46 def dump(self):
Fred Drake058068d1998-04-08 23:12:51 +000047 return "%s\1%s###%s\n" \
48 % (string.join(self.links, "\1"),
Fred Drakeec561091998-03-27 05:25:43 +000049 string.join(self.text, '!'),
50 self.seqno)
51
52
Fred Drake058068d1998-04-08 23:12:51 +000053def cmp_part(s1, s2):
54 result = cmp(s1, s2)
55 if result == 0:
56 return 0
57 l1 = string.lower(s1)
58 l2 = string.lower(s2)
59 minlen = min(len(s1), len(s2))
60 if len(s1) < len(s2) and l1 == l2[:len(s1)]:
61 result = -1
62 elif len(s2) < len(s1) and l2 == l1[:len(s2)]:
63 result = 1
64 else:
65 result = cmp(l1, l2) or cmp(s1, s2)
66 return result
67
68
69def split_entry(str, which):
70 stuff = []
71 parts = string.split(str, '!')
72 parts = map(string.split, parts, ['@'] * len(parts))
73 for entry in parts:
74 if len(entry) != 1:
75 key = entry[which]
76 else:
77 key = entry[0]
78 stuff.append(key)
79 return stuff
80
81
82_rmtt = re.compile(r"(.*)<tt>(.*)</tt>(.*)$", re.IGNORECASE)
83_rmparens = re.compile(r"\(\)")
84
85def split_entry_key(str):
86 parts = split_entry(str, 1)
87 for i in range(len(parts)):
88 m = _rmtt.match(parts[i])
89 if m:
90 parts[i] = string.join(m.group(1, 2, 3), '')
91 else:
92 parts[i] = string.lower(parts[i])
93 # remove '()' from the key:
94 parts[i] = _rmparens.sub('', parts[i])
95 return map(trim_ignored_letters, parts)
96
97
98def split_entry_text(str):
99 if '<' in str:
100 m = _rmtt.match(str)
101 if m:
102 str = string.join(m.group(1, 2, 3), '')
103 return split_entry(str, 1)
104
105
Fred Drakeec561091998-03-27 05:25:43 +0000106def load(fp):
107 nodes = []
Fred Drake058068d1998-04-08 23:12:51 +0000108 rx = re.compile("(.*)\1(.*)###(.*)$")
Fred Drakeec561091998-03-27 05:25:43 +0000109 while 1:
110 line = fp.readline()
111 if not line:
112 break
113 m = rx.match(line)
114 if m:
115 link, str, seqno = m.group(1, 2, 3)
116 nodes.append(Node(link, str, seqno))
117 return nodes
118
119
Fred Drake058068d1998-04-08 23:12:51 +0000120# ignore $ to keep environment variables with the leading letter from the name
121SKIP_LETTERS = "$"
122
123def trim_ignored_letters(s):
124 s = string.lower(s)
125 while s[0] in SKIP_LETTERS:
126 s = s[1:]
127 return s
128
129def get_first_letter(s):
130 return string.lower(trim_ignored_letters(s)[0])
131
132
Fred Drakeec561091998-03-27 05:25:43 +0000133def split_letters(nodes):
134 letter_groups = []
Fred Drakeec561091998-03-27 05:25:43 +0000135 if nodes:
Fred Drake058068d1998-04-08 23:12:51 +0000136 group = []
137 append = group.append
138 letter = get_first_letter(nodes[0].text[0])
Fred Drakeec561091998-03-27 05:25:43 +0000139 letter_groups.append((letter, group))
140 for node in nodes:
Fred Drake058068d1998-04-08 23:12:51 +0000141 nletter = get_first_letter(node.text[0])
Fred Drakeec561091998-03-27 05:25:43 +0000142 if letter != nletter:
143 letter = nletter
144 group = []
145 letter_groups.append((letter, group))
146 append = group.append
147 append(node)
148 return letter_groups
149
150
Fred Drake058068d1998-04-08 23:12:51 +0000151DL_LEVEL_INDENT = " "
152
Fred Drakeec561091998-03-27 05:25:43 +0000153def format_nodes(nodes):
Fred Drakeec561091998-03-27 05:25:43 +0000154 level = 0
155 strings = ["<dl compact>"]
156 append = strings.append
Fred Drake058068d1998-04-08 23:12:51 +0000157 previous = []
Fred Drakeec561091998-03-27 05:25:43 +0000158 for node in nodes:
Fred Drake058068d1998-04-08 23:12:51 +0000159 current = node.text
160 count = 0
161 for i in range(min(len(current), len(previous))):
162 if previous[i] != current[i]:
163 break
164 count = i + 1
165 if count > level:
166 append("<dl compact>" * (count - level) + "\n")
167 level = count
168 elif level > count:
169 append("\n")
170 append(level * DL_LEVEL_INDENT)
171 append("</dl>" * (level - count))
172 level = count
173 # else: level == count
174 for i in range(count, len(current) - 1):
175 term = node.text[i]
176 level = level + 1
177 append("\n<dt>%s\n<dd>\n%s<dl compact>"
178 % (term, level * DL_LEVEL_INDENT))
179 append("\n%s<dt>%s%s</a>"
180 % (level * DL_LEVEL_INDENT, node.links[0], node.text[-1]))
Fred Drakeec561091998-03-27 05:25:43 +0000181 for link in node.links[1:]:
Fred Drake058068d1998-04-08 23:12:51 +0000182 append(",\n%s %s[Link]</a>" % (level * DL_LEVEL_INDENT, link))
183 previous = current
184 append("\n")
185 append("</dl><p>" * (level + 1))
186 append("\n")
187 return string.join(strings, '')
Fred Drakeec561091998-03-27 05:25:43 +0000188
189
190def format_letter(letter):
191 if letter == '.':
192 lettername = ". (dot)"
193 elif letter == '_':
194 lettername = "_ (underscore)"
195 else:
196 lettername = string.upper(letter)
Fred Drake058068d1998-04-08 23:12:51 +0000197 return "\n<hr>\n<h2><a name=\"letter-%s\">%s</a></h2>\n\n" \
Fred Drakeec561091998-03-27 05:25:43 +0000198 % (letter, lettername)
199
200
201def format_html(nodes):
202 letter_groups = split_letters(nodes)
203 items = []
204 for letter, nodes in letter_groups:
205 s = "<b><a href=\"#letter-%s\">%s</a></b>" % (letter, letter)
206 items.append(s)
Fred Drake058068d1998-04-08 23:12:51 +0000207 s = ["<hr><center>\n%s</center>\n" % string.join(items, " |\n")]
Fred Drakeec561091998-03-27 05:25:43 +0000208 for letter, nodes in letter_groups:
Fred Drake058068d1998-04-08 23:12:51 +0000209 s.append(format_letter(letter))
210 s.append(format_nodes(nodes))
211 return string.join(s, '')
Fred Drakeec561091998-03-27 05:25:43 +0000212
213
214def collapse(nodes):
215 """Collapse sequences of nodes with matching keys into a single node.
216 Destructive."""
217 if len(nodes) < 2:
218 return
219 prev = nodes[0]
220 i = 1
221 while i < len(nodes):
222 node = nodes[i]
223 if not node.cmp_entry(prev):
224 prev.links.append(node.links[0])
225 del nodes[i]
Fred Drakeec561091998-03-27 05:25:43 +0000226 else:
227 i = i + 1
228 prev = node
229
230
231def dump(nodes, fp):
232 for node in nodes:
233 fp.write(node.dump())
234
235
236def main():
Fred Drake058068d1998-04-08 23:12:51 +0000237 import getopt
238 ifn = "-"
239 ofn = "-"
240 opts, args = getopt.getopt(sys.argv[1:], "o:", ["output="])
241 for opt, val in opts:
242 if opt in ("-o", "--output"):
243 ofn = val
244 if not args:
245 args = [ifn]
246 nodes = []
247 for fn in args:
248 nodes = nodes + load(open(fn))
Fred Drakeec561091998-03-27 05:25:43 +0000249 nodes.sort()
Fred Drakeec561091998-03-27 05:25:43 +0000250 collapse(nodes)
Fred Drake058068d1998-04-08 23:12:51 +0000251 html = format_html(nodes)
252 if ofn == "-":
253 sys.stdout.write(html)
254 else:
255 open(ofn, "w").write(html)
Fred Drakeec561091998-03-27 05:25:43 +0000256
257
258if __name__ == "__main__":
259 main()