+
Point of view
All features
class XMLNS_PARSER
features
- with_attribute (attribute_name: STRING, attribute_value: STRING, l: INTEGER_32, c: INTEGER_32)
- open_node (node_name: STRING, l: INTEGER_32, c: INTEGER_32)
- close_node (node_name: STRING, l: INTEGER_32, c: INTEGER_32)
- open_close_node (node_name: STRING, l: INTEGER_32, c: INTEGER_32)
- xml_header (l: INTEGER_32, c: INTEGER_32)
- processing_instruction (a_target: STRING, a_data: STRING)
- entity (a_entity: STRING, l: INTEGER_32, c: INTEGER_32): STRING
- current_node: STRING
- data (a_data: STRING, l: INTEGER_32, c: INTEGER_32)
- parse_error (l: INTEGER_32, c: INTEGER_32, message: STRING)
- at_error: BOOLEAN
require
- not attribute_name.is_empty
- not attribute_value.is_empty
require
ensure
- current_node.is_equal(node_name)
require
- not node_name.is_empty
- current_node.is_equal(node_name)