class XML_DTD_ELEMENT
Summary
Class invariant
Overview
creation features
exported features
Tree validation
Tree structure validation
name: STRING
writable attribute
out_in_tagged_out_memory
effective procedure
Append terse printable represention of current object in tagged_out_memory.
is_built: BOOLEAN
writable attribute
is_valid_child (explorer: XML_DTD_VALIDATOR, node_name: STRING, children: FAST_ARRAY[XML_DTD_NODE]): BOOLEAN
effective function
is_valid_data (explorer: XML_DTD_VALIDATOR, data: STRING, children: FAST_ARRAY[XML_DTD_NODE]): BOOLEAN
effective function
explore (explorer: XML_DTD_VALIDATOR)
effective procedure
That feature must update the state of 'explorer'.