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