+
Point of view
All features
class HTML_ATTRIBUTE
Summary
Overview
creation features
name: STRING
writable attribute
value: STRING
writable attribute
to_string: STRING
effective function
append_in (buffer: STRING)
effective procedure
to_html_stream (html: HTML_OUTPUT_STREAM)
effective procedure
make (a_name: STRING, a_value: STRING)
effective procedure