xmllib.py 34.1 KB
Newer Older
1 2
"""A parser for XML, using the derived class as static DTD."""

3
# Author: Sjoerd Mullender.
4 5 6 7

import re
import string

8 9 10 11
import warnings
warnings.warn("The xmllib module is obsolete.  Use xml.sax instead.",
              DeprecationWarning)
del warnings
12

13
version = '0.3'
Guido van Rossum's avatar
Guido van Rossum committed
14

Sjoerd Mullender's avatar
Sjoerd Mullender committed
15 16 17
class Error(RuntimeError):
    pass

18 19
# Regular expressions used for parsing

20 21 22 23
_S = '[ \t\r\n]+'                       # white space
_opS = '[ \t\r\n]*'                     # optional white space
_Name = '[a-zA-Z_:][-a-zA-Z0-9._:]*'    # valid XML name
_QStr = "(?:'[^']*'|\"[^\"]*\")"        # quoted XML string
Guido van Rossum's avatar
Guido van Rossum committed
24 25 26 27 28
illegal = re.compile('[^\t\r\n -\176\240-\377]') # illegal chars in content
interesting = re.compile('[]&<]')

amp = re.compile('&')
ref = re.compile('&(' + _Name + '|#[0-9]+|#x[0-9a-fA-F]+)[^-a-zA-Z0-9._:]')
29 30
entityref = re.compile('&(?P<name>' + _Name + ')[^-a-zA-Z0-9._:]')
charref = re.compile('&#(?P<char>[0-9]+[^0-9]|x[0-9a-fA-F]+[^0-9a-fA-F])')
Guido van Rossum's avatar
Guido van Rossum committed
31
space = re.compile(_S + '$')
32 33
newline = re.compile('\n')

34 35 36
attrfind = re.compile(
    _S + '(?P<name>' + _Name + ')'
    '(' + _opS + '=' + _opS +
Guido van Rossum's avatar
Guido van Rossum committed
37
    '(?P<value>'+_QStr+'|[-a-zA-Z0-9.:+*%?!\(\)_#=~]+))?')
38 39
starttagopen = re.compile('<' + _Name)
starttagend = re.compile(_opS + '(?P<slash>/?)>')
40 41 42 43
starttagmatch = re.compile('<(?P<tagname>'+_Name+')'
                      '(?P<attrs>(?:'+attrfind.pattern+')*)'+
                      starttagend.pattern)
endtagopen = re.compile('</')
Guido van Rossum's avatar
Guido van Rossum committed
44
endbracket = re.compile(_opS + '>')
45
endbracketfind = re.compile('(?:[^>\'"]|'+_QStr+')*>')
46
tagfind = re.compile(_Name)
47 48
cdataopen = re.compile(r'<!\[CDATA\[')
cdataclose = re.compile(r'\]\]>')
Guido van Rossum's avatar
Guido van Rossum committed
49 50 51
# this matches one of the following:
# SYSTEM SystemLiteral
# PUBLIC PubidLiteral SystemLiteral
52
_SystemLiteral = '(?P<%s>'+_QStr+')'
Guido van Rossum's avatar
Guido van Rossum committed
53 54
_PublicLiteral = '(?P<%s>"[-\'\(\)+,./:=?;!*#@$_%% \n\ra-zA-Z0-9]*"|' \
                        "'[-\(\)+,./:=?;!*#@$_%% \n\ra-zA-Z0-9]*')"
Guido van Rossum's avatar
Guido van Rossum committed
55 56 57 58 59 60
_ExternalId = '(?:SYSTEM|' \
                 'PUBLIC'+_S+_PublicLiteral%'pubid'+ \
              ')'+_S+_SystemLiteral%'syslit'
doctype = re.compile('<!DOCTYPE'+_S+'(?P<name>'+_Name+')'
                     '(?:'+_S+_ExternalId+')?'+_opS)
xmldecl = re.compile('<\?xml'+_S+
61
                     'version'+_opS+'='+_opS+'(?P<version>'+_QStr+')'+
Guido van Rossum's avatar
Guido van Rossum committed
62 63 64 65 66 67 68
                     '(?:'+_S+'encoding'+_opS+'='+_opS+
                        "(?P<encoding>'[A-Za-z][-A-Za-z0-9._]*'|"
                        '"[A-Za-z][-A-Za-z0-9._]*"))?'
                     '(?:'+_S+'standalone'+_opS+'='+_opS+
                        '(?P<standalone>\'(?:yes|no)\'|"(?:yes|no)"))?'+
                     _opS+'\?>')
procopen = re.compile(r'<\?(?P<proc>' + _Name + ')' + _opS)
69
procclose = re.compile(_opS + r'\?>')
70 71 72
commentopen = re.compile('<!--')
commentclose = re.compile('-->')
doubledash = re.compile('--')
Guido van Rossum's avatar
Guido van Rossum committed
73
attrtrans = string.maketrans(' \r\n\t', '    ')
74

75 76 77 78 79 80 81
# definitions for XML namespaces
_NCName = '[a-zA-Z_][-a-zA-Z0-9._]*'    # XML Name, minus the ":"
ncname = re.compile(_NCName + '$')
qname = re.compile('(?:(?P<prefix>' + _NCName + '):)?' # optional prefix
                   '(?P<local>' + _NCName + ')$')

xmlns = re.compile('xmlns(?::(?P<ncname>'+_NCName+'))?$')
82 83 84

# XML parser base class -- find tags and call handler functions.
# Usage: p = XMLParser(); p.feed(data); ...; p.close().
85 86 87 88
# The dtd is defined by deriving a class which defines methods with
# special names to handle tags: start_foo and end_foo to handle <foo>
# and </foo>, respectively.  The data between tags is passed to the
# parser by calling self.handle_data() with some data as argument (the
Jeremy Hylton's avatar
Jeremy Hylton committed
89
# data may be split up in arbitrary chunks).
90 91

class XMLParser:
92 93
    attributes = {}                     # default, to be overridden
    elements = {}                       # default, to be overridden
94

95 96 97 98 99
    # parsing options, settable using keyword args in __init__
    __accept_unquoted_attributes = 0
    __accept_missing_endtag_name = 0
    __map_case = 0
    __accept_utf8 = 0
100
    __translate_attribute_references = 1
101

102
    # Interface -- initialize and reset this instance
103
    def __init__(self, **kw):
104
        self.__fixed = 0
105
        if 'accept_unquoted_attributes' in kw:
106
            self.__accept_unquoted_attributes = kw['accept_unquoted_attributes']
107
        if 'accept_missing_endtag_name' in kw:
108
            self.__accept_missing_endtag_name = kw['accept_missing_endtag_name']
109
        if 'map_case' in kw:
110
            self.__map_case = kw['map_case']
111
        if 'accept_utf8' in kw:
112
            self.__accept_utf8 = kw['accept_utf8']
113
        if 'translate_attribute_references' in kw:
114
            self.__translate_attribute_references = kw['translate_attribute_references']
115
        self.reset()
116 117

    def __fixelements(self):
118
        self.__fixed = 1
119 120 121 122 123 124 125 126 127 128
        self.elements = {}
        self.__fixdict(self.__dict__)
        self.__fixclass(self.__class__)

    def __fixclass(self, kl):
        self.__fixdict(kl.__dict__)
        for k in kl.__bases__:
            self.__fixclass(k)

    def __fixdict(self, dict):
129
        for key in dict.keys():
130
            if key[:6] == 'start_':
131 132
                tag = key[6:]
                start, end = self.elements.get(tag, (None, None))
133
                if start is None:
134
                    self.elements[tag] = getattr(self, key), end
135
            elif key[:4] == 'end_':
136 137
                tag = key[4:]
                start, end = self.elements.get(tag, (None, None))
138
                if end is None:
139
                    self.elements[tag] = start, getattr(self, key)
140 141 142

    # Interface -- reset this instance.  Loses all unprocessed data
    def reset(self):
143 144 145 146 147 148 149 150
        self.rawdata = ''
        self.stack = []
        self.nomoretags = 0
        self.literal = 0
        self.lineno = 1
        self.__at_start = 1
        self.__seen_doctype = None
        self.__seen_starttag = 0
Guido van Rossum's avatar
Guido van Rossum committed
151
        self.__use_namespaces = 0
152
        self.__namespaces = {'xml':None}   # xml is implicitly declared
153
        # backward compatibility hack: if elements not overridden,
154 155 156
        # fill it in ourselves
        if self.elements is XMLParser.elements:
            self.__fixelements()
157 158 159

    # For derived classes only -- enter literal mode (CDATA) till EOF
    def setnomoretags(self):
160
        self.nomoretags = self.literal = 1
161 162 163

    # For derived classes only -- enter literal mode (CDATA)
    def setliteral(self, *args):
164
        self.literal = 1
165 166 167 168 169 170

    # Interface -- feed some data to the parser.  Call this as
    # often as you want, with as little or as much text as you
    # want (may include '\n').  (This just saves the text, all the
    # processing is done by goahead().)
    def feed(self, data):
171 172
        self.rawdata = self.rawdata + data
        self.goahead(0)
173 174 175

    # Interface -- handle the remaining data
    def close(self):
176
        self.goahead(1)
177 178 179 180
        if self.__fixed:
            self.__fixed = 0
            # remove self.elements so that we don't leak
            del self.elements
181 182

    # Interface -- translate references
Guido van Rossum's avatar
Guido van Rossum committed
183
    def translate_references(self, data, all = 1):
184 185
        if not self.__translate_attribute_references:
            return data
186 187
        i = 0
        while 1:
Guido van Rossum's avatar
Guido van Rossum committed
188
            res = amp.search(data, i)
189
            if res is None:
Guido van Rossum's avatar
Guido van Rossum committed
190
                return data
191 192
            s = res.start(0)
            res = ref.match(data, s)
Guido van Rossum's avatar
Guido van Rossum committed
193 194
            if res is None:
                self.syntax_error("bogus `&'")
195
                i = s+1
Guido van Rossum's avatar
Guido van Rossum committed
196 197
                continue
            i = res.end(0)
198
            str = res.group(1)
199
            rescan = 0
200 201
            if str[0] == '#':
                if str[1] == 'x':
202
                    str = chr(int(str[2:], 16))
