home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
XML_DTD_NODE
XML_DTD_VALIDATOR
RECYCLING_POOL
INTERNALS_HANDLER
All features
class XML_DTD_ELEMENT
Summary
top
Direct parents
inherit list:
BACKTRACKING_NODE
insert list:
RECYCLABLE
Class invariant
top
not
name
.is_empty
Overview
top
creation features
exported features
name
:
STRING
out_in_tagged_out_memory
Append terse printable represention of current object in
tagged_out_memory
.
Tree structure validation
explore
(explorer:
XML_DTD_VALIDATOR
)
That feature must update the state of 'explorer'.
name
:
STRING
writable attribute
top
out_in_tagged_out_memory
effective procedure
top
Append terse printable represention of current object in
tagged_out_memory
.
ensure
not_cleared:
tagged_out_memory.count >= old tagged_out_memory.count
append_only:
old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
explore
(explorer:
XML_DTD_VALIDATOR
)
effective procedure
top
That feature must update the state of 'explorer'.