+
Point of view
All features
class XML_DTD_ELEMENT
Summary
top
Static description of a DTD element: structure (nested elements), attributes, data
Direct parents
Inherit list: BACKTRACKING_NODE
Insert list: BACKTRACKING_NODE_FILL, RECYCLABLE
Class invariant
top
Overview
top
Creation features
{XML_DTD_VALIDATOR}
Features
{ANY}
{XML_DTD_VALIDATOR}
  • build
    Prepare to build the element's structure
{XML_DTD_VALIDATOR, XML_DTD_NODE}
Data validation
{XML_DTD_VALIDATOR}
Tree validation
{XML_DTD_NODE}
Tree structure validation
{ANY}
The element's structure
{}
Building element's structure
{XML_DTD_VALIDATOR}
Multiplicity helpers
{}
Special nodes
{}
Adding attributes
{XML_DTD_VALIDATOR}
Constructor
{XML_DTD_VALIDATOR}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
Memory management
{}
fill_tagged_out_memory
{}
{ANY}
{}
writable attribute
{ANY}
top
build
effective procedure
{XML_DTD_VALIDATOR}
top
Prepare to build the element's structure
is_built: BOOLEAN
writable attribute
{XML_DTD_VALIDATOR, XML_DTD_NODE}
top
is_valid_attributes (xml_attributes: DICTIONARY[UNICODE_STRING, UNICODE_STRING]): BOOLEAN
effective function
{XML_DTD_VALIDATOR}
top
is_valid_child (explorer: XML_DTD_VALIDATOR, node_name: UNICODE_STRING, children: FAST_ARRAY[XML_DTD_NODE]): BOOLEAN
effective function
{XML_DTD_NODE}
top
require
  • explorer /= Void
  • children /= Void
  • is_built
is_valid_data (explorer: XML_DTD_VALIDATOR, data: UNICODE_STRING, children: FAST_ARRAY[XML_DTD_NODE]): BOOLEAN
effective function
{XML_DTD_NODE}
top
require
  • explorer /= Void
  • children /= Void
  • is_built
explore (explorer: XML_DTD_VALIDATOR)
effective procedure
{ANY}
top
That feature must update the state of 'explorer'.
structure: BACKTRACKING_NODE
writable attribute
{}
top
the element's structure
building_stack: FAST_ARRAY[BACKTRACKING_NODE]
once function
{}
top
Used when building the element.
A once object is enough since we only build one element at a time.
build_pop
effective procedure
{}
top
build_add (a_node: BACKTRACKING_NODE)
effective procedure
{}
top
build_set_top (a_node: BACKTRACKING_NODE)
effective procedure
{}
top
ensure
build_top: BACKTRACKING_NODE
effective function
{}
top
close_fix
effective procedure
{XML_DTD_VALIDATOR}
top
ensure
close_exactly_one
effective procedure
{XML_DTD_VALIDATOR}
top
close_zero_or_one
effective procedure
{XML_DTD_VALIDATOR}
top
close_zero_or_more
effective procedure
{XML_DTD_VALIDATOR}
top
close_one_or_more
effective procedure
{XML_DTD_VALIDATOR}
top
add_list
effective procedure
{XML_DTD_VALIDATOR}
top
require ensure
add_alt
effective procedure
{XML_DTD_VALIDATOR}
top
require ensure
child_pcdata
effective procedure
{XML_DTD_VALIDATOR}
top
child_any
effective procedure
{XML_DTD_VALIDATOR}
top
child_empty
effective procedure
{XML_DTD_VALIDATOR}
top
child_one_or_more (elt: XML_DTD_ELEMENT)
effective procedure
{XML_DTD_VALIDATOR}
top
child_zero_or_more (elt: XML_DTD_ELEMENT)
effective procedure
{XML_DTD_VALIDATOR}
top
child_zero_or_one (elt: XML_DTD_ELEMENT)
effective procedure
{XML_DTD_VALIDATOR}
top
child_exactly_one (elt: XML_DTD_ELEMENT)
effective procedure
{XML_DTD_VALIDATOR}
top
commit
effective procedure
{XML_DTD_VALIDATOR}
top
require ensure
one_or_more_node (a_node: BACKTRACKING_NODE): BACKTRACKING_NODE
effective function
{}
top
zero_or_more_node (a_node: BACKTRACKING_NODE): BACKTRACKING_NODE
effective function
{}
top
zero_or_one_node (a_node: BACKTRACKING_NODE): BACKTRACKING_NODE
effective function
{}
top
node_and_end (a_node: BACKTRACKING_NODE): BACKTRACKING_NODE
effective function
{}
top
any_node: XML_DTD_ANY_NODE
once function
{}
top
empty_node: XML_DTD_EMPTY_NODE
once function
{}
top
end_node: XML_DTD_END_NODE
once function
{}
top
pcdata_node: XML_DTD_PCDATA_NODE
once function
{}
top
writable attribute
{XML_DTD_VALIDATOR}
top
current_attribute: XML_DTD_ATTRIBUTE
writable attribute
{XML_DTD_VALIDATOR}
top
building_attlist: BOOLEAN
effective function
{XML_DTD_VALIDATOR}
top
adding_attlist (attribute_name: UNICODE_STRING): BOOLEAN
effective function
{XML_DTD_VALIDATOR}
top
ensure
has_attlist (attribute_name: UNICODE_STRING): BOOLEAN
effective function
{XML_DTD_VALIDATOR}
top
add_attlist (attribute_name: UNICODE_STRING)
effective procedure
{XML_DTD_VALIDATOR}
top
require ensure
commit_attlist (attribute_name: UNICODE_STRING)
effective procedure
{XML_DTD_VALIDATOR}
top
require ensure
attlist_list_value (value: UNICODE_STRING)
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_cdata
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_id
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_idref
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_idrefs
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_nmtoken
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_nmtokens
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_entity
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_entities
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_notation
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_required
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_implied
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_valid_fixed (value: UNICODE_STRING): BOOLEAN
effective function
{XML_DTD_VALIDATOR}
top
attlist_fixed (value: UNICODE_STRING)
effective procedure
{XML_DTD_VALIDATOR}
top
attlist_default_value (value: UNICODE_STRING)
effective procedure
{XML_DTD_VALIDATOR}
top
make (a_name: UNICODE_STRING)
effective procedure
{XML_DTD_VALIDATOR}
top
require
  • not a_name.is_empty
ensure
recycle
effective procedure
{RECYCLING_POOL}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
ensure
once function
{}
top
recycle_attributes
effective procedure
{}
top
ensure
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