class HTML_NODE
Summary
Overview
name: STRING
writable attribute
attributes_count: INTEGER_32
effective function
children_count: INTEGER_32
effective function
html_attribute (i: INTEGER_32): HTML_ATTRIBUTE
effective function
effective function
parent: HTML_NODE
writable attribute
to_string: STRING
effective function
append_in (buffer: STRING, stop_at_dot: BOOLEAN)
effective procedure
to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN)
effective procedure