+
Point of view
All features
class XML_DTD_NODE
set_parent (a_parent: XML_DTD_NODE)
effective procedure
add_last (a_node: XML_DTD_NODE)
effective procedure
fast_has (a_node: XML_DTD_NODE):
BOOLEAN
effective function
fast_first_index_of (a_node: XML_DTD_NODE):
INTEGER_32
effective function
require
- explorer /= Void
- node.is_built
require
- explorer /= Void
- node.is_built