GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
HTML_TEXT
+
Point of view
All features
ANY
HTML_ELEMENT
All features
class HTML_TEXT
Summary
top
Direct parents
Inherit list:
HTML_ELEMENT
Overview
top
Creation features
{
HTML_PARSER
}
make
(a_text:
STRING
, a_parent:
HTML_NODE
)
Features
{
ANY
}
text
:
STRING
{
HTML_ELEMENT
}
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
{}
make
(a_text:
STRING
, a_parent:
HTML_NODE
)
{
ANY
}
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
{
ANY
}
top
really_append_in
(buffer:
STRING
, stop_at_dot:
BOOLEAN
, stopped:
BOOLEAN
):
BOOLEAN
effective function
{
HTML_ELEMENT
}
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
{
HTML_ELEMENT
}
top
require
stopped implies stop_at_dot
ensure
Result implies stop_at_dot
make
(a_text:
STRING
, a_parent:
HTML_NODE
)
effective procedure
{}
top
require
a_text /= Void
parent
:
HTML_NODE
writable attribute
{
ANY
}
top
to_string
:
STRING
effective function
{
ANY
}
top
append_in
(buffer:
STRING
, stop_at_dot:
BOOLEAN
)
effective procedure
{
ANY
}
top
to_html_stream
(html:
HTML_OUTPUT_STREAM
, stop_at_dot:
BOOLEAN
)
effective procedure
{
ANY
}
top