GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
LINKED_LIST_NODE
+
Point of view
All features
ANY
LINKED_LIST_NODE
ITERATOR_ON_LINKED_LIST
LINKED_LIST
All features
class LINKED_LIST_NODE [E_]
Summary
top
To implement
LINKED_LIST
.
Direct parents
Inherit list:
ANY_LINKED_LIST_NODE
Overview
top
Creation features
{
LINKED_LIST
}
make
(i: E_, n: LINKED_LIST_NODE [E_])
Features
{
LINKED_LIST_NODE
,
ITERATOR_ON_LINKED_LIST
,
LINKED_LIST
}
item
: E_
next
: LINKED_LIST_NODE [E_]
{
LINKED_LIST
}
make
(i: E_, n: LINKED_LIST_NODE [E_])
{
LINKED_LIST_NODE
,
LINKED_LIST
}
set_item
(i: E_)
set_next
(n: LINKED_LIST_NODE [E_])
set_all_with
(v: E_)
item
: E_
writable attribute
{
LINKED_LIST_NODE
,
ITERATOR_ON_LINKED_LIST
,
LINKED_LIST
}
top
next
: LINKED_LIST_NODE [E_]
writable attribute
{
LINKED_LIST_NODE
,
ITERATOR_ON_LINKED_LIST
,
LINKED_LIST
}
top
make
(i: E_, n: LINKED_LIST_NODE [E_])
effective procedure
{
LINKED_LIST
}
top
ensure
item
= i
next
= n
set_item
(i: E_)
effective procedure
{
LINKED_LIST_NODE
,
LINKED_LIST
}
top
ensure
item
= i
set_next
(n: LINKED_LIST_NODE [E_])
effective procedure
{
LINKED_LIST_NODE
,
LINKED_LIST
}
top
ensure
next
= n
set_all_with
(v: E_)
effective procedure
{
LINKED_LIST_NODE
,
LINKED_LIST
}
top