class XML_DTD_NODE
Summary
A real node read from the XML stream.
Direct parents
Insert list: RECYCLABLE
Class invariant
Overview
Creation features
{XML_DTD_VALIDATOR}
Features
{ANY}
{XML_DTD_VALIDATOR, XML_DTD_ELEMENT}
{XML_DTD_NODE, XML_DTD_VALIDATOR}
Tree validation
{XML_DTD_VALIDATOR}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
{}
fill_tagged_out_memory
effective procedure
{ANY}
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
require
  • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
require
element: XML_DTD_ELEMENT
writable attribute
parent: XML_DTD_NODE
writable attribute
children: FAST_ARRAY[XML_DTD_NODE]
writable attribute
set_element (a_element: XML_DTD_ELEMENT) assign element
effective procedure
ensure
set_parent (a_parent: XML_DTD_NODE) assign parent
effective procedure
require
valid_index (index: INTEGER_32): BOOLEAN
effective function
remove (index: INTEGER_32)
effective procedure
require
add_last (a_node: XML_DTD_NODE)
effective procedure
ensure
is_empty: BOOLEAN
effective function
count: INTEGER_32
effective function
fast_has (a_node: XML_DTD_NODE): BOOLEAN
effective function
first: XML_DTD_NODE
effective function
require
last: XML_DTD_NODE
effective function
require
item (index: INTEGER_32): XML_DTD_NODE
effective function
require
fast_first_index_of (a_node: XML_DTD_NODE): INTEGER_32
effective function
is_valid_child (explorer: XML_DTD_VALIDATOR, node_name: UNICODE_STRING): BOOLEAN
effective function
require
is_valid_data (explorer: XML_DTD_VALIDATOR, data: UNICODE_STRING): BOOLEAN
effective function
require
recycle
effective procedure
Do whatever needs to be done to free resources or recycle other objects when recycling this one
ensure
make
effective procedure
{}