1998-03-27 01:25:43 -04:00
|
|
|
#! /usr/bin/env python
|
|
|
|
|
|
|
|
__version__ = '$Revision$'
|
|
|
|
|
1998-12-28 16:46:53 -04:00
|
|
|
import os
|
1998-03-27 01:25:43 -04:00
|
|
|
import re
|
|
|
|
import string
|
|
|
|
import sys
|
|
|
|
|
|
|
|
|
|
|
|
class Node:
|
|
|
|
__rmjunk = re.compile("<#\d+#>")
|
|
|
|
|
|
|
|
def __init__(self, link, str, seqno):
|
|
|
|
self.links = [link]
|
|
|
|
self.seqno = seqno
|
|
|
|
# remove <#\d+#> left in by moving the data out of LaTeX2HTML
|
|
|
|
str = self.__rmjunk.sub('', str)
|
|
|
|
# build up the text
|
1998-04-08 20:12:51 -03:00
|
|
|
self.text = split_entry_text(str)
|
|
|
|
self.key = split_entry_key(str)
|
1998-03-27 01:25:43 -04:00
|
|
|
|
|
|
|
def __cmp__(self, other):
|
|
|
|
"""Comparison operator includes sequence number, for use with
|
|
|
|
list.sort()."""
|
|
|
|
return self.cmp_entry(other) or cmp(self.seqno, other.seqno)
|
|
|
|
|
|
|
|
def cmp_entry(self, other):
|
|
|
|
"""Comparison 'operator' that ignores sequence number."""
|
1998-04-08 20:12:51 -03:00
|
|
|
c = 0
|
1998-03-27 01:25:43 -04:00
|
|
|
for i in range(min(len(self.key), len(other.key))):
|
1998-04-08 20:12:51 -03:00
|
|
|
c = (cmp_part(self.key[i], other.key[i])
|
|
|
|
or cmp_part(self.text[i], other.text[i]))
|
1998-03-27 01:25:43 -04:00
|
|
|
if c:
|
1998-04-08 20:12:51 -03:00
|
|
|
break
|
|
|
|
return c or cmp(self.key, other.key) or cmp(self.text, other.text)
|
1998-03-27 01:25:43 -04:00
|
|
|
|
|
|
|
def __repr__(self):
|
|
|
|
return "<Node for %s (%s)>" % (string.join(self.text, '!'), self.seqno)
|
|
|
|
|
|
|
|
def __str__(self):
|
|
|
|
return string.join(self.key, '!')
|
|
|
|
|
|
|
|
def dump(self):
|
1998-04-08 20:12:51 -03:00
|
|
|
return "%s\1%s###%s\n" \
|
|
|
|
% (string.join(self.links, "\1"),
|
1998-03-27 01:25:43 -04:00
|
|
|
string.join(self.text, '!'),
|
|
|
|
self.seqno)
|
|
|
|
|
|
|
|
|
1998-04-08 20:12:51 -03:00
|
|
|
def cmp_part(s1, s2):
|
|
|
|
result = cmp(s1, s2)
|
|
|
|
if result == 0:
|
|
|
|
return 0
|
|
|
|
l1 = string.lower(s1)
|
|
|
|
l2 = string.lower(s2)
|
|
|
|
minlen = min(len(s1), len(s2))
|
|
|
|
if len(s1) < len(s2) and l1 == l2[:len(s1)]:
|
|
|
|
result = -1
|
|
|
|
elif len(s2) < len(s1) and l2 == l1[:len(s2)]:
|
|
|
|
result = 1
|
|
|
|
else:
|
|
|
|
result = cmp(l1, l2) or cmp(s1, s2)
|
|
|
|
return result
|
|
|
|
|
|
|
|
|
|
|
|
def split_entry(str, which):
|
|
|
|
stuff = []
|
|
|
|
parts = string.split(str, '!')
|
|
|
|
parts = map(string.split, parts, ['@'] * len(parts))
|
|
|
|
for entry in parts:
|
|
|
|
if len(entry) != 1:
|
|
|
|
key = entry[which]
|
|
|
|
else:
|
|
|
|
key = entry[0]
|
|
|
|
stuff.append(key)
|
|
|
|
return stuff
|
|
|
|
|
|
|
|
|
1999-02-18 12:11:12 -04:00
|
|
|
_rmtt = re.compile(r"(.*)<tt(?: class=[a-z0-9]+)?>(.*)</tt>(.*)$",
|
|
|
|
re.IGNORECASE)
|
1998-04-08 20:12:51 -03:00
|
|
|
_rmparens = re.compile(r"\(\)")
|
|
|
|
|
|
|
|
def split_entry_key(str):
|
|
|
|
parts = split_entry(str, 1)
|
|
|
|
for i in range(len(parts)):
|
|
|
|
m = _rmtt.match(parts[i])
|
|
|
|
if m:
|
|
|
|
parts[i] = string.join(m.group(1, 2, 3), '')
|
|
|
|
else:
|
|
|
|
parts[i] = string.lower(parts[i])
|
|
|
|
# remove '()' from the key:
|
|
|
|
parts[i] = _rmparens.sub('', parts[i])
|
|
|
|
return map(trim_ignored_letters, parts)
|
|
|
|
|
|
|
|
|
|
|
|
def split_entry_text(str):
|
|
|
|
if '<' in str:
|
|
|
|
m = _rmtt.match(str)
|
|
|
|
if m:
|
|
|
|
str = string.join(m.group(1, 2, 3), '')
|
|
|
|
return split_entry(str, 1)
|
|
|
|
|
|
|
|
|
1998-03-27 01:25:43 -04:00
|
|
|
def load(fp):
|
|
|
|
nodes = []
|
1998-04-08 20:12:51 -03:00
|
|
|
rx = re.compile("(.*)\1(.*)###(.*)$")
|
1998-03-27 01:25:43 -04:00
|
|
|
while 1:
|
|
|
|
line = fp.readline()
|
|
|
|
if not line:
|
|
|
|
break
|
|
|
|
m = rx.match(line)
|
|
|
|
if m:
|
|
|
|
link, str, seqno = m.group(1, 2, 3)
|
|
|
|
nodes.append(Node(link, str, seqno))
|
|
|
|
return nodes
|
|
|
|
|
|
|
|
|
1998-04-08 20:12:51 -03:00
|
|
|
def trim_ignored_letters(s):
|
1999-01-04 18:00:56 -04:00
|
|
|
# ignore $ to keep environment variables with the
|
|
|
|
# leading letter from the name
|
1998-04-08 20:12:51 -03:00
|
|
|
s = string.lower(s)
|
1999-01-04 18:00:56 -04:00
|
|
|
if s[0] == "$":
|
|
|
|
return s[1:]
|
|
|
|
else:
|
|
|
|
return s
|
1998-04-08 20:12:51 -03:00
|
|
|
|
|
|
|
def get_first_letter(s):
|
|
|
|
return string.lower(trim_ignored_letters(s)[0])
|
|
|
|
|
|
|
|
|
1998-03-27 01:25:43 -04:00
|
|
|
def split_letters(nodes):
|
|
|
|
letter_groups = []
|
|
|
|
if nodes:
|
1998-04-08 20:12:51 -03:00
|
|
|
group = []
|
|
|
|
append = group.append
|
|
|
|
letter = get_first_letter(nodes[0].text[0])
|
1998-03-27 01:25:43 -04:00
|
|
|
letter_groups.append((letter, group))
|
|
|
|
for node in nodes:
|
1998-04-08 20:12:51 -03:00
|
|
|
nletter = get_first_letter(node.text[0])
|
1998-03-27 01:25:43 -04:00
|
|
|
if letter != nletter:
|
|
|
|
letter = nletter
|
|
|
|
group = []
|
|
|
|
letter_groups.append((letter, group))
|
|
|
|
append = group.append
|
|
|
|
append(node)
|
|
|
|
return letter_groups
|
|
|
|
|
|
|
|
|
1998-08-07 16:50:13 -03:00
|
|
|
# need a function to separate the nodes into columns...
|
|
|
|
def split_columns(nodes, columns=1):
|
|
|
|
if columns <= 1:
|
1998-08-07 17:49:54 -03:00
|
|
|
return [nodes]
|
1998-08-07 16:50:13 -03:00
|
|
|
# This is a rough height; we may have to increase to avoid breaks before
|
|
|
|
# a subitem.
|
|
|
|
colheight = len(nodes) / columns
|
|
|
|
numlong = len(nodes) % columns
|
|
|
|
if numlong:
|
|
|
|
colheight = colheight + 1
|
|
|
|
else:
|
|
|
|
numlong = columns
|
|
|
|
cols = []
|
|
|
|
for i in range(numlong):
|
|
|
|
start = i * colheight
|
|
|
|
end = start + colheight
|
|
|
|
cols.append(nodes[start:end])
|
|
|
|
del nodes[:end]
|
|
|
|
colheight = colheight - 1
|
|
|
|
try:
|
|
|
|
numshort = len(nodes) / colheight
|
|
|
|
except ZeroDivisionError:
|
|
|
|
cols = cols + (columns - len(cols)) * [[]]
|
|
|
|
else:
|
|
|
|
for i in range(numshort):
|
|
|
|
start = i * colheight
|
|
|
|
end = start + colheight
|
|
|
|
cols.append(nodes[start:end])
|
1998-08-07 17:49:54 -03:00
|
|
|
return cols
|
1998-08-07 16:50:13 -03:00
|
|
|
|
|
|
|
|
1998-04-08 20:12:51 -03:00
|
|
|
DL_LEVEL_INDENT = " "
|
|
|
|
|
1998-08-07 16:50:13 -03:00
|
|
|
def format_column(nodes):
|
1998-03-27 01:25:43 -04:00
|
|
|
strings = ["<dl compact>"]
|
|
|
|
append = strings.append
|
1998-08-07 16:50:13 -03:00
|
|
|
level = 0
|
1998-04-08 20:12:51 -03:00
|
|
|
previous = []
|
1998-03-27 01:25:43 -04:00
|
|
|
for node in nodes:
|
1998-04-08 20:12:51 -03:00
|
|
|
current = node.text
|
|
|
|
count = 0
|
|
|
|
for i in range(min(len(current), len(previous))):
|
|
|
|
if previous[i] != current[i]:
|
|
|
|
break
|
|
|
|
count = i + 1
|
|
|
|
if count > level:
|
|
|
|
append("<dl compact>" * (count - level) + "\n")
|
|
|
|
level = count
|
|
|
|
elif level > count:
|
|
|
|
append("\n")
|
|
|
|
append(level * DL_LEVEL_INDENT)
|
|
|
|
append("</dl>" * (level - count))
|
|
|
|
level = count
|
|
|
|
# else: level == count
|
|
|
|
for i in range(count, len(current) - 1):
|
|
|
|
term = node.text[i]
|
|
|
|
level = level + 1
|
|
|
|
append("\n<dt>%s\n<dd>\n%s<dl compact>"
|
|
|
|
% (term, level * DL_LEVEL_INDENT))
|
|
|
|
append("\n%s<dt>%s%s</a>"
|
|
|
|
% (level * DL_LEVEL_INDENT, node.links[0], node.text[-1]))
|
1998-03-27 01:25:43 -04:00
|
|
|
for link in node.links[1:]:
|
1998-04-08 20:12:51 -03:00
|
|
|
append(",\n%s %s[Link]</a>" % (level * DL_LEVEL_INDENT, link))
|
|
|
|
previous = current
|
|
|
|
append("\n")
|
1998-04-11 13:26:02 -03:00
|
|
|
append("</dl>" * (level + 1))
|
1998-08-07 16:50:13 -03:00
|
|
|
return string.join(strings, '')
|
|
|
|
|
|
|
|
|
|
|
|
def format_nodes(nodes, columns=1):
|
|
|
|
strings = []
|
|
|
|
append = strings.append
|
|
|
|
if columns > 1:
|
|
|
|
colnos = range(columns)
|
|
|
|
colheight = len(nodes) / columns
|
|
|
|
if len(nodes) % columns:
|
|
|
|
colheight = colheight + 1
|
|
|
|
colwidth = 100 / columns
|
|
|
|
append('<table width="100%"><tr valign="top">')
|
|
|
|
for col in split_columns(nodes, columns):
|
|
|
|
append('<td width="%d%%">\n' % colwidth)
|
|
|
|
append(format_column(col))
|
|
|
|
append("\n</td>")
|
|
|
|
append("\n</tr></table>")
|
|
|
|
else:
|
|
|
|
append(format_column(nodes))
|
1998-04-11 13:26:02 -03:00
|
|
|
append("\n<p>\n")
|
1998-04-08 20:12:51 -03:00
|
|
|
return string.join(strings, '')
|
1998-03-27 01:25:43 -04:00
|
|
|
|
|
|
|
|
|
|
|
def format_letter(letter):
|
|
|
|
if letter == '.':
|
|
|
|
lettername = ". (dot)"
|
|
|
|
elif letter == '_':
|
|
|
|
lettername = "_ (underscore)"
|
|
|
|
else:
|
|
|
|
lettername = string.upper(letter)
|
1998-04-08 20:12:51 -03:00
|
|
|
return "\n<hr>\n<h2><a name=\"letter-%s\">%s</a></h2>\n\n" \
|
1998-03-27 01:25:43 -04:00
|
|
|
% (letter, lettername)
|
|
|
|
|
|
|
|
|
1998-08-07 17:49:54 -03:00
|
|
|
def format_html_letters(nodes, columns=1):
|
1998-03-27 01:25:43 -04:00
|
|
|
letter_groups = split_letters(nodes)
|
|
|
|
items = []
|
|
|
|
for letter, nodes in letter_groups:
|
|
|
|
s = "<b><a href=\"#letter-%s\">%s</a></b>" % (letter, letter)
|
|
|
|
items.append(s)
|
1998-04-08 20:12:51 -03:00
|
|
|
s = ["<hr><center>\n%s</center>\n" % string.join(items, " |\n")]
|
1998-03-27 01:25:43 -04:00
|
|
|
for letter, nodes in letter_groups:
|
1998-04-08 20:12:51 -03:00
|
|
|
s.append(format_letter(letter))
|
1998-08-07 16:50:13 -03:00
|
|
|
s.append(format_nodes(nodes, columns))
|
1998-04-08 20:12:51 -03:00
|
|
|
return string.join(s, '')
|
1998-03-27 01:25:43 -04:00
|
|
|
|
1998-08-07 17:49:54 -03:00
|
|
|
def format_html(nodes, columns):
|
|
|
|
return format_nodes(nodes, columns)
|
|
|
|
|
1998-03-27 01:25:43 -04:00
|
|
|
|
|
|
|
def collapse(nodes):
|
|
|
|
"""Collapse sequences of nodes with matching keys into a single node.
|
|
|
|
Destructive."""
|
|
|
|
if len(nodes) < 2:
|
|
|
|
return
|
|
|
|
prev = nodes[0]
|
|
|
|
i = 1
|
|
|
|
while i < len(nodes):
|
|
|
|
node = nodes[i]
|
|
|
|
if not node.cmp_entry(prev):
|
|
|
|
prev.links.append(node.links[0])
|
|
|
|
del nodes[i]
|
|
|
|
else:
|
|
|
|
i = i + 1
|
|
|
|
prev = node
|
|
|
|
|
|
|
|
|
|
|
|
def dump(nodes, fp):
|
|
|
|
for node in nodes:
|
|
|
|
fp.write(node.dump())
|
|
|
|
|
|
|
|
|
1999-02-24 12:36:48 -04:00
|
|
|
def process_nodes(nodes, columns, letters):
|
|
|
|
nodes.sort()
|
|
|
|
collapse(nodes)
|
|
|
|
if letters:
|
|
|
|
return format_html_letters(nodes, columns)
|
|
|
|
else:
|
|
|
|
return format_html(nodes, columns)
|
|
|
|
|
|
|
|
|
1998-03-27 01:25:43 -04:00
|
|
|
def main():
|
1998-04-08 20:12:51 -03:00
|
|
|
import getopt
|
|
|
|
ifn = "-"
|
|
|
|
ofn = "-"
|
1998-08-07 16:50:13 -03:00
|
|
|
columns = 1
|
1998-08-07 17:49:54 -03:00
|
|
|
letters = 0
|
|
|
|
opts, args = getopt.getopt(sys.argv[1:], "c:lo:",
|
|
|
|
["columns=", "letters", "output="])
|
1998-04-08 20:12:51 -03:00
|
|
|
for opt, val in opts:
|
|
|
|
if opt in ("-o", "--output"):
|
|
|
|
ofn = val
|
1998-08-07 16:50:13 -03:00
|
|
|
elif opt in ("-c", "--columns"):
|
|
|
|
columns = string.atoi(val)
|
1998-08-07 17:49:54 -03:00
|
|
|
elif opt in ("-l", "--letters"):
|
|
|
|
letters = 1
|
1998-04-08 20:12:51 -03:00
|
|
|
if not args:
|
|
|
|
args = [ifn]
|
|
|
|
nodes = []
|
|
|
|
for fn in args:
|
|
|
|
nodes = nodes + load(open(fn))
|
1998-12-28 16:46:53 -04:00
|
|
|
num_nodes = len(nodes)
|
1999-02-24 12:36:48 -04:00
|
|
|
html = process_nodes(nodes, columns, letters)
|
1998-12-28 16:46:53 -04:00
|
|
|
program = os.path.basename(sys.argv[0])
|
1998-04-08 20:12:51 -03:00
|
|
|
if ofn == "-":
|
|
|
|
sys.stdout.write(html)
|
1998-12-28 16:46:53 -04:00
|
|
|
sys.stderr.write("\n%s: %d index nodes" % (program, num_nodes))
|
1998-04-08 20:12:51 -03:00
|
|
|
else:
|
|
|
|
open(ofn, "w").write(html)
|
1998-12-28 16:46:53 -04:00
|
|
|
print
|
|
|
|
print "%s: %d index nodes" % (program, num_nodes)
|
1998-03-27 01:25:43 -04:00
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
main()
|