+
Point of view
All features
class XML_DATA_NODE
Summary
top
A leaf node containing data
Direct parents
Inherit list: XML_NODE
Class invariant
top
Overview
top
Creation features
{XML_TREE}
Features
{ANY}
{ANY}
{}
{ANY}
{XML_COMPOSITE_NODE}
writable attribute
{ANY}
top
Data in the node
accept (visitor: VISITOR)
effective procedure
{ANY}
top
Accept to be visited by the visitor.
require
  • visitor /= Void
make (a_data: UNICODE_STRING, a_line: INTEGER_32, a_column: INTEGER_32)
effective procedure
{}
top
require
  • a_data /= Void
  • a_line > 0
  • a_column > 0
line: INTEGER_32
writable attribute
{ANY}
top
The position of the node in its source file
column: INTEGER_32
writable attribute
{ANY}
top
The position of the node in its source file
writable attribute
{ANY}
top
The parent of the node, Void if it is the root
set_parent (a_parent: XML_COMPOSITE_NODE)
effective procedure
{XML_COMPOSITE_NODE}
top
require
  • a_parent /= Void
ensure