home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
INTERNALS_HANDLER
All features
class XML_DTD_PCDATA_NODE
Summary
top
Direct parents
inherit list:
BACKTRACKING_NODE
Overview
top
creation features
exported features
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'.
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'.