+
Point of view
All features
deferred class HTML_ELEMENT
Summary
Overview
features
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
really_append_in (buffer: STRING, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN
deferred function
really_to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN
deferred function