class HTML_ATTRIBUTE

All features

Direct parents

non-conformant parents

ANY

Summary

creation features

exported features

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