class HTML_NODE
Summary
Overview
creation features
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
really_append_in (buffer: STRING, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN
effective function
really_to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN
effective function
add_child (a_child: HTML_ELEMENT)
effective procedure
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