+
Point of view
XML_DTD_PARSER
class XML_DTD_VALIDATOR
add_element (element_name:
STRING)
effective procedure
commit_element (element_name:
STRING)
effective procedure
child (child_element_name:
STRING)
effective procedure
alternative_child (child_element_name:
STRING)
effective procedure
commit_attlist (element_name:
STRING, attribute_name:
STRING)
effective procedure
addlist_list_value (value:
STRING)
effective procedure
attlist_default_value (value:
STRING)
effective procedure
require
- not root_node_name.is_empty
ensure
require
-
node_not_void: node /= Void
require
-
list_not_void: list /= Void
require
-
node_not_void: node /= Void
require
-
list_not_void: list /= Void
ensure
-
no_solution_when_cleared: Result implies is_off
require
-
sequence_not_void: sequence /= Void
require
-
alternative_not_void: alternative /= Void