home
wiki
classes/clusters list
class information
+
Point of view
XML_DTD_ELEMENT
ANY
XML_DTD_NODE
XML_DTD_ELEMENT
XML_DTD_VALIDATOR
RECYCLING_POOL
INTERNALS_HANDLER
All features
class XML_DTD_NODE
Summary
top
A real node read from the XML stream.
Direct parents
insert list:
RECYCLABLE
Class invariant
top
children
/= Void
Overview
top
creation features
exported features
name
:
STRING
node
:
XML_DTD_ELEMENT
parent
: XML_DTD_NODE
children
:
FAST_ARRAY
[XML_DTD_NODE]
set_node
(a_node:
XML_DTD_ELEMENT
)
set_parent
(a_parent: XML_DTD_NODE)
name
:
STRING
effective function
top
require
node
/= Void
node
:
XML_DTD_ELEMENT
writable attribute
top
parent
: XML_DTD_NODE
writable attribute
top
children
:
FAST_ARRAY
[XML_DTD_NODE]
writable attribute
top
set_node
(a_node:
XML_DTD_ELEMENT
)
effective procedure
top
ensure
node
= a_node
set_parent
(a_parent: XML_DTD_NODE)
effective procedure
top