class HTML_ATTRIBUTE
All features
Direct parents
non-conformant parents
ANY
Summary
creation features
make
(a_name:
STRING
, a_value:
STRING
)
exported 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
)
Details
make
(a_name:
STRING
, a_value:
STRING
)
require
a_name /= Void
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
)
require
a_name /= Void