class XML_DTD_ELEMENT
Summary
Class invariant
Overview
creation features
exported features
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.
explore (explorer: XML_DTD_VALIDATOR)
effective procedure
That feature must update the state of 'explorer'.