+
Point of view
XML_PARSER
class XML_DTD_VALIDATOR
creation features
exported features
- attributes: HASHED_DICTIONARY[STRING, STRING]
- root: XML_DTD_NODE
- point: XML_DTD_NODE
- with_attribute (attribute_name: STRING, attribute_value: STRING, line: INTEGER_32, column: INTEGER_32)
- is_valid_open_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32): BOOLEAN
- is_valid_close_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32): BOOLEAN
- is_valid_open_close_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32): BOOLEAN
- current_node: STRING
- open_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32)
- close_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32)
- open_close_node (node_name: STRING, line: INTEGER_32, column: INTEGER_32)
- entity (a_entity: STRING, line: INTEGER_32, column: INTEGER_32): STRING
- is_valid_data (a_data: STRING, line: INTEGER_32, column: INTEGER_32): BOOLEAN
- data (a_data: STRING, line: INTEGER_32, column: INTEGER_32)
- the_end
require
- not attribute_name.is_empty
- not attribute_value.is_empty
require
- not node_name.is_empty
- current_node.is_equal(node_name)
require
- is_valid_open_node(node_name, line, column)
ensure
- current_node.is_equal(node_name)
require
- is_valid_close_node(node_name, line, column)
require
- is_valid_open_close_node(node_name, line, column)
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