+
Point of view
All features
class HTML_ATTRIBUTE
Summary
top
Direct parents
Insert list: ANY
Overview
top
Creation features
{HTML_NODE}
Features
{ANY}
{}
name: STRING
writable attribute
{ANY}
top
value: STRING
writable attribute
{ANY}
top
to_string: STRING
effective function
{ANY}
top
append_in (buffer: STRING)
effective procedure
{ANY}
top
to_html_stream (html: HTML_OUTPUT_STREAM)
effective procedure
{ANY}
top
make (a_name: STRING, a_value: STRING)
effective procedure
{}
top
require
  • a_name /= Void