blob: 5b0f1c6741d57f369d5ca750bd685b383244a88d [file] [log] [blame]
Benjamin Peterson90f5ba52010-03-11 22:53:45 +00001#!/usr/bin/env python3
Guido van Rossuma8b37ad1999-08-19 16:00:41 +00002""" Utility for parsing HTML entity definitions available from:
3
4 http://www.w3.org/ as e.g.
5 http://www.w3.org/TR/REC-html40/HTMLlat1.ent
6
7 Input is read from stdin, output is written to stdout in form of a
8 Python snippet defining a dictionary "entitydefs" mapping literal
9 entity name to character or numeric entity.
10
Tim Peters70c43782001-01-17 08:48:39 +000011 Marc-Andre Lemburg, mal@lemburg.com, 1999.
Guido van Rossuma8b37ad1999-08-19 16:00:41 +000012 Use as you like. NO WARRANTIES.
13
14"""
15import re,sys
16import TextTools
17
18entityRE = re.compile('<!ENTITY +(\w+) +CDATA +"([^"]+)" +-- +((?:.|\n)+?) *-->')
19
20def parse(text,pos=0,endpos=None):
21
22 pos = 0
23 if endpos is None:
Jeremy Hylton0b7b4b82000-09-18 01:46:01 +000024 endpos = len(text)
Guido van Rossuma8b37ad1999-08-19 16:00:41 +000025 d = {}
26 while 1:
Jeremy Hylton0b7b4b82000-09-18 01:46:01 +000027 m = entityRE.search(text,pos,endpos)
28 if not m:
29 break
30 name,charcode,comment = m.groups()
31 d[name] = charcode,comment
32 pos = m.end()
Guido van Rossuma8b37ad1999-08-19 16:00:41 +000033 return d
34
35def writefile(f,defs):
36
37 f.write("entitydefs = {\n")
Georg Brandl8efadf52008-05-16 15:23:30 +000038 items = sorted(defs.items())
39 for name, (charcode,comment) in items:
Jeremy Hylton0b7b4b82000-09-18 01:46:01 +000040 if charcode[:2] == '&#':
41 code = int(charcode[2:-1])
42 if code < 256:
43 charcode = "'\%o'" % code
44 else:
45 charcode = repr(charcode)
46 else:
47 charcode = repr(charcode)
48 comment = TextTools.collapse(comment)
49 f.write(" '%s':\t%s, \t# %s\n" % (name,charcode,comment))
Guido van Rossuma8b37ad1999-08-19 16:00:41 +000050 f.write('\n}\n')
51
52if __name__ == '__main__':
53 if len(sys.argv) > 1:
Jeremy Hylton0b7b4b82000-09-18 01:46:01 +000054 infile = open(sys.argv[1])
Guido van Rossuma8b37ad1999-08-19 16:00:41 +000055 else:
Jeremy Hylton0b7b4b82000-09-18 01:46:01 +000056 infile = sys.stdin
Guido van Rossuma8b37ad1999-08-19 16:00:41 +000057 if len(sys.argv) > 2:
Jeremy Hylton0b7b4b82000-09-18 01:46:01 +000058 outfile = open(sys.argv[2],'w')
Guido van Rossuma8b37ad1999-08-19 16:00:41 +000059 else:
Jeremy Hylton0b7b4b82000-09-18 01:46:01 +000060 outfile = sys.stdout
Guido van Rossuma8b37ad1999-08-19 16:00:41 +000061 text = infile.read()
62 defs = parse(text)
63 writefile(outfile,defs)