GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
XML_DATA_NODE
+
Point of view
All features
ANY
XML_COMPOSITE_NODE
All features
class XML_DATA_NODE
Summary
top
A leaf node containing data
Direct parents
Inherit list:
XML_NODE
Class invariant
top
data
/= Void
Overview
top
Creation features
{
XML_TREE
}
make
(a_data:
UNICODE_STRING
, a_line:
INTEGER_32
, a_column:
INTEGER_32
)
Features
{
ANY
}
data
:
UNICODE_STRING
Data in the node
{
ANY
}
accept
(visitor:
VISITOR
)
Accept to be visited by the
visitor
.
{}
make
(a_data:
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
)
data
:
UNICODE_STRING
writable attribute
{
ANY
}
top
Data in the node
accept
(visitor:
VISITOR
)
effective procedure
{
ANY
}
top
Accept to be visited by the
visitor
.
require
visitor /= Void
make
(a_data:
UNICODE_STRING
, a_line:
INTEGER_32
, a_column:
INTEGER_32
)
effective procedure
{}
top
require
a_data /= 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
:
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