203
                else:
204
                    str = chr(int(str[1:]))
205 206 207
                if data[i - 1] != ';':
                    self.syntax_error("`;' missing after char reference")
                    i = i-1
Guido van Rossum's avatar
Guido van Rossum committed
208
            elif all:
209
                if str in self.entitydefs:
210 211 212 213 214 215
                    str = self.entitydefs[str]
                    rescan = 1
                elif data[i - 1] != ';':
                    self.syntax_error("bogus `&'")
                    i = s + 1 # just past the &
                    continue
Guido van Rossum's avatar
Guido van Rossum committed
216
                else:
217
                    self.syntax_error("reference to unknown entity `&%s;'" % str)
218 219 220 221 222 223 224 225 226 227 228
                    str = '&' + str + ';'
            elif data[i - 1] != ';':
                self.syntax_error("bogus `&'")
                i = s + 1 # just past the &
                continue

            # when we get here, str contains the translated text and i points
            # to the end of the string that is to be replaced
            data = data[:s] + str + data[i:]
            if rescan:
                i = s
Guido van Rossum's avatar
Guido van Rossum committed
229
            else:
230
                i = s + len(str)
231

232 233 234 235 236 237 238
    # Interface - return a dictionary of all namespaces currently valid
    def getnamespace(self):
        nsdict = {}
        for t, d, nst in self.stack:
            nsdict.update(d)
        return nsdict

239 240 241 242
    # Internal -- handle data as far as reasonable.  May leave state
    # and data to be processed by a subsequent call.  If 'end' is
    # true, force handling all data as if followed by EOF marker.
    def goahead(self, end):
243 244 245 246 247 248 249 250 251
        rawdata = self.rawdata
        i = 0
        n = len(rawdata)
        while i < n:
            if i > 0:
                self.__at_start = 0
            if self.nomoretags:
                data = rawdata[i:n]
                self.handle_data(data)
252
                self.lineno = self.lineno + data.count('\n')
253 254 255 256
                i = n
                break
            res = interesting.search(rawdata, i)
            if res:
257
                j = res.start(0)
258
            else:
259
                j = n
260
            if i < j:
Guido van Rossum's avatar
Guido van Rossum committed
261 262
                data = rawdata[i:j]
                if self.__at_start and space.match(data) is None:
Guido van Rossum's avatar
Guido van Rossum committed
263
                    self.syntax_error('illegal data at start of file')
264
                self.__at_start = 0
265
                if not self.stack and space.match(data) is None:
Guido van Rossum's avatar
Guido van Rossum committed
266
                    self.syntax_error('data not in content')
267
                if not self.__accept_utf8 and illegal.search(data):
Guido van Rossum's avatar
Guido van Rossum committed
268
                    self.syntax_error('illegal character in content')
269
                self.handle_data(data)
270
                self.lineno = self.lineno + data.count('\n')
271 272 273 274 275 276 277
            i = j
            if i == n: break
            if rawdata[i] == '<':
                if starttagopen.match(rawdata, i):
                    if self.literal:
                        data = rawdata[i]
                        self.handle_data(data)
278
                        self.lineno = self.lineno + data.count('\n')
279 280 281 282 283
                        i = i+1
                        continue
                    k = self.parse_starttag(i)
                    if k < 0: break
                    self.__seen_starttag = 1
284
                    self.lineno = self.lineno + rawdata[i:k].count('\n')
285 286 287 288 289
                    i = k
                    continue
                if endtagopen.match(rawdata, i):
                    k = self.parse_endtag(i)
                    if k < 0: break
290
                    self.lineno = self.lineno + rawdata[i:k].count('\n')
291 292 293 294 295 296
                    i =  k
                    continue
                if commentopen.match(rawdata, i):
                    if self.literal:
                        data = rawdata[i]
                        self.handle_data(data)
297
                        self.lineno = self.lineno + data.count('\n')
298 299 300 301
                        i = i+1
                        continue
                    k = self.parse_comment(i)
                    if k < 0: break
302
                    self.lineno = self.lineno + rawdata[i:k].count('\n')
303 304 305 306 307
                    i = k
                    continue
                if cdataopen.match(rawdata, i):
                    k = self.parse_cdata(i)
                    if k < 0: break
308
                    self.lineno = self.lineno + rawdata[i:k].count('\n')
309 310
                    i = k
                    continue
Guido van Rossum's avatar
Guido van Rossum committed
311 312 313 314 315 316 317 318
                res = xmldecl.match(rawdata, i)
                if res:
                    if not self.__at_start:
                        self.syntax_error("<?xml?> declaration not at start of document")
                    version, encoding, standalone = res.group('version',
                                                              'encoding',
                                                              'standalone')
                    if version[1:-1] != '1.0':
Sjoerd Mullender's avatar
Sjoerd Mullender committed
319
                        raise Error('only XML version 1.0 supported')
Guido van Rossum's avatar
Guido van Rossum committed
320 321 322 323 324
                    if encoding: encoding = encoding[1:-1]
                    if standalone: standalone = standalone[1:-1]
                    self.handle_xml(encoding, standalone)
                    i = res.end(0)
                    continue
