+
Point of view
All features
class XML_PARSER
Summary
top
The standard Liberty Eiffel XML parser. It is able to parse any well-formed WML document, and also can validate a document containing a DTD.
Note that this parser is not namespace-aware, nor does it validate documents using a Schema. Classes to that avail must be built on top of this parser.
See http://www.w3.org/TR/2006/REC-xml11-20060816/
See also XML_CALLBACKS which is called by this parser when a parsing event occurs.
Direct parents
Insert list: URL_VALIDITY, XML_PARSER_TOOLS
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
{}
{}
{}
{}
  • disconnect_buffer
  • url_pool: RECYCLING_POOL[URL]
    • {ANY}
    {}
    {ANY}
    {ANY}
    parse (a_callbacks: XML_CALLBACKS)
    effective procedure
    {ANY}
    top
    Parse an XML documents by sending parsing events to the given callbacks
    require
    connect_to (a_url: URL)
    effective procedure
    {ANY}
    top
    require ensure
    disconnect
    effective procedure
    {ANY}
    top
    require ensure
    is_connected: BOOLEAN
    effective function
    {ANY}
    top
    callbacks: XML_CALLBACKS
    writable attribute
    {}
    top
    url: URL
    writable attribute
    {}
    top
    set_url (a_url: URL)
    effective procedure
    {}
    top
    parse_node (at_root: BOOLEAN): INTEGER_32
    effective function
    {}
    top
    True if a node was successfully parsed
    require ensure
    read_name: UNICODE_STRING
    effective function
    {}
    top
    parse_attribute (a_buffer: UNICODE_PARSER_BUFFER): INTEGER_32
    effective function
    {}
    top
    if a_buffer if not Void and the attribute is "encoding", set the buffer's encoding.
    parse_children: INTEGER_32
    effective function
    {}
    top
    ensure
    read_cdata
    effective procedure
    {}
    top
    read_dtd
    effective procedure
    {}
    top
    require
    Parse_again: INTEGER_32
    is 0
    constant attribute
    {}
    top
    Parse_done: INTEGER_32
    is 1
    constant attribute
    {}
    top
    Parse_error: INTEGER_32
    is -1
    constant attribute
    {}
    top
    next
    effective procedure
    {}
    top
    require
    • buffer.is_connected
    • not end_of_input
    end_of_input: BOOLEAN
    effective function
    {}
    top
    require
    • buffer.is_connected
    effective function
    {}
    top
    ensure
    make
    effective procedure
    {}
    top
    Create a not connected parser
    dtd_parser: XML_DTD_PARSER
    once function
    {}
    top
    validator: XML_VALIDATOR
    effective function
    {}
    top
    open_buffers: STACK[XML_PARSER_BUFFER]
    writable attribute
    {}
    top
    urls: STACK[URL]
    writable attribute
    {}
    top
    once function
    {}
    top
    connect_buffer (a_url: URL, a_face_url: URL, a_entity_name: UNICODE_STRING)
    effective procedure
    {}
    top
    require
    • a_face_url /= Void implies a_entity_name /= Void
    ensure
    connect_buffer_entity_value (entity_name: UNICODE_STRING, entity_value: UNICODE_STRING, entity_url: UNICODE_STRING)
    effective procedure
    {}
    top
    require
    • entity_value /= Void
    disconnect_buffer
    effective procedure
    {}
    top
    require ensure
    url_pool: RECYCLING_POOL[URL]
    once function
    {}
    top
    line: INTEGER_32
    effective function
    {ANY}
    top
    column: INTEGER_32
    effective function
    {ANY}
    top
    skip_blanks
    effective procedure
    {}
    top
    require
    previous
    effective procedure
    {}
    top
    require
    current_character: INTEGER_32
    effective function
    {}
    top
    require
    skip (character: CHARACTER): BOOLEAN
    effective function
    {}
    top
    require
    skip2 (char1: CHARACTER, char2: CHARACTER): BOOLEAN
    effective function
    {}
    top
    require
    skip_word (word: STRING): BOOLEAN
    effective function
    {}
    top
    require
    • buffer.is_connected
    • not word.is_empty
    is_identifier_start (unicode: INTEGER_32): BOOLEAN
    effective function
    {}
    top
    require
    is_identifier_part (unicode: INTEGER_32): BOOLEAN
    effective function
    {}
    top
    require
    read_identifier: UNICODE_STRING
    effective function
    {}
    top
    require
    read_string: UNICODE_STRING
    effective function
    {}
    top
    require
    read_identifier_as_string: STRING
    effective function
    {}
    top
    require
    read_string_as_string: STRING
    effective function
    {}
    top
    require
    is_separator (unicode: INTEGER_32): BOOLEAN
    effective function
    {ANY}
    top
    is_base_char (unicode: INTEGER_32): BOOLEAN
    effective function
    {ANY}
    top
    is_ideographic (unicode: INTEGER_32): BOOLEAN
    effective function
    {ANY}
    top
    is_combining_char (unicode: INTEGER_32): BOOLEAN
    effective function
    {ANY}
    top
    is_extender (unicode: INTEGER_32): BOOLEAN
    effective function
    {ANY}
    top
    is_letter (unicode: INTEGER_32): BOOLEAN
    effective function
    {ANY}
    top
    is_digit (unicode: INTEGER_32): BOOLEAN
    effective function
    {ANY}
    top
    valid_url (a_url: ABSTRACT_STRING): BOOLEAN
    effective function
    {ANY}
    top
    True if the STRING represents a real URL (i.e. with a known protocol and a valid URI for that protocol)
    require
    • a_url /= Void