home
wiki
classes/clusters list
class information
+
Point of view
XML_DTD_NODE
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
Overview
top
creation features
exported features
valid_index
(index:
INTEGER_32
):
BOOLEAN
remove
(index:
INTEGER_32
)
add_last
(a_node: XML_DTD_NODE)
is_empty
:
BOOLEAN
count
:
INTEGER_32
fast_has
(a_node: XML_DTD_NODE):
BOOLEAN
first
: XML_DTD_NODE
last
: XML_DTD_NODE
item
(index:
INTEGER_32
): XML_DTD_NODE
fast_first_index_of
(a_node: XML_DTD_NODE):
INTEGER_32
valid_index
(index:
INTEGER_32
):
BOOLEAN
effective function
top
remove
(index:
INTEGER_32
)
effective procedure
top
require
valid_index
(index)
add_last
(a_node: XML_DTD_NODE)
effective procedure
top
ensure
not
is_empty
is_empty
:
BOOLEAN
effective function
top
count
:
INTEGER_32
effective function
top
fast_has
(a_node: XML_DTD_NODE):
BOOLEAN
effective function
top
first
: XML_DTD_NODE
effective function
top
require
not
is_empty
last
: XML_DTD_NODE
effective function
top
require
not
is_empty
item
(index:
INTEGER_32
): XML_DTD_NODE
effective function
top
require
valid_index
(index)
fast_first_index_of
(a_node: XML_DTD_NODE):
INTEGER_32
effective function
top