325 326 327 328
                res = procopen.match(rawdata, i)
                if res:
                    k = self.parse_proc(i)
                    if k < 0: break
329
                    self.lineno = self.lineno + rawdata[i:k].count('\n')
330 331 332 333 334 335 336
                    i = k
                    continue
                res = doctype.match(rawdata, i)
                if res:
                    if self.literal:
                        data = rawdata[i]
                        self.handle_data(data)
337
                        self.lineno = self.lineno + data.count('\n')
338 339 340 341 342 343 344 345 346
                        i = i+1
                        continue
                    if self.__seen_doctype:
                        self.syntax_error('multiple DOCTYPE elements')
                    if self.__seen_starttag:
                        self.syntax_error('DOCTYPE not at beginning of document')
                    k = self.parse_doctype(res)
                    if k < 0: break
                    self.__seen_doctype = res.group('name')
347
                    if self.__map_case:
348 349
                        self.__seen_doctype = self.__seen_doctype.lower()
                    self.lineno = self.lineno + rawdata[i:k].count('\n')
350 351 352
                    i = k
                    continue
            elif rawdata[i] == '&':
353 354 355 356 357
                if self.literal:
                    data = rawdata[i]
                    self.handle_data(data)
                    i = i+1
                    continue
358 359 360 361 362 363
                res = charref.match(rawdata, i)
                if res is not None:
                    i = res.end(0)
                    if rawdata[i-1] != ';':
                        self.syntax_error("`;' missing in charref")
                        i = i-1
Guido van Rossum's avatar
Guido van Rossum committed
364 365
                    if not self.stack:
                        self.syntax_error('data not in content')
366
                    self.handle_charref(res.group('char')[:-1])
367
                    self.lineno = self.lineno + res.group(0).count('\n')
368 369 370 371 372 373 374
                    continue
                res = entityref.match(rawdata, i)
                if res is not None:
                    i = res.end(0)
                    if rawdata[i-1] != ';':
                        self.syntax_error("`;' missing in entityref")
                        i = i-1
Guido van Rossum's avatar
Guido van Rossum committed
375
                    name = res.group('name')
376
                    if self.__map_case:
377
                        name = name.lower()
378
                    if name in self.entitydefs:
Guido van Rossum's avatar
Guido van Rossum committed
379 380 381 382 383
                        self.rawdata = rawdata = rawdata[:res.start(0)] + self.entitydefs[name] + rawdata[i:]
                        n = len(rawdata)
                        i = res.start(0)
                    else:
                        self.unknown_entityref(name)
384
                    self.lineno = self.lineno + res.group(0).count('\n')
385
                    continue
Guido van Rossum's avatar
Guido van Rossum committed
386
            elif rawdata[i] == ']':
387 388 389 390 391
                if self.literal:
                    data = rawdata[i]
                    self.handle_data(data)
                    i = i+1
                    continue
Guido van Rossum's avatar
Guido van Rossum committed
392 393 394 395 396 397 398
                if n-i < 3:
                    break
                if cdataclose.match(rawdata, i):
                    self.syntax_error("bogus `]]>'")
                self.handle_data(rawdata[i])
                i = i+1
                continue
399
            else:
Sjoerd Mullender's avatar
Sjoerd Mullender committed
400
                raise Error('neither < nor & ??')
401 402
            # We get here only if incomplete matches but
            # nothing else
Guido van Rossum's avatar
Guido van Rossum committed
403
            break
404
        # end while
Guido van Rossum's avatar
Guido van Rossum committed
405 406
        if i > 0:
            self.__at_start = 0
407
        if end and i < n:
Guido van Rossum's avatar
Guido van Rossum committed
408 409
            data = rawdata[i]
            self.syntax_error("bogus `%s'" % data)
410
            if not self.__accept_utf8 and illegal.search(data):
Guido van Rossum's avatar
Guido van Rossum committed
411
                self.syntax_error('illegal character in content')
412
            self.handle_data(data)
413
            self.lineno = self.lineno + data.count('\n')
Guido van Rossum's avatar
Guido van Rossum committed
414 415
            self.rawdata = rawdata[i+1:]
            return self.goahead(end)
416 417
        self.rawdata = rawdata[i:]
        if end:
Guido van Rossum's avatar
Guido van Rossum committed
418 419
            if not self.__seen_starttag:
                self.syntax_error('no elements in file')
420 421 422
            if self.stack:
                self.syntax_error('missing end tags')
                while self.stack:
423
                    self.finish_endtag(self.stack[-1][0])
424 425 426

    # Internal -- parse comment, return length or -1 if not terminated
    def parse_comment(self, i):
427
        rawdata = self.rawdata
428
        if rawdata[i:i+4] != '<!--':
Sjoerd Mullender's avatar
Sjoerd Mullender committed
429
            raise Error('unexpected call to handle_comment')
430
        res = commentclose.search(rawdata, i+4)
431
        if res is None:
432
            return -1
Guido van Rossum's avatar
Guido van Rossum committed
433
        if doubledash.search(rawdata, i+4, res.start(0)):
434
            self.syntax_error("`--' inside comment")
Guido van Rossum's avatar
Guido van Rossum committed
435 436
        if rawdata[res.start(0)-1] == '-':
            self.syntax_error('comment cannot end in three dashes')
