class XML_TREE

All features

DOM-like representation of an XML tree

Direct parents

conformant parents

XML_CALLBACKS

Summary

creation features

exported features

Details

make (in: INPUT_STREAM)

read the xml tree in the given input stream

require

  • in.is_connected

root: XML_NODE

The root of the tree

attributes: DICTIONARY [V_, K_][STRINGSTRING]
open_nodes: STACK [E_][XML_NODE]
with_attribute (attribute_name: STRING, attribute_value: STRING)

To be called to add all the attributed of a node BEFORE calling open_node

require

  • attribute_name /= Void
  • attribute_value /= Void

open_node (node_name: STRING)

require

  • node_name /= Void

ensure

  • current_node.is_equal(node_name)

close_node (node_name: STRING)

require

  • current_node.is_equal(node_name)

open_close_node (node_name: STRING)

require

  • node_name /= Void

current_node: STRING
data (a_data: STRING)

require

  • a_data /= Void

parse_error
make (in: INPUT_STREAM)

read the xml tree in the given input stream

require

  • in.is_connected

parser: XML_PARSER