GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
XML_COMPOSITE_NODE
+
Point of view
All features
ANY
XML_COMPOSITE_NODE
XML_TREE
All features
class XML_COMPOSITE_NODE
Summary
top
A named node containing children
Direct parents
Inherit list:
XML_NODE
Class invariant
top
name
/= Void
Overview
top
Creation features
{
ANY
}
make
(a_name:
UNICODE_STRING
, a_line:
INTEGER_32
, a_column:
INTEGER_32
)
Features
{
ANY
}
name
:
UNICODE_STRING
The name of the node
attribute_name
(index:
INTEGER_32
):
UNICODE_STRING
The name of the i'th attribute
attribute_value
(index:
INTEGER_32
):
UNICODE_STRING
The value of the i'th attribute
attribute_at
(a_attribute_name:
UNICODE_STRING
):
UNICODE_STRING
The value of the attribute given by its name; Void if not set
attributes_count
:
INTEGER_32
The number of attributes
child
(index:
INTEGER_32
):
XML_NODE
The i'th child
children_count
:
INTEGER_32
The number of children
{
ANY
}
accept
(visitor:
VISITOR
)
Accept to be visited by the
visitor
.
{
XML_TREE
}
set_attribute
(a_attribute_name:
UNICODE_STRING
, a_attribute_value:
UNICODE_STRING
)
add_child
(node:
XML_NODE
)
{}
children
:
FAST_ARRAY
[
XML_NODE
]
attributes
:
HASHED_DICTIONARY
[
UNICODE_STRING
,
UNICODE_STRING
]
make
(a_name:
UNICODE_STRING
, a_line:
INTEGER_32
, a_column:
INTEGER_32
)
{
ANY
}
line
:
INTEGER_32
The position of the node in its source file
column
:
INTEGER_32
The position of the node in its source file
parent
: XML_COMPOSITE_NODE
The parent of the node, Void if it is the root
{
XML_COMPOSITE_NODE
}
set_parent
(a_parent: XML_COMPOSITE_NODE)
name
:
UNICODE_STRING
writable attribute
{
ANY
}
top
The name of the node
attribute_name
(index:
INTEGER_32
):
UNICODE_STRING
effective function
{
ANY
}
top
The name of the i'th attribute
require
index.in_range(1,
attributes_count
)
attribute_value
(index:
INTEGER_32
):
UNICODE_STRING
effective function
{
ANY
}
top
The value of the i'th attribute
require
index.in_range(1,
attributes_count
)
attribute_at
(a_attribute_name:
UNICODE_STRING
):
UNICODE_STRING
effective function
{
ANY
}
top
The value of the attribute given by its name; Void if not set
attributes_count
:
INTEGER_32
effective function
{
ANY
}
top
The number of attributes
child
(index:
INTEGER_32
):
XML_NODE
effective function
{
ANY
}
top
The i'th child
require
index.in_range(1,
children_count
)
children_count
:
INTEGER_32
effective function
{
ANY
}
top
The number of children
accept
(visitor:
VISITOR
)
effective procedure
{
ANY
}
top
Accept to be visited by the
visitor
.
require
visitor /= Void
set_attribute
(a_attribute_name:
UNICODE_STRING
, a_attribute_value:
UNICODE_STRING
)
effective procedure
{
XML_TREE
}
top
require
a_attribute_name /= Void
a_attribute_value /= Void
ensure
attribute_at
(a_attribute_name) = a_attribute_value
add_child
(node:
XML_NODE
)
effective procedure
{
XML_TREE
}
top
require
node /= Void
node.parent = Void
ensure
node.parent = Current
child
(
children_count
) = node
children
:
FAST_ARRAY
[
XML_NODE
]
writable attribute
{}
top
attributes
:
HASHED_DICTIONARY
[
UNICODE_STRING
,
UNICODE_STRING
]
writable attribute
{}
top
make
(a_name:
UNICODE_STRING
, a_line:
INTEGER_32
, a_column:
INTEGER_32
)
effective procedure
{}
top
require
a_line > 0
a_column > 0
line
:
INTEGER_32
writable attribute
{
ANY
}
top
The position of the node in its source file
column
:
INTEGER_32
writable attribute
{
ANY
}
top
The position of the node in its source file
parent
: XML_COMPOSITE_NODE
writable attribute
{
ANY
}
top
The parent of the node, Void if it is the root
set_parent
(a_parent: XML_COMPOSITE_NODE)
effective procedure
{
XML_COMPOSITE_NODE
}
top
require
a_parent /= Void
ensure
parent
= a_parent