home
wiki
classes/clusters list
class information
+
Point of view
WEAK_ARRAY
ANY
XML_DTD_NODE
XML_DTD_VALIDATOR
WEAK_ARRAY
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'.
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
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'.
recycle
effective procedure
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one