class HTML_TEXT

All features

Direct parents

conformant parents

HTML_ELEMENT

Summary

creation features

exported features

Details

make (a_text: STRING, a_parent: HTML_NODE)

require

  • a_text /= Void

text: STRING
really_append_in (buffer: STRING, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN

require

  • stopped implies stop_at_dot

ensure

  • Result implies buffer.last = '.'
  • Result implies stop_at_dot

really_to_html_stream (html: HTML_OUTPUT_STREAM, stop_at_dot: BOOLEAN, stopped: BOOLEAN): BOOLEAN

require

  • stopped implies stop_at_dot

ensure

  • Result implies stop_at_dot

make (a_text: STRING, a_parent: HTML_NODE)

require

  • a_text /= Void

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)