class XML_PARSER

All features

This parser is still rudimentary

Direct parents

non-conformant parents

ANY

Summary

creation features

exported features

Details

connect_to (a_stream: INPUT_STREAM)

require

  • a_stream.is_connected

make

Create a not connected parser

parse (a_callbacks: XML_CALLBACKS)
connect_to (a_stream: INPUT_STREAM)

require

  • a_stream.is_connected

Parse_again: INTEGER
Parse_done: INTEGER
Parse_error: INTEGER
stream: INPUT_STREAM
callbacks: XML_CALLBACKS
parse_node: INTEGER

True if a node was successfully parsed

ensure

  • {ARRAY[INTEGER] 1, << Parse_again, Parse_done, Parse_error >> }.has(Result)

read_name: STRING
parse_attribute: INTEGER
parse_children: INTEGER

ensure

  • {ARRAY[INTEGER] 1, << Parse_again, Parse_done, Parse_error >> }.has(Result)

skip_blanks
skip (character: CHARACTER): BOOLEAN
skip2 (char1: CHARACTER, char2: CHARACTER): BOOLEAN
read_identifier: STRING
read_string: STRING
make

Create a not connected parser