+
Point of view
XML_DTD_NODE
class XML_DTD_ELEMENT
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))
require
- explorer /= Void
- children /= Void
- is_built
require
- explorer /= Void
- children /= Void
- is_built