blob: 2a189cdd8fe51f94d3ef94cf7cd28255cf1d1b5f [file] [log] [blame]
Guido van Rossum4b8c6ea2000-02-04 15:39:30 +00001"""A parser for XML, using the derived class as static DTD."""
2
Guido van Rossum5d68e8e1997-11-18 15:27:20 +00003# Author: Sjoerd Mullender.
Guido van Rossuma219efa1997-11-18 15:09:54 +00004
5import re
6import string
7
Neal Norwitzab3b9eb2002-04-10 02:04:00 +00008import warnings
Martin v. Löwis9f1340b2004-05-02 20:37:13 +00009warnings.warn("The xmllib module is obsolete. Use xml.sax instead.", DeprecationWarning)
Neal Norwitzab3b9eb2002-04-10 02:04:00 +000010del warnings
Guido van Rossuma219efa1997-11-18 15:09:54 +000011
Guido van Rossumb35d6841999-08-26 15:52:33 +000012version = '0.3'
Guido van Rossum7e07b381998-04-03 16:02:39 +000013
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +000014class Error(RuntimeError):
15 pass
16
Guido van Rossuma219efa1997-11-18 15:09:54 +000017# Regular expressions used for parsing
18
Guido van Rossumeeb2f321998-10-19 13:28:26 +000019_S = '[ \t\r\n]+' # white space
20_opS = '[ \t\r\n]*' # optional white space
21_Name = '[a-zA-Z_:][-a-zA-Z0-9._:]*' # valid XML name
22_QStr = "(?:'[^']*'|\"[^\"]*\")" # quoted XML string
Guido van Rossum7e07b381998-04-03 16:02:39 +000023illegal = re.compile('[^\t\r\n -\176\240-\377]') # illegal chars in content
24interesting = re.compile('[]&<]')
Guido van Rossuma219efa1997-11-18 15:09:54 +000025
Guido van Rossum7e07b381998-04-03 16:02:39 +000026amp = re.compile('&')
27ref = re.compile('&(' + _Name + '|#[0-9]+|#x[0-9a-fA-F]+)[^-a-zA-Z0-9._:]')
Guido van Rossuma219efa1997-11-18 15:09:54 +000028entityref = re.compile('&(?P<name>' + _Name + ')[^-a-zA-Z0-9._:]')
29charref = re.compile('&#(?P<char>[0-9]+[^0-9]|x[0-9a-fA-F]+[^0-9a-fA-F])')
Guido van Rossum7e07b381998-04-03 16:02:39 +000030space = re.compile(_S + '$')
Guido van Rossuma219efa1997-11-18 15:09:54 +000031newline = re.compile('\n')
32
Guido van Rossumeeb2f321998-10-19 13:28:26 +000033attrfind = re.compile(
34 _S + '(?P<name>' + _Name + ')'
35 '(' + _opS + '=' + _opS +
Guido van Rossumd468bd32000-06-21 20:01:10 +000036 '(?P<value>'+_QStr+'|[-a-zA-Z0-9.:+*%?!\(\)_#=~]+))?')
Guido van Rossuma219efa1997-11-18 15:09:54 +000037starttagopen = re.compile('<' + _Name)
Guido van Rossuma219efa1997-11-18 15:09:54 +000038starttagend = re.compile(_opS + '(?P<slash>/?)>')
Guido van Rossumeeb2f321998-10-19 13:28:26 +000039starttagmatch = re.compile('<(?P<tagname>'+_Name+')'
40 '(?P<attrs>(?:'+attrfind.pattern+')*)'+
41 starttagend.pattern)
42endtagopen = re.compile('</')
Guido van Rossum7e07b381998-04-03 16:02:39 +000043endbracket = re.compile(_opS + '>')
Guido van Rossumeeb2f321998-10-19 13:28:26 +000044endbracketfind = re.compile('(?:[^>\'"]|'+_QStr+')*>')
Guido van Rossuma219efa1997-11-18 15:09:54 +000045tagfind = re.compile(_Name)
Guido van Rossum02505e41998-01-29 14:55:24 +000046cdataopen = re.compile(r'<!\[CDATA\[')
47cdataclose = re.compile(r'\]\]>')
Guido van Rossum7e07b381998-04-03 16:02:39 +000048# this matches one of the following:
49# SYSTEM SystemLiteral
50# PUBLIC PubidLiteral SystemLiteral
Guido van Rossumeeb2f321998-10-19 13:28:26 +000051_SystemLiteral = '(?P<%s>'+_QStr+')'
Guido van Rossumd468bd32000-06-21 20:01:10 +000052_PublicLiteral = '(?P<%s>"[-\'\(\)+,./:=?;!*#@$_%% \n\ra-zA-Z0-9]*"|' \
53 "'[-\(\)+,./:=?;!*#@$_%% \n\ra-zA-Z0-9]*')"
Guido van Rossum7e07b381998-04-03 16:02:39 +000054_ExternalId = '(?:SYSTEM|' \
55 'PUBLIC'+_S+_PublicLiteral%'pubid'+ \
56 ')'+_S+_SystemLiteral%'syslit'
57doctype = re.compile('<!DOCTYPE'+_S+'(?P<name>'+_Name+')'
58 '(?:'+_S+_ExternalId+')?'+_opS)
59xmldecl = re.compile('<\?xml'+_S+
Guido van Rossumeeb2f321998-10-19 13:28:26 +000060 'version'+_opS+'='+_opS+'(?P<version>'+_QStr+')'+
Guido van Rossum7e07b381998-04-03 16:02:39 +000061 '(?:'+_S+'encoding'+_opS+'='+_opS+
62 "(?P<encoding>'[A-Za-z][-A-Za-z0-9._]*'|"
63 '"[A-Za-z][-A-Za-z0-9._]*"))?'
64 '(?:'+_S+'standalone'+_opS+'='+_opS+
65 '(?P<standalone>\'(?:yes|no)\'|"(?:yes|no)"))?'+
66 _opS+'\?>')
67procopen = re.compile(r'<\?(?P<proc>' + _Name + ')' + _opS)
Guido van Rossum02505e41998-01-29 14:55:24 +000068procclose = re.compile(_opS + r'\?>')
Guido van Rossuma219efa1997-11-18 15:09:54 +000069commentopen = re.compile('<!--')
70commentclose = re.compile('-->')
71doubledash = re.compile('--')
Guido van Rossum7e07b381998-04-03 16:02:39 +000072attrtrans = string.maketrans(' \r\n\t', ' ')
Guido van Rossuma219efa1997-11-18 15:09:54 +000073
Guido van Rossumb083a9f1998-12-18 20:17:13 +000074# definitions for XML namespaces
75_NCName = '[a-zA-Z_][-a-zA-Z0-9._]*' # XML Name, minus the ":"
76ncname = re.compile(_NCName + '$')
77qname = re.compile('(?:(?P<prefix>' + _NCName + '):)?' # optional prefix
78 '(?P<local>' + _NCName + ')$')
79
80xmlns = re.compile('xmlns(?::(?P<ncname>'+_NCName+'))?$')
Guido van Rossuma219efa1997-11-18 15:09:54 +000081
82# XML parser base class -- find tags and call handler functions.
83# Usage: p = XMLParser(); p.feed(data); ...; p.close().
Guido van Rossum5d68e8e1997-11-18 15:27:20 +000084# The dtd is defined by deriving a class which defines methods with
85# special names to handle tags: start_foo and end_foo to handle <foo>
86# and </foo>, respectively. The data between tags is passed to the
87# parser by calling self.handle_data() with some data as argument (the
Jeremy Hyltona05e2932000-06-28 14:48:01 +000088# data may be split up in arbitrary chunks).
Guido van Rossuma219efa1997-11-18 15:09:54 +000089
90class XMLParser:
Guido van Rossumb083a9f1998-12-18 20:17:13 +000091 attributes = {} # default, to be overridden
92 elements = {} # default, to be overridden
Guido van Rossuma219efa1997-11-18 15:09:54 +000093
Guido van Rossumb35d6841999-08-26 15:52:33 +000094 # parsing options, settable using keyword args in __init__
95 __accept_unquoted_attributes = 0
96 __accept_missing_endtag_name = 0
97 __map_case = 0
98 __accept_utf8 = 0
Sjoerd Mullender5baaf662000-07-04 14:53:12 +000099 __translate_attribute_references = 1
Guido van Rossumb35d6841999-08-26 15:52:33 +0000100
Guido van Rossuma219efa1997-11-18 15:09:54 +0000101 # Interface -- initialize and reset this instance
Guido van Rossumb35d6841999-08-26 15:52:33 +0000102 def __init__(self, **kw):
Guido van Rossumcc2c2911999-02-02 17:54:38 +0000103 self.__fixed = 0
Raymond Hettinger54f02222002-06-01 14:18:47 +0000104 if 'accept_unquoted_attributes' in kw:
Guido van Rossumb35d6841999-08-26 15:52:33 +0000105 self.__accept_unquoted_attributes = kw['accept_unquoted_attributes']
Raymond Hettinger54f02222002-06-01 14:18:47 +0000106 if 'accept_missing_endtag_name' in kw:
Guido van Rossumb35d6841999-08-26 15:52:33 +0000107 self.__accept_missing_endtag_name = kw['accept_missing_endtag_name']
Raymond Hettinger54f02222002-06-01 14:18:47 +0000108 if 'map_case' in kw:
Guido van Rossumb35d6841999-08-26 15:52:33 +0000109 self.__map_case = kw['map_case']
Raymond Hettinger54f02222002-06-01 14:18:47 +0000110 if 'accept_utf8' in kw:
Guido van Rossumb35d6841999-08-26 15:52:33 +0000111 self.__accept_utf8 = kw['accept_utf8']
Raymond Hettinger54f02222002-06-01 14:18:47 +0000112 if 'translate_attribute_references' in kw:
Sjoerd Mullender5baaf662000-07-04 14:53:12 +0000113 self.__translate_attribute_references = kw['translate_attribute_references']
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000114 self.reset()
Guido van Rossumfe649351999-02-01 15:35:13 +0000115
116 def __fixelements(self):
Guido van Rossumcc2c2911999-02-02 17:54:38 +0000117 self.__fixed = 1
Guido van Rossumfe649351999-02-01 15:35:13 +0000118 self.elements = {}
119 self.__fixdict(self.__dict__)
120 self.__fixclass(self.__class__)
121
122 def __fixclass(self, kl):
123 self.__fixdict(kl.__dict__)
124 for k in kl.__bases__:
125 self.__fixclass(k)
126
127 def __fixdict(self, dict):
Guido van Rossum2e3f7be1999-02-02 22:15:24 +0000128 for key in dict.keys():
Guido van Rossumfe649351999-02-01 15:35:13 +0000129 if key[:6] == 'start_':
Guido van Rossum2e3f7be1999-02-02 22:15:24 +0000130 tag = key[6:]
131 start, end = self.elements.get(tag, (None, None))
Guido van Rossumfe649351999-02-01 15:35:13 +0000132 if start is None:
Guido van Rossum2e3f7be1999-02-02 22:15:24 +0000133 self.elements[tag] = getattr(self, key), end
Guido van Rossumfe649351999-02-01 15:35:13 +0000134 elif key[:4] == 'end_':
Guido van Rossum2e3f7be1999-02-02 22:15:24 +0000135 tag = key[4:]
136 start, end = self.elements.get(tag, (None, None))
Guido van Rossumfe649351999-02-01 15:35:13 +0000137 if end is None:
Guido van Rossum2e3f7be1999-02-02 22:15:24 +0000138 self.elements[tag] = start, getattr(self, key)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000139
140 # Interface -- reset this instance. Loses all unprocessed data
141 def reset(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000142 self.rawdata = ''
143 self.stack = []
144 self.nomoretags = 0
145 self.literal = 0
146 self.lineno = 1
147 self.__at_start = 1
148 self.__seen_doctype = None
149 self.__seen_starttag = 0
Guido van Rossum91c8f591998-12-21 18:15:28 +0000150 self.__use_namespaces = 0
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000151 self.__namespaces = {'xml':None} # xml is implicitly declared
Thomas Wouters7e474022000-07-16 12:04:32 +0000152 # backward compatibility hack: if elements not overridden,
Guido van Rossumcc2c2911999-02-02 17:54:38 +0000153 # fill it in ourselves
154 if self.elements is XMLParser.elements:
155 self.__fixelements()
Guido van Rossuma219efa1997-11-18 15:09:54 +0000156
157 # For derived classes only -- enter literal mode (CDATA) till EOF
158 def setnomoretags(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000159 self.nomoretags = self.literal = 1
Guido van Rossuma219efa1997-11-18 15:09:54 +0000160
161 # For derived classes only -- enter literal mode (CDATA)
162 def setliteral(self, *args):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000163 self.literal = 1
Guido van Rossuma219efa1997-11-18 15:09:54 +0000164
165 # Interface -- feed some data to the parser. Call this as
166 # often as you want, with as little or as much text as you
167 # want (may include '\n'). (This just saves the text, all the
168 # processing is done by goahead().)
169 def feed(self, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000170 self.rawdata = self.rawdata + data
171 self.goahead(0)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000172
173 # Interface -- handle the remaining data
174 def close(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000175 self.goahead(1)
Guido van Rossumcc2c2911999-02-02 17:54:38 +0000176 if self.__fixed:
177 self.__fixed = 0
178 # remove self.elements so that we don't leak
179 del self.elements
Guido van Rossuma219efa1997-11-18 15:09:54 +0000180
181 # Interface -- translate references
Guido van Rossum7e07b381998-04-03 16:02:39 +0000182 def translate_references(self, data, all = 1):
Sjoerd Mullender5baaf662000-07-04 14:53:12 +0000183 if not self.__translate_attribute_references:
184 return data
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000185 i = 0
186 while 1:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000187 res = amp.search(data, i)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000188 if res is None:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000189 return data
Sjoerd Mullenderf9850642000-07-10 08:09:48 +0000190 s = res.start(0)
191 res = ref.match(data, s)
Guido van Rossum7e07b381998-04-03 16:02:39 +0000192 if res is None:
193 self.syntax_error("bogus `&'")
Sjoerd Mullenderf9850642000-07-10 08:09:48 +0000194 i = s+1
Guido van Rossum7e07b381998-04-03 16:02:39 +0000195 continue
196 i = res.end(0)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000197 str = res.group(1)
Sjoerd Mullenderf9850642000-07-10 08:09:48 +0000198 rescan = 0
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000199 if str[0] == '#':
200 if str[1] == 'x':
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000201 str = chr(int(str[2:], 16))
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000202 else:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000203 str = chr(int(str[1:]))
Sjoerd Mullenderf9850642000-07-10 08:09:48 +0000204 if data[i - 1] != ';':
205 self.syntax_error("`;' missing after char reference")
206 i = i-1
Guido van Rossum7e07b381998-04-03 16:02:39 +0000207 elif all:
Raymond Hettinger54f02222002-06-01 14:18:47 +0000208 if str in self.entitydefs:
Sjoerd Mullenderf9850642000-07-10 08:09:48 +0000209 str = self.entitydefs[str]
210 rescan = 1
211 elif data[i - 1] != ';':
212 self.syntax_error("bogus `&'")
213 i = s + 1 # just past the &
214 continue
Guido van Rossum7e07b381998-04-03 16:02:39 +0000215 else:
Guido van Rossumcc2c2911999-02-02 17:54:38 +0000216 self.syntax_error("reference to unknown entity `&%s;'" % str)
Sjoerd Mullenderf9850642000-07-10 08:09:48 +0000217 str = '&' + str + ';'
218 elif data[i - 1] != ';':
219 self.syntax_error("bogus `&'")
220 i = s + 1 # just past the &
221 continue
222
223 # when we get here, str contains the translated text and i points
224 # to the end of the string that is to be replaced
225 data = data[:s] + str + data[i:]
226 if rescan:
227 i = s
Guido van Rossum7e07b381998-04-03 16:02:39 +0000228 else:
Sjoerd Mullenderf9850642000-07-10 08:09:48 +0000229 i = s + len(str)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000230
Sjoerd Mullender1c8feae2000-08-31 10:27:00 +0000231 # Interface - return a dictionary of all namespaces currently valid
232 def getnamespace(self):
233 nsdict = {}
234 for t, d, nst in self.stack:
235 nsdict.update(d)
236 return nsdict
237
Guido van Rossuma219efa1997-11-18 15:09:54 +0000238 # Internal -- handle data as far as reasonable. May leave state
239 # and data to be processed by a subsequent call. If 'end' is
240 # true, force handling all data as if followed by EOF marker.
241 def goahead(self, end):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000242 rawdata = self.rawdata
243 i = 0
244 n = len(rawdata)
245 while i < n:
246 if i > 0:
247 self.__at_start = 0
248 if self.nomoretags:
249 data = rawdata[i:n]
250 self.handle_data(data)
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000251 self.lineno = self.lineno + data.count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000252 i = n
253 break
254 res = interesting.search(rawdata, i)
255 if res:
Tim Peterse1190062001-01-15 03:34:38 +0000256 j = res.start(0)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000257 else:
Tim Peterse1190062001-01-15 03:34:38 +0000258 j = n
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000259 if i < j:
Guido van Rossum91c8f591998-12-21 18:15:28 +0000260 data = rawdata[i:j]
261 if self.__at_start and space.match(data) is None:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000262 self.syntax_error('illegal data at start of file')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000263 self.__at_start = 0
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000264 if not self.stack and space.match(data) is None:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000265 self.syntax_error('data not in content')
Guido van Rossumb35d6841999-08-26 15:52:33 +0000266 if not self.__accept_utf8 and illegal.search(data):
Guido van Rossum7e07b381998-04-03 16:02:39 +0000267 self.syntax_error('illegal character in content')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000268 self.handle_data(data)
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000269 self.lineno = self.lineno + data.count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000270 i = j
271 if i == n: break
272 if rawdata[i] == '<':
273 if starttagopen.match(rawdata, i):
274 if self.literal:
275 data = rawdata[i]
276 self.handle_data(data)
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000277 self.lineno = self.lineno + data.count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000278 i = i+1
279 continue
280 k = self.parse_starttag(i)
281 if k < 0: break
282 self.__seen_starttag = 1
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000283 self.lineno = self.lineno + rawdata[i:k].count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000284 i = k
285 continue
286 if endtagopen.match(rawdata, i):
287 k = self.parse_endtag(i)
288 if k < 0: break
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000289 self.lineno = self.lineno + rawdata[i:k].count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000290 i = k
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000291 continue
292 if commentopen.match(rawdata, i):
293 if self.literal:
294 data = rawdata[i]
295 self.handle_data(data)
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000296 self.lineno = self.lineno + data.count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000297 i = i+1
298 continue
299 k = self.parse_comment(i)
300 if k < 0: break
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000301 self.lineno = self.lineno + rawdata[i:k].count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000302 i = k
303 continue
304 if cdataopen.match(rawdata, i):
305 k = self.parse_cdata(i)
306 if k < 0: break
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000307 self.lineno = self.lineno + rawdata[i:k].count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000308 i = k
309 continue
Guido van Rossum7e07b381998-04-03 16:02:39 +0000310 res = xmldecl.match(rawdata, i)
311 if res:
312 if not self.__at_start:
313 self.syntax_error("<?xml?> declaration not at start of document")
314 version, encoding, standalone = res.group('version',
315 'encoding',
316 'standalone')
317 if version[1:-1] != '1.0':
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000318 raise Error('only XML version 1.0 supported')
Guido van Rossum7e07b381998-04-03 16:02:39 +0000319 if encoding: encoding = encoding[1:-1]
320 if standalone: standalone = standalone[1:-1]
321 self.handle_xml(encoding, standalone)
322 i = res.end(0)
323 continue
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000324 res = procopen.match(rawdata, i)
325 if res:
326 k = self.parse_proc(i)
327 if k < 0: break
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000328 self.lineno = self.lineno + rawdata[i:k].count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000329 i = k
330 continue
331 res = doctype.match(rawdata, i)
332 if res:
333 if self.literal:
334 data = rawdata[i]
335 self.handle_data(data)
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000336 self.lineno = self.lineno + data.count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000337 i = i+1
338 continue
339 if self.__seen_doctype:
340 self.syntax_error('multiple DOCTYPE elements')
341 if self.__seen_starttag:
342 self.syntax_error('DOCTYPE not at beginning of document')
343 k = self.parse_doctype(res)
344 if k < 0: break
345 self.__seen_doctype = res.group('name')
Guido van Rossumb35d6841999-08-26 15:52:33 +0000346 if self.__map_case:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000347 self.__seen_doctype = self.__seen_doctype.lower()
348 self.lineno = self.lineno + rawdata[i:k].count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000349 i = k
350 continue
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000351 elif rawdata[i] == '&':
Guido van Rossum204b65c1998-12-08 13:25:00 +0000352 if self.literal:
353 data = rawdata[i]
354 self.handle_data(data)
355 i = i+1
356 continue
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000357 res = charref.match(rawdata, i)
358 if res is not None:
359 i = res.end(0)
360 if rawdata[i-1] != ';':
361 self.syntax_error("`;' missing in charref")
362 i = i-1
Guido van Rossum7e07b381998-04-03 16:02:39 +0000363 if not self.stack:
364 self.syntax_error('data not in content')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000365 self.handle_charref(res.group('char')[:-1])
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000366 self.lineno = self.lineno + res.group(0).count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000367 continue
368 res = entityref.match(rawdata, i)
369 if res is not None:
370 i = res.end(0)
371 if rawdata[i-1] != ';':
372 self.syntax_error("`;' missing in entityref")
373 i = i-1
Guido van Rossum7e07b381998-04-03 16:02:39 +0000374 name = res.group('name')
Guido van Rossumb35d6841999-08-26 15:52:33 +0000375 if self.__map_case:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000376 name = name.lower()
Raymond Hettinger54f02222002-06-01 14:18:47 +0000377 if name in self.entitydefs:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000378 self.rawdata = rawdata = rawdata[:res.start(0)] + self.entitydefs[name] + rawdata[i:]
379 n = len(rawdata)
380 i = res.start(0)
381 else:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000382 self.unknown_entityref(name)
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000383 self.lineno = self.lineno + res.group(0).count('\n')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000384 continue
Guido van Rossum7e07b381998-04-03 16:02:39 +0000385 elif rawdata[i] == ']':
Guido van Rossum204b65c1998-12-08 13:25:00 +0000386 if self.literal:
387 data = rawdata[i]
388 self.handle_data(data)
389 i = i+1
390 continue
Guido van Rossum7e07b381998-04-03 16:02:39 +0000391 if n-i < 3:
392 break
393 if cdataclose.match(rawdata, i):
394 self.syntax_error("bogus `]]>'")
395 self.handle_data(rawdata[i])
396 i = i+1
397 continue
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000398 else:
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000399 raise Error('neither < nor & ??')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000400 # We get here only if incomplete matches but
401 # nothing else
Guido van Rossum7e07b381998-04-03 16:02:39 +0000402 break
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000403 # end while
Guido van Rossum7e07b381998-04-03 16:02:39 +0000404 if i > 0:
405 self.__at_start = 0
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000406 if end and i < n:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000407 data = rawdata[i]
408 self.syntax_error("bogus `%s'" % data)
Guido van Rossumb35d6841999-08-26 15:52:33 +0000409 if not self.__accept_utf8 and illegal.search(data):
Guido van Rossum7e07b381998-04-03 16:02:39 +0000410 self.syntax_error('illegal character in content')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000411 self.handle_data(data)
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000412 self.lineno = self.lineno + data.count('\n')
Guido van Rossum7e07b381998-04-03 16:02:39 +0000413 self.rawdata = rawdata[i+1:]
414 return self.goahead(end)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000415 self.rawdata = rawdata[i:]
416 if end:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000417 if not self.__seen_starttag:
418 self.syntax_error('no elements in file')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000419 if self.stack:
420 self.syntax_error('missing end tags')
421 while self.stack:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000422 self.finish_endtag(self.stack[-1][0])
Guido van Rossuma219efa1997-11-18 15:09:54 +0000423
424 # Internal -- parse comment, return length or -1 if not terminated
425 def parse_comment(self, i):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000426 rawdata = self.rawdata
Fred Drake8152d322000-12-12 23:20:45 +0000427 if rawdata[i:i+4] != '<!--':
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000428 raise Error('unexpected call to handle_comment')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000429 res = commentclose.search(rawdata, i+4)
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000430 if res is None:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000431 return -1
Guido van Rossum7e07b381998-04-03 16:02:39 +0000432 if doubledash.search(rawdata, i+4, res.start(0)):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000433 self.syntax_error("`--' inside comment")
Guido van Rossum7e07b381998-04-03 16:02:39 +0000434 if rawdata[res.start(0)-1] == '-':
435 self.syntax_error('comment cannot end in three dashes')
Guido van Rossumb35d6841999-08-26 15:52:33 +0000436 if not self.__accept_utf8 and \
437 illegal.search(rawdata, i+4, res.start(0)):
Guido van Rossum7e07b381998-04-03 16:02:39 +0000438 self.syntax_error('illegal character in comment')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000439 self.handle_comment(rawdata[i+4: res.start(0)])
440 return res.end(0)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000441
Guido van Rossum02505e41998-01-29 14:55:24 +0000442 # Internal -- handle DOCTYPE tag, return length or -1 if not terminated
443 def parse_doctype(self, res):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000444 rawdata = self.rawdata
445 n = len(rawdata)
446 name = res.group('name')
Guido van Rossumb35d6841999-08-26 15:52:33 +0000447 if self.__map_case:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000448 name = name.lower()
Guido van Rossum7e07b381998-04-03 16:02:39 +0000449 pubid, syslit = res.group('pubid', 'syslit')
450 if pubid is not None:
451 pubid = pubid[1:-1] # remove quotes
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000452 pubid = ' '.join(pubid.split()) # normalize
Guido van Rossum7e07b381998-04-03 16:02:39 +0000453 if syslit is not None: syslit = syslit[1:-1] # remove quotes
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000454 j = k = res.end(0)
Guido van Rossum7e07b381998-04-03 16:02:39 +0000455 if k >= n:
456 return -1
457 if rawdata[k] == '[':
458 level = 0
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000459 k = k+1
Guido van Rossum7e07b381998-04-03 16:02:39 +0000460 dq = sq = 0
461 while k < n:
462 c = rawdata[k]
463 if not sq and c == '"':
464 dq = not dq
465 elif not dq and c == "'":
466 sq = not sq
467 elif sq or dq:
468 pass
469 elif level <= 0 and c == ']':
470 res = endbracket.match(rawdata, k+1)
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000471 if res is None:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000472 return -1
473 self.handle_doctype(name, pubid, syslit, rawdata[j+1:k])
474 return res.end(0)
475 elif c == '<':
476 level = level + 1
477 elif c == '>':
478 level = level - 1
479 if level < 0:
480 self.syntax_error("bogus `>' in DOCTYPE")
481 k = k+1
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000482 res = endbracketfind.match(rawdata, k)
483 if res is None:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000484 return -1
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000485 if endbracket.match(rawdata, k) is None:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000486 self.syntax_error('garbage in DOCTYPE')
487 self.handle_doctype(name, pubid, syslit, None)
488 return res.end(0)
Guido van Rossum02505e41998-01-29 14:55:24 +0000489
490 # Internal -- handle CDATA tag, return length or -1 if not terminated
Guido van Rossuma219efa1997-11-18 15:09:54 +0000491 def parse_cdata(self, i):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000492 rawdata = self.rawdata
Fred Drake8152d322000-12-12 23:20:45 +0000493 if rawdata[i:i+9] != '<![CDATA[':
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000494 raise Error('unexpected call to parse_cdata')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000495 res = cdataclose.search(rawdata, i+9)
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000496 if res is None:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000497 return -1
Guido van Rossumb35d6841999-08-26 15:52:33 +0000498 if not self.__accept_utf8 and \
499 illegal.search(rawdata, i+9, res.start(0)):
Guido van Rossum7e07b381998-04-03 16:02:39 +0000500 self.syntax_error('illegal character in CDATA')
501 if not self.stack:
502 self.syntax_error('CDATA not in content')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000503 self.handle_cdata(rawdata[i+9:res.start(0)])
504 return res.end(0)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000505
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000506 __xml_namespace_attributes = {'ns':None, 'src':None, 'prefix':None}
Guido van Rossum02505e41998-01-29 14:55:24 +0000507 # Internal -- handle a processing instruction tag
508 def parse_proc(self, i):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000509 rawdata = self.rawdata
510 end = procclose.search(rawdata, i)
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000511 if end is None:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000512 return -1
513 j = end.start(0)
Guido van Rossumb35d6841999-08-26 15:52:33 +0000514 if not self.__accept_utf8 and illegal.search(rawdata, i+2, j):
Guido van Rossum7e07b381998-04-03 16:02:39 +0000515 self.syntax_error('illegal character in processing instruction')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000516 res = tagfind.match(rawdata, i+2)
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000517 if res is None:
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000518 raise Error('unexpected call to parse_proc')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000519 k = res.end(0)
520 name = res.group(0)
Guido van Rossumb35d6841999-08-26 15:52:33 +0000521 if self.__map_case:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000522 name = name.lower()
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000523 if name == 'xml:namespace':
524 self.syntax_error('old-fashioned namespace declaration')
Guido van Rossum91c8f591998-12-21 18:15:28 +0000525 self.__use_namespaces = -1
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000526 # namespace declaration
527 # this must come after the <?xml?> declaration (if any)
528 # and before the <!DOCTYPE> (if any).
529 if self.__seen_doctype or self.__seen_starttag:
530 self.syntax_error('xml:namespace declaration too late in document')
531 attrdict, namespace, k = self.parse_attributes(name, k, j)
532 if namespace:
533 self.syntax_error('namespace declaration inside namespace declaration')
534 for attrname in attrdict.keys():
Raymond Hettinger54f02222002-06-01 14:18:47 +0000535 if not attrname in self.__xml_namespace_attributes:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000536 self.syntax_error("unknown attribute `%s' in xml:namespace tag" % attrname)
Raymond Hettinger54f02222002-06-01 14:18:47 +0000537 if not 'ns' in attrdict or not 'prefix' in attrdict:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000538 self.syntax_error('xml:namespace without required attributes')
539 prefix = attrdict.get('prefix')
540 if ncname.match(prefix) is None:
541 self.syntax_error('xml:namespace illegal prefix value')
542 return end.end(0)
Raymond Hettinger54f02222002-06-01 14:18:47 +0000543 if prefix in self.__namespaces:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000544 self.syntax_error('xml:namespace prefix not unique')
545 self.__namespaces[prefix] = attrdict['ns']
546 else:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000547 if name.lower() == 'xml':
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000548 self.syntax_error('illegal processing instruction target name')
549 self.handle_proc(name, rawdata[k:j])
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000550 return end.end(0)
Guido van Rossum02505e41998-01-29 14:55:24 +0000551
552 # Internal -- parse attributes between i and j
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000553 def parse_attributes(self, tag, i, j):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000554 rawdata = self.rawdata
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000555 attrdict = {}
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000556 namespace = {}
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000557 while i < j:
558 res = attrfind.match(rawdata, i)
559 if res is None:
560 break
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000561 attrname, attrvalue = res.group('name', 'value')
Guido van Rossumb35d6841999-08-26 15:52:33 +0000562 if self.__map_case:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000563 attrname = attrname.lower()
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000564 i = res.end(0)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000565 if attrvalue is None:
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000566 self.syntax_error("no value specified for attribute `%s'" % attrname)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000567 attrvalue = attrname
568 elif attrvalue[:1] == "'" == attrvalue[-1:] or \
569 attrvalue[:1] == '"' == attrvalue[-1:]:
570 attrvalue = attrvalue[1:-1]
Guido van Rossumb35d6841999-08-26 15:52:33 +0000571 elif not self.__accept_unquoted_attributes:
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000572 self.syntax_error("attribute `%s' value not quoted" % attrname)
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000573 res = xmlns.match(attrname)
574 if res is not None:
575 # namespace declaration
576 ncname = res.group('ncname')
577 namespace[ncname or ''] = attrvalue or None
Guido van Rossum91c8f591998-12-21 18:15:28 +0000578 if not self.__use_namespaces:
579 self.__use_namespaces = len(self.stack)+1
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000580 continue
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000581 if '<' in attrvalue:
582 self.syntax_error("`<' illegal in attribute value")
Raymond Hettinger54f02222002-06-01 14:18:47 +0000583 if attrname in attrdict:
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000584 self.syntax_error("attribute `%s' specified twice" % attrname)
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000585 attrvalue = attrvalue.translate(attrtrans)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000586 attrdict[attrname] = self.translate_references(attrvalue)
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000587 return attrdict, namespace, i
Guido van Rossuma219efa1997-11-18 15:09:54 +0000588
589 # Internal -- handle starttag, return length or -1 if not terminated
590 def parse_starttag(self, i):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000591 rawdata = self.rawdata
592 # i points to start of tag
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000593 end = endbracketfind.match(rawdata, i+1)
594 if end is None:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000595 return -1
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000596 tag = starttagmatch.match(rawdata, i)
597 if tag is None or tag.end(0) != end.end(0):
598 self.syntax_error('garbage in starttag')
599 return end.end(0)
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000600 nstag = tagname = tag.group('tagname')
Guido van Rossumb35d6841999-08-26 15:52:33 +0000601 if self.__map_case:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000602 nstag = tagname = nstag.lower()
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000603 if not self.__seen_starttag and self.__seen_doctype and \
604 tagname != self.__seen_doctype:
605 self.syntax_error('starttag does not match DOCTYPE')
Guido van Rossum7e07b381998-04-03 16:02:39 +0000606 if self.__seen_starttag and not self.stack:
607 self.syntax_error('multiple elements on top level')
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000608 k, j = tag.span('attrs')
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000609 attrdict, nsdict, k = self.parse_attributes(tagname, k, j)
610 self.stack.append((tagname, nsdict, nstag))
Guido van Rossum91c8f591998-12-21 18:15:28 +0000611 if self.__use_namespaces:
612 res = qname.match(tagname)
613 else:
614 res = None
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000615 if res is not None:
616 prefix, nstag = res.group('prefix', 'local')
617 if prefix is None:
618 prefix = ''
619 ns = None
620 for t, d, nst in self.stack:
Raymond Hettinger54f02222002-06-01 14:18:47 +0000621 if prefix in d:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000622 ns = d[prefix]
623 if ns is None and prefix != '':
624 ns = self.__namespaces.get(prefix)
625 if ns is not None:
626 nstag = ns + ' ' + nstag
627 elif prefix != '':
628 nstag = prefix + ':' + nstag # undo split
629 self.stack[-1] = tagname, nsdict, nstag
630 # translate namespace of attributes
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000631 attrnamemap = {} # map from new name to old name (used for error reporting)
632 for key in attrdict.keys():
633 attrnamemap[key] = key
Guido van Rossum91c8f591998-12-21 18:15:28 +0000634 if self.__use_namespaces:
635 nattrdict = {}
636 for key, val in attrdict.items():
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000637 okey = key
Guido van Rossum91c8f591998-12-21 18:15:28 +0000638 res = qname.match(key)
639 if res is not None:
640 aprefix, key = res.group('prefix', 'local')
Guido van Rossumb35d6841999-08-26 15:52:33 +0000641 if self.__map_case:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000642 key = key.lower()
Martin v. Löwis9f1340b2004-05-02 20:37:13 +0000643 if aprefix is not None:
644 ans = None
645 for t, d, nst in self.stack:
646 if aprefix in d:
647 ans = d[aprefix]
648 if ans is None:
649 ans = self.__namespaces.get(aprefix)
650 if ans is not None:
651 key = ans + ' ' + key
652 else:
653 key = aprefix + ':' + key
Guido van Rossum91c8f591998-12-21 18:15:28 +0000654 nattrdict[key] = val
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000655 attrnamemap[key] = okey
Guido van Rossum91c8f591998-12-21 18:15:28 +0000656 attrdict = nattrdict
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000657 attributes = self.attributes.get(nstag)
658 if attributes is not None:
659 for key in attrdict.keys():
Raymond Hettinger54f02222002-06-01 14:18:47 +0000660 if not key in attributes:
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000661 self.syntax_error("unknown attribute `%s' in tag `%s'" % (attrnamemap[key], tagname))
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000662 for key, val in attributes.items():
Raymond Hettinger54f02222002-06-01 14:18:47 +0000663 if val is not None and not key in attrdict:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000664 attrdict[key] = val
665 method = self.elements.get(nstag, (None, None))[0]
666 self.finish_starttag(nstag, attrdict, method)
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000667 if tag.group('slash') == '/':
668 self.finish_endtag(tagname)
669 return tag.end(0)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000670
671 # Internal -- parse endtag
672 def parse_endtag(self, i):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000673 rawdata = self.rawdata
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000674 end = endbracketfind.match(rawdata, i+1)
675 if end is None:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000676 return -1
677 res = tagfind.match(rawdata, i+2)
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000678 if res is None:
Guido van Rossumf484a331998-12-07 21:59:56 +0000679 if self.literal:
680 self.handle_data(rawdata[i])
681 return i+1
Guido van Rossumb35d6841999-08-26 15:52:33 +0000682 if not self.__accept_missing_endtag_name:
683 self.syntax_error('no name specified in end tag')
Guido van Rossumd468bd32000-06-21 20:01:10 +0000684 tag = self.stack[-1][0]
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000685 k = i+2
686 else:
687 tag = res.group(0)
Guido van Rossumb35d6841999-08-26 15:52:33 +0000688 if self.__map_case:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000689 tag = tag.lower()
Guido van Rossumf484a331998-12-07 21:59:56 +0000690 if self.literal:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000691 if not self.stack or tag != self.stack[-1][0]:
Guido van Rossumf484a331998-12-07 21:59:56 +0000692 self.handle_data(rawdata[i])
693 return i+1
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000694 k = res.end(0)
Guido van Rossumeeb2f321998-10-19 13:28:26 +0000695 if endbracket.match(rawdata, k) is None:
Guido van Rossum7e07b381998-04-03 16:02:39 +0000696 self.syntax_error('garbage in end tag')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000697 self.finish_endtag(tag)
698 return end.end(0)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000699
700 # Internal -- finish processing of start tag
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000701 def finish_starttag(self, tagname, attrdict, method):
702 if method is not None:
703 self.handle_starttag(tagname, method, attrdict)
Guido van Rossum7e07b381998-04-03 16:02:39 +0000704 else:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000705 self.unknown_starttag(tagname, attrdict)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000706
707 # Internal -- finish processing of end tag
708 def finish_endtag(self, tag):
Sjoerd Mullender538453e2001-03-14 17:03:30 +0000709 self.literal = 0
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000710 if not tag:
711 self.syntax_error('name-less end tag')
712 found = len(self.stack) - 1
713 if found < 0:
714 self.unknown_endtag(tag)
715 return
716 else:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000717 found = -1
718 for i in range(len(self.stack)):
719 if tag == self.stack[i][0]:
720 found = i
721 if found == -1:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000722 self.syntax_error('unopened end tag')
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000723 return
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000724 while len(self.stack) > found:
725 if found < len(self.stack) - 1:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000726 self.syntax_error('missing close tag for %s' % self.stack[-1][2])
727 nstag = self.stack[-1][2]
728 method = self.elements.get(nstag, (None, None))[1]
729 if method is not None:
730 self.handle_endtag(nstag, method)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000731 else:
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000732 self.unknown_endtag(nstag)
Guido van Rossum91c8f591998-12-21 18:15:28 +0000733 if self.__use_namespaces == len(self.stack):
734 self.__use_namespaces = 0
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000735 del self.stack[-1]
Guido van Rossuma219efa1997-11-18 15:09:54 +0000736
Guido van Rossum02505e41998-01-29 14:55:24 +0000737 # Overridable -- handle xml processing instruction
738 def handle_xml(self, encoding, standalone):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000739 pass
Guido van Rossum02505e41998-01-29 14:55:24 +0000740
741 # Overridable -- handle DOCTYPE
Guido van Rossum7e07b381998-04-03 16:02:39 +0000742 def handle_doctype(self, tag, pubid, syslit, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000743 pass
Guido van Rossum02505e41998-01-29 14:55:24 +0000744
Guido van Rossuma219efa1997-11-18 15:09:54 +0000745 # Overridable -- handle start tag
746 def handle_starttag(self, tag, method, attrs):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000747 method(attrs)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000748
749 # Overridable -- handle end tag
750 def handle_endtag(self, tag, method):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000751 method()
Guido van Rossuma219efa1997-11-18 15:09:54 +0000752
753 # Example -- handle character reference, no need to override
754 def handle_charref(self, name):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000755 try:
756 if name[0] == 'x':
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000757 n = int(name[1:], 16)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000758 else:
Eric S. Raymondbe9b5072001-02-09 10:48:30 +0000759 n = int(name)
760 except ValueError:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000761 self.unknown_charref(name)
762 return
763 if not 0 <= n <= 255:
764 self.unknown_charref(name)
765 return
766 self.handle_data(chr(n))
Guido van Rossuma219efa1997-11-18 15:09:54 +0000767
768 # Definition of entities -- derived classes may override
Guido van Rossum7e07b381998-04-03 16:02:39 +0000769 entitydefs = {'lt': '&#60;', # must use charref
770 'gt': '&#62;',
771 'amp': '&#38;', # must use charref
772 'quot': '&#34;',
773 'apos': '&#39;',
774 }
Guido van Rossuma219efa1997-11-18 15:09:54 +0000775
Guido van Rossuma219efa1997-11-18 15:09:54 +0000776 # Example -- handle data, should be overridden
777 def handle_data(self, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000778 pass
Guido van Rossuma219efa1997-11-18 15:09:54 +0000779
780 # Example -- handle cdata, could be overridden
781 def handle_cdata(self, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000782 pass
Guido van Rossuma219efa1997-11-18 15:09:54 +0000783
784 # Example -- handle comment, could be overridden
785 def handle_comment(self, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000786 pass
Guido van Rossuma219efa1997-11-18 15:09:54 +0000787
788 # Example -- handle processing instructions, could be overridden
789 def handle_proc(self, name, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000790 pass
Guido van Rossuma219efa1997-11-18 15:09:54 +0000791
Guido van Rossuma219efa1997-11-18 15:09:54 +0000792 # Example -- handle relatively harmless syntax errors, could be overridden
Guido van Rossum02505e41998-01-29 14:55:24 +0000793 def syntax_error(self, message):
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000794 raise Error('Syntax error at line %d: %s' % (self.lineno, message))
Guido van Rossuma219efa1997-11-18 15:09:54 +0000795
796 # To be overridden -- handlers for unknown objects
797 def unknown_starttag(self, tag, attrs): pass
798 def unknown_endtag(self, tag): pass
799 def unknown_charref(self, ref): pass
Guido van Rossumb35d6841999-08-26 15:52:33 +0000800 def unknown_entityref(self, name):
801 self.syntax_error("reference to unknown entity `&%s;'" % name)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000802
803
804class TestXMLParser(XMLParser):
805
Guido van Rossumb35d6841999-08-26 15:52:33 +0000806 def __init__(self, **kw):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000807 self.testdata = ""
Guido van Rossum68468eb2003-02-27 20:14:51 +0000808 XMLParser.__init__(self, **kw)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000809
Guido van Rossum02505e41998-01-29 14:55:24 +0000810 def handle_xml(self, encoding, standalone):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000811 self.flush()
812 print 'xml: encoding =',encoding,'standalone =',standalone
Guido van Rossum02505e41998-01-29 14:55:24 +0000813
Guido van Rossum7e07b381998-04-03 16:02:39 +0000814 def handle_doctype(self, tag, pubid, syslit, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000815 self.flush()
Walter Dörwald70a6b492004-02-12 17:35:32 +0000816 print 'DOCTYPE:',tag, repr(data)
Guido van Rossum02505e41998-01-29 14:55:24 +0000817
Guido van Rossuma219efa1997-11-18 15:09:54 +0000818 def handle_data(self, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000819 self.testdata = self.testdata + data
Walter Dörwald70a6b492004-02-12 17:35:32 +0000820 if len(repr(self.testdata)) >= 70:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000821 self.flush()
Guido van Rossuma219efa1997-11-18 15:09:54 +0000822
823 def flush(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000824 data = self.testdata
825 if data:
826 self.testdata = ""
Walter Dörwald70a6b492004-02-12 17:35:32 +0000827 print 'data:', repr(data)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000828
829 def handle_cdata(self, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000830 self.flush()
Walter Dörwald70a6b492004-02-12 17:35:32 +0000831 print 'cdata:', repr(data)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000832
833 def handle_proc(self, name, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000834 self.flush()
Walter Dörwald70a6b492004-02-12 17:35:32 +0000835 print 'processing:',name,repr(data)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000836
Guido van Rossuma219efa1997-11-18 15:09:54 +0000837 def handle_comment(self, data):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000838 self.flush()
Walter Dörwald70a6b492004-02-12 17:35:32 +0000839 r = repr(data)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000840 if len(r) > 68:
841 r = r[:32] + '...' + r[-32:]
842 print 'comment:', r
Guido van Rossuma219efa1997-11-18 15:09:54 +0000843
Guido van Rossum02505e41998-01-29 14:55:24 +0000844 def syntax_error(self, message):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000845 print 'error at line %d:' % self.lineno, message
Guido van Rossuma219efa1997-11-18 15:09:54 +0000846
847 def unknown_starttag(self, tag, attrs):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000848 self.flush()
849 if not attrs:
850 print 'start tag: <' + tag + '>'
851 else:
852 print 'start tag: <' + tag,
853 for name, value in attrs.items():
854 print name + '=' + '"' + value + '"',
855 print '>'
Guido van Rossuma219efa1997-11-18 15:09:54 +0000856
857 def unknown_endtag(self, tag):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000858 self.flush()
859 print 'end tag: </' + tag + '>'
Guido van Rossuma219efa1997-11-18 15:09:54 +0000860
861 def unknown_entityref(self, ref):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000862 self.flush()
863 print '*** unknown entity ref: &' + ref + ';'
Guido van Rossuma219efa1997-11-18 15:09:54 +0000864
865 def unknown_charref(self, ref):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000866 self.flush()
867 print '*** unknown char ref: &#' + ref + ';'
Guido van Rossuma219efa1997-11-18 15:09:54 +0000868
869 def close(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000870 XMLParser.close(self)
871 self.flush()
Guido van Rossuma219efa1997-11-18 15:09:54 +0000872
873def test(args = None):
Guido van Rossumaf5add41998-12-22 14:23:50 +0000874 import sys, getopt
875 from time import time
Guido van Rossuma219efa1997-11-18 15:09:54 +0000876
877 if not args:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000878 args = sys.argv[1:]
Guido van Rossuma219efa1997-11-18 15:09:54 +0000879
Guido van Rossumaf5add41998-12-22 14:23:50 +0000880 opts, args = getopt.getopt(args, 'st')
881 klass = TestXMLParser
882 do_time = 0
883 for o, a in opts:
884 if o == '-s':
885 klass = XMLParser
886 elif o == '-t':
887 do_time = 1
Guido van Rossuma219efa1997-11-18 15:09:54 +0000888
889 if args:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000890 file = args[0]
Guido van Rossuma219efa1997-11-18 15:09:54 +0000891 else:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000892 file = 'test.xml'
Guido van Rossuma219efa1997-11-18 15:09:54 +0000893
894 if file == '-':
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000895 f = sys.stdin
Guido van Rossuma219efa1997-11-18 15:09:54 +0000896 else:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000897 try:
898 f = open(file, 'r')
899 except IOError, msg:
900 print file, ":", msg
901 sys.exit(1)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000902
903 data = f.read()
904 if f is not sys.stdin:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000905 f.close()
Guido van Rossuma219efa1997-11-18 15:09:54 +0000906
907 x = klass()
Guido van Rossumaf5add41998-12-22 14:23:50 +0000908 t0 = time()
Guido van Rossum7e07b381998-04-03 16:02:39 +0000909 try:
Guido van Rossumaf5add41998-12-22 14:23:50 +0000910 if do_time:
911 x.feed(data)
912 x.close()
913 else:
914 for c in data:
915 x.feed(c)
916 x.close()
Sjoerd Mullenderf7e84e12000-12-06 10:37:57 +0000917 except Error, msg:
Guido van Rossumaf5add41998-12-22 14:23:50 +0000918 t1 = time()
Guido van Rossum7e07b381998-04-03 16:02:39 +0000919 print msg
Guido van Rossumaf5add41998-12-22 14:23:50 +0000920 if do_time:
921 print 'total time: %g' % (t1-t0)
Guido van Rossum7e07b381998-04-03 16:02:39 +0000922 sys.exit(1)
Guido van Rossumaf5add41998-12-22 14:23:50 +0000923 t1 = time()
924 if do_time:
925 print 'total time: %g' % (t1-t0)
Guido van Rossuma219efa1997-11-18 15:09:54 +0000926
927
928if __name__ == '__main__':
929 test()