GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
HTML_ATTRIBUTE
+
Point of view
All features
ANY
All features
class HTML_ATTRIBUTE
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
HTML_NODE
}
make
(a_name:
STRING
, a_value:
STRING
)
Features
{
ANY
}
name
:
STRING
value
:
STRING
to_string
:
STRING
append_in
(buffer:
STRING
)
to_html_stream
(html:
HTML_OUTPUT_STREAM
)
{}
make
(a_name:
STRING
, a_value:
STRING
)
name
:
STRING
writable attribute
{
ANY
}
top
value
:
STRING
writable attribute
{
ANY
}
top
to_string
:
STRING
effective function
{
ANY
}
top
append_in
(buffer:
STRING
)
effective procedure
{
ANY
}
top
to_html_stream
(html:
HTML_OUTPUT_STREAM
)
effective procedure
{
ANY
}
top
make
(a_name:
STRING
, a_value:
STRING
)
effective procedure
{}
top
require
a_name /= Void