home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
class HTML_ATTRIBUTE
Summary
top
Direct parents
insert list:
ANY
Overview
top
creation features
make
(a_name:
STRING
, a_value:
STRING
)
features
name
:
STRING
value
:
STRING
to_string
:
STRING
append_in
(buffer:
STRING
)
to_html_stream
(html:
HTML_OUTPUT_STREAM
)
make
(a_name:
STRING
, a_value:
STRING
)
name
:
STRING
writable attribute
top
value
:
STRING
writable attribute
top
to_string
:
STRING
effective function
top
append_in
(buffer:
STRING
)
effective procedure
top
to_html_stream
(html:
HTML_OUTPUT_STREAM
)
effective procedure
top
make
(a_name:
STRING
, a_value:
STRING
)
effective procedure
top
require
a_name /= Void