+
Point of view
All features
class XML_DTD_EMPTY_NODE
Summary
top
Direct parents
Inherit list: BACKTRACKING_NODE
Insert list: BACKTRACKING_NODE_FILL
Overview
top
Creation features
{XML_DTD_ELEMENT}
Features
Tree structure validation
{ANY}
{}
{ANY}
{}
explore (explorer: XML_DTD_VALIDATOR)
effective procedure
{ANY}
top
That feature must update the state of 'explorer'.
make
effective procedure
{}
top
do_fill_tagged_out_memory
effective procedure
{}
top
fill_tagged_out_memory
effective procedure
{ANY}
top
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
require
  • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
fill_tagged_out_memory_flag: BOOLEAN
writable attribute
{}
top