+
Point of view
All features
class XMLNS_TREE
features
- with_attribute (attribute_namespace: STRING, attribute_name: STRING, attribute_value: STRING, line: INTEGER_32, column: INTEGER_32)
- open_node (node_namespace: STRING, node_name: STRING, line: INTEGER_32, column: INTEGER_32)
- close_node (node_namespace: STRING, node_name: STRING, line: INTEGER_32, column: INTEGER_32)
- open_close_node (node_namespace: STRING, 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
- current_namespace: 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)
- node_namespace = Void implies current_namespace = Void
- node_namespace /= Void implies current_namespace.is_equal(node_namespace)
require
- not node_name.is_empty
- current_node.is_equal(node_name)
- node_namespace = Void implies current_namespace = Void
- node_namespace /= Void implies current_namespace.is_equal(node_namespace)
require
ensure
- Result /= Void and then attributes.fast_occurrences(Result) = 1