+
Point of view
All features
class EIFFELDOC_HTML
Summary
Direct parents
Inherit list: HTML_ELEMENT
Insert list: HTML_HANDLER
Overview
Creation features
{EIFFELDOC}
Features
{HTML_ELEMENT}
{EIFFELDOC}
{}
{ANY}
really_append_in (buffer: STRING, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN
effective function
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
effective function
require
  • stopped implies stop_at_dot
ensure
  • Result implies stop_at_dot
set (a_node: HTML_NODE)
effective procedure
require
  • a_node /= Void
ensure
make
effective procedure
{}
node: HTML_NODE
writable attribute
{}
parent: HTML_NODE
writable attribute
{ANY}
to_string: STRING
effective function
{ANY}
append_in (buffer: STRING, stop_at_dot: BOOLEAN)
effective procedure
{ANY}
to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN)
effective procedure
{ANY}