+
Point of view
All features
class XMLNS_COMPOSITE_NODE
Summary
top
A node in an XMLNS_TREE
Direct parents
Inherit list: XMLNS_NODE
Class invariant
top
Overview
top
Creation features
{XMLNS_TREE}
Features
{ANY}
{ANY}
{XMLNS_TREE}
{}
{ANY}
  • line: INTEGER_32
    The position of the node in its source file
  • column: INTEGER_32
    The position of the node in its source file
  • parent: XMLNS_COMPOSITE_NODE
    The parent of the node, Void if it is the root
{XMLNS_COMPOSITE_NODE}
namespace: UNICODE_STRING
writable attribute
{ANY}
top
The namespace of the node
writable attribute
{ANY}
top
The name of the node
attribute_namespace (index: INTEGER_32): UNICODE_STRING
effective function
{ANY}
top
The namespace of the i'th attribute
require
attribute_name (index: INTEGER_32): UNICODE_STRING
effective function
{ANY}
top
The name of the i'th attribute
require
attribute_value (index: INTEGER_32): UNICODE_STRING
effective function
{ANY}
top
The value of the i'th attribute
require
attribute_at (a_attribute_namespace: UNICODE_STRING, a_attribute_name: UNICODE_STRING): UNICODE_STRING
effective function
{ANY}
top
The value of the attribute given by its name; Void if not set
attributes_count: INTEGER_32
effective function
{ANY}
top
The number of attributes
child (index: INTEGER_32): XMLNS_NODE
effective function
{ANY}
top
The i'th child
require
children_count: INTEGER_32
effective function
{ANY}
top
The number of children
accept (visitor: VISITOR)
effective procedure
{ANY}
top
Accept to be visited by the visitor.
require
  • visitor /= Void
set_attribute (a_attribute_namespace: UNICODE_STRING, a_attribute_name: UNICODE_STRING, a_attribute_value: UNICODE_STRING)
effective procedure
{XMLNS_TREE}
top
require
  • a_attribute_name /= Void
  • a_attribute_value /= Void
ensure
  • attribute_at(a_attribute_namespace, a_attribute_name) = a_attribute_value
add_child (node: XMLNS_NODE)
effective procedure
{XMLNS_TREE}
top
require
  • node /= Void
  • node.parent = Void
ensure
writable attribute
{}
top
no_namespace_attributes: HASHED_DICTIONARY[UNICODE_STRING, UNICODE_STRING]
writable attribute
{}
top
writable attribute
{}
top
make (a_namespace: UNICODE_STRING, a_name: UNICODE_STRING, a_line: INTEGER_32, a_column: INTEGER_32)
effective procedure
{}
top
require
  • a_name /= 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
parent: XMLNS_COMPOSITE_NODE
writable attribute
{ANY}
top
The parent of the node, Void if it is the root
set_parent (a_parent: XMLNS_COMPOSITE_NODE)
effective procedure
{XMLNS_COMPOSITE_NODE}
top
require
  • a_parent /= Void
ensure