deferred class XML_CALLBACKS

Features exported to XML_PARSER

Used by XML_PARSER to implement XML callbacks

CAVEAT: expect those features to always receive the same STRING object with different values. You should take care of twinning the object if you want to keep it.

Direct parents

non-conformant parents

ANY

Known children

conformant children

XML_OBJECT_LOADER, XML_REPOSITORY, XML_TREE, XML_WORLD_LOADER

Summary

exported features

Details

deferred 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

deferred open_node (node_name: STRING)

require

  • node_name /= Void

ensure

  • current_node.is_equal(node_name)

deferred close_node (node_name: STRING)

require

  • current_node.is_equal(node_name)

deferred open_close_node (node_name: STRING)

require

  • node_name /= Void

deferred current_node: STRING
deferred data (a_data: STRING)

require

  • a_data /= Void

deferred parse_error