home
wiki
classes/clusters list
class information
+
Point of view
HTML_ELEMENT
ANY
HTML_ELEMENT
INTERNALS_HANDLER
All features
class HTML_TEXT
Summary
top
Direct parents
inherit list:
HTML_ELEMENT
Overview
top
creation features
exported features
text
:
STRING
really_append_in
(buffer:
STRING
, stop_at_dot:
BOOLEAN
, stopped:
BOOLEAN
):
BOOLEAN
really_to_html_stream
(html:
HTML_OUTPUT_STREAM
, stop_at_dot:
BOOLEAN
, stopped:
BOOLEAN
):
BOOLEAN
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
)
text
:
STRING
writable attribute
top
really_append_in
(buffer:
STRING
, stop_at_dot:
BOOLEAN
, stopped:
BOOLEAN
):
BOOLEAN
effective function
top
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
effective function
top
require
stopped implies stop_at_dot
ensure
Result implies stop_at_dot
parent
:
HTML_NODE
writable attribute
top
to_string
:
STRING
effective function
top
append_in
(buffer:
STRING
, stop_at_dot:
BOOLEAN
)
effective procedure
top
to_html_stream
(html:
HTML_OUTPUT_STREAM
, stop_at_dot:
BOOLEAN
)
effective procedure
top