437 438
        if not self.__accept_utf8 and \
           illegal.search(rawdata, i+4, res.start(0)):
Guido van Rossum's avatar
Guido van Rossum committed
439
            self.syntax_error('illegal character in comment')
440 441
        self.handle_comment(rawdata[i+4: res.start(0)])
        return res.end(0)
442

443 444
    # Internal -- handle DOCTYPE tag, return length or -1 if not terminated
    def parse_doctype(self, res):
445 446 447
        rawdata = self.rawdata
        n = len(rawdata)
        name = res.group('name')
448
        if self.__map_case:
449
            name = name.lower()
Guido van Rossum's avatar
Guido van Rossum committed
450 451 452
        pubid, syslit = res.group('pubid', 'syslit')
        if pubid is not None:
            pubid = pubid[1:-1]         # remove quotes
453
            pubid = ' '.join(pubid.split()) # normalize
Guido van Rossum's avatar
Guido van Rossum committed
454
        if syslit is not None: syslit = syslit[1:-1] # remove quotes
455
        j = k = res.end(0)
Guido van Rossum's avatar
Guido van Rossum committed
456 457 458 459
        if k >= n:
            return -1
        if rawdata[k] == '[':
            level = 0
460
            k = k+1
Guido van Rossum's avatar
Guido van Rossum committed
461 462 463 464 465 466 467 468 469 470 471
            dq = sq = 0
            while k < n:
                c = rawdata[k]
                if not sq and c == '"':
                    dq = not dq
                elif not dq and c == "'":
                    sq = not sq
                elif sq or dq:
                    pass
                elif level <= 0 and c == ']':
                    res = endbracket.match(rawdata, k+1)
472
                    if res is None:
Guido van Rossum's avatar
Guido van Rossum committed
473 474 475 476 477 478 479 480 481 482
                        return -1
                    self.handle_doctype(name, pubid, syslit, rawdata[j+1:k])
                    return res.end(0)
                elif c == '<':
                    level = level + 1
                elif c == '>':
                    level = level - 1
                    if level < 0:
                        self.syntax_error("bogus `>' in DOCTYPE")
                k = k+1
483 484
        res = endbracketfind.match(rawdata, k)
        if res is None:
Guido van Rossum's avatar
Guido van Rossum committed
485
            return -1
486
        if endbracket.match(rawdata, k) is None:
Guido van Rossum's avatar
Guido van Rossum committed
487 488 489
            self.syntax_error('garbage in DOCTYPE')
        self.handle_doctype(name, pubid, syslit, None)
        return res.end(0)
490 491

    # Internal -- handle CDATA tag, return length or -1 if not terminated
492
    def parse_cdata(self, i):
493
        rawdata = self.rawdata
494
        if rawdata[i:i+9] != '<![CDATA[':
Sjoerd Mullender's avatar
Sjoerd Mullender committed
495
            raise Error('unexpected call to parse_cdata')
496
        res = cdataclose.search(rawdata, i+9)
497
        if res is None:
498
            return -1
499 500
        if not self.__accept_utf8 and \
           illegal.search(rawdata, i+9, res.start(0)):
Guido van Rossum's avatar
Guido van Rossum committed
501 502 503
            self.syntax_error('illegal character in CDATA')
        if not self.stack:
            self.syntax_error('CDATA not in content')
504 505
        self.handle_cdata(rawdata[i+9:res.start(0)])
        return res.end(0)
506

507
    __xml_namespace_attributes = {'ns':None, 'src':None, 'prefix':None}
508 509
    # Internal -- handle a processing instruction tag
    def parse_proc(self, i):
510 511
        rawdata = self.rawdata
        end = procclose.search(rawdata, i)
512
        if end is None:
513 514
            return -1
        j = end.start(0)
515
        if not self.__accept_utf8 and illegal.search(rawdata, i+2, j):
Guido van Rossum's avatar
Guido van Rossum committed
516
            self.syntax_error('illegal character in processing instruction')
517
        res = tagfind.match(rawdata, i+2)
518
        if res is None:
Sjoerd Mullender's avatar
Sjoerd Mullender committed
519
            raise Error('unexpected call to parse_proc')
520 521
        k = res.end(0)
        name = res.group(0)
522
        if self.__map_case:
523
            name = name.lower()
524 525
        if name == 'xml:namespace':
            self.syntax_error('old-fashioned namespace declaration')
Guido van Rossum's avatar
Guido van Rossum committed
526
            self.__use_namespaces = -1
527 528 529 530 531 532 533 534 535
            # namespace declaration
            # this must come after the <?xml?> declaration (if any)
            # and before the <!DOCTYPE> (if any).
            if self.__seen_doctype or self.__seen_starttag:
                self.syntax_error('xml:namespace declaration too late in document')
            attrdict, namespace, k = self.parse_attributes(name, k, j)
            if namespace:
                self.syntax_error('namespace declaration inside namespace declaration')
            for attrname in attrdict.keys():
536
                if not attrname in self.__xml_namespace_attributes:
537
                    self.syntax_error("unknown attribute `%s' in xml:namespace tag" % attrname)
538
            if not 'ns' in attrdict or not 'prefix' in attrdict:
539 540 541 542 543
                self.syntax_error('xml:namespace without required attributes')
            prefix = attrdict.get('prefix')
            if ncname.match(prefix) is None:
                self.syntax_error('xml:namespace illegal prefix value')
                return end.end(0)
544
            if prefix in self.__namespaces:
545 546 547
                self.syntax_error('xml:namespace prefix not unique')
            self.__namespaces[prefix] = attrdict['ns']
        else:
548
            if name.lower() == 'xml':
549 550
                self.syntax_error('illegal processing instruction target name')
            self.handle_proc(name, rawdata[k:j])
551
        return end.end(0)
552 553

    # Internal -- parse attributes between i and j
554
    def parse_attributes(self, tag, i, j):
555 556
        rawdata = self.rawdata
        attrdict = {}
557
        namespace = {}
558 559 560 561
        while i < j:
            res = attrfind.match(rawdata, i)
            if res is None:
                break
562
            attrname, attrvalue = res.group('name', 'value')
563
            if self.__map_case:
564
                attrname = attrname.lower()
565
            i = res.end(0)
566
            if attrvalue is None:
567
                self.syntax_error("no value specified for attribute `%s'" % attrname)
568 569 570 571
                attrvalue = attrname
            elif attrvalue[:1] == "'" == attrvalue[-1:] or \
                 attrvalue[:1] == '"' == attrvalue[-1:]:
                attrvalue = attrvalue[1:-1]
572
            elif not self.__accept_unquoted_attributes:
573
                self.syntax_error("attribute `%s' value not quoted" % attrname)
574 575 576 577 578
            res = xmlns.match(attrname)
            if res is not None:
                # namespace declaration
                ncname = res.group('ncname')
                namespace[ncname or ''] = attrvalue or None
Guido van Rossum's avatar
Guido van Rossum committed
579 580
                if not self.__use_namespaces:
                    self.__use_namespaces = len(self.stack)+1
581
                continue
582 583
            if '<' in attrvalue:
                self.syntax_error("`<' illegal in attribute value")
584
            if attrname in attrdict:
585
                self.syntax_error("attribute `%s' specified twice" % attrname)
586
            attrvalue = attrvalue.translate(attrtrans)
587
            attrdict[attrname] = self.translate_references(attrvalue)
588
        return attrdict, namespace, i
589 590 591

    # Internal -- handle starttag, return length or -1 if not terminated
    def parse_starttag(self, i):
592 593
        rawdata = self.rawdata
        # i points to start of tag
594 595
        end = endbracketfind.match(rawdata, i+1)
        if end is None:
596
            return -1
597 598 599 600
        tag = starttagmatch.match(rawdata, i)
        if tag is None or tag.end(0) != end.end(0):
            self.syntax_error('garbage in starttag')
            return end.end(0)
601
        nstag = tagname = tag.group('tagname')
602
        if self.__map_case:
603
            nstag = tagname = nstag.lower()
604 605 606
        if not self.__seen_starttag and self.__seen_doctype and \
           tagname != self.__seen_doctype:
            self.syntax_error('starttag does not match DOCTYPE')
Guido van Rossum's avatar
Guido van Rossum committed
607 608
        if self.__seen_starttag and not self.stack:
            self.syntax_error('multiple elements on top level')
609
        k, j = tag.span('attrs')
610 611
        attrdict, nsdict, k = self.parse_attributes(tagname, k, j)
        self.stack.append((tagname, nsdict, nstag))
Guido van Rossum's avatar
Guido van Rossum committed
612 613 614 615
        if self.__use_namespaces:
            res = qname.match(tagname)
        else:
            res = None
616 617 618 619 620 621
        if res is not None:
            prefix, nstag = res.group('prefix', 'local')
            if prefix is None:
                prefix = ''
            ns = None
            for t, d, nst in self.stack:
622
                if prefix in d:
623 624 625 626 627 628 629 630 631
                    ns = d[prefix]
            if ns is None and prefix != '':
                ns = self.__namespaces.get(prefix)
            if ns is not None:
                nstag = ns + ' ' + nstag
            elif prefix != '':
                nstag = prefix + ':' + nstag # undo split
            self.stack[-1] = tagname, nsdict, nstag
        # translate namespace of attributes
Sjoerd Mullender's avatar
Sjoerd Mullender committed
632 633 634
        attrnamemap = {} # map from new name to old name (used for error reporting)
        for key in attrdict.keys():
            attrnamemap[key] = key
Guido van Rossum's avatar
Guido van Rossum committed
635 636 637
        if self.__use_namespaces:
            nattrdict = {}
            for key, val in attrdict.items():
Sjoerd Mullender's avatar
Sjoerd Mullender committed
638
                okey = key
Guido van Rossum's avatar
Guido van Rossum committed
639 640 641
                res = qname.match(key)
                if res is not None:
                    aprefix, key = res.group('prefix', 'local')
642
                    if self.__map_case:
643
                        key = key.lower()
Guido van Rossum's avatar
Guido van Rossum committed
644 645 646 647
                    if aprefix is None:
                        aprefix = ''
                    ans = None
                    for t, d, nst in self.stack:
