+
Point of view
All features
class HTML_NODE
Summary
top
Direct parents
Inherit list: HTML_ELEMENT
Insert list: HTML_HANDLER
Overview
top
Creation features
{HTML_PARSER}
Features
{ANY}
{HTML_ELEMENT}
{HTML_ELEMENT}
{HTML_PARSER}
{}
{ANY}
name: STRING
writable attribute
{ANY}
top
attributes_count: INTEGER_32
effective function
{ANY}
top
children_count: INTEGER_32
effective function
{ANY}
top
html_attribute (i: INTEGER_32): HTML_ATTRIBUTE
effective function
{ANY}
top
require
effective function
{ANY}
top
require
really_append_in (buffer: STRING, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN
effective 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
effective function
{HTML_ELEMENT}
top
require
  • stopped implies stop_at_dot
ensure
  • Result implies stop_at_dot
add_child (a_child: HTML_ELEMENT)
effective procedure
{HTML_ELEMENT}
top
add_attribute (attr_name: STRING, attr_value: STRING)
effective procedure
{HTML_PARSER}
top
make (a_name: STRING, a_parent: HTML_NODE)
effective procedure
{}
top
writable attribute
{}
top
writable attribute
{}
top
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