home
wiki
classes/clusters list
class information
+
Point of view
HTML_PARSER
ANY
HTML_PARSER
HTML_ELEMENT
INTERNALS_HANDLER
All features
class HTML_NODE
Summary
top
Direct parents
inherit list:
HTML_ELEMENT
insert list:
HTML_HANDLER
Overview
top
creation features
make
(a_name:
STRING
, a_parent: HTML_NODE)
exported features
name
:
STRING
attributes_count
:
INTEGER_32
children_count
:
INTEGER_32
html_attribute
(i:
INTEGER_32
):
HTML_ATTRIBUTE
child
(i:
INTEGER_32
):
HTML_ELEMENT
add_attribute
(attr_name:
STRING
, attr_value:
STRING
)
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
)
name
:
STRING
writable attribute
top
attributes_count
:
INTEGER_32
effective function
top
children_count
:
INTEGER_32
effective function
top
html_attribute
(i:
INTEGER_32
):
HTML_ATTRIBUTE
effective function
top
require
i.in_range(1,
attributes_count
)
child
(i:
INTEGER_32
):
HTML_ELEMENT
effective function
top
require
i.in_range(1,
children_count
)
add_attribute
(attr_name:
STRING
, attr_value:
STRING
)
effective procedure
top
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