blob: 62fb26b7465bcb178edd8b192baccf69bdd067f0 [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 Drake46479d32000-08-11 20:34:27 +0000104This\index{DOCTYPE declaration} method is called when the
105\samp{<!DOCTYPE...>} declaration is processed. The arguments are the
106tag name of the root element, the Formal Public\index{Formal Public
107Identifier} Identifier (or \code{None} if not specified), the system
108identifier, and the uninterpreted contents of the internal DTD subset
109as a string (or \code{None} if not present).
Fred Drakefc576191998-04-04 07:15:02 +0000110\end{methoddesc}
Guido van Rossum02505e41998-01-29 14:55:24 +0000111
Fred Drakefc576191998-04-04 07:15:02 +0000112\begin{methoddesc}{handle_starttag}{tag, method, attributes}
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000113This method is called to handle start tags for which a start tag
114handler is defined in the instance variable \member{elements}. The
Fred Drake46479d32000-08-11 20:34:27 +0000115\var{tag} argument is the name of the tag, and the
116\var{method} argument is the function (method) which should be used to
117support semantic interpretation of the start tag. The
118\var{attributes} argument is a dictionary of attributes, the key being
119the \var{name} and the value being the \var{value} of the attribute
120found inside the tag's \code{<>} brackets. Character and entity
121references in the \var{value} have been interpreted. For instance,
122for the start tag \code{<A HREF="http://www.cwi.nl/">}, this method
123would be called as \code{handle_starttag('A', self.elements['A'][0],
124\{'HREF': 'http://www.cwi.nl/'\})}. The base implementation simply
125calls \var{method} with \var{attributes} as the only argument.
Fred Drakefc576191998-04-04 07:15:02 +0000126\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000127
Fred Drakefc576191998-04-04 07:15:02 +0000128\begin{methoddesc}{handle_endtag}{tag, method}
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000129This method is called to handle endtags for which an end tag handler
130is defined in the instance variable \member{elements}. The \var{tag}
131argument is the name of the tag, and the \var{method} argument is the
132function (method) which should be used to support semantic
133interpretation of the end tag. For instance, for the endtag
134\code{</A>}, this method would be called as \code{handle_endtag('A',
135self.elements['A'][1])}. The base implementation simply calls
Fred Drake3b5da761998-03-12 15:33:05 +0000136\var{method}.
Fred Drakefc576191998-04-04 07:15:02 +0000137\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000138
Fred Drakefc576191998-04-04 07:15:02 +0000139\begin{methoddesc}{handle_data}{data}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000140This method is called to process arbitrary data. It is intended to be
141overridden by a derived class; the base class implementation does
142nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000143\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000144
Fred Drakefc576191998-04-04 07:15:02 +0000145\begin{methoddesc}{handle_charref}{ref}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000146This method is called to process a character reference of the form
Fred Drake7f6e2c41998-02-13 14:38:23 +0000147\samp{\&\#\var{ref};}. \var{ref} can either be a decimal number,
Fred Drakefc576191998-04-04 07:15:02 +0000148or a hexadecimal number when preceded by an \character{x}.
Guido van Rossuma10768a1997-11-18 15:11:22 +0000149In the base implementation, \var{ref} must be a number in the
150range 0-255. It translates the character to \ASCII{} and calls the
Fred Drake3b5da761998-03-12 15:33:05 +0000151method \method{handle_data()} with the character as argument. If
Guido van Rossuma10768a1997-11-18 15:11:22 +0000152\var{ref} is invalid or out of range, the method
153\code{unknown_charref(\var{ref})} is called to handle the error. A
154subclass must override this method to provide support for character
155references outside of the \ASCII{} range.
Fred Drakefc576191998-04-04 07:15:02 +0000156\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000157
Fred Drakefc576191998-04-04 07:15:02 +0000158\begin{methoddesc}{handle_comment}{comment}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000159This method is called when a comment is encountered. The
Fred Drake3b5da761998-03-12 15:33:05 +0000160\var{comment} argument is a string containing the text between the
Fred Drake7f6e2c41998-02-13 14:38:23 +0000161\samp{<!--} and \samp{-->} delimiters, but not the delimiters
162themselves. For example, the comment \samp{<!--text-->} will
Guido van Rossuma10768a1997-11-18 15:11:22 +0000163cause this method to be called with the argument \code{'text'}. The
164default method does nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000165\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000166
Fred Drakefc576191998-04-04 07:15:02 +0000167\begin{methoddesc}{handle_cdata}{data}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000168This method is called when a CDATA element is encountered. The
Fred Drake3b5da761998-03-12 15:33:05 +0000169\var{data} argument is a string containing the text between the
Fred Drake7f6e2c41998-02-13 14:38:23 +0000170\samp{<![CDATA[} and \samp{]]>} delimiters, but not the delimiters
171themselves. For example, the entity \samp{<![CDATA[text]]>} will
Guido van Rossuma10768a1997-11-18 15:11:22 +0000172cause this method to be called with the argument \code{'text'}. The
Fred Drake3b5da761998-03-12 15:33:05 +0000173default method does nothing, and is intended to be overridden.
Fred Drakefc576191998-04-04 07:15:02 +0000174\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000175
Fred Drakefc576191998-04-04 07:15:02 +0000176\begin{methoddesc}{handle_proc}{name, data}
Fred Drake3b5da761998-03-12 15:33:05 +0000177This method is called when a processing instruction (PI) is
178encountered. The \var{name} is the PI target, and the \var{data}
179argument is a string containing the text between the PI target and the
180closing delimiter, but not the delimiter itself. For example, the
181instruction \samp{<?XML text?>} will cause this method to be called
182with the arguments \code{'XML'} and \code{'text'}. The default method
Fred Drakefc576191998-04-04 07:15:02 +0000183does nothing. Note that if a document starts with \samp{<?xml
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000184..?>}, \method{handle_xml()} is called to handle it.
Fred Drakefc576191998-04-04 07:15:02 +0000185\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000186
Fred Drakefc576191998-04-04 07:15:02 +0000187\begin{methoddesc}{handle_special}{data}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000188This method is called when a declaration is encountered. The
Fred Drake3b5da761998-03-12 15:33:05 +0000189\var{data} argument is a string containing the text between the
Fred Drake7f6e2c41998-02-13 14:38:23 +0000190\samp{<!} and \samp{>} delimiters, but not the delimiters
Fred Drake46479d32000-08-11 20:34:27 +0000191themselves. For example, the \index{ENTITY declaration}entity
192declaration \samp{<!ENTITY text>} will cause this method to be called
193with the argument \code{'ENTITY text'}. The default method does
194nothing. Note that \samp{<!DOCTYPE ...>} is handled separately if it
195is located at the start of the document.
Fred Drakefc576191998-04-04 07:15:02 +0000196\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000197
Fred Drakefc576191998-04-04 07:15:02 +0000198\begin{methoddesc}{syntax_error}{message}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000199This method is called when a syntax error is encountered. The
Fred Drake3b5da761998-03-12 15:33:05 +0000200\var{message} is a description of what was wrong. The default method
201raises a \exception{RuntimeError} exception. If this method is
Thomas Woutersf8316632000-07-16 19:01:10 +0000202overridden, it is permissible for it to return. This method is only
Fred Drake3b5da761998-03-12 15:33:05 +0000203called when the error can be recovered from. Unrecoverable errors
204raise a \exception{RuntimeError} without first calling
205\method{syntax_error()}.
Fred Drakefc576191998-04-04 07:15:02 +0000206\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000207
Fred Drakefc576191998-04-04 07:15:02 +0000208\begin{methoddesc}{unknown_starttag}{tag, attributes}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000209This method is called to process an unknown start tag. It is intended
210to be overridden by a derived class; the base class implementation
211does nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000212\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000213
Fred Drakefc576191998-04-04 07:15:02 +0000214\begin{methoddesc}{unknown_endtag}{tag}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000215This method is called to process an unknown end tag. It is intended
216to be overridden by a derived class; the base class implementation
217does nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000218\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000219
Fred Drakefc576191998-04-04 07:15:02 +0000220\begin{methoddesc}{unknown_charref}{ref}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000221This method is called to process unresolvable numeric character
222references. It is intended to be overridden by a derived class; the
223base class implementation does nothing.
Fred Drakefc576191998-04-04 07:15:02 +0000224\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000225
Fred Drakefc576191998-04-04 07:15:02 +0000226\begin{methoddesc}{unknown_entityref}{ref}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000227This method is called to process an unknown entity reference. It is
228intended to be overridden by a derived class; the base class
Guido van Rossume7f19201999-08-26 15:57:44 +0000229implementation calls \method{syntax_error()} to signal an error.
Fred Drakefc576191998-04-04 07:15:02 +0000230\end{methoddesc}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000231
Fred Drake34250111999-02-19 23:45:06 +0000232
Fred Drakec8c40ff1999-04-22 20:16:02 +0000233\begin{seealso}
Fred Drake38e5d272000-04-03 20:13:55 +0000234 \seetext{The XML specification, published by the World Wide Web
235 Consortium (W3C), is available online at
236 \url{http://www.w3.org/TR/REC-xml}. References to
237 additional material on XML are available at
238 \url{http://www.w3.org/XML/}.}
239
Fred Drakec8c40ff1999-04-22 20:16:02 +0000240 \seetext{The Python XML Topic Guide provides a great deal of information
241 on using XML from Python and links to other sources of information
242 on XML. It's located on the Web at
243 \url{http://www.python.org/topics/xml/}.}
244
245 \seetext{The Python XML Special Interest Group is developing substantial
246 support for processing XML from Python. See
247 \url{http://www.python.org/sigs/xml-sig/} for more information.}
248\end{seealso}
249
250
Fred Drake34250111999-02-19 23:45:06 +0000251\subsection{XML Namespaces \label{xml-namespace}}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000252
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000253This module has support for XML namespaces as defined in the XML
254Namespaces proposed recommendation.
Fred Drake34250111999-02-19 23:45:06 +0000255\indexii{XML}{namespaces}
Guido van Rossuma10768a1997-11-18 15:11:22 +0000256
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000257Tag and attribute names that are defined in an XML namespace are
258handled as if the name of the tag or element consisted of the
259namespace (i.e. the URL that defines the namespace) followed by a
260space and the name of the tag or attribute. For instance, the tag
261\code{<html xmlns='http://www.w3.org/TR/REC-html40'>} is treated as if
262the tag name was \code{'http://www.w3.org/TR/REC-html40 html'}, and
263the tag \code{<html:a href='http://frob.com'>} inside the above
264mentioned element is treated as if the tag name were
265\code{'http://www.w3.org/TR/REC-html40 a'} and the attribute name as
266if it were \code{'http://www.w3.org/TR/REC-html40 src'}.
Guido van Rossum02505e41998-01-29 14:55:24 +0000267
Guido van Rossumb083a9f1998-12-18 20:17:13 +0000268An older draft of the XML Namespaces proposal is also recognized, but
269triggers a warning.