class XML_NODE

Features exported to INTERNALS_HANDLER

A node in an XML_TREE

Direct parents

non-conformant parents

ANY

Summary

creation features

exported features

Details

name: STRING

The name of the node

attribute_name (index: INTEGER): STRING

The name of the i'th attribute

require

  • index.in_range(1, attributes_count)

attribute_value (index: INTEGER): STRING

The value of the i'th attribute

require

  • index.in_range(1, attributes_count)

attribute (a_attribute_name: STRING): STRING

The value of the attribute given by its name; Void if not set

attributes_count: INTEGER

The number of attributes

child (index: INTEGER): XML_NODE

The i'th child

require

  • index.in_range(1, children_count)

children_count: INTEGER

The number of children

parent: XML_NODE

The parent of the node, Void if it is the root

data: STRING

Data in the node, if there is some.

Class invariant