Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 1 | #! /usr/bin/env python |
| 2 | |
| 3 | """Convert ESIS events to SGML or XML markup. |
| 4 | |
| 5 | This is limited, but seems sufficient for the ESIS generated by the |
| 6 | latex2esis.py script when run over the Python documentation. |
| 7 | """ |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 8 | |
| 9 | # This should have an explicit option to indicate whether the *INPUT* was |
| 10 | # generated from an SGML or an XML application. |
| 11 | |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 12 | __version__ = '$Revision$' |
| 13 | |
| 14 | import errno |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 15 | import esistools |
Fred Drake | 36dfe58 | 1999-01-19 23:03:04 +0000 | [diff] [blame] | 16 | import os |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 17 | import re |
| 18 | import string |
| 19 | |
Fred Drake | 79ad1f1 | 1999-01-14 17:06:09 +0000 | [diff] [blame] | 20 | from xml.utils import escape |
| 21 | |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 22 | |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 23 | AUTOCLOSE = () |
| 24 | |
Fred Drake | 36dfe58 | 1999-01-19 23:03:04 +0000 | [diff] [blame] | 25 | EMPTIES_FILENAME = "../sgml/empties.dat" |
| 26 | LIST_EMPTIES = 0 |
| 27 | |
| 28 | |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 29 | _elem_map = {} |
| 30 | _attr_map = {} |
| 31 | _token_map = {} |
| 32 | |
| 33 | _normalize_case = str |
| 34 | |
| 35 | def map_gi(sgmlgi, map): |
| 36 | uncased = _normalize_case(sgmlgi) |
| 37 | try: |
| 38 | return map[uncased] |
| 39 | except IndexError: |
| 40 | map[uncased] = sgmlgi |
| 41 | return sgmlgi |
| 42 | |
| 43 | def null_map_gi(sgmlgi, map): |
| 44 | return sgmlgi |
| 45 | |
| 46 | |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 47 | def format_attrs(attrs, xml=0): |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 48 | attrs = attrs.items() |
| 49 | attrs.sort() |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 50 | parts = [] |
| 51 | append = parts.append |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 52 | for name, value in attrs: |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 53 | if xml: |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 54 | append('%s="%s"' % (name, escape(value))) |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 55 | else: |
| 56 | # this is a little bogus, but should do for now |
| 57 | if name == value and isnmtoken(value): |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 58 | append(value) |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 59 | elif istoken(value): |
Fred Drake | 279ca75 | 1999-01-29 21:35:50 +0000 | [diff] [blame] | 60 | if value == "no" + name: |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 61 | append(value) |
Fred Drake | 279ca75 | 1999-01-29 21:35:50 +0000 | [diff] [blame] | 62 | else: |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 63 | append("%s=%s" % (name, value)) |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 64 | else: |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 65 | append('%s="%s"' % (name, escape(value))) |
| 66 | if parts: |
| 67 | parts.insert(0, '') |
| 68 | return string.join(parts) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 69 | |
| 70 | |
Fred Drake | 36dfe58 | 1999-01-19 23:03:04 +0000 | [diff] [blame] | 71 | _nmtoken_rx = re.compile("[a-z][-._a-z0-9]*$", re.IGNORECASE) |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 72 | def isnmtoken(s): |
| 73 | return _nmtoken_rx.match(s) is not None |
| 74 | |
Fred Drake | 36dfe58 | 1999-01-19 23:03:04 +0000 | [diff] [blame] | 75 | _token_rx = re.compile("[a-z0-9][-._a-z0-9]*$", re.IGNORECASE) |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 76 | def istoken(s): |
| 77 | return _token_rx.match(s) is not None |
| 78 | |
| 79 | |
Fred Drake | f032cdb | 1999-07-29 22:03:52 +0000 | [diff] [blame] | 80 | def convert(ifp, ofp, xml=0, autoclose=(), verbatims=()): |
Fred Drake | 43278f0 | 1999-01-20 20:35:05 +0000 | [diff] [blame] | 81 | if xml: |
| 82 | autoclose = () |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 83 | attrs = {} |
| 84 | lastopened = None |
Fred Drake | 4abcffb | 1998-12-10 18:31:37 +0000 | [diff] [blame] | 85 | knownempties = [] |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 86 | knownempty = 0 |
| 87 | lastempty = 0 |
Fred Drake | c4811d8 | 1999-05-18 17:34:51 +0000 | [diff] [blame] | 88 | inverbatim = 0 |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 89 | while 1: |
| 90 | line = ifp.readline() |
| 91 | if not line: |
| 92 | break |
| 93 | |
| 94 | type = line[0] |
| 95 | data = line[1:] |
| 96 | if data and data[-1] == "\n": |
| 97 | data = data[:-1] |
| 98 | if type == "-": |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 99 | data = esistools.decode(data) |
Fred Drake | c4811d8 | 1999-05-18 17:34:51 +0000 | [diff] [blame] | 100 | data = escape(data) |
| 101 | if not inverbatim: |
| 102 | data = string.replace(data, "---", "—") |
| 103 | ofp.write(data) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 104 | if "\n" in data: |
| 105 | lastopened = None |
| 106 | knownempty = 0 |
| 107 | lastempty = 0 |
| 108 | elif type == "(": |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 109 | if data == "COMMENT": |
| 110 | ofp.write("<!--") |
| 111 | continue |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 112 | data = map_gi(data, _elem_map) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 113 | if knownempty and xml: |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 114 | ofp.write("<%s%s/>" % (data, format_attrs(attrs, xml))) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 115 | else: |
Fred Drake | f82e4ab | 1999-01-19 17:10:31 +0000 | [diff] [blame] | 116 | ofp.write("<%s%s>" % (data, format_attrs(attrs, xml))) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 117 | if knownempty and data not in knownempties: |
| 118 | # accumulate knowledge! |
| 119 | knownempties.append(data) |
| 120 | attrs = {} |
| 121 | lastopened = data |
| 122 | lastempty = knownempty |
| 123 | knownempty = 0 |
Fred Drake | c4811d8 | 1999-05-18 17:34:51 +0000 | [diff] [blame] | 124 | inverbatim = data in verbatims |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 125 | elif type == ")": |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 126 | if data == "COMMENT": |
| 127 | ofp.write("-->") |
| 128 | continue |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 129 | data = map_gi(data, _elem_map) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 130 | if xml: |
| 131 | if not lastempty: |
| 132 | ofp.write("</%s>" % data) |
| 133 | elif data not in knownempties: |
Fred Drake | 43278f0 | 1999-01-20 20:35:05 +0000 | [diff] [blame] | 134 | if data in autoclose: |
| 135 | pass |
| 136 | elif lastopened == data: |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 137 | ofp.write("</>") |
| 138 | else: |
| 139 | ofp.write("</%s>" % data) |
| 140 | lastopened = None |
| 141 | lastempty = 0 |
Fred Drake | c4811d8 | 1999-05-18 17:34:51 +0000 | [diff] [blame] | 142 | inverbatim = 0 |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 143 | elif type == "A": |
| 144 | name, type, value = string.split(data, " ", 2) |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 145 | name = map_gi(name, _attr_map) |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 146 | attrs[name] = esistools.decode(value) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 147 | elif type == "e": |
| 148 | knownempty = 1 |
| 149 | |
Fred Drake | 36dfe58 | 1999-01-19 23:03:04 +0000 | [diff] [blame] | 150 | if LIST_EMPTIES: |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 151 | dump_empty_element_names(knownempties) |
| 152 | |
| 153 | |
| 154 | def dump_empty_element_names(knownempties): |
Fred Drake | f032cdb | 1999-07-29 22:03:52 +0000 | [diff] [blame] | 155 | d = {} |
| 156 | for gi in knownempties: |
| 157 | d[gi] = gi |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 158 | knownempties.append("") |
| 159 | if os.path.isfile(EMPTIES_FILENAME): |
Fred Drake | f032cdb | 1999-07-29 22:03:52 +0000 | [diff] [blame] | 160 | fp = open(EMPTIES_FILENAME) |
| 161 | while 1: |
| 162 | line = fp.readline() |
| 163 | if not line: |
| 164 | break |
| 165 | gi = string.strip(line) |
| 166 | if gi: |
| 167 | d[gi] = gi |
| 168 | fp = open(EMPTIES_FILENAME, "w") |
| 169 | gilist = d.keys() |
| 170 | gilist.sort() |
| 171 | fp.write(string.join(gilist, "\n")) |
| 172 | fp.write("\n") |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 173 | fp.close() |
Fred Drake | 36dfe58 | 1999-01-19 23:03:04 +0000 | [diff] [blame] | 174 | |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 175 | |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 176 | def update_gi_map(map, names, fromsgml=1): |
| 177 | for name in string.split(names, ","): |
| 178 | if fromsgml: |
| 179 | uncased = string.lower(name) |
| 180 | else: |
| 181 | uncased = name |
| 182 | map[uncased] = name |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 183 | |
| 184 | |
| 185 | def main(): |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 186 | import getopt |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 187 | import sys |
| 188 | # |
Fred Drake | 43278f0 | 1999-01-20 20:35:05 +0000 | [diff] [blame] | 189 | autoclose = AUTOCLOSE |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 190 | xml = 1 |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 191 | xmldecl = 0 |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 192 | elem_names = '' |
| 193 | attr_names = '' |
| 194 | value_names = '' |
Fred Drake | c4811d8 | 1999-05-18 17:34:51 +0000 | [diff] [blame] | 195 | verbatims = ('verbatim', 'interactive-session') |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 196 | opts, args = getopt.getopt(sys.argv[1:], "adesx", |
| 197 | ["autoclose=", "declare", "sgml", "xml", |
| 198 | "elements-map=", "attributes-map", |
| 199 | "values-map="]) |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 200 | for opt, arg in opts: |
| 201 | if opt in ("-d", "--declare"): |
| 202 | xmldecl = 1 |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 203 | elif opt == "-e": |
| 204 | global LIST_EMPTIES |
| 205 | LIST_EMPTIES = 1 |
| 206 | elif opt in ("-s", "--sgml"): |
| 207 | xml = 0 |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 208 | elif opt in ("-x", "--xml"): |
| 209 | xml = 1 |
Fred Drake | 43278f0 | 1999-01-20 20:35:05 +0000 | [diff] [blame] | 210 | elif opt in ("-a", "--autoclose"): |
| 211 | autoclose = string.split(arg, ",") |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 212 | elif opt == "--elements-map": |
| 213 | elem_names = ("%s,%s" % (elem_names, arg))[1:] |
| 214 | elif opt == "--attributes-map": |
| 215 | attr_names = ("%s,%s" % (attr_names, arg))[1:] |
| 216 | elif opt == "--values-map": |
| 217 | value_names = ("%s,%s" % (value_names, arg))[1:] |
| 218 | # |
| 219 | # open input streams: |
| 220 | # |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 221 | if len(args) == 0: |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 222 | ifp = sys.stdin |
| 223 | ofp = sys.stdout |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 224 | elif len(args) == 1: |
| 225 | ifp = open(args[0]) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 226 | ofp = sys.stdout |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 227 | elif len(args) == 2: |
| 228 | ifp = open(args[0]) |
| 229 | ofp = open(args[1], "w") |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 230 | else: |
| 231 | usage() |
| 232 | sys.exit(2) |
Fred Drake | 607aed7 | 1999-02-18 16:30:16 +0000 | [diff] [blame] | 233 | # |
| 234 | # setup the name maps: |
| 235 | # |
| 236 | if elem_names or attr_names or value_names: |
| 237 | # assume the origin was SGML; ignore case of the names from the ESIS |
| 238 | # stream but set up conversion tables to get the case right on output |
| 239 | global _normalize_case |
| 240 | _normalize_case = string.lower |
| 241 | update_gi_map(_elem_map, string.split(elem_names, ",")) |
| 242 | update_gi_map(_attr_map, string.split(attr_names, ",")) |
| 243 | update_gi_map(_values_map, string.split(value_names, ",")) |
| 244 | else: |
| 245 | global map_gi |
| 246 | map_gi = null_map_gi |
| 247 | # |
| 248 | # run the conversion: |
| 249 | # |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 250 | try: |
Fred Drake | f077b9d | 1998-12-01 19:01:53 +0000 | [diff] [blame] | 251 | if xml and xmldecl: |
| 252 | opf.write('<?xml version="1.0" encoding="iso8859-1"?>\n') |
Fred Drake | f032cdb | 1999-07-29 22:03:52 +0000 | [diff] [blame] | 253 | convert(ifp, ofp, xml=xml, autoclose=autoclose, verbatims=verbatims) |
Fred Drake | 30a68c7 | 1998-11-23 16:59:39 +0000 | [diff] [blame] | 254 | except IOError, (err, msg): |
| 255 | if err != errno.EPIPE: |
| 256 | raise |
| 257 | |
| 258 | |
| 259 | if __name__ == "__main__": |
| 260 | main() |