class HTML_TEXT

Features exported to ANY

Direct parents

conformant parents

HTML_ELEMENT

Summary

creation features

exported features

Details

text: STRING
parent: HTML_NODE
to_string: STRING
append_in (buffer: STRING, stop_at_dot: BOOLEAN)
to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN)