class HTML_NODE

All features

Direct parents

conformant parents

HTML_ELEMENT

non-conformant parents

HTML_HANDLER

Summary

creation features

exported features

Details

make (a_name: STRING, a_parent: HTML_NODE)
name: STRING
attributes_count: INTEGER
children_count: INTEGER
attribute (i: INTEGER): HTML_ATTRIBUTE

require

  • i.in_range(1, attributes_count)

child (i: INTEGER): HTML_ELEMENT

require

  • i.in_range(1, children_count)

really_append_in (buffer: STRING, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN

require

  • stopped implies stop_at_dot

ensure

  • Result implies stop_at_dot

really_to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN

require

  • stopped implies stop_at_dot

ensure

  • Result implies stop_at_dot

add_child (a_child: HTML_ELEMENT)
add_attribute (attr_name: STRING, attr_value: STRING)
make (a_name: STRING, a_parent: HTML_NODE)
attributes: FAST_ARRAY [E_][HTML_ATTRIBUTE]
children: FAST_ARRAY [E_][HTML_ELEMENT]
parent: HTML_NODE
to_string: STRING
append_in (buffer: STRING, stop_at_dot: BOOLEAN)
to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN)