+
Point of view
All features
class XMLNS_PARSER
Features
{}
- with_attribute (attribute_name: UNICODE_STRING, attribute_value: UNICODE_STRING, l: INTEGER_32, c: INTEGER_32)
- open_node (node_name: UNICODE_STRING, l: INTEGER_32, c: INTEGER_32)
- close_node (node_name: UNICODE_STRING, l: INTEGER_32, c: INTEGER_32)
- open_close_node (node_name: UNICODE_STRING, l: INTEGER_32, c: INTEGER_32)
- xml_header (l: INTEGER_32, c: INTEGER_32)
- processing_instruction (a_target: UNICODE_STRING, a_data: UNICODE_STRING)
- entity (a_entity: UNICODE_STRING, l: INTEGER_32, c: INTEGER_32): UNICODE_STRING
- current_node: UNICODE_STRING
- data (a_data: UNICODE_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
- attribute_value /= Void
require
ensure
- not at_error implies current_node.is_equal(node_name)
require
- not node_name.is_empty
- current_node.is_equal(node_name)