+
Point of view
All features
class XML_TREE
features
- with_attribute (attribute_name: STRING, attribute_value: STRING, line: INTEGER_32, column: INTEGER_32)
- 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)
- xml_header (line: INTEGER_32, column: INTEGER_32)
- processing_instruction (a_target: STRING, a_data: STRING)
- current_node: STRING
- entity (a_entity: STRING, line: INTEGER_32, column: INTEGER_32): STRING
- data (a_data: STRING, line: INTEGER_32, column: INTEGER_32)
- parse_error (line: INTEGER_32, column: INTEGER_32, message: STRING)
- at_error: BOOLEAN
require
- target /= Void
- processor /= Void
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)