class XML_TREE

Features exported to XML_PARSER

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

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