648
                        if aprefix in d:
Guido van Rossum's avatar
Guido van Rossum committed
649 650 651 652 653 654 655 656 657 658
                            ans = d[aprefix]
                    if ans is None and aprefix != '':
                        ans = self.__namespaces.get(aprefix)
                    if ans is not None:
                        key = ans + ' ' + key
                    elif aprefix != '':
                        key = aprefix + ':' + key
                    elif ns is not None:
                        key = ns + ' ' + key
                nattrdict[key] = val
Sjoerd Mullender's avatar
Sjoerd Mullender committed
659
                attrnamemap[key] = okey
Guido van Rossum's avatar
Guido van Rossum committed
660
            attrdict = nattrdict
661 662 663
        attributes = self.attributes.get(nstag)
        if attributes is not None:
            for key in attrdict.keys():
664
                if not key in attributes:
Sjoerd Mullender's avatar
Sjoerd Mullender committed
665
                    self.syntax_error("unknown attribute `%s' in tag `%s'" % (attrnamemap[key], tagname))
666
            for key, val in attributes.items():
667
                if val is not None and not key in attrdict:
668 669 670
                    attrdict[key] = val
        method = self.elements.get(nstag, (None, None))[0]
        self.finish_starttag(nstag, attrdict, method)
671 672 673
        if tag.group('slash') == '/':
            self.finish_endtag(tagname)
        return tag.end(0)
674 675 676

    # Internal -- parse endtag
    def parse_endtag(self, i):
677
        rawdata = self.rawdata
678 679
        end = endbracketfind.match(rawdata, i+1)
        if end is None:
680 681
            return -1
        res = tagfind.match(rawdata, i+2)
682
        if res is None:
Guido van Rossum's avatar
Guido van Rossum committed
683 684 685
            if self.literal:
                self.handle_data(rawdata[i])
                return i+1
686 687
            if not self.__accept_missing_endtag_name:
                self.syntax_error('no name specified in end tag')
Guido van Rossum's avatar
Guido van Rossum committed
688
            tag = self.stack[-1][0]
689 690 691
            k = i+2
        else:
            tag = res.group(0)
692
            if self.__map_case:
693
                tag = tag.lower()
Guido van Rossum's avatar
Guido van Rossum committed
694
            if self.literal:
695
                if not self.stack or tag != self.stack[-1][0]:
Guido van Rossum's avatar
Guido van Rossum committed
696 697
                    self.handle_data(rawdata[i])
                    return i+1
698
            k = res.end(0)
699
        if endbracket.match(rawdata, k) is None:
Guido van Rossum's avatar
Guido van Rossum committed
700
            self.syntax_error('garbage in end tag')
701 702
        self.finish_endtag(tag)
        return end.end(0)
703 704

    # Internal -- finish processing of start tag
705 706 707
    def finish_starttag(self, tagname, attrdict, method):
        if method is not None:
            self.handle_starttag(tagname, method, attrdict)
Guido van Rossum's avatar
Guido van Rossum committed
708
        else:
709
            self.unknown_starttag(tagname, attrdict)
710 711 712

    # Internal -- finish processing of end tag
    def finish_endtag(self, tag):
713
        self.literal = 0
714 715 716 717 718 719 720
        if not tag:
            self.syntax_error('name-less end tag')
            found = len(self.stack) - 1
            if found < 0:
                self.unknown_endtag(tag)
                return
        else:
721 722 723 724 725
            found = -1
            for i in range(len(self.stack)):
                if tag == self.stack[i][0]:
                    found = i
            if found == -1:
726 727 728 729
                self.syntax_error('unopened end tag')
                return
        while len(self.stack) > found:
            if found < len(self.stack) - 1:
730 731 732 733 734
                self.syntax_error('missing close tag for %s' % self.stack[-1][2])
            nstag = self.stack[-1][2]
            method = self.elements.get(nstag, (None, None))[1]
            if method is not None:
                self.handle_endtag(nstag, method)
735
            else:
736
                self.unknown_endtag(nstag)
Guido van Rossum's avatar
Guido van Rossum committed
737 738
            if self.__use_namespaces == len(self.stack):
                self.__use_namespaces = 0
739
            del self.stack[-1]
740

741 742
    # Overridable -- handle xml processing instruction
    def handle_xml(self, encoding, standalone):
743
        pass
744 745

    # Overridable -- handle DOCTYPE
Guido van Rossum's avatar
Guido van Rossum committed
746
    def handle_doctype(self, tag, pubid, syslit, data):
747
        pass
748

749 750
    # Overridable -- handle start tag
    def handle_starttag(self, tag, method, attrs):
751
        method(attrs)
752 753 754

    # Overridable -- handle end tag
    def handle_endtag(self, tag, method):
755
        method()
756 757 758

    # Example -- handle character reference, no need to override
    def handle_charref(self, name):
759 760
        try:
            if name[0] == 'x':
761
                n = int(name[1:], 16)
762
            else:
763 764
                n = int(name)
        except ValueError:
765 766 767 768 769 770
            self.unknown_charref(name)
            return
        if not 0 <= n <= 255:
            self.unknown_charref(name)
            return
        self.handle_data(chr(n))
