:mod:`xml.parsers.expat` --- Fast XML parsing using Expat ========================================================= .. module:: xml.parsers.expat :synopsis: An interface to the Expat non-validating XML parser. .. moduleauthor:: Paul Prescod .. Markup notes: Many of the attributes of the XMLParser objects are callbacks. Since signature information must be presented, these are described using the method directive. Since they are attributes which are set by client code, in-text references to these attributes should be marked using the :member: role. .. warning:: The :mod:`pyexpat` module is not secure against maliciously constructed data. If you need to parse untrusted or unauthenticated data see :ref:`xml-vulnerabilities`. .. versionadded:: 2.0 .. index:: single: Expat The :mod:`xml.parsers.expat` module is a Python interface to the Expat non-validating XML parser. The module provides a single extension type, :class:`xmlparser`, that represents the current state of an XML parser. After an :class:`xmlparser` object has been created, various attributes of the object can be set to handler functions. When an XML document is then fed to the parser, the handler functions are called for the character data and markup in the XML document. .. index:: module: pyexpat This module uses the :mod:`pyexpat` module to provide access to the Expat parser. Direct use of the :mod:`pyexpat` module is deprecated. This module provides one exception and one type object: .. exception:: ExpatError The exception raised when Expat reports an error. See section :ref:`expaterror-objects` for more information on interpreting Expat errors. .. exception:: error Alias for :exc:`ExpatError`. .. data:: XMLParserType The type of the return values from the :func:`ParserCreate` function. The :mod:`xml.parsers.expat` module contains two functions: .. function:: ErrorString(errno) Returns an explanatory string for a given error number *errno*. .. function:: ParserCreate([encoding[, namespace_separator]]) Creates and returns a new :class:`xmlparser` object. *encoding*, if specified, must be a string naming the encoding used by the XML data. Expat doesn't support as many encodings as Python does, and its repertoire of encodings can't be extended; it supports UTF-8, UTF-16, ISO-8859-1 (Latin1), and ASCII. If *encoding* [1]_ is given it will override the implicit or explicit encoding of the document. Expat can optionally do XML namespace processing for you, enabled by providing a value for *namespace_separator*. The value must be a one-character string; a :exc:`ValueError` will be raised if the string has an illegal length (``None`` is considered the same as omission). When namespace processing is enabled, element type names and attribute names that belong to a namespace will be expanded. The element name passed to the element handlers :attr:`StartElementHandler` and :attr:`EndElementHandler` will be the concatenation of the namespace URI, the namespace separator character, and the local part of the name. If the namespace separator is a zero byte (``chr(0)``) then the namespace URI and the local part will be concatenated without any separator. For example, if *namespace_separator* is set to a space character (``' '``) and the following document is parsed:: :attr:`StartElementHandler` will receive the following strings for each element:: http://default-namespace.org/ root http://www.python.org/ns/ elem1 elem2 .. seealso:: `The Expat XML Parser `_ Home page of the Expat project. .. _xmlparser-objects: XMLParser Objects ----------------- :class:`xmlparser` objects have the following methods: .. method:: xmlparser.Parse(data[, isfinal]) Parses the contents of the string *data*, calling the appropriate handler functions to process the parsed data. *isfinal* must be true on the final call to this method. *data* can be the empty string at any time. .. method:: xmlparser.ParseFile(file) Parse XML data reading from the object *file*. *file* only needs to provide the ``read(nbytes)`` method, returning the empty string when there's no more data. .. method:: xmlparser.SetBase(base) Sets the base to be used for resolving relative URIs in system identifiers in declarations. Resolving relative identifiers is left to the application: this value will be passed through as the *base* argument to the :func:`ExternalEntityRefHandler`, :func:`NotationDeclHandler`, and :func:`UnparsedEntityDeclHandler` functions. .. method:: xmlparser.GetBase() Returns a string containing the base set by a previous call to :meth:`SetBase`, or ``None`` if :meth:`SetBase` hasn't been called. .. method:: xmlparser.GetInputContext() Returns the input data that generated the current event as a string. The data is in the encoding of the entity which contains the text. When called while an event handler is not active, the return value is ``None``. .. versionadded:: 2.1 .. method:: xmlparser.ExternalEntityParserCreate(context[, encoding]) Create a "child" parser which can be used to parse an external parsed entity referred to by content parsed by the parent parser. The *context* parameter should be the string passed to the :meth:`ExternalEntityRefHandler` handler function, described below. The child parser is created with the :attr:`ordered_attributes`, :attr:`returns_unicode` and :attr:`specified_attributes` set to the values of this parser. .. method:: xmlparser.SetParamEntityParsing(flag) Control parsing of parameter entities (including the external DTD subset). Possible *flag* values are :const:`XML_PARAM_ENTITY_PARSING_NEVER`, :const:`XML_PARAM_ENTITY_PARSING_UNLESS_STANDALONE` and :const:`XML_PARAM_ENTITY_PARSING_ALWAYS`. Return true if setting the flag was successful. .. method:: xmlparser.UseForeignDTD([flag]) Calling this with a true value for *flag* (the default) will cause Expat to call the :attr:`ExternalEntityRefHandler` with :const:`None` for all arguments to allow an alternate DTD to be loaded. If the document does not contain a document type declaration, the :attr:`ExternalEntityRefHandler` will still be called, but the :attr:`StartDoctypeDeclHandler` and :attr:`EndDoctypeDeclHandler` will not be called. Passing a false value for *flag* will cancel a previous call that passed a true value, but otherwise has no effect. This method can only be called before the :meth:`Parse` or :meth:`ParseFile` methods are called; calling it after either of those have been called causes :exc:`ExpatError` to be raised with the :attr:`code` attribute set to :const:`errors.XML_ERROR_CANT_CHANGE_FEATURE_ONCE_PARSING`. .. versionadded:: 2.3 :class:`xmlparser` objects have the following attributes: .. attribute:: xmlparser.buffer_size The size of the buffer used when :attr:`buffer_text` is true. A new buffer size can be set by assigning a new integer value to this attribute. When the size is changed, the buffer will be flushed. .. versionadded:: 2.3 .. versionchanged:: 2.6 The buffer size can now be changed. .. attribute:: xmlparser.buffer_text Setting this to true causes the :class:`xmlparser` object to buffer textual content returned by Expat to avoid multiple calls to the :meth:`CharacterDataHandler` callback whenever possible. This can improve performance substantially since Expat normally breaks character data into chunks at every line ending. This attribute is false by default, and may be changed at any time. .. versionadded:: 2.3 .. attribute:: xmlparser.buffer_used If :attr:`buffer_text` is enabled, the number of bytes stored in the buffer. These bytes represent UTF-8 encoded text. This attribute has no meaningful interpretation when :attr:`buffer_text` is false. .. versionadded:: 2.3 .. attribute:: xmlparser.ordered_attributes Setting this attribute to a non-zero integer causes the attributes to be reported as a list rather than a dictionary. The attributes are presented in the order found in the document text. For each attribute, two list entries are presented: the attribute name and the attribute value. (Older versions of this module also used this format.) By default, this attribute is false; it may be changed at any time. .. versionadded:: 2.1 .. attribute:: xmlparser.returns_unicode If this attribute is set to a non-zero integer, the handler functions will be passed Unicode strings. If :attr:`returns_unicode` is :const:`False`, 8-bit strings containing UTF-8 encoded data will be passed to the handlers. This is :const:`True` by default when Python is built with Unicode support. .. versionchanged:: 1.6 Can be changed at any time to affect the result type. .. attribute:: xmlparser.specified_attributes If set to a non-zero integer, the parser will report only those attributes which were specified in the document instance and not those which were derived from attribute declarations. Applications which set this need to be especially careful to use what additional information is available from the declarations as needed to comply with the standards for the behavior of XML processors. By default, this attribute is false; it may be changed at any time. .. versionadded:: 2.1 The following attributes contain values relating to the most recent error encountered by an :class:`xmlparser` object, and will only have correct values once a call to :meth:`Parse` or :meth:`ParseFile` has raised a :exc:`xml.parsers.expat.ExpatError` exception. .. attribute:: xmlparser.ErrorByteIndex Byte index at which an error occurred. .. attribute:: xmlparser.ErrorCode Numeric code specifying the problem. This value can be passed to the :func:`ErrorString` function, or compared to one of the constants defined in the ``errors`` object. .. attribute:: xmlparser.ErrorColumnNumber Column number at which an error occurred. .. attribute:: xmlparser.ErrorLineNumber Line number at which an error occurred. The following attributes contain values relating to the current parse location in an :class:`xmlparser` object. During a callback reporting a parse event they indicate the location of the first of the sequence of characters that generated the event. When called outside of a callback, the position indicated will be just past the last parse event (regardless of whether there was an associated callback). .. versionadded:: 2.4 .. attribute:: xmlparser.CurrentByteIndex Current byte index in the parser input. .. attribute:: xmlparser.CurrentColumnNumber Current column number in the parser input. .. attribute:: xmlparser.CurrentLineNumber Current line number in the parser input. Here is the list of handlers that can be set. To set a handler on an :class:`xmlparser` object *o*, use ``o.handlername = func``. *handlername* must be taken from the following list, and *func* must be a callable object accepting the correct number of arguments. The arguments are all strings, unless otherwise stated. .. method:: xmlparser.XmlDeclHandler(version, encoding, standalone) Called when the XML declaration is parsed. The XML declaration is the (optional) declaration of the applicable version of the XML recommendation, the encoding of the document text, and an optional "standalone" declaration. *version* and *encoding* will be strings of the type dictated by the :attr:`returns_unicode` attribute, and *standalone* will be ``1`` if the document is declared standalone, ``0`` if it is declared not to be standalone, or ``-1`` if the standalone clause was omitted. This is only available with Expat version 1.95.0 or newer. .. versionadded:: 2.1 .. method:: xmlparser.StartDoctypeDeclHandler(doctypeName, systemId, publicId, has_internal_subset) Called when Expat begins parsing the document type declaration (``'``. .. method:: xmlparser.StartCdataSectionHandler() Called at the start of a CDATA section. This and :attr:`EndCdataSectionHandler` are needed to be able to identify the syntactical start and end for CDATA sections. .. method:: xmlparser.EndCdataSectionHandler() Called at the end of a CDATA section. .. method:: xmlparser.DefaultHandler(data) Called for any characters in the XML document for which no applicable handler has been specified. This means characters that are part of a construct which could be reported, but for which no handler has been supplied. .. method:: xmlparser.DefaultHandlerExpand(data) This is the same as the :func:`DefaultHandler`, but doesn't inhibit expansion of internal entities. The entity reference will not be passed to the default handler. .. method:: xmlparser.NotStandaloneHandler() Called if the XML document hasn't been declared as being a standalone document. This happens when there is an external subset or a reference to a parameter entity, but the XML declaration does not set standalone to ``yes`` in an XML declaration. If this handler returns ``0``, then the parser will raise an :const:`XML_ERROR_NOT_STANDALONE` error. If this handler is not set, no exception is raised by the parser for this condition. .. method:: xmlparser.ExternalEntityRefHandler(context, base, systemId, publicId) Called for references to external entities. *base* is the current base, as set by a previous call to :meth:`SetBase`. The public and system identifiers, *systemId* and *publicId*, are strings if given; if the public identifier is not given, *publicId* will be ``None``. The *context* value is opaque and should only be used as described below. For external entities to be parsed, this handler must be implemented. It is responsible for creating the sub-parser using ``ExternalEntityParserCreate(context)``, initializing it with the appropriate callbacks, and parsing the entity. This handler should return an integer; if it returns ``0``, the parser will raise an :const:`XML_ERROR_EXTERNAL_ENTITY_HANDLING` error, otherwise parsing will continue. If this handler is not provided, external entities are reported by the :attr:`DefaultHandler` callback, if provided. .. _expaterror-objects: ExpatError Exceptions --------------------- .. sectionauthor:: Fred L. Drake, Jr. :exc:`ExpatError` exceptions have a number of interesting attributes: .. attribute:: ExpatError.code Expat's internal error number for the specific error. This will match one of the constants defined in the ``errors`` object from this module. .. versionadded:: 2.1 .. attribute:: ExpatError.lineno Line number on which the error was detected. The first line is numbered ``1``. .. versionadded:: 2.1 .. attribute:: ExpatError.offset Character offset into the line where the error occurred. The first column is numbered ``0``. .. versionadded:: 2.1 .. _expat-example: Example ------- The following program defines three handlers that just print out their arguments. :: import xml.parsers.expat # 3 handler functions def start_element(name, attrs): print 'Start element:', name, attrs def end_element(name): print 'End element:', name def char_data(data): print 'Character data:', repr(data) p = xml.parsers.expat.ParserCreate() p.StartElementHandler = start_element p.EndElementHandler = end_element p.CharacterDataHandler = char_data p.Parse(""" Text goes here More text """, 1) The output from this program is:: Start element: parent {'id': 'top'} Start element: child1 {'name': 'paul'} Character data: 'Text goes here' End element: child1 Character data: '\n' Start element: child2 {'name': 'fred'} Character data: 'More text' End element: child2 Character data: '\n' End element: parent .. _expat-content-models: Content Model Descriptions -------------------------- .. sectionauthor:: Fred L. Drake, Jr. Content modules are described using nested tuples. Each tuple contains four values: the type, the quantifier, the name, and a tuple of children. Children are simply additional content module descriptions. The values of the first two fields are constants defined in the ``model`` object of the :mod:`xml.parsers.expat` module. These constants can be collected in two groups: the model type group and the quantifier group. The constants in the model type group are: .. data:: XML_CTYPE_ANY :noindex: The element named by the model name was declared to have a content model of ``ANY``. .. data:: XML_CTYPE_CHOICE :noindex: The named element allows a choice from a number of options; this is used for content models such as ``(A | B | C)``. .. data:: XML_CTYPE_EMPTY :noindex: Elements which are declared to be ``EMPTY`` have this model type. .. data:: XML_CTYPE_MIXED :noindex: .. data:: XML_CTYPE_NAME :noindex: .. data:: XML_CTYPE_SEQ :noindex: Models which represent a series of models which follow one after the other are indicated with this model type. This is used for models such as ``(A, B, C)``. The constants in the quantifier group are: .. data:: XML_CQUANT_NONE :noindex: No modifier is given, so it can appear exactly once, as for ``A``. .. data:: XML_CQUANT_OPT :noindex: The model is optional: it can appear once or not at all, as for ``A?``. .. data:: XML_CQUANT_PLUS :noindex: The model must occur one or more times (like ``A+``). .. data:: XML_CQUANT_REP :noindex: The model must occur zero or more times, as for ``A*``. .. _expat-errors: Expat error constants --------------------- The following constants are provided in the ``errors`` object of the :mod:`xml.parsers.expat` module. These constants are useful in interpreting some of the attributes of the :exc:`ExpatError` exception objects raised when an error has occurred. The ``errors`` object has the following attributes: .. data:: XML_ERROR_ASYNC_ENTITY :noindex: .. data:: XML_ERROR_ATTRIBUTE_EXTERNAL_ENTITY_REF :noindex: An entity reference in an attribute value referred to an external entity instead of an internal entity. .. data:: XML_ERROR_BAD_CHAR_REF :noindex: A character reference referred to a character which is illegal in XML (for example, character ``0``, or '``�``'). .. data:: XML_ERROR_BINARY_ENTITY_REF :noindex: An entity reference referred to an entity which was declared with a notation, so cannot be parsed. .. data:: XML_ERROR_DUPLICATE_ATTRIBUTE :noindex: An attribute was used more than once in a start tag. .. data:: XML_ERROR_INCORRECT_ENCODING :noindex: .. data:: XML_ERROR_INVALID_TOKEN :noindex: Raised when an input byte could not properly be assigned to a character; for example, a NUL byte (value ``0``) in a UTF-8 input stream. .. data:: XML_ERROR_JUNK_AFTER_DOC_ELEMENT :noindex: Something other than whitespace occurred after the document element. .. data:: XML_ERROR_MISPLACED_XML_PI :noindex: An XML declaration was found somewhere other than the start of the input data. .. data:: XML_ERROR_NO_ELEMENTS :noindex: The document contains no elements (XML requires all documents to contain exactly one top-level element).. .. data:: XML_ERROR_NO_MEMORY :noindex: Expat was not able to allocate memory internally. .. data:: XML_ERROR_PARAM_ENTITY_REF :noindex: A parameter entity reference was found where it was not allowed. .. data:: XML_ERROR_PARTIAL_CHAR :noindex: An incomplete character was found in the input. .. data:: XML_ERROR_RECURSIVE_ENTITY_REF :noindex: An entity reference contained another reference to the same entity; possibly via a different name, and possibly indirectly. .. data:: XML_ERROR_SYNTAX :noindex: Some unspecified syntax error was encountered. .. data:: XML_ERROR_TAG_MISMATCH :noindex: An end tag did not match the innermost open start tag. .. data:: XML_ERROR_UNCLOSED_TOKEN :noindex: Some token (such as a start tag) was not closed before the end of the stream or the next token was encountered. .. data:: XML_ERROR_UNDEFINED_ENTITY :noindex: A reference was made to a entity which was not defined. .. data:: XML_ERROR_UNKNOWN_ENCODING :noindex: The document encoding is not supported by Expat. .. data:: XML_ERROR_UNCLOSED_CDATA_SECTION :noindex: A CDATA marked section was not closed. .. data:: XML_ERROR_EXTERNAL_ENTITY_HANDLING :noindex: .. data:: XML_ERROR_NOT_STANDALONE :noindex: The parser determined that the document was not "standalone" though it declared itself to be in the XML declaration, and the :attr:`NotStandaloneHandler` was set and returned ``0``. .. data:: XML_ERROR_UNEXPECTED_STATE :noindex: .. data:: XML_ERROR_ENTITY_DECLARED_IN_PE :noindex: .. data:: XML_ERROR_FEATURE_REQUIRES_XML_DTD :noindex: An operation was requested that requires DTD support to be compiled in, but Expat was configured without DTD support. This should never be reported by a standard build of the :mod:`xml.parsers.expat` module. .. data:: XML_ERROR_CANT_CHANGE_FEATURE_ONCE_PARSING :noindex: A behavioral change was requested after parsing started that can only be changed before parsing has started. This is (currently) only raised by :meth:`UseForeignDTD`. .. data:: XML_ERROR_UNBOUND_PREFIX :noindex: An undeclared prefix was found when namespace processing was enabled. .. data:: XML_ERROR_UNDECLARING_PREFIX :noindex: The document attempted to remove the namespace declaration associated with a prefix. .. data:: XML_ERROR_INCOMPLETE_PE :noindex: A parameter entity contained incomplete markup. .. data:: XML_ERROR_XML_DECL :noindex: The document contained no document element at all. .. data:: XML_ERROR_TEXT_DECL :noindex: There was an error parsing a text declaration in an external entity. .. data:: XML_ERROR_PUBLICID :noindex: Characters were found in the public id that are not allowed. .. data:: XML_ERROR_SUSPENDED :noindex: The requested operation was made on a suspended parser, but isn't allowed. This includes attempts to provide additional input or to stop the parser. .. data:: XML_ERROR_NOT_SUSPENDED :noindex: An attempt to resume the parser was made when the parser had not been suspended. .. data:: XML_ERROR_ABORTED :noindex: This should not be reported to Python applications. .. data:: XML_ERROR_FINISHED :noindex: The requested operation was made on a parser which was finished parsing input, but isn't allowed. This includes attempts to provide additional input or to stop the parser. .. data:: XML_ERROR_SUSPEND_PE :noindex: .. rubric:: Footnotes .. [#] The encoding string included in XML output should conform to the appropriate standards. For example, "UTF-8" is valid, but "UTF8" is not. See http://www.w3.org/TR/2006/REC-xml11-20060816/#NT-EncodingDecl and http://www.iana.org/assignments/character-sets\ .