GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
XMLNS_COMPOSITE_NODE
+
Point of view
All features
ANY
XMLNS_COMPOSITE_NODE
XMLNS_TREE
All features
class XMLNS_COMPOSITE_NODE
Summary
top
A node in an
XMLNS_TREE
Direct parents
Inherit list:
XMLNS_NODE
Class invariant
top
name
/= Void
Overview
top
Creation features
{
XMLNS_TREE
}
make
(a_namespace:
UNICODE_STRING
, a_name:
UNICODE_STRING
, a_line:
INTEGER_32
, a_column:
INTEGER_32
)
Features
{
ANY
}
namespace
:
UNICODE_STRING
The namespace of the node
name
:
UNICODE_STRING
The name of the node
attribute_namespace
(index:
INTEGER_32
):
UNICODE_STRING
The namespace of the i'th attribute
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_namespace:
UNICODE_STRING
, 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
):
XMLNS_NODE
The i'th child
children_count
:
INTEGER_32
The number of children
{
ANY
}
accept
(visitor:
VISITOR
)
Accept to be visited by the
visitor
.
{
XMLNS_TREE
}
set_attribute
(a_attribute_namespace:
UNICODE_STRING
, a_attribute_name:
UNICODE_STRING
, a_attribute_value:
UNICODE_STRING
)
add_child
(node:
XMLNS_NODE
)
{}
attributes
:
HASHED_DICTIONARY
[
HASHED_DICTIONARY
[
UNICODE_STRING
,
UNICODE_STRING
],
UNICODE_STRING
]
no_namespace_attributes
:
HASHED_DICTIONARY
[
UNICODE_STRING
,
UNICODE_STRING
]
children
:
FAST_ARRAY
[
XMLNS_NODE
]
make
(a_namespace:
UNICODE_STRING
, 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
: XMLNS_COMPOSITE_NODE
The parent of the node, Void if it is the root
{
XMLNS_COMPOSITE_NODE
}
set_parent
(a_parent: XMLNS_COMPOSITE_NODE)
namespace
:
UNICODE_STRING
writable attribute
{
ANY
}
top
The namespace of the node
name
:
UNICODE_STRING
writable attribute
{
ANY
}
top
The name of the node
attribute_namespace
(index:
INTEGER_32
):
UNICODE_STRING
effective function
{
ANY
}
top
The namespace of the i'th attribute
require
index.in_range(1,
attributes_count
)
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_namespace:
UNICODE_STRING
, 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
):
XMLNS_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_namespace:
UNICODE_STRING
, a_attribute_name:
UNICODE_STRING
, a_attribute_value:
UNICODE_STRING
)
effective procedure
{
XMLNS_TREE
}
top
require
a_attribute_name /= Void
a_attribute_value /= Void
ensure
attribute_at
(a_attribute_namespace, a_attribute_name) = a_attribute_value
add_child
(node:
XMLNS_NODE
)
effective procedure
{
XMLNS_TREE
}
top
require
node /= Void
node.parent = Void
ensure
node.parent = Current
child
(
children_count
) = node
attributes
:
HASHED_DICTIONARY
[
HASHED_DICTIONARY
[
UNICODE_STRING
,
UNICODE_STRING
],
UNICODE_STRING
]
writable attribute
{}
top
no_namespace_attributes
:
HASHED_DICTIONARY
[
UNICODE_STRING
,
UNICODE_STRING
]
writable attribute
{}
top
children
:
FAST_ARRAY
[
XMLNS_NODE
]
writable attribute
{}
top
make
(a_namespace:
UNICODE_STRING
, a_name:
UNICODE_STRING
, a_line:
INTEGER_32
, a_column:
INTEGER_32
)
effective procedure
{}
top
require
a_name /= Void
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
: XMLNS_COMPOSITE_NODE
writable attribute
{
ANY
}
top
The parent of the node, Void if it is the root
set_parent
(a_parent: XMLNS_COMPOSITE_NODE)
effective procedure
{
XMLNS_COMPOSITE_NODE
}
top
require
a_parent /= Void
ensure
parent
= a_parent