class HTML_NODE

Features exported to ANY

Direct parents

conformant parents

HTML_ELEMENT

non-conformant parents

HTML_HANDLER

Summary

creation features

exported features

• name: STRING
• attributes_count: INTEGER
• children_count: INTEGER
• attribute (i: INTEGER): HTML_ATTRIBUTE
• child (i: INTEGER): 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)

Details