blob: 378a3cf8d127065a2f6ab9458ec5f716044d18be [file] [log] [blame]
Fred Drake295da241998-08-10 19:42:37 +00001\section{\module{xmllib} ---
Fred Drake34250111999-02-19 23:45:06 +00002 A parser for XML documents}
3
Fred Drakeb91e9341998-07-23 17:59:49 +00004\declaremodule{standard}{xmllib}
Fred Drake34250111999-02-19 23:45:06 +00005\modulesynopsis{A parser for XML documents.}
Fred Drake191f2851998-12-22 18:06:02 +00006\moduleauthor{Sjoerd Mullender}{Sjoerd.Mullender@cwi.nl}
7\sectionauthor{Sjoerd Mullender}{Sjoerd.Mullender@cwi.nl}
Fred Drakeb91e9341998-07-23 17:59:49 +00008
Fred Drakeb91e9341998-07-23 17:59:49 +00009
Guido van Rossuma10768a1997-11-18 15:11:22 +000010\index{XML}
Fred Drake5cb48a41998-12-22 18:46:13 +000011\index{Extensible Markup Language}
12
13\versionchanged{1.5.2}
Guido van Rossuma10768a1997-11-18 15:11:22 +000014
Fred Drake3b5da761998-03-12 15:33:05 +000015This module defines a class \class{XMLParser} which serves as the basis
Fred Drake5cb48a41998-12-22 18:46:13 +000016for parsing text files formatted in XML (Extensible Markup Language).
Guido van Rossuma10768a1997-11-18 15:11:22 +000017
Fred Drake3b5da761998-03-12 15:33:05 +000018\begin{classdesc}{XMLParser}{}
Guido van Rossume7f19201999-08-26 15:57:44 +000019The \class{XMLParser} class must be instantiated without
20arguments.\footnote{Actually, a number of keyword arguments are
21recognized which influence the parser to accept certain non-standard
22constructs. The following keyword arguments are currently
Fred Drake011028c2000-07-06 04:45:14 +000023recognized. The defaults for all of these is \code{0} (false) except
24for the last one for which the default is \code{1} (true).
Guido van Rossume7f19201999-08-26 15:57:44 +000025\var{accept_unquoted_attributes} (accept certain attribute values
26without requiring quotes), \var{accept_missing_endtag_name} (accept
27end tags that look like \code{</>}), \var{map_case} (map upper case to
28lower case in tags and attributes), \var{accept_utf8} (allow UTF-8
29characters in input; this is required according to the XML standard,
30but Python does not as yet deal properly with these characters, so
Fred Drake011028c2000-07-06 04:45:14 +000031this is not the default), \var{translate_attribute_references} (don't
32attempt to translate character and entity references in attribute values).}
Fred Drake3b5da761998-03-12 15:33:05 +000033\end{classdesc}
34
Guido van Rossumb083a9f1998-12-18 20:17:13 +000035This class provides the following interface methods and instance variables:
36
37\begin{memberdesc}{attributes}
38A mapping of element names to mappings. The latter mapping maps
39attribute names that are valid for the element to the default value of
40the attribute, or if there is no default to \code{None}. The default
Guido van Rossum09da65e1999-02-02 17:55:12 +000041value is the empty dictionary. This variable is meant to be
42overridden, not extended since the default is shared by all instances
43of \class{XMLParser}.
Guido van Rossumb083a9f1998-12-18 20:17:13 +000044\end{memberdesc}
45
46\begin{memberdesc}{elements}
47A mapping of element names to tuples. The tuples contain a function
48for handling the start and end tag respectively of the element, or
49\code{None} if the method \method{unknown_starttag()} or
50\method{unknown_endtag()} is to be called. The default value is the
Guido van Rossum09da65e1999-02-02 17:55:12 +000051empty dictionary. This variable is meant to be overridden, not
52extended since the default is shared by all instances of
53\class{XMLParser}.
Guido van Rossumb083a9f1998-12-18 20:17:13 +000054\end{memberdesc}
55
56\begin{memberdesc}{entitydefs}
57A mapping of entitynames to their values. The default value contains
58definitions for \code{'lt'}, \code{'gt'}, \code{'amp'}, \code{'quot'},
59and \code{'apos'}.
60\end{memberdesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +000061
Fred Drakefc576191998-04-04 07:15:02 +000062\begin{methoddesc}{reset}{}
Guido van Rossuma10768a1997-11-18 15:11:22 +000063Reset the instance. Loses all unprocessed data. This is called
64implicitly at the instantiation time.
Fred Drakefc576191998-04-04 07:15:02 +000065\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +000066
Fred Drakefc576191998-04-04 07:15:02 +000067\begin{methoddesc}{setnomoretags}{}
Guido van Rossuma10768a1997-11-18 15:11:22 +000068Stop processing tags. Treat all following input as literal input
69(CDATA).
Fred Drakefc576191998-04-04 07:15:02 +000070\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +000071
Fred Drakefc576191998-04-04 07:15:02 +000072\begin{methoddesc}{setliteral}{}
Guido van Rossumf484a331998-12-07 21:59:56 +000073Enter literal mode (CDATA mode). This mode is automatically exited
74when the close tag matching the last unclosed open tag is encountered.
Fred Drakefc576191998-04-04 07:15:02 +000075\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +000076
Fred Drakefc576191998-04-04 07:15:02 +000077\begin{methoddesc}{feed}{data}
Guido van Rossuma10768a1997-11-18 15:11:22 +000078Feed some text to the parser. It is processed insofar as it consists
Guido van Rossumb083a9f1998-12-18 20:17:13 +000079of complete tags; incomplete data is buffered until more data is
Fred Drake3b5da761998-03-12 15:33:05 +000080fed or \method{close()} is called.
Fred Drakefc576191998-04-04 07:15:02 +000081\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +000082
Fred Drakefc576191998-04-04 07:15:02 +000083\begin{methoddesc}{close}{}
Guido van Rossuma10768a1997-11-18 15:11:22 +000084Force processing of all buffered data as if it were followed by an
85end-of-file mark. This method may be redefined by a derived class to
86define additional processing at the end of the input, but the
Fred Drake3b5da761998-03-12 15:33:05 +000087redefined version should always call \method{close()}.
Fred Drakefc576191998-04-04 07:15:02 +000088\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +000089
Fred Drakefc576191998-04-04 07:15:02 +000090\begin{methoddesc}{translate_references}{data}
Fred Drake3b5da761998-03-12 15:33:05 +000091Translate all entity and character references in \var{data} and
Fred Draked8a41e61999-02-19 17:54:10 +000092return the translated string.
Fred Drakefc576191998-04-04 07:15:02 +000093\end{methoddesc}
Guido van Rossum02505e41998-01-29 14:55:24 +000094
Fred Drakefc576191998-04-04 07:15:02 +000095\begin{methoddesc}{handle_xml}{encoding, standalone}
96This method is called when the \samp{<?xml ...?>} tag is processed.
Guido van Rossum02505e41998-01-29 14:55:24 +000097The arguments are the values of the encoding and standalone attributes
98in the tag. Both encoding and standalone are optional. The values
Fred Drake3b5da761998-03-12 15:33:05 +000099passed to \method{handle_xml()} default to \code{None} and the string
Guido van Rossum02505e41998-01-29 14:55:24 +0000100\code{'no'} respectively.
Fred Drakefc576191998-04-04 07:15:02 +0000101\end{methoddesc}
Guido van Rossum02505e41998-01-29 14:55:24 +0000102
Fred Drake38e5d272000-04-03 20:13:55 +0000103\begin{methoddesc}{handle_doctype}{tag, pubid, syslit, data}
Fred Drakefc576191998-04-04 07:15:02 +0000104This method is called when the \samp{<!DOCTYPE...>} tag is processed.
Fred Drake38e5d272000-04-03 20:13:55 +0000105The arguments are the name of the root element, the Formal Public
106Identifier (or \code{None} if not specified), the system identifier,
107and the uninterpreted contents of the internal DTD subset as a string
108(or \code{None} if not present).
Fred Drakefc576191998-04-04 07:15:02 +0000109\end{methoddesc}
Guido van Rossum02505e41998-01-29 14:55:24 +0000110
Fred Drakefc576191998-04-04 07:15:02 +0000111\begin{methoddesc}{handle_starttag}{tag, method, attributes}
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000112This method is called to handle start tags for which a start tag
113handler is defined in the instance variable \member{elements}. The
114\var{tag} argument is the name of the tag, and the \var{method}
115argument is the function (method) which should be used to support semantic
116interpretation of the start tag. The \var{attributes} argument is a
117dictionary of attributes, the key being the \var{name} and the value
118being the \var{value} of the attribute found inside the tag's
119\code{<>} brackets. Character and entity references in the
120\var{value} have been interpreted. For instance, for the start tag
Guido van Rossuma10768a1997-11-18 15:11:22 +0000121\code{<A HREF="http://www.cwi.nl/">}, this method would be called as
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000122\code{handle_starttag('A', self.elements['A'][0], \{'HREF': 'http://www.cwi.nl/'\})}.
Fred Drake3b5da761998-03-12 15:33:05 +0000123The base implementation simply calls \var{method} with \var{attributes}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000124as the only argument.
Fred Drakefc576191998-04-04 07:15:02 +0000125\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000126
Fred Drakefc576191998-04-04 07:15:02 +0000127\begin{methoddesc}{handle_endtag}{tag, method}
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000128This method is called to handle endtags for which an end tag handler
129is defined in the instance variable \member{elements}. The \var{tag}
130argument is the name of the tag, and the \var{method} argument is the
131function (method) which should be used to support semantic
132interpretation of the end tag. For instance, for the endtag
133\code{</A>}, this method would be called as \code{handle_endtag('A',
134self.elements['A'][1])}. The base implementation simply calls
Fred Drake3b5da761998-03-12 15:33:05 +0000135\var{method}.
Fred Drakefc576191998-04-04 07:15:02 +0000136\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000137
Fred Drakefc576191998-04-04 07:15:02 +0000138\begin{methoddesc}{handle_data}{data}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000139This method is called to process arbitrary data. It is intended to be
140overridden by a derived class; the base class implementation does
141nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000142\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000143
Fred Drakefc576191998-04-04 07:15:02 +0000144\begin{methoddesc}{handle_charref}{ref}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000145This method is called to process a character reference of the form
Fred Drake7f6e2c41998-02-13 14:38:23 +0000146\samp{\&\#\var{ref};}. \var{ref} can either be a decimal number,
Fred Drakefc576191998-04-04 07:15:02 +0000147or a hexadecimal number when preceded by an \character{x}.
Guido van Rossuma10768a1997-11-18 15:11:22 +0000148In the base implementation, \var{ref} must be a number in the
149range 0-255. It translates the character to \ASCII{} and calls the
Fred Drake3b5da761998-03-12 15:33:05 +0000150method \method{handle_data()} with the character as argument. If
Guido van Rossuma10768a1997-11-18 15:11:22 +0000151\var{ref} is invalid or out of range, the method
152\code{unknown_charref(\var{ref})} is called to handle the error. A
153subclass must override this method to provide support for character
154references outside of the \ASCII{} range.
Fred Drakefc576191998-04-04 07:15:02 +0000155\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000156
Fred Drakefc576191998-04-04 07:15:02 +0000157\begin{methoddesc}{handle_comment}{comment}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000158This method is called when a comment is encountered. The
Fred Drake3b5da761998-03-12 15:33:05 +0000159\var{comment} argument is a string containing the text between the
Fred Drake7f6e2c41998-02-13 14:38:23 +0000160\samp{<!--} and \samp{-->} delimiters, but not the delimiters
161themselves. For example, the comment \samp{<!--text-->} will
Guido van Rossuma10768a1997-11-18 15:11:22 +0000162cause this method to be called with the argument \code{'text'}. The
163default method does nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000164\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000165
Fred Drakefc576191998-04-04 07:15:02 +0000166\begin{methoddesc}{handle_cdata}{data}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000167This method is called when a CDATA element is encountered. The
Fred Drake3b5da761998-03-12 15:33:05 +0000168\var{data} argument is a string containing the text between the
Fred Drake7f6e2c41998-02-13 14:38:23 +0000169\samp{<![CDATA[} and \samp{]]>} delimiters, but not the delimiters
170themselves. For example, the entity \samp{<![CDATA[text]]>} will
Guido van Rossuma10768a1997-11-18 15:11:22 +0000171cause this method to be called with the argument \code{'text'}. The
Fred Drake3b5da761998-03-12 15:33:05 +0000172default method does nothing, and is intended to be overridden.
Fred Drakefc576191998-04-04 07:15:02 +0000173\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000174
Fred Drakefc576191998-04-04 07:15:02 +0000175\begin{methoddesc}{handle_proc}{name, data}
Fred Drake3b5da761998-03-12 15:33:05 +0000176This method is called when a processing instruction (PI) is
177encountered. The \var{name} is the PI target, and the \var{data}
178argument is a string containing the text between the PI target and the
179closing delimiter, but not the delimiter itself. For example, the
180instruction \samp{<?XML text?>} will cause this method to be called
181with the arguments \code{'XML'} and \code{'text'}. The default method
Fred Drakefc576191998-04-04 07:15:02 +0000182does nothing. Note that if a document starts with \samp{<?xml
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000183..?>}, \method{handle_xml()} is called to handle it.
Fred Drakefc576191998-04-04 07:15:02 +0000184\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000185
Fred Drakefc576191998-04-04 07:15:02 +0000186\begin{methoddesc}{handle_special}{data}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000187This method is called when a declaration is encountered. The
Fred Drake3b5da761998-03-12 15:33:05 +0000188\var{data} argument is a string containing the text between the
Fred Drake7f6e2c41998-02-13 14:38:23 +0000189\samp{<!} and \samp{>} delimiters, but not the delimiters
190themselves. For example, the entity \samp{<!ENTITY text>} will
Guido van Rossum02505e41998-01-29 14:55:24 +0000191cause this method to be called with the argument \code{'ENTITY text'}. The
Fred Drakefc576191998-04-04 07:15:02 +0000192default method does nothing. Note that \samp{<!DOCTYPE ...>} is
Guido van Rossum02505e41998-01-29 14:55:24 +0000193handled separately if it is located at the start of the document.
Fred Drakefc576191998-04-04 07:15:02 +0000194\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000195
Fred Drakefc576191998-04-04 07:15:02 +0000196\begin{methoddesc}{syntax_error}{message}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000197This method is called when a syntax error is encountered. The
Fred Drake3b5da761998-03-12 15:33:05 +0000198\var{message} is a description of what was wrong. The default method
199raises a \exception{RuntimeError} exception. If this method is
Thomas Woutersf8316632000-07-16 19:01:10 +0000200overridden, it is permissible for it to return. This method is only
Fred Drake3b5da761998-03-12 15:33:05 +0000201called when the error can be recovered from. Unrecoverable errors
202raise a \exception{RuntimeError} without first calling
203\method{syntax_error()}.
Fred Drakefc576191998-04-04 07:15:02 +0000204\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000205
Fred Drakefc576191998-04-04 07:15:02 +0000206\begin{methoddesc}{unknown_starttag}{tag, attributes}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000207This method is called to process an unknown start tag. It is intended
208to be overridden by a derived class; the base class implementation
209does nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000210\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000211
Fred Drakefc576191998-04-04 07:15:02 +0000212\begin{methoddesc}{unknown_endtag}{tag}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000213This method is called to process an unknown end tag. It is intended
214to be overridden by a derived class; the base class implementation
215does nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000216\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000217
Fred Drakefc576191998-04-04 07:15:02 +0000218\begin{methoddesc}{unknown_charref}{ref}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000219This method is called to process unresolvable numeric character
220references. It is intended to be overridden by a derived class; the
221base class implementation does nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000222\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000223
Fred Drakefc576191998-04-04 07:15:02 +0000224\begin{methoddesc}{unknown_entityref}{ref}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000225This method is called to process an unknown entity reference. It is
226intended to be overridden by a derived class; the base class
Guido van Rossume7f19201999-08-26 15:57:44 +0000227implementation calls \method{syntax_error()} to signal an error.
Fred Drakefc576191998-04-04 07:15:02 +0000228\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000229
Fred Drake34250111999-02-19 23:45:06 +0000230
Fred Drakec8c40ff1999-04-22 20:16:02 +0000231\begin{seealso}
Fred Drake38e5d272000-04-03 20:13:55 +0000232 \seetext{The XML specification, published by the World Wide Web
233 Consortium (W3C), is available online at
234 \url{http://www.w3.org/TR/REC-xml}. References to
235 additional material on XML are available at
236 \url{http://www.w3.org/XML/}.}
237
Fred Drakec8c40ff1999-04-22 20:16:02 +0000238 \seetext{The Python XML Topic Guide provides a great deal of information
239 on using XML from Python and links to other sources of information
240 on XML. It's located on the Web at
241 \url{http://www.python.org/topics/xml/}.}
242
243 \seetext{The Python XML Special Interest Group is developing substantial
244 support for processing XML from Python. See
245 \url{http://www.python.org/sigs/xml-sig/} for more information.}
246\end{seealso}
247
248
Fred Drake34250111999-02-19 23:45:06 +0000249\subsection{XML Namespaces \label{xml-namespace}}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000250
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000251This module has support for XML namespaces as defined in the XML
252Namespaces proposed recommendation.
Fred Drake34250111999-02-19 23:45:06 +0000253\indexii{XML}{namespaces}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000254
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000255Tag and attribute names that are defined in an XML namespace are
256handled as if the name of the tag or element consisted of the
257namespace (i.e. the URL that defines the namespace) followed by a
258space and the name of the tag or attribute. For instance, the tag
259\code{<html xmlns='http://www.w3.org/TR/REC-html40'>} is treated as if
260the tag name was \code{'http://www.w3.org/TR/REC-html40 html'}, and
261the tag \code{<html:a href='http://frob.com'>} inside the above
262mentioned element is treated as if the tag name were
263\code{'http://www.w3.org/TR/REC-html40 a'} and the attribute name as
264if it were \code{'http://www.w3.org/TR/REC-html40 src'}.
Guido van Rossum02505e41998-01-29 14:55:24 +0000265
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000266An older draft of the XML Namespaces proposal is also recognized, but
267triggers a warning.