GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
EIFFELDOC_HTML
+
Point of view
All features
ANY
HTML_ELEMENT
EIFFELDOC
All features
class EIFFELDOC_HTML
Summary
top
Direct parents
Inherit list:
HTML_ELEMENT
Insert list:
HTML_HANDLER
Overview
top
Creation features
{
EIFFELDOC
}
make
Features
{
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
{
EIFFELDOC
}
set
(a_node:
HTML_NODE
)
{}
make
node
:
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
)
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 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
set
(a_node:
HTML_NODE
)
effective procedure
{
EIFFELDOC
}
top
require
a_node /= Void
ensure
node
= a_node
make
effective procedure
{}
top
node
:
HTML_NODE
writable attribute
{}
top
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