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