771 772

    # Definition of entities -- derived classes may override
Guido van Rossum's avatar
Guido van Rossum committed
773 774 775 776 777 778
    entitydefs = {'lt': '&#60;',        # must use charref
                  'gt': '&#62;',
                  'amp': '&#38;',       # must use charref
                  'quot': '&#34;',
                  'apos': '&#39;',
                  }
779 780 781

    # Example -- handle data, should be overridden
    def handle_data(self, data):
782
        pass
783 784 785

    # Example -- handle cdata, could be overridden
    def handle_cdata(self, data):
786
        pass
787 788 789

    # Example -- handle comment, could be overridden
    def handle_comment(self, data):
790
        pass
791 792 793

    # Example -- handle processing instructions, could be overridden
    def handle_proc(self, name, data):
794
        pass
795 796

    # Example -- handle relatively harmless syntax errors, could be overridden
797
    def syntax_error(self, message):
Sjoerd Mullender's avatar
Sjoerd Mullender committed
798
        raise Error('Syntax error at line %d: %s' % (self.lineno, message))
799 800 801 802 803

    # To be overridden -- handlers for unknown objects
    def unknown_starttag(self, tag, attrs): pass
    def unknown_endtag(self, tag): pass
    def unknown_charref(self, ref): pass
804 805
    def unknown_entityref(self, name):
        self.syntax_error("reference to unknown entity `&%s;'" % name)
806 807 808 809


class TestXMLParser(XMLParser):

810
    def __init__(self, **kw):
811
        self.testdata = ""
812
        apply(XMLParser.__init__, (self,), kw)
813

814
    def handle_xml(self, encoding, standalone):
815 816
        self.flush()
        print 'xml: encoding =',encoding,'standalone =',standalone
817

Guido van Rossum's avatar
Guido van Rossum committed
818
    def handle_doctype(self, tag, pubid, syslit, data):
819 820
        self.flush()
        print 'DOCTYPE:',tag, `data`
821

822
    def handle_data(self, data):
823 824 825
        self.testdata = self.testdata + data
        if len(`self.testdata`) >= 70:
            self.flush()
826 827

    def flush(self):
828 829 830 831
        data = self.testdata
        if data:
            self.testdata = ""
            print 'data:', `data`
832 833

    def handle_cdata(self, data):
834 835
        self.flush()
        print 'cdata:', `data`
836 837

    def handle_proc(self, name, data):
838 839
        self.flush()
        print 'processing:',name,`data`
840 841

    def handle_comment(self, data):
842 843 844 845 846
        self.flush()
        r = `data`
        if len(r) > 68:
            r = r[:32] + '...' + r[-32:]
        print 'comment:', r
847

848
    def syntax_error(self, message):
849
        print 'error at line %d:' % self.lineno, message
850 851

    def unknown_starttag(self, tag, attrs):
852 853 854 855 856 857 858 859
        self.flush()
        if not attrs:
            print 'start tag: <' + tag + '>'
        else:
            print 'start tag: <' + tag,
            for name, value in attrs.items():
                print name + '=' + '"' + value + '"',
            print '>'
860 861

    def unknown_endtag(self, tag):
862 863
        self.flush()
        print 'end tag: </' + tag + '>'
864 865

    def unknown_entityref(self, ref):
866 867
        self.flush()
        print '*** unknown entity ref: &' + ref + ';'
868 869

    def unknown_charref(self, ref):
870 871
        self.flush()
        print '*** unknown char ref: &#' + ref + ';'
872 873

    def close(self):
874 875
        XMLParser.close(self)
        self.flush()
876 877

def test(args = None):
878 879
    import sys, getopt
    from time import time
880 881

    if not args:
882
        args = sys.argv[1:]
883

884 885 886 887 888 889 890 891
    opts, args = getopt.getopt(args, 'st')
    klass = TestXMLParser
    do_time = 0
    for o, a in opts:
        if o == '-s':
            klass = XMLParser
        elif o == '-t':
            do_time = 1
892 893

    if args:
894
        file = args[0]
895
    else:
896
        file = 'test.xml'
897 898

    if file == '-':
899
        f = sys.stdin
900
    else:
901 902 903 904 905
        try:
            f = open(file, 'r')
        except IOError, msg:
            print file, ":", msg
            sys.exit(1)
906 907 908

    data = f.read()
    if f is not sys.stdin:
909
        f.close()
910 911

    x = klass()
912
    t0 = time()
Guido van Rossum's avatar
Guido van Rossum committed
913
    try:
914 915 916 917 918 919 920
        if do_time:
            x.feed(data)
            x.close()
        else:
            for c in data:
                x.feed(c)
            x.close()
Sjoerd Mullender's avatar
Sjoerd Mullender committed
921
    except Error, msg:
922
        t1 = time()
Guido van Rossum's avatar
Guido van Rossum committed
923
        print msg
924 925
        if do_time:
            print 'total time: %g' % (t1-t0)
Guido van Rossum's avatar
Guido van Rossum committed
926
        sys.exit(1)
927 928 929
    t1 = time()
    if do_time:
        print 'total time: %g' % (t1-t0)
930 931 932 933


if __name__ == '__main__':
    test()