+
Point of view
All features
deferred class HTML_ELEMENT
Summary
top
Direct parents
Insert list: ANY
Known children
Inherit list: HTML_NODE, HTML_TEXT
Overview
top
Features
{ANY}
{HTML_ELEMENT}
parent: HTML_NODE
writable attribute
{ANY}
top
to_string: STRING
effective function
{ANY}
top
append_in (buffer: STRING, stop_at_dot: BOOLEAN)
effective procedure
{ANY}
top
to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN)
effective procedure
{ANY}
top
really_append_in (buffer: STRING, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN
deferred function
{HTML_ELEMENT}
top
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
deferred function
{HTML_ELEMENT}
top
require
  • stopped implies stop_at_dot
ensure
  • Result implies stop_at_dot